The full automorphism group of the abelian group G.
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.