Let $R$ be an integral domain. If $I \cap J = IJ$ for all ideals $I,J$ of $R,$ how do I show $R$ is a field? Hints will suffice. Thank you.
2026-04-05 16:42:42.1775407362
On
Let $R$ be an integral domain. If $I \cap J = IJ$ for all ideals $I,J$ of $R,$ then $R$ is a field.
121 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
1
On
Arithmetically: since ideal intersection $= \rm lcm$ for principal ideals, the hypothesis implies for all $\,a,b\neq 0\,$ we have $\,{\rm lcm}(a,b) = ab,\,$ so $\,\gcd(a,b)=1,\,$ i.e. $\,a,b$ have only unit common factors. Hence for $\,b=a\,$ the common factor $\,a\,$ of $\,a,b$ is a unit, so $\,a\neq 0\,\Rightarrow\, a\,$ is a unit, so $R$ is a field.
Hint: Let $a\in R\setminus\{0\}$ and consider $I = J = Ra$.