Dimostrazione
Assumiamo ora che a /b e b /a.
Se a = 0 abbiamo che pure b = 0, quindi a e b sono
associati.
Siccome a è non nullo e A è un dominio concludiamo che qs = 1. Perciò q è un’unità e b è associato ad a.
(c.v.d.)
|
|