@@How this problem works

\ni We compute the invariants of the given group and those of
its image. The given homomorphism is an isomorphism if and only
these two sets of invariants coincide.

\ni For a general discussion, see
@General_abelian_groups@General_abelian_groups::General discussion@.

