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.