14
[203] Considerate la proprietà
\[ \forall x,y\in A~ ,~ x\cdot y=0 \Rightarrow x=0\lor y=0 \]
questa può essere falsa in un anello \(A\); gli anelli per cui vale sono detti domini d’integrità [ 34 ] .
Si mostri che un campo \(F\) è sempre un dominio di integrità. Conseguentemente \(F⧵\{ 0\} \) è un gruppo commutativo per la moltiplicazione.
1