## [Primideal](/de/node/63306) Definition 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 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 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 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 Konsequenz Durch Quotientieren nach einem Primideal erhält man einen Integritätsbereich; Primideale entsprechen irreduziblen geometrischen Komponenten und steuern das Lokalisationsverhalten. ## Umkehrung Umkehrung Ein nicht-primes echtes Ideal kann Produkte enthalten, ohne dass Faktoren darin liegen; sein Quotient hat Nullteiler und ist kein Integritätsbereich. ## Abgrenzung 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 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 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.