Category:Inversion Mappings

From ProofWiki
Jump to navigation Jump to search

This category contains results about Inversion Mappings.
Definitions specific to this category can be found in Definitions/Inversion Mappings.

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

The inversion mapping on $G$ is the mapping $\iota: G \to G$ defined by:

$\forall g \in G: \map \iota g = g^{-1}$

That is, $\iota$ assigns to an element of $G$ its inverse.