Käänteiselementti on yleisalgebran termi, joka yleistää käänteisluvun (kertolasku) ja vastakkaisen luvun (yhteenlasku) käsitteet.
Olkoon joukko , jolle on määritelty binääritoiminto , merkitty pisteellä ( ), neutraalilla elementillä . Antaa olla pari mielivaltaisia elementtejä joukko . Jos yhtäläisyys on totta, sitä kutsutaan oikeaksi käänteiseksi (tai oikeaksi käänteiseksi ) .
Vastaavasti, jos yhtäläisyys pätee, niin sitä kutsutaan vasemman käänteiseksi (vasemmalta käänteiseksi) .
Elementti , joka on käänteinen sekä oikealle että vasemmalle, eli se, jota kutsutaan yksinkertaisesti käänteiseksi ja jota merkitään . Elementin, jolle on käänteisalkio, sanotaan olevan käänteinen .
Olkoon operaatio assosiatiivinen . Sitten jos elementillä on vasen käänteis- ja oikea käänteiselementti, niin ne ovat yhtä suuret ja ainutlaatuiset.
Seuraus : monoidissa jokaisella elementillä on enintään yksi käänteis. Kaikki monoidin käännettävät elementit muodostavat ryhmän ; tämä ryhmä ei ole tyhjä, koska se sisältää ainakin neutraalin elementin.
Paljon | binääritoiminto | Käänteinen elementti |
---|---|---|
Oikeita lukuja | ( lisäys ) | ( vastakkainen numero ) |
Reaaliluvut eivät ole nolla | ( moninkertaistaa ) | ( vastavuoroinen ) |
Näytä toiminnot | ( funktion kokoonpano ) | ( käänteinen funktio ) |