TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2023W/Beispiel 438

Aus VoWi
Zur Navigation springen Zur Suche springen

Sei ein beliebiger Ring und . Weiters sei die Menge aller Ideale von , die umfassen. Zeigen Sie: ist das kleinste Ideal von , das umfasst.

Hilfreiches[Bearbeiten | Quelltext bearbeiten]

Ein Ideal ist eine Teilmenge eines Ringes für die gilt:



Lösungsvorschlag von neo[Bearbeiten | Quelltext bearbeiten]

Zuerst beweist man, dass der Durchschnitt von zwei Idealen ebenfalls ein Ideal ist. Seien zwei Ideale (Nullelement):


Wahr, denn bzw. und wenn eine Eigenschaft für alle Elemente einer Menge gilt, dann gilt sie auch für einen Teil davon.

Wahr mit der selben Argumentation wie oben.
Also ist der Durchschnitt von zwei Idealen wieder ein Ideal.

Da alle Elemente aus die Menge enthalten, gilt:

Wenn alle Elemente enthalten, dann enthält auch der Durchschnitt aller Elemente .


Der Durschnitt von zwei Mengen ist immer kleiner-gleich der kleineren Menge der beiden Mengen. Also folgt daraus:
enthält und ist gleichzeitig das kleinste Ideal, welches enthält.