Properties of Inverses of Commuting Elements

Theorems
Let $\struct {S, \circ}$ be a monoid with identity element $e_S$.