The AbelianInvariants( G ) command computes the Abelian invariants of the finitely presented group G, which represents the canonical decomposition of the abelianization G/[G,G] of G. This is returned as a list of two elements; the first entry of the list is a non-negative integer indicating the torsion-free rank, and the second is a list, B, of the orders of the cyclic factors in the canonical decomposition of the torsion subgroup. If B = [ d[1], d[2], ..., d[k] ], then the entries d[i] satisfy d[i] | d[i+1], for 1 <= i < k.

The group G must be a finitely presented group.

$\mathrm{with}\left(\mathrm{GroupTheory}\right)\&colon;$

$G≔⟨⟨a\&comma;b\&comma;c⟩|⟨a·b=b·a\&comma;a^2\&comma;b^6⟩⟩$

$G≔⟨a\&comma;b\&comma;c\mid a^2\&comma;b^{-1}{a}^{-1}ba\&comma;b^6⟩$

$\mathrm{AbelianInvariants}\left(G\right)$

$\left[1\&comma;\left[2\&comma;6\right]\right]$

$G≔\mathrm{HeldGroup}\left('\mathrm{form}'=''fpgroup''\right)$

$G≔\mathbf{He}$

$\mathrm{AbelianInvariants}\left(G\right)$

$\left[0\&comma;\left[\right]\right]$

$\mathrm{AbelianInvariants}\left(\mathrm{DihedralGroup}\left(8\&comma;'\mathrm{form}'=''fpgroup''\right)\right)$

$\left[0\&comma;\left[2\&comma;2\right]\right]$

The GroupTheory[AbelianInvariants] command was introduced in Maple 18.

For more information on Maple 18 changes, see Updates in Maple 18.