Ein echtes Ideal P eines kommutativen Rings R, so dass der Quotientenring R/P ein Integritätsbereich ist; äquivalent: P ist echt und wenn ein Produkt ab in P liegt, dann liegt mindestens a oder b in P (das Komplement R\P ist multiplikativ abgeschlossen).

Prinzip

Primideale detektieren irreduzibles multiplikatives Verhalten in Ringen: sie verhindern Nullteiler im Quotienten und verallgemeinern das Konzept der Primzahl von Z auf beliebige Ringe.

Demonstration

In Z ist das Ideal pZ, erzeugt von einer Primzahl p, ein Primideal, weil Z/pZ ein Integritätsbereich ist; im Polynomring k[x,y] ist das Ideal (x) prim, da k[x,y]/(x) ≅ k[y], ein Integritätsbereich.

Fehlanwendung

Ein Ideal nur deshalb als prim zu bezeichnen, weil es von einem irreduziblen Element in einem Nicht-UFD erzeugt wird, ohne zu prüfen, ob der Quotient ein Integritätsbereich ist; das Übersehen der Eigenschaft 'echt'.

Konsequenz

Primideale liefern Quotienten, die Integritätsbereiche sind, und sie spielen eine zentrale Rolle in algebraischer Geometrie und Zahlentheorie (sie entsprechen irreduziblen abgeschlossenen Mengen und steuern Primärzerlegungen).

Umkehrung

Ein Ideal, dessen Quotient nilpotente Elemente oder Nullteiler enthält, ist nicht prim; die Umkehrung der Bedingung führt zu primären oder radikalen Idealen statt zu Primidealen.

Abgrenzung

Die Definition setzt Kommutativität voraus für die Standardäquivalenz mit der Nullprodukt-Eigenschaft; in nichtkommutativen Ringen sind feinere Definitionen von Primidealen nötig und Links-/Rechtsunterscheidungen relevant.

Semantische Spannung

Die integer-basierte Intuition einer Primzahl als Atom kann irreführen, wenn man sie auf Ringe überträgt, in denen irreduzible Elemente und von ihnen erzeugte Ideale auseinanderfallen; die Komplement-Charakterisierung konkurriert mit der Quotienten-Charakterisierung.

Synthese

Ein Primideal ist ein echtes Ideal, das im Quotienten Nullteiler ausschließt und so eine ringtheoretische Verallgemeinerung von Primalität darstellt, die Faktorisierung und geometrische Irreduzibilität bestimmt.