Hilbertscher Basissatz

Hilbertscher Basissatz

Der Hilbertsche Basissatz (nach David Hilbert) ist ein grundlegender Satz in der algebraischen Geometrie, er verbindet verschiedene Endlichkeitsbedingungen.

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.

Der Hilbertsche Basissatz besagt in seiner allgemeinen Form:

Da die Algebren endlichen Typs genau die Quotientenringe von Polynomringen sind, ist diese Aussage äquivalent zu:

  • Ist A ein noetherscher Ring und B eine A-Algebra endlichen Typs, so ist auch B noethersch.

Die (bis auf den Sprachgebrauch) 1888 von Hilbert bewiesene Fassung behandelt den Spezialfall des Körpers:

  • Der Polynomring k[X_1,\ldots,X_n] über einem Körper k ist noethersch.

Eine wichtige Anwendung ist die folgende Aussage: Ist eine Teilmenge eines kn für einen Körper k durch unendlich viele Polynomgleichungen beschrieben, so genügen bereits endlich viele von ihnen. Genauer: Ist V=\{(x_1,\ldots, x_n)\in k^n;\, f(x_1,\ldots, x_n)=0 \mbox{ für alle }f\in\mathcal{F}\} für eine beliebige Menge von Polynomen \mathcal{F}\subset k[X_1,\ldots,X_n], so gibt es endlich viele f_1,\ldots, f_m \in \mathcal{F}, so dass V=\{(x_1,\ldots, x_n)\in k^n;\, f_i(x_1,\ldots, x_n)=0 \mbox{ für alle }i=1,\ldots, m\}. Dies ist der schwierigste Teil des Beweises der Aussage, dass die Zariski-Topologie eine Topologie ist.

Siehe auch

Einzelnachweise

  1. Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie, Vieweg (1980), ISBN 3-528-07246-6, Kapitel I, §2, Satz 2.3 (sehr kurzer Beweis)
  2. B. L. van der Waerden: Algebra II, Springer-Verlag (1967), ISBN 3-540-03869-8, §115

Wikimedia Foundation.

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

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

  • Basissatz — bezeichnet einen empirischen Beobachtungssatz, siehe Beobachtungssatz einen mathematischen Satz aus der algebraischen Geometrie, siehe Hilbertscher Basissatz in der Theoretischen Chemie und der Molekülphysik eine Linearkombination von Funktionen …   Deutsch Wikipedia

  • Hilbertscher Syzygiensatz — Der hilbertsche Syzygiensatz ist ein mathematischer Satz der Invariantentheorie, den David Hilbert 1890 in seiner Abhandlung „Ueber die Theorie der algebraischen Formen“ (Mathematische Annalen, Band 36, 1900, Seiten 473–534) veröffentlicht hat.… …   Deutsch Wikipedia

  • David Hilbert — (1912) David Hilbert (* 23. Januar 1862 in Königsberg[1]; † 14. Februar 1943 in Göttingen) war ein deutscher Mathematiker. Er gilt als einer der bedeutendsten Mathematiker der Neuzeit. Viele seiner Arbeiten auf dem Gebiet der Mathematik u …   Deutsch Wikipedia

  • Noethersch — In der Algebra werden bestimmte Strukturen (Ringe und Moduln) noethersch genannt, wenn sie keine unendliche Schachtelung von immer größeren Unterstrukturen enthalten können. Der Begriff ist nach der Mathematikerin Emmy Noether benannt.… …   Deutsch Wikipedia

  • Noethersche Moduln — In der Algebra werden bestimmte Strukturen (Ringe und Moduln) noethersch genannt, wenn sie keine unendliche Schachtelung von immer größeren Unterstrukturen enthalten können. Der Begriff ist nach der Mathematikerin Emmy Noether benannt.… …   Deutsch Wikipedia

  • Noetherscher Modul — In der Algebra werden bestimmte Strukturen (Ringe und Moduln) noethersch genannt, wenn sie keine unendliche Schachtelung von immer größeren Unterstrukturen enthalten können. Der Begriff ist nach der Mathematikerin Emmy Noether benannt.… …   Deutsch Wikipedia

  • Hilbert — ist der Familienname folgender Personen: Andy Hilbert (* 1981), US amerikanischer Eishockeyspieler Anton Hilbert (1898–1986), deutscher Politiker (CDU) Carl Aage Hilbert (1899–1953), dänischer Jurist und Gouverneur der Färöer David Hilbert… …   Deutsch Wikipedia

  • Nullstellengebilde — Die algebraische Geometrie ist ein Teilgebiet der Mathematik, das, wie der Name bereits andeutet, die abstrakte Algebra, insbesondere das Studium von kommutativen Ringen, mit der Geometrie verknüpft. Sie lässt sich kurz als das Studium der… …   Deutsch Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

  • Noetherscher Raum — Der Noethersche topologischer Raum, benannt nach Emmy Noether, ist ein mathematischer Begriff aus dem Teilgebiet der Topologie. Er ist durch den algebraischen Begriff des noetherschen Rings motiviert und findet hauptsächlich in der algebraischen… …   Deutsch Wikipedia

Share the article and excerpts

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