Loading AI tools
Aus Wikipedia, der freien Enzyklopädie
Der Durchschnittssatz von Krull, benannt nach Wolfgang Krull, ist ein Satz aus der kommutativen Algebra, der sich mit Potenzen von Idealen eines noetherschen Rings beschäftigt. Er hat zur Folge, dass eine gewisse Topologie auf endlich erzeugten Moduln über einem noetherschen Ring hausdorffsch ist.
Es sei ein Ideal in einem kommutativen, noetherschen Ring und ein endlich erzeugter -Modul.
Der Beweis ist eine einfache Anwendung des Satzes von Artin-Rees. Nach letzterem gibt es ein , so dass für alle gilt:
Daraus folgt für
und damit die erste Behauptung. Die zweite folgt dann aus der ersten und dem Lemma von Nakayama.[1]
Ist ein beliebiger -Modul, so definieren die Potenzen
eine Nullumgebungsbasis in und damit eine Topologie, die sogenannte -adische Topologie. In dieser ist eine Menge genau dann offen, wenn es zu jedem ein gibt mit .
Ist ein endlich erzeugter -Modul und ein im Jacobson-Radikal enthaltenes Ideal, so ist mit der -adischen Topologie ein Hausdorffraum. Sind nämlich zwei verschiedene Elemente aus , so ist und daher für hinreichend großes . Dann sind und disjunkte Umgebungen von und .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.