Definition:Opposite Group

Theorem
Let $\left({G, \circ}\right)$ be a group.

We define a new product $*$ on $G$ by:


 * $\forall a, b \in G: a * b = b \circ a$

The algebraic structure $\left({G, *}\right)$ is called the opposite group to $G$.

It is in fact a group, as shown on Opposite Group is Group.