Dimostrazione
(
): supponiamo che d e d1 siano associati. Questo equivale a dire che d /d1
e d1/d.
Siccome d1/d la condizione 1
della definizione 23 è soddisfatta. Allo stesso modo,
poiché d /d1 sarà soddisfatta
anche la condizione 2 della medesima definizione.
(
): sia d1, elemento di A, un
massimo comun divisore. Allora, per definizione,
d /d1
e d1/d e questo significa che d e d1
sono associati. (c.v.d.)
|
|
|