Lexikon der Mathematik: Primideal
Ideal P mit der Eigenschaft, daß aus x · y ∈ P und x ∉ P folgt: y ∈ P.
Ein Ideal P im Ring R ist genau dann ein Primideal, wenn der FaktorringR/P ein Integritätsbereich ist.
Ein Maximalideal ist ein Primideal.
Im Ring ℤ der ganzen Zahlen sind die Primideale diejenigen Ideale, die von Primzahlen erzeugt sind.
In jedem Ring R gibt es Primideale, und der Durchschnitt aller Primideale ist die Menge der nilpotenten Elemente des Ringes.
Wenn R als Ring endlich erzeugt über einem Körper k ist, und K ein Erweiterungskörper von k, der algebraisch abgeschlossen ist und eine unendliche, über k algebraisch unabhängige Menge enthält, ist jedes Primideal Kern eines Algebren-Homomorphismus λ : R → K. Aus diesem Grund hat sich auch die Bezeichnung Spektrum Spec(R) für die Menge aller Primideale von R eingebürgert.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.