 Stallings-Swan theorem

A group has integral cohomological dimension at most one precisely when it is a free group, including the trivial free group in dimension zero. This result concerns integral coefficients; a rational dimension-one statement has different conclusions.