Eine strukturelle Aussage zur I-adischen Topologie eines Rings: Unter üblichen Voraussetzungen (z. B. R noethersch und I im Jacobson-Radikal, typischerweise im lokal‑ oder komplett‑noetherschen Fall) ist der Durchschnitt aller Potenzen eines echten Ideals I, ⋂_{n≥1} I^n, gleich {0}. Der Satz beschreibt, wann die natürliche Abbildung von R in seine I-adische Komplettierung injektiv ist, also wann R I-adisch separiert ist.

Prinzip

Adische Separation: Absteigende Potenzen eines Ideals liefern die I-adische Topologie, und wenn der Ring Noetherschheit oder Vollständigkeitsbedingungen erfüllt, kann kein von Null verschiedenes Element in jeder Potenz liegen. Äquivalent ist, dass das einzige topologisch zu Null indistinguierbare Element Null ist.

Demonstration

Beispiel: R = k[[x1,…,xr]] die formale Potenzreihenring über einem Körper k und I = (x1,…,xr). Jede nichtverschwindende Potenzreihe hat einen Term minimalen totalen Grades und kann daher nicht in allen I^n liegen; somit ist ⋂ I^n = {0}. Das zeigt die I-adische Separation in vollständigen lokalen regulären Beispielen.

Fehlanwendung

Den Satz auf beliebige Ringe oder auf Ideale anwenden, die nicht im Jacobson-Radikal liegen. Wird er auf einen nicht-noetherschen Ring oder auf ein Ideal angewandt, das nicht die betrachtete adische Topologie erzeugt, kann dies fälschlich Einzigartigkeit von Entwicklungen oder Injektivität der Komplettierungsabbildung nahelegen.

Konsequenz

Wenn anwendbar, besitzen Elemente und Moduln eindeutige I-adische Darstellungen und der Komplettierungsfunktor ist treu auf R; dies ermöglicht Reduktionen auf den vollständig adischen Fall und stellt sicher, dass topologische Limiten algebraische Nichtigkeiten widerspiegeln.

Umkehrung

Das Gegenteil tritt ein, wenn ⋂ I^n nicht null ist: Der Ring ist I-adisch nicht separiert, sodass nichtnull Elemente topologisch mit Null nicht unterscheidbar sind. Eine solche Nichtseparation verhindert Hebungen, Eindeutigkeit von Darstellungen und die Injektivität der Komplettierung.

Abgrenzung

Gilt für Ringe und Ideale, die die adischen Voraussetzungen erfüllen — klassisch noethersche lokale Ringe (oft vollständig) oder noethersche Ringe mit I im Jacobson-Radikal. Nicht automatisch gültig für beliebige Ringe, für Ideale außerhalb des Jacobson-Radikals oder für Topologien, die nicht von Idealpotenzen erzeugt werden.

Semantische Spannung

Spannung besteht zwischen Nakayama-artigen Effekten und dem Begriff der Vollständigkeit: Krull Intersection behauptet Separation (Injektivität in die Komplettierung), während Vollständigkeit Surjektivität betrifft; ein Ring kann separiert, aber nicht vollständig sein und umgekehrt.

Synthese

Der Krull-Schnittsatz besagt, dass unter Noetherschen und verwandten Voraussetzungen die I-adische Topologie die Punkte trennt, indem kein von Null verschiedenes Element in allen Potenzen von I verbleibt; das sichert Eindeutigkeit adischer Darstellungen und die Injektivität der Komplettierung.