# An interesting problem about a “quasi ideal”

Let R be an infinite ring without an unity. Let I ⊆ R satisfying: for any a,b ∈ I, r ∈ R, we have a+b ∈ I, ar ∈ I, ra ∈ I. Then there are two possibilities about I:
(1) I must be an ideal, i.e., for any a ∈ I, we have -a ∈ I;
(2) there exists b ∈ I such that -b ∉ I.
Which one is right?

• Why do you believe that one of (1) and (2) has to be true in general? I mean, $I = R$ satisfies (1), but $I = 2\mathbb{Z}_{\geq 0} \subseteq 2 \mathbb{Z}$ satisfies (2). Also notice the third possibility $I = \emptyset$. – Matthias Klupsch Oct 16 '16 at 16:11
• Correct me again if I am wrong, but what happens when multiplication in $R$ is constant $0$? It seems to me that every subset which is additively closed then satisfies your conditions but not all of them need to contain additive inverses. – Matthias Klupsch Oct 17 '16 at 7:44