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.