The maximal p-elementary abelian quotient of the group G as GrpAb. The natural epimorphism is returned as second value.
The maximal free abelian quotient of the group G as GrpAb. The natural
epimorphism is returned as second value.
AbelianInvariants(A) : GrpAb -> [ RngIntElt ]
The p-primary invariants of the abelian group A. Each
infinite cyclic factor is represented by zero.
The non-primary form gives the Smith form invariants, i.e. each element of
the sequence divides the next.
AbelianBasis(A) : GrpAb -> [ GrpAbElt ], [ RngIntElt ]
Returns sequences B and I, where I are the p-primary invariants
of A, and B are generators for A with orders as in I.
The non-primary form uses the Smith form invariants, i.e. each element of
the sequence divides the next.
The torsion-free rank of the abelian group G.
The torsion invariants of the abelian group G.
The p-primary invariants of the abelian group G.
V2.28, 13 July 2023