Lemma von Gauß

Lemma von Gauß

Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht signifikant verbessert werden können. Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion!

Als Inhalt (engl. content) eines Polynoms bezeichnet man die Zahl, durch die man ein Polynom aus dem Quotientenkörper eines Ringes dividieren muss, sodass der größte gemeinsame Teiler seiner Koeffizienten eine Einheit im Ring ist. Die Abhängigkeit vom Ring ist dabei essenziell.

Seine Anwendung hat dieser Begriff im Satz von Gauß. Dieser stellt den Inhalt eines Produktes von zwei Polynomen in Bezug zum Inhalt seiner Faktoren. Dieses Resultat ist theoretisch sehr interessant, da man damit nachweisen kann, dass Polynomringe in endlich vielen Variablen über faktoriellen Ringen insbesondere über Körpern faktoriell sind. Praktisch kann man den Satz auch nutzen um Einschränkungen von rationalen Nullstellen eines Polynoms mit ganzen Koeffizienten zu erhalten (Insbesondere lassen sich die Kandidaten für rationale Nullstellen auf endlich viele reduzieren). Dies kann bei der Faktorisierung von Polynomen nützlich sein.

Inhaltsverzeichnis

Definition (für einen faktoriellen Ring)

Sei f = \sum_{k=0}^n a_k x^k\neq 0 ein Polynom mit Koeffizienten aus einem beliebigen faktoriellen Ring R. Dann ist \mathrm{ggT}_R(a_0,\ldots,a_n) der Inhalt von f und wird im Folgenden mit inhaltR(f) bezeichnet, wobei in der Literatur teilweise auch die englische Bezeichnung contR(f) verwendet wird. Der Inhalt ist bis auf eine Einheit eindeutig bestimmt. Weiter ist festgelegt.

inhaltR(0): = 0

Weiter ergibt sich mit dieser Definition eine sinnlose Beschränkung im Lemma von Gauß auf Polynome aus dem Ring.

Definition (für den Quotientenkörper über einem faktoriellen Ring)

Es sei R ein faktorieller Ring und K der Quotientenkörper. Die Elemente des Quotientenkörpers kann man mit Hilfe der Primelemente wie folgt schreiben.

a=ep_1^{k_1}p_2^{k_2}...p_l^{k_l}\in K^*\text{ mit }k_1,...,k_l\in\mathbb Z,\ e\in R^*\text{ und }p_1,...,p_l\in R \text{ paarweise nicht assoziierte Primelemente.}

Die auftretenden Exponenten sind eindeutig bestimmt und man kann definieren

\nu_{p_1}(a):=\mathrm{ord}_{p_1}(a):=k_1\text{ mit }a=ep_1^{k_1}p_2^{k_2}...p_l^{k_l}\text{ wie oben.}

Damit lässt sich nun die Ordnung für ein Polynom mit Koeffizienten aus dem Körper K bestimmen.

\mathrm{ord}_p(f):=\nu_p(f):=\min\limits _{i=0,...,n}\nu_p(a_i)\text{, wobei }f = \sum_{k=0}^n a_k x^k\in K[X]\backslash\{0\}

Weiter lässt sich nun der Inhalt definieren über

\mathrm{cont}_R(f):=\mathrm{inhalt}_R(f):=e\prod_{p\in P}p^{\mathrm{orp}_p(f)}

Dabei sei P eine maximale Menge paarweise nicht assoziierter Primelemente aus R und e\in R^* eine beliebige Einheit. Zur Vollständigkeit gilt noch

\nu_p(0):=\mathrm{ord}_p(0):=\infty\text{ und }\mathrm{cont}_R(0):=\mathrm{inhalt}_R(0):=0

Wie im Falle eines Quotientenkörpers ist der Inhalt bis auf Assoziiertheit eindeutig bestimmt. Es ist klar, dass die beiden Definitionen für Polynome über dem Ring gleich sind.

Beispiel

Beispiel 1 (Zur 1. Definition):

Der Inhalt von f = 6x3 + 9x + 12 als Polynom mit Koeffizienten aus \mathbb{Z} ist

\mathrm{inhalt}_\mathbb{Z}(f) = \mathrm{ggT}_\mathbb{Z}(6,0,9,12) = 3

oder auch − 3. Fassen wir f dagegen als Polynom mit Koeffizienten aus \mathbb{Q} auf, so erhalten wir

\mathrm{inhalt}_\mathbb{Q}(f) = \mathrm{ggT}_\mathbb{Q}(6,0,9,12) = 1

oder jede andere rationale Zahl außer der Null.


Beispiel 2 (Zur 2. Definition):

Der Inhalt von f = x^3 + \frac{3}{2}x + 2 als Polynom mit Koeffizienten aus K=\mathbb{Q} als Quotientenkörper von R=\mathbb{Z} ist

\mathrm{inhalt}_\mathbb{Z}(f) = \frac{1}{2}

oder auch − 0,5. Fassen wir f benutzt man dagegen K=R=\mathbb{Q}, so erhalten wir

\mathrm{inhalt}_\mathbb{Q}(f) = 1

oder jede andere rationale Zahl außer der Null.


Unterschiede machen die beiden Definitionen für Polynome mit Koeffizienten aus R nicht, wie man aber auch an den Definitionen erkennt.

Falls klar ist, aus welchem Ring die Koeffizienten von f stammen, schreiben wir einfach inhalt(f).

Bemerkungen

Polynome, deren Inhalt eine Einheit ist heißen primitiv. Mit \mathrm{pp} (f):=\frac{f}{\mathrm{inhalt}_R(f)} wird der primitive Anteil (engl. primitive part) bezeichnet.

Ein Polynom mit Koeffizienten aus dem Quotientenkörper von einem faktoriellen Ring ist genau dann aus dem Polynomring über dem faktoriellen Ring, wenn der Inhalt im Ring selbst liegt.

Lemma von Gauß

Inhalt

Es sei R ein faktorieller Ring und K sein Quotientenkörper, dann gilt für f,g\in K[X]

\mathrm{inhalt}_R(f\cdot g) = \mathrm{inhalt}_R(f)\cdot\mathrm{inhalt}_R(g),

insbesondere ist das Produkt zweier primitiver Polynome wieder primitiv.

Korollare

Als „Lemma von Gauß“ werden oft auch die vier folgenden Korollare aus dieser Aussage bezeichnet:

  • Der Polynomring R[X] über einem faktoriellen Ring R ist faktoriell.
  • Wenn ein nicht-konstantes Polynom (in einer Variablen) über einem faktoriellen Ring irreduzibel ist, dann ist es auch über seinem Quotientenkörper irreduzibel.
  • Wenn ein normiertes Polynom eine Nullstelle im Quotientenkörper hat, dann liegt diese bereits im Ring selbst.
  • Das Produkt zweier normierter Polynome f,g mit rationalen Koeffizienten hat nur dann ganzzahlige Koeffizienten, wenn bereits die Koeffizienten von f und g ganzzahlig sind.

Weitere Korollare sind:

  • Ist ein Polynom aus dem Ring gegeben, so kann jede Nullstelle im Quotientenkörper der Art als Bruch dargestellt werden, dass der Nenner ein Teiler des höchsten Koeffizienten und der Zähler ein Teiler des absolut Gliedes ist.
  • Die Primelemente in dem Polynomring R[X] über einem faktoriellen Ring R sind genau die Primelemente des Ringes zusammen mit den primitiven Primelementen des Polynomringes K[X] über dem Quotientenkörper K von R.
  • Ist R ein faktorieller Ring, dann ist der Polynomring in endlich vielen Variablen R[X1,...,Xn] faktoriell.
  • Ist K ein Körper, dann ist der Polynomring in endlich vielen Variablen K[X1,...,Xn] faktoriell, aber für n > 1 kein Hauptidealring, aber noch noethersch.

Beweisidee

Zuerst überzeugt man sich, dass dies für f\in K gilt. Man kann also annehmen, dass f,g primitiv (also f,g,fg\in R[X]) sind und muss somit nur diesen Spezialfall des Satzes zeigen . Man erkennt auch leicht, dass

\mathrm{inhalt_R}(f)=1\Leftrightarrow\forall p\text{ Primelement}:\  f+pR[X]\neq 0\in R[X]/pR[X]\cong (R/pR)[X]

Dann ist der Satz aber trivial, denn R / pR und damit (R / pR)[X] ist ein Integritätsbereich, weil pR ein Primideal ist.

Zum ersten Korollar:

Man beweist, dass alle Primelemente des Ringes und alle primitiven Primelemente von K[X] prim in R[X] sind. Wenn man den Fakt ausnutzt, dass K[X] als Euklidischer Ring faktoriell ist, kann man jedes Element aus R[X] als Produkt dieser Primelemente schreiben (dies musste man zeigen). Die anderen Korollare benötigen keine Beweisidee. Man muss einfach die Aussagen direkt nachweisen.

Historisch

Gauß selbst zeigt in den Disquisitiones Arithmeticae (art. 42) die Variante:

  • Das Produkt zweier normierter Polynome f,g mit rationalen Koeffizienten hat nur dann ganzzahlige Koeffizienten, wenn bereits die Koeffizienten von f und g ganzzahlig sind.

Anwendung

  • f = 6x7 + 23x3 + 9x2 − 12x + 24 ist nicht durch g = 6x4 + 9x3 + 3x2 + 3x + 3 teilbar in \mathbb Z[X], denn der Inhalt von f ist 1 und von g 3.
  • f = 2x7 + x3 + x2 + 3x + 1 hat keine rationalen Nullstellen, denn die einzig möglichen rationalen Nullstellen wären nach Gauß \pm \frac{1}{2} und \pm 1.
  • f = 2x3 + 2x + 3 ist irreduzibel als Polynom in \mathbb Q, denn es hat Grad 3 und keine rationale Nullstellen (Mit Gauß muss man nur endlich viele überprüfen).
  • f = 8x5 − 8x4 + 2x3 − 8x2 − 6x ist als Polynom in \mathbb C zu faktorisieren. Dabei nimmt man zuerst folgende triviale Faktorisierungen vor (primitiv machen und x mit maximaler Potenz ausklammern!):
f = 8x5 − 8x4 + 2x3 − 8x2 − 6x = 2x(4x4 − 4x3 + x2 − 4x − 3)
Und damit hat das verbleibende Polynom die möglichen rationalen Nullstellen nach Gauß
\pm 1,\ \pm 3,\pm\frac{1}{2} ,\pm\frac{1}{4},\pm\frac{3}{2},\pm\frac{3}{4}
Durch Einsetzen erkennt man, dass nur − 0,5 und 1,5 die rationalen Nullstellen sind. Und durch Polynomdivision ergibt sich
f=2x(x^2+1)\left(x+\frac{1}{2}\right)\left(x-\frac{3}{2}\right)=2x(x-i)(x+i)\left(x+\frac{1}{2}\right)\left(x-\frac{3}{2}\right)

Literatur

  • Van der Waerdens: Moderne Algebra. Springer-Verlag (aus Vorlesungen von Emil Artin und Emmy Noether). 
  • Siegfried Bosch: Algebra. Springer. 
  • Michael Artin: Algebra. Birkhäuser-Verlag. 
  • Atilla Pethö; Michael Pohst (Hrsg.): Algebraische Algorithmen. Vieweg, 1999, ISBN 9783528065980. 
  • Michael Kaplan: Computeralgebra. Springer-Verlag, 2005, ISBN 3540213791. 

Wikimedia Foundation.

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

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

  • Lemma von Green — Der Satz von Green (auch Green Riemannsche Formel oder Lemma von Green, gelegentlich auch Satz von Gauß Green) erlaubt es, das Integral über eine ebene Fläche durch ein Kurvenintegral auszudrücken. Der Satz ist ein Spezialfall des Satzes von… …   Deutsch Wikipedia

  • Johann Carl Friedrich Gauß — Carl Friedrich Gauß Johann Carl Friedrich Gauß (latinisiert Carolus Fridericus Gauss; * 30. April 1777 in Braunschweig; † 23. Februar 1855 in Göttingen) war ein deutscher Mathematiker, Astronom, Geodät und Physiker …   Deutsch Wikipedia

  • Johann Gauß — Carl Friedrich Gauß Johann Carl Friedrich Gauß (latinisiert Carolus Fridericus Gauss; * 30. April 1777 in Braunschweig; † 23. Februar 1855 in Göttingen) war ein deutscher Mathematiker, Astronom, Geodät und Physiker …   Deutsch Wikipedia

  • Carl Friedrich Gauß — Johann Carl Friedrich Gauß (latinisiert Carolus Fridericus Gauss; * 30. April 1777 in Braunschweig; † 23. Februar 1855 in Göttingen) war ein deutscher Mathematiker, Astronom, Geodät und Phy …   Deutsch Wikipedia

  • Satz von Green — Der Satz von Green (auch Green Riemannsche Formel oder Lemma von Green, gelegentlich auch Satz von Gauß Green) erlaubt es, das Integral über eine ebene Fläche durch ein Kurvenintegral auszudrücken. Der Satz ist ein Spezialfall des Satzes von… …   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

  • Carl-Friedrich Gauss — Carl Friedrich Gauß Johann Carl Friedrich Gauß (latinisiert Carolus Fridericus Gauss; * 30. April 1777 in Braunschweig; † 23. Februar 1855 in Göttingen) war ein deutscher Mathematiker, Astronom, Geodät und Physiker …   Deutsch Wikipedia

  • Carl Friedrich Gauss — Carl Friedrich Gauß Johann Carl Friedrich Gauß (latinisiert Carolus Fridericus Gauss; * 30. April 1777 in Braunschweig; † 23. Februar 1855 in Göttingen) war ein deutscher Mathematiker, Astronom, Geodät und Physiker …   Deutsch Wikipedia

  • Carl Gauss — Carl Friedrich Gauß Johann Carl Friedrich Gauß (latinisiert Carolus Fridericus Gauss; * 30. April 1777 in Braunschweig; † 23. Februar 1855 in Göttingen) war ein deutscher Mathematiker, Astronom, Geodät und Physiker …   Deutsch Wikipedia

  • Inhalt (Polynom) — Als Inhalt (engl. content) eines Polynoms über einem Ring R bezeichnet man die Zahl aus dem Quotientenkörper von R, durch die man das Polynom dividieren muss, damit der größte gemeinsame Teiler der Koeffizienten des resultierenden Polynoms eine… …   Deutsch Wikipedia

Share the article and excerpts

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