16.9. Tétel
Asszociáltság egységelemes gyűrűben
Legyen R tetszőleges kommutatív és egységelemes gyűrű, továbbá legyenek a és b a gyűrű tetszőleges elemei. Ebben az esetben a\sim b akkor és csak akkor teljesül, ha egyaránt teljesülnek az a|b és b|a oszthatóságok.
♣