Ein echtes Ideal P eines kommutativen Rings R mit der Eigenschaft, dass aus a·b ∈ P folgt: a ∈ P oder b ∈ P; äquivalent ist R/P ein Integritätsbereich.

Prinzip

Primalität erzwingt multiplicative Unzerlegbarkeit auf der Idealebene: Treffen Produkte P, so muss mindestens ein Faktor in P liegen, wodurch Nullteiler im Quotienten verschwinden.

Demonstration

In Z ist das Ideal (p) eines Primzahl p prim und Z/(p) ist ein Körper und damit ein Integritätsbereich. In k[x,y] ist (x) prim, da k[x,y]/(x) ≅ k[y] ein Integritätsbereich ist.

Fehlanwendung

Zu glauben, jedes Primideal sei maximal: Das gilt in Hauptidealbereichen oder Ringen der Dimension 1, aber allgemein muss ein Primideal nicht maximal sein.

Konsequenz

Durch Quotientieren nach einem Primideal erhält man einen Integritätsbereich; Primideale entsprechen irreduziblen geometrischen Komponenten und steuern das Lokalisationsverhalten.

Umkehrung

Ein nicht-primes echtes Ideal kann Produkte enthalten, ohne dass Faktoren darin liegen; sein Quotient hat Nullteiler und ist kein Integritätsbereich.

Abgrenzung

Primideale sind definitionsgemäß echte Ideale; das Nullideal kann in einem Integritätsbereich prim sein. In nichtkommutativen Ringen gibt es verschiedene nicht äquivalente Begriffe von 'prim'.

Semantische Spannung

Primideal vs irreduzibles Element: Primideale verallgemeinern Primzahlen/prime Elemente, aber ein primitives Element erzeugt nur unter bestimmten Faktorierungsbedingungen ein Primideal; die Verwechslung verwischt die Ebenen.

Synthese

Ein Primideal ist ein echtes Ideal, das multiplikative Zerlegung erkennt: es zwingt Faktoren von Produkten hinein und erzeugt einen Integritätsbereich beim Quotienten, weshalb es eine fundamentale Strukturkomponente ist.