Symmetric presentations of Abelian groups (Q3148683)

If \(G\) is a group we say that a presentation \(G=\langle F\mid R\rangle\) is `symmetric' if the set \(R\) of relations is invariant under the action of the full symmetric group of \(F\). A group \(G\) is called `symmetrically generated' if it has a symmetric presentation. The author gives a complete description of finite Abelian groups which are symmetrically generated by \(n\) elements (\(n>2\)): Theorem 1. Let \(G\) be a finite Abelian group. \(G\) can be symmetrically generated by \(n>2\) elements if and only if \(G=\mathbb{Z}_a\times\mathbb{Z}_{ab}^{n-2}\times\mathbb{Z}_{abc}\) where \(a\), \(b\), \(c\) are positive integers such that \(\gcd(b,c)\mid n\).