Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics S1 Information Systems S1 Information Technology S1 Computer Engineering S1 Electrical Engineering S1 Civil Engineering

faculty of Economics and Business
S1 Management S1 Accountancy

Faculty of Letters and Educational Sciences
S1 English literature S1 English language education S1 Mathematics education S1 Sports Education
teknopedia

teknopedia

teknopedia

teknopedia

teknopedia
  • Registerasi
  • Brosur UTI
  • Kip Scholarship Information
  • Performance
  1. Weltenzyklopädie
  2. Polynomring – Wikipedia
Polynomring – Wikipedia
aus Wikipedia, der freien Enzyklopädie

Wenn R {\displaystyle R} {\displaystyle R} ein kommutativer Ring mit einer 1 {\displaystyle 1} {\displaystyle 1} ist, dann ist der Polynomring R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} die Menge aller Polynome mit Koeffizienten aus dem Ring R {\displaystyle R} {\displaystyle R} und der Variablen X {\displaystyle X} {\displaystyle X} zusammen mit der üblichen Addition und Multiplikation von Polynomen. Davon zu unterscheiden sind in der abstrakten Algebra die Polynomfunktionen, nicht zuletzt, weil unterschiedliche Polynome dieselbe Polynomfunktion induzieren können.

Definitionen

[Bearbeiten | Quelltext bearbeiten]

Der Polynomring R[X]

[Bearbeiten | Quelltext bearbeiten]

Sei R ein Ring mit 1. Dann ist R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} die Menge

R ( N 0 ) := { ( a i ) i ∈ N 0 ∣ a i ∈ R , a i = 0   f u ¨ r  fast alle  i } {\displaystyle R^{(\mathbb {N} _{0})}:=\left\{(a_{i})_{i\in \mathbb {N} _{0}}\mid a_{i}\in R,a_{i}=0\ \mathrm {f{\ddot {u}}r} {\text{ fast alle }}i\right\}} {\displaystyle R^{(\mathbb {N} _{0})}:=\left\{(a_{i})_{i\in \mathbb {N} _{0}}\mid a_{i}\in R,a_{i}=0\ \mathrm {f{\ddot {u}}r} {\text{ fast alle }}i\right\}}

der Folgen in R {\displaystyle R} {\displaystyle R}, bei denen fast alle, also alle bis auf endlich viele, Folgenglieder gleich 0 {\displaystyle 0} {\displaystyle 0} sind.

Die Addition wird komponentenweise durchgeführt:

( a i ) i ∈ N 0 + ( b i ) i ∈ N 0 := ( a i + b i ) i ∈ N 0 {\displaystyle (a_{i})_{i\in \mathbb {N} _{0}}+(b_{i})_{i\in \mathbb {N} _{0}}:=(a_{i}+b_{i})_{i\in \mathbb {N} _{0}}} {\displaystyle (a_{i})_{i\in \mathbb {N} _{0}}+(b_{i})_{i\in \mathbb {N} _{0}}:=(a_{i}+b_{i})_{i\in \mathbb {N} _{0}}}

und die Faltung der Folgen definiert die Multiplikation

( a i ) i ∈ N 0 ⋅ ( b i ) i ∈ N 0 := ( ∑ i = 0 k a i b k − i ) k ∈ N 0 = ( ∑ i + j = k a i b j ) k ∈ N 0 {\displaystyle (a_{i})_{i\in \mathbb {N} _{0}}\cdot (b_{i})_{i\in \mathbb {N} _{0}}:=\left(\sum _{i=0}^{k}a_{i}b_{k-i}\right)_{k\in \mathbb {N} _{0}}=\left(\sum _{i+j=k}a_{i}b_{j}\right)_{k\in \mathbb {N} _{0}}} {\displaystyle (a_{i})_{i\in \mathbb {N} _{0}}\cdot (b_{i})_{i\in \mathbb {N} _{0}}:=\left(\sum _{i=0}^{k}a_{i}b_{k-i}\right)_{k\in \mathbb {N} _{0}}=\left(\sum _{i+j=k}a_{i}b_{j}\right)_{k\in \mathbb {N} _{0}}}.

Durch diese Verknüpfungen wird auf dem Raum der endlichen Folgen eine Ringstruktur definiert, dieser Ring wird als R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} bezeichnet.

In diesem Ring wird X ∈ R ( N 0 ) {\displaystyle X\in R^{(\mathbb {N} _{0})}} {\displaystyle X\in R^{(\mathbb {N} _{0})}} definiert als

X = X 1 := ( 0 , 1 , 0 , 0 , … ) {\displaystyle X=X^{1}:=(0,1,0,0,\dotsc )} {\displaystyle X=X^{1}:=(0,1,0,0,\dotsc )}

und die 1 ∈ R ( N 0 ) {\displaystyle 1\in R^{(\mathbb {N} _{0})}} {\displaystyle 1\in R^{(\mathbb {N} _{0})}} ist

1 := X 0 = ( 1 , 0 , 0 , 0 , … ) {\displaystyle 1:=X^{0}=(1,0,0,0,\dotsc )} {\displaystyle 1:=X^{0}=(1,0,0,0,\dotsc )} .

Aus der Definition der Multiplikation durch Faltung folgt dann, dass

X k := X ⋅ X ⋯ X ⏟ k -mal das  X = ( 0 , 0 , … , 0 ⏟ k  Nullen , 1 , 0 , 0 , … ) {\displaystyle X^{k}:=\underbrace {X\cdot X\dotsm X} _{k{\text{-mal das }}X}=(\underbrace {0,0,\dotsc ,0} _{k{\text{ Nullen}}},1,0,0,\dotsc )} {\displaystyle X^{k}:=\underbrace {X\cdot X\dotsm X} _{k{\text{-mal das }}X}=(\underbrace {0,0,\dotsc ,0} _{k{\text{ Nullen}}},1,0,0,\dotsc )}

ist und in der Klammer rechts genau an der ( k + 1 ) {\displaystyle (k+1)} {\displaystyle (k+1)}-ten Stelle eine Eins steht, ansonsten besteht die Folge ausschließlich aus Nullen.

Mit dem Erzeuger X {\displaystyle X} {\displaystyle X} kann nun jedes Element f {\displaystyle f} {\displaystyle f} aus R ( N 0 ) {\displaystyle R^{(\mathbb {N} _{0})}} {\displaystyle R^{(\mathbb {N} _{0})}} eindeutig in der geläufigen Polynomschreibweise

f = a 0 + a 1 X + a 2 X 2 + ⋯ + a n X n = ∑ i = 0 n a i X i {\displaystyle f=a_{0}+a_{1}X+a_{2}X^{2}+\dotsb +a_{n}X^{n}=\sum _{i=0}^{n}a_{i}X^{i}} {\displaystyle f=a_{0}+a_{1}X+a_{2}X^{2}+\dotsb +a_{n}X^{n}=\sum _{i=0}^{n}a_{i}X^{i}}

dargestellt werden. Die einzelnen Folgenglieder a i {\displaystyle a_{i}} {\displaystyle a_{i}} nennt man die Koeffizienten des Polynoms.

Damit erhält man den Polynomring R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} über R {\displaystyle R} {\displaystyle R} in der Unbestimmten X {\displaystyle X} {\displaystyle X}.

Der Polynomring in mehreren Veränderlichen

[Bearbeiten | Quelltext bearbeiten]

Der Polynomring in mehreren Veränderlichen wird rekursiv definiert durch:

R [ X 1 , … , X n ] := R [ X 1 , … , X n − 1 ] [ X n ] {\displaystyle R[X_{1},\dotsc ,X_{n}]:=R[X_{1},\dotsc ,X_{n-1}][X_{n}]} {\displaystyle R[X_{1},\dotsc ,X_{n}]:=R[X_{1},\dotsc ,X_{n-1}][X_{n}]}

Man betrachtet hier also Polynome in der Variablen X n {\displaystyle X_{n}} {\displaystyle X_{n}} mit Koeffizienten aus dem Polynomring R [ X 1 , … , X n − 1 ] {\displaystyle R[X_{1},\dotsc ,X_{n-1}]} {\displaystyle R[X_{1},\dotsc ,X_{n-1}]}, wobei dieser wieder genauso definiert ist. Dies kann man solange fortsetzen, bis man bei der Definition des Polynomrings in einer Veränderlichen angekommen ist. In R [ X 1 , … , X n ] {\displaystyle R[X_{1},\dotsc ,X_{n}]} {\displaystyle R[X_{1},\dotsc ,X_{n}]} kann man jedes Element eindeutig als

∑ k = ( k 1 , … , k n ) ∈ N 0 n a k X 1 k 1 ⋯ X n k n {\displaystyle \sum _{k=(k_{1},\dotsc ,k_{n})\in \mathbb {N} _{0}^{n}}{a_{k}\,X_{1}^{k_{1}}\dotsm X_{n}^{k_{n}}}} {\displaystyle \sum _{k=(k_{1},\dotsc ,k_{n})\in \mathbb {N} _{0}^{n}}{a_{k}\,X_{1}^{k_{1}}\dotsm X_{n}^{k_{n}}}}

schreiben.

Der Polynomring in beliebig vielen Unbestimmten (mit einer Indexmenge J {\displaystyle J} {\displaystyle J}) kann entweder als der Monoidring über dem freien kommutativen Monoid über J {\displaystyle J} {\displaystyle J} oder als der Kolimes der Polynomringe über endliche Teilmengen von J {\displaystyle J} {\displaystyle J} definiert werden.

Der Quotientenkörper

[Bearbeiten | Quelltext bearbeiten]

Ist K {\displaystyle K} {\displaystyle K} ein Körper, so ist K ( X ) {\displaystyle K(X)} {\displaystyle K(X)} die Bezeichnung für den Quotientenkörper von K [ X ] {\displaystyle K[X]} {\displaystyle K[X]}, den rationalen Funktionenkörper. Analog wird der Quotientenkörper eines Polynomrings K [ X 1 , … , X n ] {\displaystyle K[X_{1},\dotsc ,X_{n}]} {\displaystyle K[X_{1},\dotsc ,X_{n}]} über mehreren Unbestimmten mit K ( X 1 , … , X n ) {\displaystyle K(X_{1},\dotsc ,X_{n})} {\displaystyle K(X_{1},\dotsc ,X_{n})} bezeichnet.

Eigenschaften

[Bearbeiten | Quelltext bearbeiten]

Gradsatz

[Bearbeiten | Quelltext bearbeiten]

Die Funktion

deg : R [ X ] → N 0 ∪ { − ∞ } f ↦ { max { k ∈ N 0 ∣ a k ≠ 0 } , wenn  f ≠ 0 − ∞ , wenn  f = 0 {\displaystyle {\begin{array}{rccl}\deg \colon &R[X]&\to &\quad \mathbb {N} _{0}\cup \{-\infty \}\\&f&\mapsto &{\begin{cases}\max \left\{k\in \mathbb {N} _{0}\mid a_{k}\neq 0\right\},&{\text{wenn }}f\neq 0\\-\infty ,&{\text{wenn }}f=0\end{cases}}\end{array}}} {\displaystyle {\begin{array}{rccl}\deg \colon &R[X]&\to &\quad \mathbb {N} _{0}\cup \{-\infty \}\\&f&\mapsto &{\begin{cases}\max \left\{k\in \mathbb {N} _{0}\mid a_{k}\neq 0\right\},&{\text{wenn }}f\neq 0\\-\infty ,&{\text{wenn }}f=0\end{cases}}\end{array}}}

definiert den Grad des Polynoms f {\displaystyle f} {\displaystyle f} in der Unbestimmten X {\displaystyle X} {\displaystyle X}. Hierbei gelten für − ∞ {\displaystyle -\infty } {\displaystyle -\infty } die üblichen Maßgaben für Vergleich und Addition: Für alle k ∈ N 0 {\displaystyle k\in \mathbb {N} _{0}} {\displaystyle k\in \mathbb {N} _{0}} gilt − ∞ < k {\displaystyle -\infty <k} {\displaystyle -\infty <k} und − ∞ + k = − ∞ {\displaystyle -\infty +k=-\infty } {\displaystyle -\infty +k=-\infty }.

Der Koeffizient a deg ⁡ ( f ) {\displaystyle a_{\deg(f)}} {\displaystyle a_{\deg(f)}} wird der Leitkoeffizient von f ≠ 0 {\displaystyle f\neq 0} {\displaystyle f\neq 0} genannt.

Es gilt für alle f , g ∈ R [ X ] {\displaystyle f,g\in R[X]} {\displaystyle f,g\in R[X]}

  • deg ⁡ ( f ⋅ g ) ≤ deg ⁡ ( f ) + deg ⁡ ( g ) {\displaystyle \deg(f\cdot g)\leq \deg(f)+\deg(g)} {\displaystyle \deg(f\cdot g)\leq \deg(f)+\deg(g)}.
(Enthält R {\displaystyle R} {\displaystyle R} keine Nullteiler – präziser: sind die Leitkoeffizienten keine Nullteiler –, gilt die Gleichheit.)
  • deg ⁡ ( f + g ) ≤ max { deg ⁡ ( f ) , deg ⁡ ( g ) } {\displaystyle \deg(f+g)\leq \max\{\deg(f),\deg(g)\}} {\displaystyle \deg(f+g)\leq \max\{\deg(f),\deg(g)\}}.

Aus diesem Gradsatz folgt insbesondere, dass wenn R {\displaystyle R} {\displaystyle R} ein Körper ist, die Einheiten genau den Polynomen mit Grad null entsprechen, und das sind die Konstanten ungleich null.

Bei einem Körper R {\displaystyle R} {\displaystyle R} wird R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} durch die Gradfunktion zu einem euklidischen Ring: Es gibt eine Division mit Rest, bei der der Rest einen kleineren Grad als der Divisor hat.

Beispiele
  1. Sei R := Z {\displaystyle R:=\mathbb {Z} } {\displaystyle R:=\mathbb {Z} } der Ring der ganzen Zahlen. Dann sind f := 1 + 2 X ≠ 0 {\displaystyle f:=1+2X\neq 0} {\displaystyle f:=1+2X\neq 0} und g := 1 + 3 X ≠ 0 {\displaystyle g:=1+3X\neq 0} {\displaystyle g:=1+3X\neq 0} beide vom Grad 1. Das Produkt f ⋅ g = 1 + 5 X + 6 X 2 {\displaystyle f\cdot g=1+5X+6X^{2}} {\displaystyle f\cdot g=1+5X+6X^{2}} hat den Grad 2, wie sich auch aus deg ⁡ ( f ⋅ g ) = deg ⁡ ( f ) + deg ⁡ ( g ) {\displaystyle \deg(f\cdot g)=\deg(f)+\deg(g)} {\displaystyle \deg(f\cdot g)=\deg(f)+\deg(g)} ausrechnet.
  2. Sei R := Z / 6 Z {\displaystyle R:=\mathbb {Z} /6\mathbb {Z} } {\displaystyle R:=\mathbb {Z} /6\mathbb {Z} } der Restklassenring modulo 6 (ein Ring mit den nicht-trivialen Nullteilern 2 und 3) und wie oben f := 1 + 2 X {\displaystyle f:=1+2X} {\displaystyle f:=1+2X} und g := 1 + 3 X {\displaystyle g:=1+3X} {\displaystyle g:=1+3X}. Beide sind ≢ 0 mod 6 {\displaystyle \not \equiv 0\mod 6} {\displaystyle \not \equiv 0\mod 6} und auch hier vom Grad 1. Aber f ⋅ g = 1 + 5 X + 6 X 2 ≡ 1 + 5 X mod 6 {\displaystyle f\cdot g=1+5X+6X^{2}\equiv 1+5X\mod 6} {\displaystyle f\cdot g=1+5X+6X^{2}\equiv 1+5X\mod 6} hat den Grad 1 und 1 = deg ⁡ ( f ⋅ g ) < deg ⁡ ( f ) + deg ⁡ ( g ) = 2 {\displaystyle 1=\deg(f\cdot g)<\deg(f)+\deg(g)=2} {\displaystyle 1=\deg(f\cdot g)<\deg(f)+\deg(g)=2}.

Gradsatz für Polynome in mehreren Veränderlichen

[Bearbeiten | Quelltext bearbeiten]

Bei einem Monom

a k 1 , … , k n X 1 k 1 ⋯ X n k n {\displaystyle a_{k_{1},\dotsc ,k_{n}}\,X_{1}^{k_{1}}\dotsm X_{n}^{k_{n}}} {\displaystyle a_{k_{1},\dotsc ,k_{n}}\,X_{1}^{k_{1}}\dotsm X_{n}^{k_{n}}}

definiert man die Summe der Exponenten

k 1 + ⋯ + k n {\displaystyle k_{1}+\dotsb +k_{n}} {\displaystyle k_{1}+\dotsb +k_{n}}

als den Totalgrad des Monoms, falls a k 1 , … , k n ≠ 0 {\displaystyle a_{k_{1},\dotsc ,k_{n}}\,\neq 0} {\displaystyle a_{k_{1},\dotsc ,k_{n}}\,\neq 0}. Der Grad d {\displaystyle d} {\displaystyle d} des nichtverschwindenden Polynoms

∑ k = ( k 1 , … , k n ) ∈ N 0 n a k X 1 k 1 ⋯ X n k n {\displaystyle \sum _{k=(k_{1},\dotsc ,k_{n})\in \mathbb {N} _{0}^{n}}{a_{k}\,X_{1}^{k_{1}}\dotsm X_{n}^{k_{n}}}} {\displaystyle \sum _{k=(k_{1},\dotsc ,k_{n})\in \mathbb {N} _{0}^{n}}{a_{k}\,X_{1}^{k_{1}}\dotsm X_{n}^{k_{n}}}}

in mehreren Veränderlichen wird definiert als der maximale Totalgrad der (nichtverschwindenden) Monome. Eine Summe von Monomen von gleichem Totalgrad ist ein homogenes Polynom. Die Summe aller Monome vom Grad d {\displaystyle d} {\displaystyle d}, d. i. das maximale homogene Unterpolynom von maximalem Grad, spielt (bezogen auf alle Veränderliche zusammen) die Rolle des Leitkoeffizienten. (Der Leitkoeffizient einer einzelnen Unbestimmten ist ein Polynom in den anderen Unbestimmten.)

Der Gradsatz gilt auch für Polynome in mehreren Veränderlichen.

Elementare Operationen, Polynomalgebra

[Bearbeiten | Quelltext bearbeiten]

In der Polynomschreibweise sehen Addition und Multiplikation für Elemente f = ∑ i = 0 m f i X i {\displaystyle \textstyle f=\sum _{i=0}^{m}f_{i}X^{i}} {\displaystyle \textstyle f=\sum _{i=0}^{m}f_{i}X^{i}} und g = ∑ i = 0 n g i X i {\displaystyle \textstyle g=\sum _{i=0}^{n}g_{i}X^{i}} {\displaystyle \textstyle g=\sum _{i=0}^{n}g_{i}X^{i}} des Polynomrings R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} wie folgt aus:

f + g = ∑ k = 0 max ( m , n ) ( f k + g k ) X k {\displaystyle f+g=\sum _{k=0}^{\max(m,n)}(f_{k}+g_{k})X^{k}} {\displaystyle f+g=\sum _{k=0}^{\max(m,n)}(f_{k}+g_{k})X^{k}},
f ⋅ g = ∑ k = 0 m + n ( ∑ i + j = k f i ⋅ g j ) X k {\displaystyle f\cdot g=\sum _{k=0}^{m+n}\left(\sum _{i+j=k}f_{i}\cdot g_{j}\right)X^{k}} {\displaystyle f\cdot g=\sum _{k=0}^{m+n}\left(\sum _{i+j=k}f_{i}\cdot g_{j}\right)X^{k}}

Der Polynomring R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} ist nicht nur ein kommutativer Ring, sondern auch ein Modul über R {\displaystyle R} {\displaystyle R}, wobei die Skalarmultiplikation gliedweise definiert ist. Damit ist R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} sogar eine kommutative assoziative Algebra über R {\displaystyle R} {\displaystyle R}.

Homomorphismen

[Bearbeiten | Quelltext bearbeiten]

Falls A {\displaystyle A} {\displaystyle A} und B {\displaystyle B} {\displaystyle B} kommutative Ringe mit 1 {\displaystyle 1} {\displaystyle 1} sind und φ : A → B {\displaystyle \varphi \colon A\to B} {\displaystyle \varphi \colon A\to B} ein Homomorphismus ist, dann ist auch

φ ~ : A [ X ] → B [ X ] , ∑ i = 1 n a i X i ↦ ∑ i = 1 n φ ( a i ) X i {\displaystyle {\tilde {\varphi }}\colon A[X]\to B[X],\quad \sum _{i=1}^{n}{a_{i}X^{i}}\,\mapsto \,\sum _{i=1}^{n}\varphi (a_{i})X^{i}} {\displaystyle {\tilde {\varphi }}\colon A[X]\to B[X],\quad \sum _{i=1}^{n}{a_{i}X^{i}}\,\mapsto \,\sum _{i=1}^{n}\varphi (a_{i})X^{i}} ein Homomorphismus.

Falls A {\displaystyle A} {\displaystyle A} und B {\displaystyle B} {\displaystyle B} kommutative Ringe mit 1 {\displaystyle 1} {\displaystyle 1} sind und φ : A → B {\displaystyle \varphi \colon A\to B} {\displaystyle \varphi \colon A\to B} ein Homomorphismus ist, dann gibt es für jedes b ∈ B {\displaystyle b\in B} {\displaystyle b\in B} einen eindeutigen Homomorphismus ϕ b : A [ X ] → B {\displaystyle \phi _{b}\colon A[X]\to B} {\displaystyle \phi _{b}\colon A[X]\to B}, der eingeschränkt auf A {\displaystyle A} {\displaystyle A} gleich φ {\displaystyle \varphi } {\displaystyle \varphi } ist und für den ϕ b ( X ) = b {\displaystyle \phi _{b}(X)=b} {\displaystyle \phi _{b}(X)=b} gilt, nämlich ϕ b ( ∑ a i X i ) = ∑ φ ( a i ) b i {\displaystyle \phi _{b}\left(\sum {a_{i}X^{i}}\right)=\sum {\varphi (a_{i})b^{i}}} {\displaystyle \phi _{b}\left(\sum {a_{i}X^{i}}\right)=\sum {\varphi (a_{i})b^{i}}}.

Algebraische Eigenschaften

[Bearbeiten | Quelltext bearbeiten]

Ist R {\displaystyle R} {\displaystyle R} ein kommutativer Ring mit 1 {\displaystyle 1} {\displaystyle 1}, so gilt:

  • Ist R {\displaystyle R} {\displaystyle R} nullteilerfrei, so auch R [ X ] {\displaystyle R[X]} {\displaystyle R[X]}.
  • Ist R {\displaystyle R} {\displaystyle R} faktoriell, so auch R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} (Lemma von Gauß).
  • Ist R {\displaystyle R} {\displaystyle R} ein Körper, so ist R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} euklidisch und daher ein Hauptidealring.
  • Ist R {\displaystyle R} {\displaystyle R} noethersch, so gilt für die Dimension des Polynomrings in einer Variablen über R {\displaystyle R} {\displaystyle R}: dim ⁡ ( R [ X ] ) = dim ⁡ ( R ) + 1 {\displaystyle \dim(R[X])=\dim(R)+1} {\displaystyle \dim(R[X])=\dim(R)+1}
  • Ist R {\displaystyle R} {\displaystyle R} noethersch, so ist der Polynomring R [ X 1 , … , X n ] {\displaystyle R[X_{1},\dotsc ,X_{n}]} {\displaystyle R[X_{1},\dotsc ,X_{n}]} mit Koeffizienten in R {\displaystyle R} {\displaystyle R} noethersch (Hilbertscher Basissatz).
  • Ist R {\displaystyle R} {\displaystyle R} ein Integritätsring und 0 ≠ f ∈ R [ X ] {\displaystyle 0\neq f\in R[X]} {\displaystyle 0\neq f\in R[X]}, so hat f {\displaystyle f} {\displaystyle f} maximal deg ⁡ ( f ) {\displaystyle \deg(f)} {\displaystyle \deg(f)} Nullstellen. Dies ist über Nicht-Integritätsringen im Allgemeinen falsch.
  • Ein Polynom f = a n X n + ⋯ + a 0 ∈ R [ X ] {\displaystyle f=a_{n}X^{n}+\dotsb +a_{0}\in R[X]} {\displaystyle f=a_{n}X^{n}+\dotsb +a_{0}\in R[X]} ist genau dann in R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} invertierbar, wenn a 0 {\displaystyle a_{0}} {\displaystyle a_{0}} invertierbar ist und alle weiteren Koeffizienten nilpotent in R {\displaystyle R} {\displaystyle R} sind. Insbesondere ist ein Polynom f ∈ R [ X ] {\displaystyle f\in R[X]} {\displaystyle f\in R[X]} über einem Integritätsring R {\displaystyle R} {\displaystyle R} genau dann invertierbar, wenn es ein konstantes Polynom a 0 {\displaystyle a_{0}} {\displaystyle a_{0}} ist, wobei a 0 {\displaystyle a_{0}} {\displaystyle a_{0}} eine Einheit in R {\displaystyle R} {\displaystyle R} ist.

Polynomfunktion und Einsetzungshomomorphismus

[Bearbeiten | Quelltext bearbeiten]
→ Hauptartikel: Satz über den Einsetzungshomomorphismus

Ist

f = a 0 + a 1 X + ⋯ + a n X n {\displaystyle f=a_{0}+a_{1}X+\dotsb +a_{n}X^{n}} {\displaystyle f=a_{0}+a_{1}X+\dotsb +a_{n}X^{n}}

ein Polynom aus R [ X ] {\displaystyle R[X]} {\displaystyle R[X]}, so nennt man

f R : R → R , x ↦ f R ( x ) = a 0 + a 1 x + ⋯ + a n x n {\displaystyle f_{R}\colon R\to R,\quad x\mapsto f_{R}(x)=a_{0}+a_{1}x+\dotsb +a_{n}x^{n}} {\displaystyle f_{R}\colon R\to R,\quad x\mapsto f_{R}(x)=a_{0}+a_{1}x+\dotsb +a_{n}x^{n}}

die zu f {\displaystyle f} {\displaystyle f} gehörende Polynomfunktion. Allgemeiner definiert f {\displaystyle f} {\displaystyle f} auch für jeden Ringhomomorphismus ϕ : R → S {\displaystyle \phi \colon R\to S} {\displaystyle \phi \colon R\to S} (in einen kommutativen Ring S {\displaystyle S} {\displaystyle S} mit 1) eine Polynomfunktion f S : S → S ,   x ↦ f S ( x ) . {\displaystyle f_{S}\colon S\to S,\ x\mapsto f_{S}(x).} {\displaystyle f_{S}\colon S\to S,\ x\mapsto f_{S}(x).} Der Index wird oft weggelassen.

Umgekehrt haben Polynomringe R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} über einem kommutativen Ring R {\displaystyle R} {\displaystyle R} mit 1 die folgende universelle Eigenschaft:

Gegeben ein Ring S {\displaystyle S} {\displaystyle S} (kommutativ mit 1), ein Ringhomomorphismus ϕ : R → S {\displaystyle \phi \colon R\to S} {\displaystyle \phi \colon R\to S} und ein s ∈ S {\displaystyle s\in S} {\displaystyle s\in S}, so gibt es genau einen Homomorphismus Φ : R [ X ] → S {\displaystyle \Phi \colon R\left[X\right]\to S} {\displaystyle \Phi \colon R\left[X\right]\to S} mit Φ ( X ) = s {\displaystyle \Phi (X)=s} {\displaystyle \Phi (X)=s}, so dass Φ {\displaystyle \Phi } {\displaystyle \Phi } eine Fortsetzung von ϕ {\displaystyle \phi } {\displaystyle \phi } ist, also Φ ∣ R = ϕ {\displaystyle \Phi \mid _{R}=\phi } {\displaystyle \Phi \mid _{R}=\phi } gilt.

Diese Eigenschaft wird „universell“ genannt, weil sie den Polynomring R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} bis auf Isomorphie eindeutig bestimmt.

Der Homomorphismus

Φ : a 0 + a 1 X + a 2 X 2 + ⋯ + a n X n ⟼ a 0 + a 1 s + ⋯ + a n s n , {\displaystyle \Phi \colon a_{0}+a_{1}X+a_{2}X^{2}+\dotsb +a_{n}X^{n}\longmapsto a_{0}+a_{1}s+\dotsb +a_{n}s^{n},} {\displaystyle \Phi \colon a_{0}+a_{1}X+a_{2}X^{2}+\dotsb +a_{n}X^{n}\longmapsto a_{0}+a_{1}s+\dotsb +a_{n}s^{n},}

wird der Auswertung(-shomomorphismus) für s {\displaystyle s} {\displaystyle s} oder Einsetzung(-shomomorphismus) von s {\displaystyle s} {\displaystyle s} genannt.

Beispiele

[Bearbeiten | Quelltext bearbeiten]
  • Setzen wir S = R [ X ] {\displaystyle S=R[X]} {\displaystyle S=R[X]} und s = X {\displaystyle s=X} {\displaystyle s=X}, so ist Φ X : R [ X ] → R [ X ] ,   f ↦ f R [ X ] ( X ) = f {\displaystyle \Phi _{X}\colon R[X]\to R[X],\ f\mapsto f_{R[X]}(X)=f} {\displaystyle \Phi _{X}\colon R[X]\to R[X],\ f\mapsto f_{R[X]}(X)=f} die identische Abbildung; Φ X = Id R [ X ] {\displaystyle \Phi _{X}=\operatorname {Id} _{R[X]}} {\displaystyle \Phi _{X}=\operatorname {Id} _{R[X]}}.
  • Betrachten wir einen Polynomring R [ X , X 1 , X 2 , … , X n ] {\displaystyle R[X,X_{1},X_{2},\dotsc ,X_{n}]} {\displaystyle R[X,X_{1},X_{2},\dotsc ,X_{n}]} mit zusätzlichen Unbestimmten X 1 , X 2 , … , X n {\displaystyle X_{1},X_{2},\dotsc ,X_{n}} {\displaystyle X_{1},X_{2},\dotsc ,X_{n}} (s. Polynome mit mehreren Veränderlichen) als Erweiterung von R [ X ] {\displaystyle R[X]} {\displaystyle R[X]}, ergibt sich analog zur Konstruktion aus vorigem Beispiel der Einsetzungshomomorphismus Φ X : R [ X ] → R [ X , Y ] ,   f ↦ f R [ X , Y ] ( X ) = f {\displaystyle \Phi _{X}\colon R[X]\to R[X,Y],\ f\mapsto f_{R[X,Y]}(X)=f} {\displaystyle \Phi _{X}\colon R[X]\to R[X,Y],\ f\mapsto f_{R[X,Y]}(X)=f} als Monomorphismus von R [ X ] {\displaystyle R[X]} {\displaystyle R[X]} in R [ X , X 1 , X 2 , … , X n ] . {\displaystyle R[X,X_{1},X_{2},\dotsc ,X_{n}].} {\displaystyle R[X,X_{1},X_{2},\dotsc ,X_{n}].},

Polynomfunktionen

[Bearbeiten | Quelltext bearbeiten]

Ist R {\displaystyle R} {\displaystyle R} ein Ring (kommutativ mit 1), dann ist auch die Menge Abb ⁡ ( R , R ) {\displaystyle \operatorname {Abb} (R,R)} {\displaystyle \operatorname {Abb} (R,R)} der Abbildungen von R {\displaystyle R} {\displaystyle R} in sich ein Ring und nach der universellen Eigenschaft gibt es einen Homomorphismus

Φ : R [ X ] → Abb ⁡ ( R , R ) {\displaystyle \Phi \colon R\left[X\right]\to \operatorname {Abb} (R,R)} {\displaystyle \Phi \colon R\left[X\right]\to \operatorname {Abb} (R,R)}

mit Φ ( a ) = c a {\displaystyle \Phi (a)=c_{a}} {\displaystyle \Phi (a)=c_{a}} (die konstante Abbildung) für alle a ∈ R {\displaystyle a\in R} {\displaystyle a\in R} und Φ ( X ) = id R {\displaystyle \Phi (X)=\operatorname {id} _{R}} {\displaystyle \Phi (X)=\operatorname {id} _{R}} (die Identitätsabbildung).

f ¯ := Φ ( f ) {\displaystyle {\overline {f}}:=\Phi (f)} {\displaystyle {\overline {f}}:=\Phi (f)}

ist die dem Polynom f {\displaystyle f} {\displaystyle f} zugeordnete Polynomfunktion. Der Homomorphismus

f → f ¯ {\displaystyle f\to {\overline {f}}} {\displaystyle f\to {\overline {f}}}

ist nicht notwendig injektiv, zum Beispiel ist für R = Z / 2 Z {\displaystyle R=\mathbb {Z} /2\mathbb {Z} } {\displaystyle R=\mathbb {Z} /2\mathbb {Z} } und f = X 2 + X ∈ R [ X ] ∖ { 0 } {\displaystyle f=X^{2}+X\in R\left[X\right]\setminus \{0\}} {\displaystyle f=X^{2}+X\in R\left[X\right]\setminus \{0\}} die zugehörige Polynomfunktion f ¯ = 0 {\displaystyle {\overline {f}}=0} {\displaystyle {\overline {f}}=0}.

Beispiele

[Bearbeiten | Quelltext bearbeiten]

Ein Polynom über einem endlichen Körper

[Bearbeiten | Quelltext bearbeiten]

Da in dem endlichen Körper F q {\displaystyle \mathbb {F} _{q}} {\displaystyle \mathbb {F} _{q}} die Einheitengruppe zyklisch mit der Ordnung q − 1 {\displaystyle q-1} {\displaystyle q-1} ist, gilt für x ∈ F q {\displaystyle x\in \mathbb {F} _{q}} {\displaystyle x\in \mathbb {F} _{q}} die Gleichung x q = x {\displaystyle x^{q}=x} {\displaystyle x^{q}=x}. Deswegen ist die Polynomfunktion f F q : F q → F q {\displaystyle f_{\mathbb {F} _{q}}\colon \mathbb {F} _{q}\to \mathbb {F} _{q}} {\displaystyle f_{\mathbb {F} _{q}}\colon \mathbb {F} _{q}\to \mathbb {F} _{q}} des Polynoms

f = X q − X = ∏ a ∈ F q ( X − a ) ∈ F q [ X ] {\displaystyle f=X^{q}-X=\prod _{a\in \mathbb {F} _{q}}(X-a)\in \mathbb {F} _{q}[X]} {\displaystyle f=X^{q}-X=\prod _{a\in \mathbb {F} _{q}}(X-a)\in \mathbb {F} _{q}[X]}

die Nullfunktion, obwohl f {\displaystyle f} {\displaystyle f} nicht das Nullpolynom ist.

Ist q {\displaystyle q} {\displaystyle q} eine Primzahl, dann entspricht dies genau dem kleinen fermatschen Satz.

Polynome mit zwei Veränderlichen

[Bearbeiten | Quelltext bearbeiten]

Ist f ∈ Z [ X ] {\displaystyle f\in \mathbb {Z} [X]} {\displaystyle f\in \mathbb {Z} [X]} oder f ∈ R [ X ] {\displaystyle f\in \mathbb {R} [X]} {\displaystyle f\in \mathbb {R} [X]} ein vom Nullpolynom verschiedenes Polynom, so ist die Anzahl der Nullstellen von f {\displaystyle f} {\displaystyle f} endlich. Bei Polynomen mit mehreren Unbestimmten kann die Nullstellenmenge ebenfalls endlich sein:

Das Polynom f = ( ( X − 2 ) ( X − 3 ) ) 2 + Y 2 ∈ R [ X , Y ] {\displaystyle f=((X-2)(X-3))^{2}+Y^{2}\in \mathbb {R} [X,Y]} {\displaystyle f=((X-2)(X-3))^{2}+Y^{2}\in \mathbb {R} [X,Y]} hat die Nullstellen ( 2 , 0 ) {\displaystyle (2,0)} {\displaystyle (2,0)} und ( 3 , 0 ) {\displaystyle (3,0)} {\displaystyle (3,0)} in R 2 {\displaystyle \mathbb {R} ^{2}} {\displaystyle \mathbb {R} ^{2}}.

Es kann aber ebenso unendliche Nullstellenmengen geben:

Das Polynom f = X 2 + Y 2 − 1 ∈ R [ X , Y ] {\displaystyle f=X^{2}+Y^{2}-1\in \mathbb {R} [X,Y]} {\displaystyle f=X^{2}+Y^{2}-1\in \mathbb {R} [X,Y]} besitzt als Nullstellenmenge die Einheitskreislinie { ( x , y ) ∈ R 2 : x 2 + y 2 = 1 } {\displaystyle \{(x,y)\in \mathbb {R} ^{2}:x^{2}+y^{2}=1\}} {\displaystyle \{(x,y)\in \mathbb {R} ^{2}:x^{2}+y^{2}=1\}}, welche eine kompakte Teilmenge von R 2 {\displaystyle \mathbb {R} ^{2}} {\displaystyle \mathbb {R} ^{2}} ist. Das Polynom g = Y − X 2 ∈ R [ X , Y ] {\displaystyle g=Y-X^{2}\in \mathbb {R} [X,Y]} {\displaystyle g=Y-X^{2}\in \mathbb {R} [X,Y]} besitzt ebenfalls eine unendliche Nullstellenmenge, nämlich den Funktionsgraphen der Normalparabel, welcher nicht kompakt ist.

Das Studium von Nullstellenmengen polynomialer Gleichungen mit mehreren Unbestimmten führte zur Entwicklung des mathematischen Teilgebiets der algebraischen Geometrie.

Polynome im Komplexen

[Bearbeiten | Quelltext bearbeiten]

Jedes komplexe Polynom f ∈ C [ X ] {\displaystyle f\in \mathbb {C} [X]} {\displaystyle f\in \mathbb {C} [X]} vom Grad n {\displaystyle n} {\displaystyle n} hat genau n {\displaystyle n} {\displaystyle n} Nullstellen in C {\displaystyle \mathbb {C} } {\displaystyle \mathbb {C} }, wenn man jede Nullstelle gemäß ihrer Vielfachheit zählt. Dabei heißt eine Nullstelle z {\displaystyle z} {\displaystyle z} k {\displaystyle k} {\displaystyle k}-fach, falls ( X − z ) k {\displaystyle (X-z)^{k}} {\displaystyle (X-z)^{k}} ein Teiler von f {\displaystyle f} {\displaystyle f} ist, ( X − z ) k + 1 {\displaystyle (X-z)^{k+1}} {\displaystyle (X-z)^{k+1}} dagegen nicht mehr.

Insbesondere gilt dieser Fundamentalsatz der Algebra auch für reelle Polynome f ∈ R [ X ] {\displaystyle f\in \mathbb {R} [X]} {\displaystyle f\in \mathbb {R} [X]}, wenn man diese als Polynome in C [ X ] {\displaystyle \mathbb {C} [X]} {\displaystyle \mathbb {C} [X]} auffasst. Zum Beispiel hat das Polynom X 2 + 1 {\displaystyle X^{2}+1} {\displaystyle X^{2}+1} die Nullstellen i {\displaystyle \mathrm {i} } {\displaystyle \mathrm {i} } und − i {\displaystyle -\mathrm {i} } {\displaystyle -\mathrm {i} }, da i 2 = − 1 {\displaystyle \mathrm {i} ^{2}=-1} {\displaystyle \mathrm {i} ^{2}=-1} und ebenso ( − i ) 2 = − 1 {\displaystyle (-\mathrm {i} )^{2}=-1} {\displaystyle (-\mathrm {i} )^{2}=-1}, also gilt X 2 + 1 = ( X + i ) ( X − i ) {\displaystyle X^{2}+1=(X+\mathrm {i} )(X-\mathrm {i} )} {\displaystyle X^{2}+1=(X+\mathrm {i} )(X-\mathrm {i} )}.

Literatur

[Bearbeiten | Quelltext bearbeiten]
  • Siegfried Bosch: Algebra. 7. Auflage. Springer-Verlag, 2009, ISBN 3-540-40388-4, doi:10.1007/978-3-540-92812-6.
  • Serge Lang: Algebra. 3. Auflage, Graduate Texts in Mathematics, Springer Verlag, 2005, ISBN 978-0387953854.
Abgerufen von „https://de.teknopedia.teknokrat.ac.id/w/index.php?title=Polynomring&oldid=257543256“
Kategorien:
  • Ring (Algebra)
  • Theorie der Polynome

  • indonesia
  • Polski
  • العربية
  • Deutsch
  • English
  • Español
  • Français
  • Italiano
  • مصرى
  • Nederlands
  • 日本語
  • Português
  • Sinugboanong Binisaya
  • Svenska
  • Українська
  • Tiếng Việt
  • Winaray
  • 中文
  • Русский
Sunting pranala
Pusat Layanan

UNIVERSITAS TEKNOKRAT INDONESIA | ASEAN's Best Private University
Jl. ZA. Pagar Alam No.9 -11, Labuhan Ratu, Kec. Kedaton, Kota Bandar Lampung, Lampung 35132
Phone: (0721) 702022
Email: pmb@teknokrat.ac.id