What can be said about $I\cap J$ when $I$ is a Left Ideal of $R$ and $J$ is a Right Ideal

abstract-algebraidealsring-theory

Is there anything one can say about $I\cap J$ when $I$ is a left ideal of $R$ and $J$ is a right ideal?

All I can think of is that $IJ\subseteq I\cap J$.

Edit:

Here is a counter example to show that it needn't be a left, right or two sided ideal. Let $R$ be a ring, and condsider the two by two $R$-matrices. We have left/right ideals
$$I=\left\{ \left(\begin{array}{cc}
a & 0\\
b & 0
\end{array}\right)\vert a,b\in R\right\} ,J=\left\{ \left(\begin{array}{cc}
a & b\\
0 & 0
\end{array}\right)\vert a,b\in R\right\} $$

but the intersection is not an ideal.

However, it is easy to show that $I\cap J$ is always a subring.

Best Answer

The property of the intersection does not even hold.

Take the left ideal $L$ from $M_2(F)$ whose elements are all zero in the right column, and the right ideal $T$ of matrices with zeros on the bottom row. Then $LT\nsubseteq T$.

But $TL\subseteq T\cap L$, naturally.

From this example you can also see the intersection is not an ideal on either side.

You can say the intersection is an additive subgroup, but not anything else really.

The product $LT$ meaning the set of finite sums of pair wise products, is a two sided ideal too.