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

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

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

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

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

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

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

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

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.