Nilpotent and torsion-free not implies torsion-free abelianization
Statement
It is possible to have a torsion-free nilpotent group such that the abelianization of has -torsion for every prime .
Related facts
Converse
Proof
Let be the central product of unitriangular matrix group:UT(3,Z) with the group of rational numbers, where the center of the former is identified with a copy of in the latter. Then,
- is torsion-free.
- is isomorphic to , and is isomorphic to . This has -torsion for all primes .