## [Maximalideal](/de/node/63307) Definition Ein echtes Ideal M eines Rings R, das bezüglich der Inklusion unter den echten Idealen maximal ist: Es gibt kein Ideal I mit M ⊊ I ⊊ R; äquivalent ist R/M ein Körper. ## Prinzip Prinzip Maximalität wählt Ideale aus, deren Quotient alle Nichtinvertierbaren zusammenfasst und einen einfachen Ring (Körper) liefert; sie dienen in der algebraischen Geometrie als Punkte über Koordinatenringe. ## Demonstration Demonstration In Z ist das Ideal (p) einer Primzahl p maximal, denn Z/(p) ≅ F_p ist ein Körper. In k[x] sind Ideale der Form (x - a) für a∈k maximal mit Quotient k. ## Fehlanwendung Fehlanwendung Zu behaupten, jedes maximale Ideal sei principal oder garantiere eindeutige Faktorisierung; maximale Ideale müssen nicht von einem Element erzeugt werden und implizieren keine UFD-Eigenschaften. ## Konsequenz Konsequenz Die Lokalisierung an einem maximalen Ideal ergibt einen lokalen Ring mit nur einem maximalen Ideal; maximale Ideale entsprechen abgeschlossenen Punkten des Spektrums eines Rings. ## Umkehrung Umkehrung Ein nicht-maximales echtes Ideal kann strikt in größere echte Ideale eingebettet sein; sein Quotient ist kein Körper und besitzt nichttriviale Ideale oder Nullteiler. ## Abgrenzung Abgrenzung Maximale Ideale sind definitionsgemäß echt; in nichtkommutativen Ringen können links- und rechtsmaximale Ideale verschieden sein und die Entsprechung zum Körper wird durch Teilungsringe ersetzt. ## Semantische Spannung Semantische Spannung Maximal vs Prim: Jedes maximale Ideal ist prim in kommutativen Ringen, aber die Umkehrung gilt nicht generell in höheren Dimensionen; ihre Vermischung verschleiert dimensionsbezogene Informationen. ## Synthese Synthese Ein maximales Ideal ist das größte echte Ideal mit Körperquotient; es markiert ‚Punkte‘ mit einfacher Struktur und bildet die Grundlage für Lokalisierung und geometrische Deutungen.