# Category:Inverse Elements

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$.

## Subcategories

This category has the following 6 subcategories, out of 6 total.

### G

### I

### S

## Pages in category "Inverse Elements"

The following 27 pages are in this category, out of 27 total.

### I

- Inverse Element is Power of Order Less 1
- Inverse in Group is Unique
- Inverse in Monoid is Unique
- Inverse not always Unique for Non-Associative Operation
- Inverse of Group Inverse
- Inverse of Group Product
- Inverse of Identity Element is Itself
- Inverse of Inverse
- Inverse of Inverse in General Algebraic Structure
- Inverse of Inverse in Monoid
- Inverse of Inverse/General Algebraic Structure
- Inverse of Inverse/Monoid
- Inverse of Product in Associative Structure
- Inverse of Product in Monoid
- Inverse of Product/Monoid
- Inverse of Product/Monoid/General Result
- Invertible Element of Associative Structure is Cancellable
- Invertible Element of Monoid is Cancellable