17.6. Tétel

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

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

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