Category:Inverse Elements

From ProofWiki
Jump to: navigation, search

This category contains results about Inverse Elements in the context of Abstract Algebra.
Definitions specific to this category can be found in Definitions/Inverse Elements.


The element $y$ is an inverse of $x$ if and only if:

$y \circ x = e_S = x \circ y$

that is, if and only if $y$ is both:

a left inverse of $x$

and:

a right inverse of $x$.