Primärzerlegung

Die Primärzerlegung drückt ein Ideal in einem Noetherschen Ring als endlichen Durchschnitt von Primäridealen aus, verallgemeinert die Faktorisierung von ganzen Zahlen in Primzahlpotenzen und offenbart die zugehörigen Primideale.

Definition

Eine Primärzerlegung eines Ideals ist dessen Ausdruck als endlicher Durchschnitt von Primäridealen, wobei ein Ideal primär ist, wenn ein darin liegendes Produkt entweder einen Faktor darin oder eine Potenz des anderen Faktors darin erzwingt; die Radikale dieser Komponenten sind die zugehörigen Primideale.

Scope

Dieses Thema behandelt Primärideale und ihre Radikale, den Satz von Lasker-Noether über die Existenz von Primärzerlegungen in Noetherschen Ringen, irredundante Zerlegungen, die Eindeutigkeit der zugehörigen Primideale und der isolierten Primärkomponenten sowie die geometrische Interpretation durch irreduzible Komponenten und eingebettete Primideale.

Core questions

• Was ist ein Primärideal, und wie verallgemeinert es eine Primzahlpotenz?
• Wann lässt ein Ideal eine Primärzerlegung zu?
• Welche Teile einer Primärzerlegung sind eindeutig bestimmt?
• Wie erscheinen zugehörige und eingebettete Primideale geometrisch?

Key theories

Satz von Lasker-Noether

In einem Noetherschen Ring ist jedes Ideal ein endlicher Durchschnitt von Primäridealen, sodass eine Primärzerlegung immer existiert, was die eindeutige Faktorisierung von Elementen auf Ideale verallgemeinert.

Eindeutigkeit der zugehörigen Primideale

Obwohl die Primärkomponenten selbst nicht immer eindeutig sind, ist die Menge der zugehörigen Primideale (die Radikale der Komponenten) durch das Ideal eindeutig bestimmt, ebenso wie die Komponenten für die minimalen zugehörigen Primideale.

Geometrische Interpretation

Die minimalen zugehörigen Primideale entsprechen den irreduziblen Komponenten der durch das Ideal definierten algebraischen Menge, während eingebettete Primideale zusätzliche, niedrigdimensionale Strukturen wie Multiplizitäten entlang Untervarietäten erfassen.

Clinical relevance

Die Primärzerlegung ist das idealtheoretische Analogon der Faktorisierung und grundlegend für die algebraische Geometrie: Sie zerlegt eine algebraische Menge in irreduzible Komponenten und erkennt eingebettete und multiple Strukturen; zudem organisiert sie die zugehörigen Primideale eines Moduls, die in der kommutativen Algebra durchgängig verwendet werden.

History

Emanuel Lasker bewies die Primärzerlegung für Polynomringe im Jahr 1905, und Emmy Noether etablierte sie abstrakt für alle Noetherschen Ringe im Jahr 1921 in der Arbeit, die die aufsteigende Kettenbedingung einführte; das Ergebnis ist nach ihnen als Satz von Lasker-Noether benannt.

Key figures

• Emanuel Lasker
• Emmy Noether
• Wolfgang Krull

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Wie ähnelt die Primärzerlegung der Faktorisierung von ganzen Zahlen?

Das Schreiben einer ganzen Zahl als Produkt von Primzahlpotenzen entspricht für das von ihr erzeugte Ideal einem Durchschnitt von Primäridealen, deren Radikale die Primideale sind. Die Primärzerlegung erweitert dies von den ganzen Zahlen auf Ideale in jedem Noetherschen Ring, wo eine wörtliche Faktorisierung fehlschlagen kann.

Ist eine Primärzerlegung eindeutig?

Nicht vollständig. Die Menge der zugehörigen Primideale und die zu den minimalen Primidealen gehörenden Komponenten sind eindeutig, aber Komponenten für eingebettete Primideale können auf verschiedene Weisen gewählt werden. Die Primdaten sind also kanonisch, während die spezifischen Komponenten es nicht sind.