11
$\begingroup$

The product of two ideals is defined as the set of all finite sums $\sum f_i g_i$, with $f_i$ an element of $I$, and $g_i$ an element of $J$. I'm trying to think of an example in which $IJ$ does not equal $I \cap J$.

I'm thinking of letting $I = 2\mathbb{Z}$, and $J = \mathbb{Z}$, and $I\cap J = 2\mathbb{Z}$? Can someone point out anything faulty about this logic of working with an even ideal and then an odd ideal?

Thanks in advance.

  • 1
    Also, I don't know what even ideal and odd ideal mean. The set of odd numbers $1 + 2\mathbf Z$ is a coset, but not an ideal (it definitely isn't closed under multiplication by even numbers).2012-05-29

4 Answers 4

16

But in your example $IJ = I = I \cap J$. How about taking $I = J = 2 \mathbb{Z}$. Then $I \cap J = 2\mathbb{Z}$ while $IJ = 4\mathbb{Z}$. In general $IJ \subset I \cap J$, and the equality holds if $I+J = R$ where $R$ is the ring you are working with.

  • 1
    It should be noted that this argument works when $R$ is commutative: Let $x\in I\cap J$. Then since $\exists i\in I,\exists j\in J: 1=i+j,$ we have $x=x1=x(i+j)=xi+xj=ix+xj\in IJ$. For further reference see Lang's Algebra (3e), p. 87.2017-03-05
6

In a PID, we have $(a) \cap (b) = (\mathrm{lcm}(m,n))$, whereas we have $(a) \cdot (b) = (a \cdot b)$. So this ideal-theoretic question becomes a number-theoretic one and we see: $(a) \cap (b) = (a \cdot b)$ iff $a \cdot b$ is a lcm of $a$ and $b$ iff $a,b$ are coprime.

4

Pick any ring with a nonzero ideal $I$ such that $I^2=0$. Then $I=I\cap I\neq I*I=\{0\}$.

A concrete example of this is $I=2\mathbb{Z}/4\mathbb{Z}$ in the ring $R=\mathbb{Z}/4\mathbb{Z}$.

4

Maybe it is helpful for you to realise what really happens for ideals in the integers. You probably know that any ideal in $\mathbb Z$ is of the form $(a)$ for $a\in \mathbb Z$, i.e. is generated by one element. The elements in $(a)$ are all integers which are divisible by $a$.

If we are given two ideals $(a)$ and $(b)$, their intersection consists of those numbers which are divisible by $a$ and divisible by $b$. Their product consists of all numbers which are divisible by the product $ab$.

If $a$ and $b$ are coprime they are the same. E.g. all numbers which are divisible by $2$ and $3$ are also divisible by $6$, and vice versa. If they are not coprime the situation changes. If a number is divisible by $4$ and $2$, then it is not necessarily divisible by $8$.

Another way of saying that two integers $a$, $b$ are coprime is that there exist $x,y$, such that $xa+by=1$ (cf. Euclidean algorithm). In the language of ideals this translates to $(a)+(b)=\mathbb Z$ and the circle closes.

  • 0
    Thanks for the clarification. The notation is new2012-05-29