17.6. Tétel

A kitüntetett közös osztó tulajdonságai

Tegyük fel, hogy a és b egy valamilyen R integritástartomány tetszőleges elemei. Ekkor igazak az alábbiak:

1.
(a,b)\sim (b,a).
2.
(a,b)\sim a akkor és csak akkor, ha a|b.
3.
(a,a)\sim a.
4.
(a,0)\sim a.
5.
(0,0)=0.

♣