1
$\begingroup$

Let $R$ be a ring. Let $I = \langle x + y \rangle$, $J = \langle x - y \rangle$ be ideals of $R[x,y]$.

What's $I + J$ in this case? By definition $I + J = \{ i + j \mid i \in I, j \in J \}$. My first thought was that $I + J = \langle 2x \rangle$ but since $x(x+y) \in I$ and $y(x-y) \in J$ and $x(x+y) + y(x-y) = (x-y)^2 \notin \langle 2x \rangle$ this must be wrong. Is there a formula for $I + J$ if $I,J$ are generated by some set of elements?

  • 0
    @AsafKaragila Is this better?2012-04-11

2 Answers 2

4

We know, that $I+J$ is the smallest ideal containing $I$ and $J$. If we are given $I$ and $J$ by generators, say $I = \langle M \rangle$ and $J = \langle N \rangle$, we have that $I+J$ is the ideal generated by all these generators, i. e. we have $I + J = \langle M \cup N \rangle$.

In your example above we have therefore $I + J = \langle x+y, x-y\rangle$.

4

As explained in martini's answer, $I+J=\langle x+y, x-y\rangle$.

Let me add that:

  • if $2$ is invertible in $R$ then $\langle x+y,x-y\rangle=\langle x,y\rangle$. This follows from $ x=\frac12((x+y)+(x-y)),\qquad y=\frac12((x+y)-(x-y)). $
  • if $2$ is not invertible in $R$, but $char(R)\neq2$, then in general the inclusion $\langle x+y,x-y\rangle\subset\langle x,y\rangle$ is not an equality. For instance, in $\Bbb Z$ one has $2\Bbb Z=\langle10,6\rangle\neq\langle16,4\rangle=4\Bbb Z$.
  • if $2=0$ in $R$ then $x+y=x-y$ so that $I+J=I=J$.