Nilpotent and torsion-free not implies torsion-free abelianization

From Groupprops
Revision as of 19:33, 28 February 2013 by Vipul (talk | contribs) (Created page with "==Statement== It is possible to have a torsion-free nilpotent group <math>G</math> such that the abelianization of <math>G</math> has <math>p</math>-torsion for ''eve...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.