15.4. Tétel

Szorzat egyszerűsítése gyűrűkben

Legyen (R,+,)(R, +, \cdot ) tetszőleges nullosztómentes gyűrű a szokásos jelölésekkel. Ekkor bármely aa, bb és c0c\neq 0 elemek esetén teljesülnek az alábbiak:

1.
Ha ac=bcac = bc, akkor a=ba=b.
2.
Ha ca=cbca = cb, akkor a=ba=b.

Igaz a tétel megfordítása is: Amennyiben tetszőleges aa, bb és c0c\neq 0 elemek esetén teljesül a fenti két tulajdonság, akkor az (R,+,)(R,+,\cdot ) gyűrű nullosztómentes.