14.9. Definíció
Inverz elem, invertálhatóság
Legyen adott egy halmaz egy rajta értelmezett művelettel, továbbá létezzen neutrális elem erre a műveletre nézve, amelyet jelöljünk -nel.
Ha egy adott elemhez létezik olyan -gyel jelölt elem, amelyre , akkor -et a elem jobboldali inverzének nevezzük a műveletre nézve.
Ha egy adott elemhez létezik olyan -gyel jelölt elem, amelyre , akkor -et a elem baloldali inverzének nevezzük a műveletre nézve.
Ha egyszerre jobb- és baloldali inverz, akkor őt a elem kétoldali inverzének (vagy egyszerűen csak inverzének) nevezzük a műveletre nézve. Azt mondjuk, hogy a elem invertálható, amennyiben létezik hozzá kétoldali inverz elem a műveletre nézve. Azt mondjuk, hogy a művelet invertálható, ha minden -beli elemhez létezik inverz erre a műveletre nézve.
A szakirodalomban sok helyen találkozhatunk még az ellentett elem vagy a reciprok kifejezésekkel, valamint a illetve az jelölésekkel is. Kontextustól függően mi is felváltva fogjuk használni ezeket a fogalmakat és/vagy jelöléseket, ettől függetlenül ezek mind ugyanazt jelentik.
♣