Category:Inverse Elements

From ProofWiki
Jump to navigation Jump to 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$.