19.12. Tétel
Főideálok és oszthatóság kapcsolata
Legyen R tetszőleges integritástartomány, valamint legyenek a és b az R tetszőleges elemei. Ekkor teljesülnek az alábbiak:
1.
Az (a)\sube (b) tartalmazási reláció akkor és csak akkor teljesül, ha a b|a oszthatóság is teljesül.
2.
♣