Group is Quasigroup

From ProofWiki
Jump to navigation Jump to search


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

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


By the definition of a quasigroup it must be shown that:

for all $g \in G$, the left and right regular representations of $\lambda_g$ and $\rho_g$ are permutations on $G$.

This follows immediately from Regular Representations in Group are Permutations.