Ero sivun ”Neutraalialkio” versioiden välillä

Kuten viimeinen esimerkki näyttää, on mahdollista että (''S'',*):lla on useampi kuin yksi vasemmanpuoleinen identiteetti. Samoin voi olla olemassa useita oikeanpuoleisia identiteettejä. Mutta jos on olemassa sekä oikeanpuoleinen ja vasemmanpuoleinen identiteetti, ne ovat yhteneviä ja on olemassa vain yksi molemmanpuoleinen identiteetti. Tämän todistamiseksi merkitään vasenta identiteettiä ''v'':llä ja oikeaa ''o'':lla. Tällöin <math>v = v * o = o</math>. Tästä seuraa myös, ettei ryhmällä voi olla useampia kuin yksi molemmanpuoleinen identiteetti.

 

[[ar:عنصر حيادي]]

[[cs:Neutrální prvek]]