17.4. Definíció

Kitüntetett közös osztó

Tegyük fel, hogy aa és bb egy valamilyen RR integritástartomány tetszőleges elemei. Az aa és bb elemek kitüntetett közös osztója a dd elem, ha teljesül az alábbi két tulajdonság:

1.
Teljesülnek a dad|a és dbd|b oszthatóságok, azaz dd közös osztó.
2.
Tetszőleges cc elem esetén ha fennállnak a cac|a és cbc|b oszthatóságok, akkor fennáll a cdc|d oszthatóság is.

Azaz a kitüntetett közös osztó minden közös osztónak többszöröse. Az aa és bb elemek kitüntetett közös osztójának jelölése: (a,b)(a,b).