14.9. Definíció

Inverz elem, invertálhatóság

Legyen adott egy SS halmaz egy rajta értelmezett * művelettel, továbbá létezzen neutrális elem erre a műveletre nézve, amelyet jelöljünk nn-nel.

Ha egy adott bb elemhez létezik olyan b1b^{-1}-gyel jelölt elem, amelyre bb1=nb*b^{-1}=n, akkor b1b^{-1}-et a bb elem jobboldali inverzének nevezzük a * műveletre nézve.

Ha egy adott bb elemhez létezik olyan b1b^{-1}-gyel jelölt elem, amelyre b1b=nb^{-1}*b=n, akkor b1b^{-1}-et a bb elem baloldali inverzének nevezzük a * műveletre nézve.

Ha b1b^{-1} egyszerre jobb- és baloldali inverz, akkor őt a bb elem kétoldali inverzének (vagy egyszerűen csak inverzének) nevezzük a * műveletre nézve. Azt mondjuk, hogy a bb 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 SS-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 b-b illetve az 1b\frac{1}{b} 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.