Hallo Studentin,
e = neutrales Element (nE) , a-1 inverses Element (iE) von a,
x ◦ a = b | ◦ a-1 (Verknüpfunsergebnis existiert und ist eindeutig)
⇔ (x ◦ a) ◦ a-1 = b ◦ a-1
⇔AG x ◦ (a ◦ a-1) = b ◦ a-1
⇔iE x ◦ e = b ◦ a-1
⇔nE x = b ◦ a-1
Gruß Wolfgang