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