Conditions under which Commutative Semigroup is Group/Statement of Conditions

Statement of Conditions under which Commutative Semigroup is Group
Let $\struct {S, \circ}$ be a commutative semigroup.

Let $\struct {S, \circ}$ have the following properties: