Automorphism Groups

AutomorphismGroup(G): GrpAb -> GrpAuto

The full automorphism group of the abelian group \(G\).

IsIsomorphic(G, H): GrpAb, GrpAb -> BoolElt, Hom(Grp)

Test whether or not the two abelian groups \(G\) and \(H\) are isomorphic as abstract groups. If so, both the result true and an isomorphism from \(G\) to \(H\) is returned. If not, the result false is returned.