A commutative version of the group ring

We construct a commutative version of the group ring and show that it allows one to translate questions about the normal generation of groups into questions about the generation of ideals in commutative rings. We demonstrate this with an alternative proof of a result about the normal generation of the free product of two cyclic groups.