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?
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$).
Copyright © 2021 JogjaFile Inc.
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$).