Kommutative Ringtheorie/Ideal/Definition

Ideal

Eine Teilmenge ${}{\mathfrak {a}}$ eines kommutativen Ringes ${}R$ heißt Ideal, wenn die folgenden Bedingungen erfüllt sind:

1.  ${}0\in {\mathfrak {a}}$. 
2. Für alle  ${}a,b\in {\mathfrak {a}}$  ist auch  ${}a+b\in {\mathfrak {a}}$. 
3. Für alle  ${}a\in {\mathfrak {a}}$  und  ${}r\in R$  ist auch  ${}ra\in {\mathfrak {a}}$.