6
$\begingroup$

In a commutative ring $R$ if $I,J,K$ are ideals, is $(I+J)\cap (I+K)=I+J\cap K$. I think this is true but cannot find it referenced anywhere. Working modulo $I$, both sides are just $J\cap K$ and since all ideals contain $I$, we can lift this relation to $R$? Am I thinking straight here? I am also a bit apprehensive since I cannot seem to make an element wise argument for the result.

I still cannot find any counterexamples. If anyone can suggest one it would be of great help. I am also unable to see the flaw in the above argument.

  • 0
    @MartinBrandenburg: I did check both $\mathbb{Z}$ and $k[x]$. Maybe I just chose the "wrong" examples.2012-03-13

2 Answers 2

10

Here's a counterexample in $\mathbb{Z}[x]$.

Let $I=(2)$, $J=(x-1)$, $K=(x+1)$. Then $J\cap K = (x^2-1)$. So $I+(J\cap K) = (2,x^2-1)$.

On the other hand, $I+J = (2,x-1) = (2,x+1) = I+K$, so $(I+J)\cap(I+K) = (2,x+1)$.

However, $(2,x+1)\neq (2,x^2-1)$, since $x+1\notin (2,x^2-1)$.

  • 0
    @Arturo: Is this counterexample also ok for $(I+J)\cap K \neq (I\cap K)+(J\cap K)$? I don't know how to compute $I\cap K$ and $J\cap K$ in terms of generators.2013-03-16
5

The property you are asking about is called the distributive law for lattices.

It's true that the lattice of ideals of a ring is modular, but it need not be distributive. Here is an easy counterexample, shown to me by Ralph Freese:

Let

$R = \left\{ \left(\begin{array}{cc} x & y\\ 0 & z \end{array} \right) : x, y, z \in \{0, 1\} \right\}$

This forms a ring with the usual matrix addition and multiplication.

Let $T$ be the ideal generated by $\left(\begin{array}{cc} 0 & 1\\ 0 & 0 \end{array} \right)$ in $R$. That is, $T = \left\{\left(\begin{array}{cc} 0 & 0\\ 0 & 0 \end{array} \right), \left(\begin{array}{cc} 0 & 1\\ 0 & 0 \end{array} \right)\right\}.$

Now consider the direct product $R\times R$. This is a ring with ideals $0\times T$, $T \times 0$, and $T\times T$ (among others). But there is also the "diagonal" ideal below $T\times T$, which is generated by $\left(\begin{array}{cc} 0 & 1\\ 0 & 0 \end{array} \right) \times \left(\begin{array}{cc} 0 & 1\\ 0 & 0 \end{array} \right)$.

So, the interval below $T\times T$ in the lattice of ideals of $R\times R$ is the modular (nondistributive) lattice which we call $M_3$.

enter image description here

In your notation, you can take $I=T\times 0$, $J = 0\times T$, and $K$ equal to the diagonal ideal, and you will find that the distributive law fails:

$(I+J)\cap(I+K) = T\times T \neq T\times 0 = I+(J\cap K).$

  • 0
    You are welcome. I tried to simplify it a bit. Let me know if there's anything that's unclear to you.2012-03-14