= Solution
Start with the <prime decomposition of a closed orientable three-manifold>. Its <fundamental group> is a free product of the prime-summand <groups>. A nontrivial <abelian group> cannot be a free product of two nontrivial <groups>. The same is true of a nontrivial finitely generated <nilpotent group>: it has nontrivial center, whereas such a free product has trivial center. Thus all nontrivial <fundamental group> comes from a single prime summand; simply connected summands do not affect the argument.
A prime but nonirreducible orientable summand is $S^2\times S^1$, giving $\Gamma\cong\mathbb Z$. Otherwise the infinite-group prime summand is an <irreducible three-manifold>. The <sphere theorem for three-manifolds> gives $\pi_2=0$. Its simply connected <universal cover> is noncompact, so its top ordinary homology vanishes; its first and second homology also vanish by simple connectivity and the <Hurewicz theorem>. It is therefore acyclic and contractible by the <Whitehead theorem>. The summand is <aspherical>, and its closed orientable three-dimensional classifying space gives <integral cohomological dimension of a group> equal to three: the cellular resolution gives the upper bound and top <Poincare duality> gives the lower bound.
If $\Gamma$ is torsion-free abelian, finite generation makes it $\mathbb Z^r$. Its <integral cohomological dimension of a group> is $r$, as one sees from the standard $r$-torus. The aspherical case therefore has $r=3$. We obtain
$$
\boxed{\Gamma\cong\mathbb Z\quad\text{or}\quad\mathbb Z^3.}
$$
Both occur, on $S^2\times S^1$ and the three-torus.
For the infinite torsion-free nilpotent case, the same reduction gives either $\mathbb Z$ or an aspherical <group> of cohomological dimension three. By the <Malcev completion of a torsion-free nilpotent group>, the latter is a lattice in a simply connected three-dimensional nilpotent <Lie group>. A nonabelian three-dimensional <nilpotent Lie algebra> has <abelianization> of dimension at least two: a nilpotent algebra generated modulo its derived algebra by one element would be generated by that element and thus be abelian. Its derived algebra is therefore one-dimensional, and nilpotence makes that line central. Hence it has a basis with a single nonzero bracket $[Y,T]=X$; the other possibility is an abelian algebra. In the nonabelian case the lattice's center is an isolated infinite cyclic subgroup, generated by $x$, and the quotient by it is $\mathbb Z^2$. Choose lifts $y,t$ of a basis of that quotient. Their commutator is $x^b$ for a nonzero integer $b$, and normal forms give
$$
\Gamma_b=\langle x,y,t\mid[x,y]=[x,t]=1,\ tyt^{-1}=x^by\rangle.
$$
The subgroup $A=\langle x,y\rangle\cong\mathbb Z^2$ is normal and $\Gamma_b/A\cong\mathbb Z$. In its ordered basis $x,y$, conjugation by $t$ acts by
$$
\boxed{\begin{pmatrix}1&b\\0&1\end{pmatrix}.}
$$
This is the <unipotent torus-bundle group>. Indeed, its normal forms multiply according to
$$
(x^my^nt^k)(x^{m'}y^{n'}t^{k'})=x^{m+m'+bkn'}y^{n+n'}t^{k+k'}.
$$
Projection to the $n,k$ coordinates, followed by inspection of the central $m$ coordinate, proves torsion-freeness. All commutators lie in $\langle x^b\rangle$, which is central, proving nilpotence. The <mapping torus> of the <torus> automorphism with this matrix realizes every integer $b$ as a closed orientable <three-manifold>; $b=0$ gives $\mathbb Z^3$, while $b\ne0$ gives the Nil cases. Thus the complete list of <groups> under the nilpotent hypotheses is $\mathbb Z$ and the <groups> $\Gamma_b$.
Here is the center argument, with its literal qualification. If a nilpotent <group> with abelian quotient $\Gamma/A$ were nonabelian, the last nonzero term $\gamma_c\Gamma$ of its <lower central series> would satisfy
$$
1\ne\gamma_c\Gamma\subseteq[\Gamma,\Gamma]\subseteq A,\qquad
\gamma_c\Gamma\subseteq Z(\Gamma).
$$
Consequently $Z(\Gamma)\cap A=1$ forces the <group> to be abelian. \b[For the specific nontrivial rank-two $A$ in the printed family the hypothesis cannot actually occur:] when $b\ne0$, $x\in Z(\Gamma_b)\cap A$; when $b=0$, the intersection is all of $A$. The implication is valid, but should not be used to invent an example satisfying this impossible extra condition.
A <torsion-free finite extension of a lattice> with quotient $C_4$ is realized by the <quarter-turn flat three-manifold>. On $\mathbb R^3$ let
$$
a(u,v,w)=(u+1,v,w),\quad b(u,v,w)=(u,v+1,w),\quad
s(u,v,w)=(-v,u,w+1/4).
$$
Let $c$ be unit translation in the third coordinate. Then $sas^{-1}=b$, $sbs^{-1}=a^{-1}$, $scs^{-1}=c$, and $s^4=c$. The lattice $\Lambda=\langle a,b,c\rangle\cong\mathbb Z^3$ is normal and the quotient is $C_4$. A representative $a^mb^nc^ks^j$, $0\le j<4$, with $j\ne0$ has third-coordinate displacement $k+j/4\ne0$, so has no fixed point; for $j=0$ a nonidentity element is a nonzero translation. This proves torsion-freeness. The action is properly discontinuous, cocompact and orientation preserving, so it gives a closed orientable flat <three-manifold> with precisely the required extension.
For faithful linear holonomy on the maximal translation lattice, the <holonomy groups of closed orientable flat three-manifolds> are
$$
\boxed{1,\quad C_2,\quad C_3,\quad C_4,\quad C_6,\quad C_2\times C_2.}
$$
The cyclic examples replace the quarter-turn by a planar lattice rotation of order $m=2,3,4,6$ and a translation of $1/m$ along its axis. The square and triangular plane lattices realize these orders; the trace condition $2\cos(2\pi/m)\in\mathbb Z$ explains the crystallographic restriction. The remaining case is obtained from
$$
\alpha(u,v,w)=(u+1/2,-v,-w),\qquad
\beta(u,v,w)=(-u,v+1/2,-w+1/2).
$$
Their squares translate by one in the first and second directions, and $(\alpha\beta)^2$ translates by minus one in the third. Their linear parts generate $C_2\times C_2$. The three nontranslation cosets have half-integral displacement along their respective fixed axes, so every element acts without a fixed point. These constructions realize every member of the orientable three-dimensional Euclidean holonomy classification.
The maximality/faithfulness restriction is essential. Taken literally as a question about arbitrary <finite group> quotients, the wording has more answers: $\mathbb Z$ has every finite cyclic quotient, and $\mathbb Z^3$ has, for example, quotient $C_5$. An exact criterion for the literal extension question is as follows. Choose an action $Q\to\operatorname{Aut}(A)$ and an extension class $e\in H^2(Q,A)$, where $A=\mathbb Z$ or $\mathbb Z^3$. For every subgroup $\langle q\rangle$ of prime order $p$, require
$$
\boxed{\operatorname{res}_{\langle q\rangle} e\ne0\ \text{ in }\ A^q/(1+q+\cdots+q^{p-1})A.}
$$
To prove this, lift $q$ to $g$. Its $p$th power is in $A^q$, and replacing $g$ by $ag$ changes that power by the displayed norm of $a$. Thus a lift of order $p$ exists exactly when this restriction is zero. Any torsion element has a prime-order power, so the condition is both necessary and sufficient. For an oriented flat realization in rank three the linear action must also preserve orientation. This distinguishes a complete extension criterion from the finite faithful-holonomy list.
Back to article page
