Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 6/latex
\setcounter{section}{6}
Wir wollen für den Polynomring in einer Variablen über einem Körper zeigen, dass dort viele wichtige Sätze, die für den Ring der ganzen Zahlen gelten, ebenfalls Gültigkeit haben. Dass ein euklidischer Bereich vorliegt, haben wir schon gesehen. Es gilt aber auch die eindeutige Primfaktorzerlegung. Um diese adäquat formulieren zu können, brauchen wir einige Vorbereitungen zur allgemeinen Teilbarkeitslehre.
\zwischenueberschrift{Teilbarkeitsbegriffe}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{,}
und $a,b$ Elemente in $R$. Man sagt, dass $a$ das Element $b$ \definitionswort {teilt}{}
\zusatzklammer {oder dass $b$ von $a$ geteilt wird, oder dass $b$ ein \definitionswort {Vielfaches}{} von $a$ ist} {} {,}
wenn es ein
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ c \cdot a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Man schreibt dafür auch
\mathl{a {{|}} b}{.}
}
Beispielsweise ist $2$ ein Teiler von $6$ in $\Z$, aber kein Teiler von $5$. In
\mathl{{\mathbb C}[X]}{} ist
\mathl{X-i}{} ein Teiler von
\mathl{X^2+1}{,} aber nicht von $X+2$.
{Kommutative Ringtheorie/Teilbarkeitslehre/Verschiedene Eigenschaften/Fakt}
{Lemma}
{}
{
In einem
\definitionsverweis {kommutativen Ring}{}{} $R$ gelten folgende Teilbarkeitsbeziehungen.
\aufzaehlungsechs{Für jedes Element $a$ gilt
\mathl{1 \, {{|}}\, a}{} und
\mathl{a \,{{|}}\, a}{.}
}{Für jedes Element $a$ gilt
\mathl{a \,{{|}}\, 0}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{} und
\mathl{b \,{{|}}\, c}{,} so gilt auch
\mathl{a \,{{|}}\, c}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{} und
\mathl{c \,{{|}}\, d}{,} so gilt auch
\mathl{ac \,{{|}}\, bd}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{,} so gilt auch
\mathl{ac \,{{|}}\, bc}{} für jedes
\mathl{c \in R}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{} und
\mathl{a \,{{|}}\, c}{,} so gilt auch
\mathl{a \,{{|}}\, rb+sc}{} für beliebige Elemente $r,s \in R$.
}
{ Siehe Aufgabe 6.20. }
\inputdefinition
{}
{
Zwei Elemente $a$ und $b$ eines
\definitionsverweis {kommutativen Ringes}{}{}
$R$ heißen \definitionswort {assoziiert}{,} wenn es eine
\definitionsverweis {Einheit}{}{}
\mavergleichskette
{\vergleichskette
{u
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ub
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}
Die Assoziiertheit ist eine Äquivalenzrelation, siehe Aufgabe 6.9.
In
\mathl{R=\Z}{} sind zwei Zahlen genau dann zueinander assoziiert, wenn ihr Betrag übereinstimmt, wenn sie also gleich oder negativ zueinander sind. Bei
\mathl{R=K[X]}{} sind zwei Polynome zueinander assoziiert, wenn sie durch Multiplikation mit einem Skalar
\mathbed {\lambda \in K} {}
{\lambda \neq 0} {}
{} {} {} {,}
ineinander übergehen. Durch diese Operation kann man erreichen, dass der Leitkoeffizient eins wird. Jedes Polynom ist also assoziiert zu einen normierten Polynom.
Das folgende Lemma besagt, dass es für die Teilbarkeitsrelation nicht auf Einheiten und Assoziiertheit ankommt.
{Kommutative Ringtheorie/Teilen und Assoziiertheit/Verschiedene Eigenschaften/Fakt}
{Lemma}
{}
{
In einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ gelten folgende Teilbarkeitsbeziehungen.
\aufzaehlungzwei {Sind $a$ und $b$
\definitionsverweis {assoziiert}{}{,}
so gilt
\mathl{a | c}{} genau dann, wenn $b | c$.
} {Ist $R$ ein
\definitionsverweis {Integritätsbereich}{}{,}
so gilt hiervon auch die Umkehrung.
}
{ Siehe Aufgabe 6.10. }
\zwischenueberschrift{Irreduzibel und prim}
Für Teilbarkeitsuntersuchungen sind die beiden folgenden Begriffe fundamental. Unter bestimmten Voraussetzungen, etwa wenn ein Hauptidealbereich \zusatzklammer {siehe nächste Vorlesung} {} {} vorliegt, sind sie äquivalent.
\inputdefinition
{}
{
Eine
\definitionsverweis {Nichteinheit}{}{}
$p$ in einem
\definitionsverweis {kommutativen Ring}{}{}
heißt \definitionswort {irreduzibel}{}
\zusatzklammer {oder \definitionswort {unzerlegbar}{}} {} {,}
wenn eine Faktorisierung
\mavergleichskette
{\vergleichskette
{p
}
{ = }{ ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nur dann möglich ist, wenn einer der Faktoren eine Einheit ist.
}
Diese Begriffsbildung orientiert sich offenbar an den Primzahlen. Dagegen taucht das Wort \anfuehrung{prim}{} in der folgenden Definition auf.
\inputdefinition
{}
{
Eine
\definitionsverweis {Nichteinheit}{}{}
\mavergleichskette
{\vergleichskette
{p
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ heißt \definitionswort {prim}{}
\zusatzklammer {oder ein \definitionswort {Primelement}{}} {} {,}
wenn folgendes gilt: Teilt $p$ ein Produkt
\mathbed {ab} {mit}
{a,b \in R} {}
{} {} {} {,}
so teilt $p$ einen der Faktoren.
}
Eine Einheit ist also nach Definition nie ein Primelement. Dies ist eine Verallgemeinerung des Standpunktes, dass $1$ keine Primzahl ist. Dabei ist die $1$ nicht deshalb keine Primzahl, weil sie \anfuehrung{zu schlecht}{} ist, sondern weil sie \anfuehrung{zu gut}{} ist. Für die ganzen Zahlen und für viele weitere Ringe fallen die beiden Begriffe zusammen. Im Allgemeinen ist irreduzibel einfacher nachzuweisen, und prim ist der stärkere Begriff, jedenfalls für Integritätsbereiche.
\inputfaktbeweis
{Teilbarkeitstheorie/Bereich/Prim ist irreduzibel/Fakt}
{Lemma}
{}
{
In einem \definitionsverweis {Integritätsbereich}{}{} ist ein \definitionsverweis {Primelement}{}{} stets \definitionsverweis {irreduzibel}{}{.}
}
{
Angenommen, wir haben eine Zerlegung
\mavergleichskette
{\vergleichskette
{p
}
{ = }{ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen der Primeigenschaft teilt $p$ einen Faktor, sagen wir
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ps
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskette
{\vergleichskette
{p
}
{ = }{psb
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bzw.
\mavergleichskette
{\vergleichskette
{ p(1-sb)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da $p$ kein Nullteiler ist, folgt
\mavergleichskette
{\vergleichskette
{1
}
{ = }{sb
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so dass also $b$ eine
\definitionsverweis {Einheit}{}{}
ist.
In vielen wichtigen Ringen gilt hiervon auch die Umkehrung, worauf wir noch ausführlich zu sprechen kommen.
\zwischenueberschrift{Irreduzible Polynome}
Die irreduziblen Elemente im Polynomring
\mathl{K[X]}{} über einem Körper $K$ sind nicht einfach zu charakterisieren. Die Antwort hängt auch wesentlich vom Körper ab, und nicht für jeden Körper lassen sich die irreduziblen Polynome übersichtlich beschreiben. Bei Irreduzibilitätsfragen kann man stets mit Einheiten multiplizieren, daher muss man nur normierte Polynome untersuchen.
\inputbeispiel{}
{
Die Irreduzibilität eines Polynoms hängt wesentlich vom Grundkörper ab. Zum Beispiel ist das reelle Polynom
\mavergleichskette
{\vergleichskette
{X^2+1
}
{ \in }{ \R[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
irreduzibel, dagegen zerfällt es als Polynom in
\mathl{{\mathbb C}[X]}{} als
\mavergleichskettedisp
{\vergleichskette
{ X^2+1
}
{ =} {(X+ { \mathrm i} )(X- { \mathrm i} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Ebenso ist das Polynom
\mavergleichskette
{\vergleichskette
{X^2-5
}
{ \in }{\Q[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
irreduzibel, aber über $\R$ hat es die Zerlegung
\mavergleichskettedisp
{\vergleichskette
{ X^2-5
}
{ =} { { \left( X- \sqrt{5} \right) } { \left( X+ \sqrt{5} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Übrigens kann die Zerlegung über einem größeren Körper manchmal dazu benutzt werden um zu zeigen, dass ein Polynom über dem gegebenen Körper irreduzibel ist.
}
Als echte Faktoren für ein Polynom kommen nur Polynome von kleinerem Grad in Frage. Insbesondere sind daher \stichwort {lineare Polynome} {,} also Polynome von Typ
\mathbed {aX+b} {}
{a\neq 0} {}
{} {} {} {,}
stets irreduzibel. Eine notwendige Bedingung an die Irreduzibilität eines Polynoms
\mathl{P \in K[X]}{} ist wegen
Lemma 5.5,
dass es keine Nullstelle in $K$ besitzt. Deshalb und aufgrund des
Fundamentalsatzes der Algebra
sind daher in
\mathl{{\mathbb C}[X]}{} die linearen Polynome die einzigen irreduziblen Polynome.
\inputfaktbeweis
{Polynomring über Körper/Bis Grad drei/Irreduzibilitätskriterium/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein \definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$.}
\faktvoraussetzung {Dann ist ein Polynom vom
\definitionsverweis {Grad}{}{}
zwei oder drei genau dann
\definitionsverweis {irreduzibel}{}{,}}
\faktfolgerung {wenn es keine Nullstelle in $K$ besitzt.}
\faktzusatz {}
\faktzusatz {}
}
{
In einer echten Primfaktorzerlegung von
\mathbed {P} {}
{\operatorname{grad} \, (P) \leq 3} {}
{} {} {} {,}
muss ein Polynom vom Grad eins vorkommen, also ein lineares Polynom. Ein lineares Polynom
\mathl{X-a}{} teilt aber nach
Lemma 5.5
das Polynom $P$ genau dann, wenn
\mathl{P(a)=0}{} ist.
\inputbeispiel{}
{
Das Polynom
\mathl{X^4+1}{} ist im Reellen stets positiv und hat daher keine reelle Nullstelle. Daher besitzt es in
\mathl{\R[X]}{} nach
Lemma 5.5
auch keinen linearen Faktor. Wegen der Zerlegung
\mavergleichskettedisp
{\vergleichskette
{X^4+1
}
{ =} { { \left( X^2+ \sqrt{2} X+1 \right) } { \left( X^2- \sqrt{2} X+1 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist das Polynom aber nicht irreduzibel.
}
\zwischenueberschrift{Größter gemeinsamer Teiler}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und
\mathl{a_1 , \ldots , a_k \in R}{.} Dann heißt ein Element
\mathl{t \in R}{} \definitionswort {gemeinsamer Teiler}{} der
\mathl{a_1 , \ldots , a_k}{,} wenn $t$ jedes $a_i$ teilt
\zusatzklammer {$i=1 , \ldots , k$} {} {.}
Ein Element
\mathl{g \in R}{} heißt \definitionswort {größter gemeinsamer Teiler}{} der
\mathl{a_1 , \ldots , a_k}{,} wenn $g$ ein gemeinsamer Teiler ist und wenn jeder gemeinsame Teiler $t$ dieses $g$ teilt.
Die Elemente
\mathl{a_1 , \ldots , a_k}{} heißen \definitionswort {teilerfremd}{}, wenn $1$ ihr größter gemeinsamer Teiler ist.
}
\anfuehrung{Größer}{} ist hier bezüglich der Teilbarkeitsrelation zu verstehen, wenn $b$ von $a$ geteilt wird, so gilt es gemäß diesem Sprachgebrauch als größer. Dies rührt natürlich von der Situation in $\N$ her, wo Vielfache in der Tat größer im Sinne der natürlichen Ordnung als die Teiler sind.
\inputbemerkung
{}
{
Eine Einheit ist immer ein gemeinsamer Teiler für jede Auswahl von Elementen. Ein größter gemeinsamer Teiler muss im Allgemeinen nicht existieren. Ist $t$ ein gemeinsamer Teiler der
\mathl{a_1 , \ldots , a_k}{} und $u$ eine Einheit, so ist auch $ut$ ein gemeinsamer Teiler der
\mathl{a_1, \ldots ,a_k}{.} Die Elemente
\mathl{a_1 , \ldots , a_k}{} sind \stichwort {teilerfremd} {} genau dann, wenn jeder gemeinsame Teiler davon eine Einheit ist
\zusatzklammer {es gibt noch andere Definitionen von teilerfremd, die nicht immer inhaltlich mit dieser übereinstimmen} {} {.}
}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und
\mathdisp {a_1 , \ldots , a_n \in R} { . }
Ein Element $b\in R$ heißt ein \definitionswort {gemeinsames Vielfaches}{} der
\mathl{a_1 , \ldots , a_n}{,} wenn $b$ ein Vielfaches von jedem $a_i$ ist, also von jedem $a_i$
\definitionsverweis {geteilt}{}{}
wird. $b$ heißt ein \definitionswort {kleinstes gemeinsames Vielfaches}{} der
\mathl{a_1 , \ldots , a_n}{,} wenn $b$ ein gemeinsames Vielfaches ist und wenn jedes andere gemeinsame Vielfache ein Vielfaches von $b$ ist.
}