Properties of Inverses of Commuting Elements

Theorems
Let $$\left({S, \circ}\right)$$ be a monoid whose identity is $$e_S$$.