15.4. Tétel
Szorzat egyszerűsítése gyűrűkben
Legyen tetszőleges nullosztómentes gyűrű a szokásos jelölésekkel. Ekkor bármely , és elemek esetén teljesülnek az alábbiak:
1.
Ha , akkor .
2.
Ha , akkor .
Igaz a tétel megfordítása is: Amennyiben tetszőleges , és elemek esetén teljesül a fenti két tulajdonság, akkor az gyűrű nullosztómentes.
♣