General algebraic systems Definition
Inverse element
Builds on Binary operationIdentity element
Definition
Let be a set with a binary operation and an identity element . Let . The element is a left inverse of when . The element is a right inverse of when . The element is an inverse of (or two-sided inverse) when it is both a left inverse and a right inverse of . An element that has an inverse is called invertible.
Remarks
For addition on , the inverse of is . For multiplication on , each nonzero has the inverse , and has no inverse. When is associative, an element has at most one inverse.
Reading path
To understand this page from the ground up, read these 3 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Binary operation definition
- Identity element definition
- Inverse element definition
Where this leads
23 pages build on this one.
- Inner automorphism group is isomorphic to G modulo its centre
- Group of units of a monoid
- Homomorphisms preserve identity and inverses
- The kernel is a normal subgroup
- First isomorphism theorem
- Uniqueness of inverses
- Automorphism group of a cyclic group
- Units of Z/nZ are the residues coprime to n
- A homomorphism is injective iff its kernel is trivial
- Second isomorphism theorem
- The group of units of Z/pZ is cyclic
- Order of the group of units of Z/nZ is Euler's totient
- Order of the alternating group
- Third isomorphism theorem
- Cancellation laws
- Zassenhaus lemma
- Proof that the kernel is a normal subgroup
- Proof that a homomorphism is injective iff its kernel is trivial
- Proof of the first isomorphism theorem
- Schreier refinement theorem
- The natural numbers under addition are not a group
- Proof of the uniqueness of inverses
- Proof of the cancellation laws
Further reading
- Web https://en.wikipedia.org/wiki/Inverse_element, Definitions and basic properties
About this page
| Tag | 0BRHKKP333 |
|---|---|
| URI | m2://0BRHKKP333 |
| Kind | definition |
| Writing | W1 stated |
| MSC | 08A02 |
| Defines | Inverse element |
| Uses | Binary operation, Identity element |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.