Hauptidealsatz

Hauptidealsatz

Die Dimension oder genauer Krulldimension (nach Wolfgang Krull), auch Chevalleydimension (nach Claude Chevalley), eines kommutativen Ringes mit Einselement ist die anschauliche Dimension der ihm in der algebraischen Geometrie zugeordneten Varietät oder allgemeiner des zugehörigen Schemas.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe Kommutative Algebra.

Definition

Die Höhe ht P eines Primideales P ist die maximale Länge einer aufsteigenden Kette von Primidealen

P_0\subsetneq P_1\subsetneq\ldots\subsetneq P_n=P;

die Höhe ist dann n. Gibt es keine maximale Länge, hat das Primideal unendliche Höhe.

Die Dimension dim A eines Ringes A ist das Supremum der Höhen seiner Primideale.

Eigenschaften

  • In einem noetherschen Ring hat jedes Primideal endliche Höhe, insbesondere sind noethersche lokale Ringe endlichdimensional. Es gibt aber auch noethersche Ringe unendlicher Dimension.
  • Die Höhe eines Primideals ist gleich der Kodimension der entsprechenden abgeschlossenen Teilmenge des Spektrums des Ringes.
  • Krulls Hauptidealsatz besagt, dass die Höhe von Primidealen, die minimal über einem Hauptideal liegen (d.h. es enthalten und bezüglich dieser Eigenschaft minimal sind), höchstens 1 sein kann. Allgemeiner ist die Höhe von Primidealen, die minimal über einem Ideal liegen, das von r Elementen erzeugt werden kann, höchstens r.

Beispiele

  • dim Z = 1. Maximale aufsteigende Ketten von Primidealen haben die Form
(0) \subsetneq (p)
für Primzahlen p.
  • Ein Integritätsbereich ist genau dann eindimensional, wenn jedes von Null verschiedene Primideal maximal ist. Für weitere Beispiele eindimensionaler Integritätsbereiche siehe Dedekindring.
  • Körper sind nulldimensional, allgemeiner alle artinschen Ringe.
  • Die Formel dim A[X] = dim A + 1 gilt für noethersche Ringe A; insbesondere hat der affine Koordinatenring des n-dimensionalen affinen Raums über einem Körper Dimension n.

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Principal ideal theorem — This article is about the Hauptidealsatz of class field theory. You may be seeking Krull s principal ideal theorem, also known as Krull s Hauptidealsatz, in commutative algebra In mathematics, the principal ideal theorem of class field theory, a… …   Wikipedia

  • Minimal prime (commutative algebra) — In mathematics, especially in the area of algebra known as commutative algebra, certain prime ideals called minimal prime ideals play an important role in understanding rings and modules. The notion of height and Krull s Hauptidealsatz use… …   Wikipedia

  • Olga Taussky — Todd (* 30. August 1906 in Olmütz, Tschechien; † 7. Oktober 1995 in Pasadena, Kalifornien) war eine Mathematikerin. Bekannt wurde sie in der Algebra als eine der Wegbereiterinnen der (numerischen) Matrizentheorie. Olga Taussky studierte an der… …   Deutsch Wikipedia

  • Taussky-Todd — Olga Taussky Todd (* 30. August 1906 in Olmütz, Tschechien; † 7. Oktober 1995 in Pasadena, Kalifornien) war eine Mathematikerin. Bekannt wurde sie in der Algebra als eine der Wegbereiterinnen der (numerischen) Matrizentheorie. Olga Taussky… …   Deutsch Wikipedia

  • Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia

  • List of German expressions in English — This is a list of German expressions used in English; some relatively common (e.g. hamburger ), most comparatively rare. In many cases, the German borrowing in English has assumed a meaning substantially different from its German forebear.English …   Wikipedia

  • Krull's principal ideal theorem — In commutative algebra, Krull s principal ideal theorem, named after Wolfgang Krull (1899 1971), gives a bound on the height of a principal ideal in a Noetherian ring. The theorem is sometimes referred to by its German name, Krulls Hauptidealsatz …   Wikipedia

  • Krull's theorem — In mathematics, more specifically in ring theory, Krull s theorem, named after Wolfgang Krull, proves the existence of maximal ideals in any unital commutative ring. The theorem was first stated in 1929 and is equivalent to the axiom of choice.… …   Wikipedia

  • Dimension (kommutative Algebra) — Die Dimension oder genauer Krulldimension (nach Wolfgang Krull), auch Chevalleydimension (nach Claude Chevalley), eines kommutativen Ringes mit Einselement ist die anschauliche Dimension der ihm in der algebraischen Geometrie zugeordneten… …   Deutsch Wikipedia

  • Klassenkörpertheorie — Die Klassenkörpertheorie ist ein großer Zweig der algebraischen Zahlentheorie, der sich mit der Untersuchung abelscher Erweiterungen algebraischer Zahlkörper, oder allgemeiner von globalen Körpern beschäftigt. Grob gesagt geht es darum, solche… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”