La relazione di associazione è una relazione di equivalenza, ossia:
Inoltre se a è associato ad
a1 e b è associato ad b1 allora (aa1)
è associato a (bb1).
Sia A un dominio e a
e b due elementi di A.
Un elemento a di un anello A si dice irriducibile se sono soddisfatte le due condizioni seguenti:
Un elemento a di un dominio è irriducibile se e solo
se non è 0 né un’unità
e vale la seguente proprietà:
ogni elemento di A che divide a è un’unità
oppure è associato ad a.