identiteettielementin
Identiteettielementti on algebraisen rakenteen binäärisen operaation identiteetiksi valittu elementti. Olkoon S joukko ja * sen binäärinen operaatio. Elementti e ∈ S on identiteettielementti, jos kaikille a ∈ S pätee e * a = a ja a * e = a. Jos e vastaa vain toista puolta, puhutaan vasemman identiteetin tai oikean identiteetin olemassaolosta. Kun e täyttää sekä vasemman että oikean identiteetin, sitä kutsutaan identiteetiksi.
Identiteetti on yleisesti yksikäsitteinen, jos se on olemassa: jos e ja e' ovat identiteetteja, niin e =
Esimerkkejä: (Z, +) identiteetti on 0, koska a + 0 = a ja 0 + a = a. (Z \ {0}, ×)
Ominaisuudet eri rakenteissa: semigraafissa identiteettiä ei välttämättä ole; monoidissa identiteetti on olemassa; ryhmässä identiteetti on lisäksi