0

I am studying ideals and noticed that $I+J$ is an ideal as noted here. However the paper does not discuss $I-J$ so:

Is the difference of ideals an ideal?

Alex M.
  • 35,207
hhh
  • 5,469

1 Answers1

1

Yes, of course, because

$$I-J = \{i - j \mid i \in I, j \in J\} = \{i + (-j) \mid i \in I, j \in J\} = \{i + k \mid i \in I, -k \in J\} = \{i + k \mid i \in I, k \in -J\} = \{i + k \mid i \in I, k \in J\} = I + J$$

(because obviously $-J = J$).

Alex M.
  • 35,207