Az inverz elem egy kifejezés az általános algebrában , amely általánosítja a reciprok szám (szorzás) és az ellentétes szám (összeadás) fogalmát.
Legyen egy halmaz , amelyen egy bináris művelet van definiálva , amelyet egy pont ( ) jelöl, semleges elemmel . Legyen a halmaz tetszőleges elemeinek párja . Ha az egyenlőség igaz, akkor jobboldali inverzének (vagy jobboldali inverzének ) nevezzük .
Hasonlóképpen, ha az egyenlőség teljesül, akkor bal inverznek (balról fordítottnak ) nevezzük
Egy olyan elem , amely mind a jobb, mind a bal inverze, vagyis olyan, amelyet egyszerűen az inverzének nevezünk , és jelöljük . Azt az elemet, amelyhez van inverz elem, invertálhatónak mondjuk .
Legyen a művelet asszociatív . Ekkor ha egy elemnek bal inverz és jobb oldali inverz elemei vannak, akkor ezek egyenlőek és egyediek.
Következmény : monoidban minden elemnek legfeljebb egy inverze van. A monoid minden invertálható eleme egy csoportot alkot ; ez a csoport nem üres, mivel legalább egy semleges elemet tartalmaz.
Sok | bináris művelet | Fordított elem |
---|---|---|
Valós számok | ( kiegészítés ) | ( ellentétes szám ) |
A valós számok nem egyenlők nullával | ( szorzás ) | ( kölcsönös ) |
Funkciók megtekintése | ( funkció összetétele ) | ( inverz függvény ) |