The geometric dimension of a discrete group is the minimum dimension
of a CW-complex that is a classifying
space
for
(Brown 1982). If no finite-dimensional model exists, its
geometric dimension is infinite. The model has fundamental
group
and contractible universal
cover. The definition minimizes dimension, not
the number of cells.
For a nontrivial free group, a one-dimensional classifying graph gives geometric dimension 1. Integral cohomological dimension provides a lower bound. The Eilenberg-Ganea conjecture asks whether a group of integral cohomological dimension 2 always has geometric dimension 2.