External Direct Product Inverses

Theorem
Let $\struct {S \times T, \circ}$ be the external direct product of the two algebraic structures $\struct {S, \circ_1}$ and $\struct {T, \circ_2}$.

Then:
 * $s^{-1}$ and $t^{-1}$ are inverse elements of $s \in \struct {S, \circ_1}$ and $t \in \struct {T, \circ_2}$ respectively


 * $\tuple {s^{-1}, t^{-1} }$ is an inverse element of $\tuple {s, t} \in \struct {S \times T, \circ}$.
 * $\tuple {s^{-1}, t^{-1} }$ is an inverse element of $\tuple {s, t} \in \struct {S \times T, \circ}$.

Also see

 * External Direct Product Associativity
 * External Direct Product Commutativity
 * External Direct Product Identity