compute the Abelian invariants of a finitely presented group
AbelianInvariants( G )
a finitely presented group
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, d, ..., 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.
The GroupTheory[AbelianInvariants] command was introduced in Maple 18.
For more information on Maple 18 changes, see Updates in Maple 18.
Download Help Document
What kind of issue would you like to report? (Optional)