Definition:Opposite Group

Theorem
Let $\struct {G, \circ}$ be a group.

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


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

The algebraic structure $\struct {G, *}$ is called the opposite group to $G$.

Also see

 * Opposite Group is Group, demonstrating that this is indeed a group
 * Definition:Group Antihomomorphism
 * Definition:Opposite Ring