Definition 2.8.9.  Let R be a ring, a, b ∈ R. We define:
Remarks.

This definition lets us multiply elements without decomposing the ring.