In the definition mention is made of an inverse instead of the
inverse. In fact, such an inverse is unique and we can speak of the
inverse.
Indeed, if
a · b
= 1 and
a · c
= 1, then left multiplication of the second equality by
b gives:
b = b · (a · c) = (b · a)
· c = c.