Properties of Inverses of Commuting Elements

Theorems
Let $\left({S, \circ}\right)$ be an algebraic structure where $\circ$ is associative.

Let $\left({S, \circ}\right)$ have an identity element $e_S$.