1
$\begingroup$

I'm trying to think of an example of a ring $A$ and ideals $I$,$J$ s.t. $I \cup J$ is not an ideal.

And what is the smallest ideal containing $I$ & $J$?

Will $A \mathbb{Z}$, $I = 2\mathbb{Z}$, and $J = 4\mathbb{Z}$ work? and the smallest ideal containing them be $\mathbb{Z}$, the integers?

Can someone add some explanation as to why this works? Thanks.

  • 2
    Ironically, most choices of $I$ and $J$ would work with $A = \mathbb{Z}$; you had the misfortune of making one of the special choices that doesn't.2012-05-29

2 Answers 2

4

Hint 1: Try $2\mathbb{Z}\cup 3\mathbb{Z}$ in $\mathbb{Z}$.

Hint 2: Ideals are additively closed, so at the very least the smallest ideal containing $I$ and $J$ also has to contain $I+J$...

3

You could try the ideals $I=3\mathbb{Z}$ and $J=5\mathbb{Z}$. Then their union is not an ideal since it is not closed under addition. You have $3,5\in I\cup J$, but $8\notin I\cup J$, for example.

Secondly, the smallest ideal containing $I$ and $J$ is $I+J$. A brief proof can be found here as problem 2a.