Lokalisierung

Die Lokalisierung kehrt formal eine gewählte Menge von Elementen eines Rings um, wodurch ein Bruchring entsteht, der das algebraische Verhalten in der Nähe eines Primideals isoliert, was dem algebraischen Gegenstück des geometrischen Hineinzoomens entspricht.

Definition

Die Lokalisierung eines kommutativen Rings an einer multiplikativ abgeschlossenen Menge ist der Bruchring, der durch formales Adjungieren von Inversen dieser Menge erhalten wird; die Lokalisierung am Komplement eines Primideals ergibt einen lokalen Ring mit einem eindeutigen maximalen Ideal.

Scope

Dieses Thema behandelt die Konstruktion von Bruchringen und -moduln, die Lokalisierung an einem Primideal und den daraus resultierenden lokalen Ring, die Exaktheit der Lokalisierung, die Korrespondenz zwischen Primidealen einer Lokalisierung und Primidealen des Rings sowie das Lokal-Global-Prinzip.

Core questions

• Wie kehrt man Elemente eines Rings formal um?
• Was ist ein lokaler Ring, und wie erzeugt die Lokalisierung an einem Primideal einen solchen?
• Wie verhalten sich die Primideale einer Lokalisierung zu denen des ursprünglichen Rings?
• Wie reduziert das Lokal-Global-Prinzip globale Aussagen auf lokale?

Key theories

Ring und Modul von Brüchen

Das Invertieren einer multiplikativ abgeschlossenen Menge ergibt einen Bruchring mit einer universellen Eigenschaft unter Ringhomomorphismen, die diese Menge auf Einheiten abbilden, und dieselbe Konstruktion lokalisiert Moduln kompatibel.

Exaktheit der Lokalisierung

Die Lokalisierung ist ein exakter Funktor, der Injektionen, Surjektionen und exakte Sequenzen bewahrt, was sie zu einem besonders gutartigen Werkzeug für die Untersuchung von Moduln macht.

Lokal-Global-Prinzip

Viele Eigenschaften eines Moduls oder Rings gelten global genau dann, wenn sie nach Lokalisierung an jedem Prim- (oder maximalen) Ideal gelten, sodass lokale Berechnungen die globale Struktur bestimmen.

Clinical relevance

Die Lokalisierung ist die algebraische Formalisierung der Untersuchung eines Raumes in der Nähe eines Punktes: In der algebraischen Geometrie konstruiert sie die lokalen Ringe von Punkten auf einer Varietät und die Strukturgarbe, und in der Zahlentheorie erzeugt sie die Lokalisierungen von Ganzzahlringen an Primzahlen, die den Lokal-Global-Methoden zugrunde liegen.

History

Die Lokalisierung verallgemeinerte den Übergang von einem Integritätsbereich zu seinem Quotientenkörper und die p-adischen Konstruktionen der Zahlentheorie. Krull und Chevalley entwickelten in den 1930er und 1940er Jahren lokale Ringe, und die Lokalisierung wurde mit der geometrischen Neuformulierung der kommutativen Algebra durch Zariski und Grothendieck grundlegend.

Key figures

• Wolfgang Krull
• Claude Chevalley
• Oscar Zariski
• Alexander Grothendieck

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Was bedeutet es, an einem Primideal zu lokalisieren?

Es bedeutet, jedes Element, das nicht im Primideal liegt, zu invertieren, wodurch ein lokaler Ring entsteht, dessen eindeutiges maximales Ideal diesem Primideal entspricht. Geometrisch konzentriert sich dies auf das Verhalten des Rings in der Nähe des Punktes, den das Primideal repräsentiert.

Warum ist das Lokal-Global-Prinzip nützlich?

Viele Eigenschaften, wie z.B. dass ein Modul Null ist oder eine Abbildung ein Isomorphismus ist, können nach Lokalisierung primidealweise überprüft werden. Dies reduziert schwierige globale Fragen auf einfachere lokale, eine wiederkehrende Strategie in der Algebra und Zahlentheorie.