Product Inverse Operation Properties induce Group

Theorem
Let $\struct {G, \oplus}$ be a closed algebraic structure on which the following properties hold:

Let $\circ$ be the operation on $G$ defined as:
 * $\forall x, y \in G: x \circ y = x \oplus \paren {e \oplus y}$

Then $\struct {G, \circ}$ is a group.

Proof
Taking the group axioms in turn:

$\struct {G, \oplus}$ is closed by definition.

Hence $\struct {G, \circ}$ is likewise closed.

and:

Thus $e$ is the identity element of $\struct {G, \circ}$.

We have that $e$ is the identity element of $\struct {G, \circ}$.

Hence:

and:

Thus every element $x$ of $\struct {G, \circ}$ has inverse $e \oplus x$.

We have:

Thus $\circ$ is associative.

All the group axioms are thus seen to be fulfilled, and so $\struct {G, \circ}$ is a group.