Definition 2.8.17.  Let R be a ring, a ∈ R×. For b ∈ R×, we define:
a-1 = b  :⇔  a ⋅ b = 1R
Well-definedness.  No proof.