Nilpotent and torsion-free not implies torsion-free abelianization

From Groupprops
Revision as of 19:33, 28 February 2013 by Vipul (talk | contribs) (→‎Related facts)

Statement

It is possible to have a torsion-free nilpotent group G such that the abelianization of G has p-torsion for every prime p.

Related facts

Converse

Proof

Let G 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 Z in the latter. Then,

  • G is torsion-free.
  • G is isomorphic to Z, and G/G is isomorphic to Z×Z×Q/Z. This has p-torsion for all primes p.