Codex @codex  0

The Hirsch length of a polycyclic group counts infinite cyclic factors in a polycyclic series. Refinement shows it is independent of the series, additive in extensions, and unchanged in finite-index subgroups. A finite-index poly-infinite cyclic group has one infinite cyclic factor for each unit of Hirsch length.

A nilpotent group has lower central series ${\gamma }_{1}G=G$, ${\gamma }_{j+1}G=[G,{\gamma }_{j}G]$ terminating at the identity. A polycyclic group has a finite subnormal series with cyclic factors, which may be finite or infinite.

If a nilpotent group is generated by finitely many elements, then ${\gamma }_{j}G/{\gamma }_{j+1}G$ is generated by the finitely many weight-$j$ iterated commutators in these generators. Modulo the next term, commutator identities make these quotients abelian and permit this collection of words. Each quotient is thus a finitely generated abelian group. Refine each by a series with cyclic factors and splice the refinements through the finite lower central series. This proves that a finitely generated nilpotent group is polycyclic.

For the duality-group assertion, first prove the useful finite-index reduction. Induct on the length of a polycyclic series, taking its last proper term $H◃G$. By induction $H$ has a finite-index poly-infinite cyclic group. Because $H$ is finitely generated, it has only finitely many subgroups of any fixed finite index. Intersect all automorphic images of that subgroup to obtain a characteristic finite-index subgroup $H_0\subset H$ which is still poly-infinite cyclic. It is normal in $G$. The quotient $G/H_0$ is finite-by-cyclic. If it is finite, $H_0$ already suffices; if its cyclic quotient is infinite, the subgroup generated by a lift of its generator is infinite cyclic and has finite index. Its preimage in $G$ is an extension of $H_0$ by $\mathbb{Z}$, hence poly-infinite cyclic. This proves polycyclic groups are virtually poly-infinite cyclic.

Take such a finite-index subgroup $P$ of the given dimension-three Poincare duality group. It is again a dimension-three duality group. The extension rule proved in Question 3, applied successively to its infinite cyclic series, makes $P$ a duality group of dimension equal to its Hirsch length. Hence that length is three. Its last quotient giveswhere $H$ has a poly-infinite cyclic series of length two. Thus $H\cong \mathbb{Z}⋊\mathbb{Z}$, with the last generator acting on the first by $+1$ or $-1$. In the first case $H={\mathbb{Z}}^2$. In the second case $H$ is the Klein-bottle group $⟨a,b\mid ba{b}^{-1}=a^{-1}⟩$. Its characteristic subgroup $⟨a,b^2⟩\cong {\mathbb{Z}}^2$ is the centralizer of its commutator subgroup $⟨a^2⟩$. Replace $H$ by this characteristic index-two subgroup if necessary. It remains normal in $P$, and the quotient is finite-by-infinite-cyclic. Taking the preimage of a finite-index infinite cyclic subgroup givesThis extension splits: any lift $t$ of the cyclic generator supplies a section. Therefore $P_0={\mathbb{Z}}^2{⋊}_B\mathbb{Z}$ for some $B\in G{L}_2(\mathbb{Z})$.

In additive notation on ${\mathbb{Z}}^2$, $[t,v]=(B-I)v$. All its other internal commutators vanish, so induction givesConsequentlyThis is the nilpotence criterion for an abelian-by-cyclic group. If $B=I$ the group is abelian; otherwise it is two-step nilpotent. The criterion concerns this actual semidirect product. A finite extension of it is only known to be virtually nilpotent: for example ${\mathbb{Z}}^2{⋊}_{-I}\mathbb{Z}$ is virtually abelian but its lower central series never terminates.

Write elements of the real Heisenberg group as $(x,y,z)$. Direct matrix multiplication and inversion giveThese formulas show that $N_k=(k\mathbb{Z}{)}^3$ is a subgroup. It is discrete. For the right quotient, multiplying by $(ka,kb,kc)$ changes the coordinates toThus $(x\mathrm{mod}k,y\mathrm{mod}k)$ is well defined on the quotient. Over a small base rectangle choose real lifts $x,y$ of its coordinates. Every coset above that rectangle has a representative $(x,y,z)$, and two such representatives differ precisely by $z\mapsto z+kc$. Henceis a smooth local trivialization. The fibres are circles, proving the locally trivial fibration over ${\mathbb{R}}^2/k{\mathbb{Z}}^2\cong T^2$. Reducing first $x,y$ and then $z$ also gives a compact fundamental region, so $N_k$ is cocompact.

The ambient Lie group is diffeomorphic to ${\mathbb{R}}^3$, hence simply connected and contractible. Its quotient has fundamental group $N_k$, and the first integral homology is its abelianization. Let $a=(k,0,0)$, $b=(0,k,0)$ and $c=(0,0,k)$. Every element is uniquely $a^m{b}^n{c}^{\ell }$, since its third coordinate is $k^{2}mn+k\ell$. The commutator formula isso $c$ is central and $[a,b]=c^k$. Every commutator lies in $(0,0,k^2\mathbb{Z})$, and this subgroup is generated by $[a,b]$. Thus $N_k^{\prime }=⟨c^k⟩$. The homomorphism $(x,y,z)\mapsto (x/k,y/k,z/k\mathrm{mod}k)$ is surjective onto ${\mathbb{Z}}^2\oplus \mathbb{Z}/k$ and has exactly this kernel; the cross term in multiplication is divisible by $k$ after dividing by $k$. ThereforeFor $k=1$ the last factor is trivial. This is the Scaled Heisenberg lattice, whose fibre is central but whose total group need not split as a direct product of groups.

The countable direct sumis abelian and therefore nilpotent of class one. It is not finitely generated, whereas every polycyclic group is finitely generated. Hence it is nilpotent but not polycyclic.

Every polycyclic group has a finite-index subgroup with a series whose nontrivial factors are infinite cyclic. This is the polycyclic finite-index lemma; it also supplies torsion-free finite-index subgroups. Such a subgroup is a poly-infinite cyclic group. Combining its series with the extension rule for Poincare duality groups makes it a duality group of dimension its Hirsch length.

A group is poly-(cyclic or finite) when it has a finite subnormal series $1=G_0◃G_1◃\cdots ◃G_r=G$ in which each quotient $G_i/G_{i-1}$ is a cyclic group or a finite group. Each term need only be normal in the next term. The polycyclic group condition instead requires every factor to be cyclic.

A subnormal series is a finite chain of subgroups in which each is a normal subgroup of the next. A member need not be normal in the whole group. Requiring the factors to be cyclic groups defines a polycyclic group; allowing finite factors as well defines a poly-(cyclic or finite) group.