Stallings-Swan theorem
= Stallings-Swan theorem
{c}
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.