Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 3/latex
\setcounter{section}{3}
Es sei
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine endliche Körpererweiterung und
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
ein Element. Dann sind die Potenzen
\mathbed {x^i} {}
{i \in \N} {}
{} {} {} {,}
\definitionsverweis {linear abhängig}{}{,}
und das bedeutet, dass es Koeffizienten
\mathbed {a_i \in K} {mit}
{a_n \neq 0} {}
{} {} {} {}
mit
\mavergleichskette
{\vergleichskette
{ a_0+a_1x+a_2x^2 + \cdots + a_nx^n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Mit diesen Koeffizienten können wir das
\zusatzklammer {von $0$ verschiedene} {} {}
Polynom
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {a_0+a_1X+a_2X^2 + \cdots + a_nX^n
}
{ \in} {K[X]
}
{ } {
}
{ } {
}
}
{}{}{}
bilden. Wenn man in dieses Polynom $x$ einsetzt, d.h. überall die Variable $X$ durch $x$ ersetzt, so ergibt sich $0$. Das Ergebnis dieses Einsetzens bezeichnet man mit
\mathl{P(x)}{,} es ist also
\mavergleichskette
{\vergleichskette
{P(x)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man sagt, dass $P$ das Element $x$ \stichwort {annulliert} {.} Wir betrachten die Menge
\mavergleichskettedisp
{\vergleichskette
{I
}
{ =} { { \left\{ P \in K[X] \mid P(x) = 0 \right\} }
}
{ \subseteq} { K[X]
}
{ } {
}
{ } {
}
}
{}{}{,}
also die Menge aller Polynome, die bei Einsetzung von $x$ zu $0$ werden.\zusatzfussnote {In der letzten Vorlesung haben wir gesehen, dass eine Einheitswurzel $\zeta$ nach Definition von \mathlk{X^n-1}{} annulliert wird, bei \mathlk{\zeta \neq 1}{} aber auch von
\mathl{X^{n-1} + \cdots + X^1 +1}{.} Gibt es noch weitere annullierende Polynome? Gibt es noch weitere annullierende Polynome von kleinerem Grad} {?} {} Es ergeben sich dabei folgende Fragen.
\aufzaehlungdrei{Welche Struktur besitzt $I$?
}{Gibt es unter den Elementen
\mathl{P \in I}{} besonders einfache Polynome, mit denen man $I$ einfach beschreiben kann?
}{Kann man mit Hilfe von $I$ Eigenschaften von
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
beschreiben?
}
Zu all diesen Fragen gibt es überzeugende Antworten. Zur ersten Frage können wir folgende Beobachtung machen: Das Nullpolynom gehört zu $I$. Wenn zwei Polynome
\mathl{P_1,P_2}{} zu $I$ gehören, so gehört auch ihre Summe zu $I$, es ist ja
\mavergleichskette
{\vergleichskette
{ (P_1+P_2)(x)
}
{ = }{ P_1(x) + P_2(x)
}
{ = }{ 0+0
}
{ = }{ 0
}
{ }{
}
}
{}{}{.}
Für
\mathl{P \in I}{} und ein beliebiges Polynom
\mathl{F \in K[X]}{} ist auch
\mathl{FP \in I}{,} wegen
\mavergleichskette
{\vergleichskette
{(FP)(x)
}
{ = }{F(x) \cdot P(x)
}
{ = }{F(x) \cdot 0
}
{ = }{ 0
}
{ }{
}
}
{}{}{.}
\zwischenueberschrift{Ideale}
Die soeben formulierten Eigenschaften der Menge von annullierenden Polynomen führt zur folgenden Definition.
\inputdefinition
{}
{
Eine Teilmenge ${\mathfrak a}$ eines
\definitionsverweis {kommutativen Ringes}{}{}
$R$ heißt \definitionswort {Ideal}{,} wenn die folgenden Bedingungen erfüllt sind:
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für alle
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{a+b
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für alle
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ra
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Ein Ideal ist eine
\definitionsverweis {Untergruppe}{}{}
der additiven Gruppe von $R$, die zusätzlich die zweite oben angeführte Eigenschaft erfüllt. Die einfachsten Ideale sind das
\definitionswortenp{Nullideal}{} $0$ und das
\definitionswortenp{Einheitsideal}{} $R$.
Für den Ring der ganzen Zahlen $\Z$ sind Untergruppen und Ideale identische Begriffe. Dies folgt einerseits aus der Gestalt
\mavergleichskette
{\vergleichskette
{H
}
{ = }{ \Z d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für jede Untergruppe von $\Z$
\zusatzklammer {die ihrerseits aus der
Division mit Rest
folgt} {} {,}
aber ebenso direkt aus der Tatsache, dass für
\mathl{k \in H}{} und beliebiges
\mathl{r \in \N}{} gilt
\mavergleichskette
{\vergleichskette
{rk
}
{ = }{k+k + \cdots + k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {$r$ Summanden} {} {}
und entsprechend für negatives $r$. Die Skalarmultiplikation mit einem beliebigen Ring\-element lässt sich also bei $\Z$ auf die Addition zurückführen.
\inputdefinition
{}
{
Ein
\definitionsverweis {Ideal}{}{}
${\mathfrak a}$ in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ der Form
\mavergleichskettedisp
{\vergleichskette
{{\mathfrak a}
}
{ =} {(a)
}
{ =} {Ra
}
{ =} {\{ra:\, r \in R\}
}
{ } {}
}
{}{}{}
heißt \definitionswort {Hauptideal}{.}
}
\inputdefinition
{}
{
Zu einer Familie von Elementen
\mathbed {a_j \in R} {}
{j \in J} {}
{} {} {} {,}
in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ bezeichnet
\mathl{(a_j: j \in J)}{} das von den $a_j$ \definitionswort {erzeugte Ideal}{.} Es besteht aus allen
\zusatzklammer {endlichen} {} {}
\definitionswort {Linearkombinationen}{}
\mathdisp {\sum_{j \in J_0} r_j a_j} { , }
wobei
\mavergleichskette
{\vergleichskette
{J_0
}
{ \subseteq }{J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine endliche Teilmenge und
\mathl{r_j \in R}{} ist.
}
Es handelt sich dabei um das kleinste Ideal in $R$, das alle
\mathbed {a_j} {}
{j \in J} {}
{} {} {} {,}
enthält. Dass ein solches Ideal existiert ist auch deshalb klar, weil der Durchschnitt von einer beliebigen Familie von Idealen wieder ein Ideal ist. Ein Hauptideal ist demnach ein Ideal, das von einem Element erzeugt wird.
\zwischenueberschrift{Einige ringtheoretische Konzepte}
In einem
\definitionsverweis {Körper}{}{}
folgt aus
\mavergleichskette
{\vergleichskette
{xy
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
dass ein Faktor $0$ sein muss. Diese Eigenschaft gilt nicht für beliebige Ringe. Ein Element
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem kommutativen Ring heißt \stichwort {Nichtnullteiler} {,} wenn aus
\mavergleichskette
{\vergleichskette
{fg
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stets
\mavergleichskette
{\vergleichskette
{g
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt. Man nennt einen Ring \stichwort {nullteilerfrei} {,} wenn $0$ der einzige Nullteiler ist.
\inputdefinition
{}
{
Ein \definitionsverweis {kommutativer}{}{,} \definitionsverweis {nullteilerfreier}{}{,} von $0$ verschiedener \definitionsverweis {Ring}{}{} heißt \definitionswort {Integritätsbereich}{.}
}
Der Ring $\Z$ der ganzen Zahlen und die Polynomringe
\mathl{K[X]}{} über einem Körper $K$ sind Integritätsbereiche. Das sind für uns besonders wichtigste Beispiele. Ein Unterring eines Körpers ist ein Integritätsbereich.
\inputdefinition
{}
{
Ein Element $u$ in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ heißt \definitionswort {Einheit}{,} wenn es ein Element
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{uv
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
Ein kommutativer Ring ist genau dann ein Körper, wenn in ihm jedes von $0$ verschiedene Element eine Einheit ist \zusatzklammer {der Nullring ist kein Körper, da in ihm sogar die $0$ eine Einheit ist} {} {.}
\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}{.}
}
Eine Einheit kann man als einen Teiler der $1$ auffassen. Idealtheoretisch kann man die Eigenschaft, dass $a$ das Element $b$ teilt, als Zugehörigkeit
\mavergleichskette
{\vergleichskette
{b
}
{ \in }{ R a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auffassen.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{.}
Man sagt, dass zwei Elemente
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionswort {teilerfremd}{} sind, wenn jedes Element
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das sowohl
\mathkor {} {a} {als auch} {b} {}
\definitionsverweis {teilt}{}{,}
eine
\definitionsverweis {Einheit}{}{}
ist.
}
\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 prim und irreduzibel 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.
\zwischenueberschrift{Irreduzible Polynome}
\inputbeispiel{}
{
Ein nichtkonstantes
\definitionsverweis {Polynom}{}{}
\mavergleichskette
{\vergleichskette
{P
}
{ = }{a_0 + a_1X+a_2X^2 + \cdots + a_nX^n
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei $K$ einen
\definitionsverweis {Körper}{}{}
bezeichne, ist genau dann
\definitionsverweis {irreduzibel}{}{,}
wenn es keine Produktdarstellung
\mavergleichskette
{\vergleichskette
{P
}
{ = }{QR
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt, die die
\definitionsverweis {Gradbedingung}{}{}
\mavergleichskettedisp
{\vergleichskette
{0
}
{ <} { \operatorname{grad} \, (Q)
}
{ <} { \operatorname{grad} \, (P)
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt.
}
Die irreduziblen Polynome sind gerade die irreduziblen Elemente im Polynomring
\mathl{K[X]}{} im Sinne der obigen allgemeinen ringtheoretischen Definition. Nach der weiter unten zu beweisenden Aussage könnte man auch von Primelementen bzw. Primpolynomen sprechen. Eine weitere wichtige Charakterisierung ist die Restklassencharakterisierung, die wir in
Korollar 7.7
kennenlernen werden.
\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.
}
Die Existenz der Faktorzerlegung in der folgenden Aussage folgt unmittelbar aus der Definition von irreduzibel, für die Eindeutigkeit muss man aber wissen, dass in einem Polynomring die irreduziblen Polynome auch Primpolynome sind \zusatzklammer {siehe unten} {} {.}
{Polynomring über Körper/Eine Variable/Faktoriell/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein von $0$ verschiedenes Polynom.}
\faktfolgerung {Dann gibt es eine
\zusatzklammer {bis auf die Reihenfolge der Faktoren} {} {}
eindeutige Produktdarstellung
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} {a F_1 \cdots F_r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ K^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\definitionsverweis {irreduziblen}{}{}
\definitionsverweis {normierten}{}{}
Polynomen
\mathbed {F_i} {}
{i=1 , \ldots , r} {}
{} {} {} {.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 3.19. }
\zwischenueberschrift{Hauptidealbereiche}
\inputdefinition
{}
{
Ein \definitionsverweis {Integritätsbereich}{}{,} in dem jedes \definitionsverweis {Ideal}{}{} ein \definitionsverweis {Hauptideal}{}{} ist, heißt \definitionswort {Hauptidealbereich}{.}
}
\inputfaktbeweis
{Polynomring über Körper/Eine Variable/Hauptidealbereich/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Ein
\definitionsverweis {Polynomring}{}{}
über einem
\definitionsverweis {Körper}{}{}}
\faktfolgerung {ist ein
\definitionsverweis {Hauptidealbereich}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei $I$ ein von $0$ verschiedenes
\definitionsverweis {Ideal}{}{}
in
\mathl{K[X]}{.} Betrachte die nichtleere Menge
\mathdisp {{ \left\{ \operatorname{grad} \, (P) \mid P \in I, \, P \neq 0 \right\} }} { . }
Diese Menge hat ein Minimum
\mavergleichskette
{\vergleichskette
{m
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das von einem Element
\mathbed {F \in I} {}
{F \neq 0} {}
{} {} {} {,}
herrührt, sagen wir
\mavergleichskette
{\vergleichskette
{m
}
{ = }{ \operatorname{grad} \, (F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir behaupten, dass
\mavergleichskette
{\vergleichskette
{I
}
{ = }{(F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Die Inklusion $\supseteq$ ist klar. Zum Beweis von $\subseteq$ sei
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Aufgrund
von Satz 19.4 (Lineare Algebra (Osnabrück 2017-2018))
gilt
\mathdisp {P = F Q + R \text{ mit } \operatorname{grad} \, (R) < \operatorname{grad} \, (F)
\text{ oder } R = 0} { . }
Wegen
\mavergleichskette
{\vergleichskette
{R
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und der Minimalität von
\mathl{\operatorname{grad} \, (F)}{} kann der erste Fall nicht eintreten. Also ist
\mavergleichskette
{\vergleichskette
{R
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $P$ ist ein Vielfaches von $F$.
In der eingangs besprochenen Situation eines Elements
\mathl{x \in L}{} einer Körpererweiterung
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und des zugehörigen Annullationsideals
\mavergleichskette
{\vergleichskette
{I
}
{ = }{ { \left\{ P \in K[X] \mid P(x) = 0 \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bedeutet dieser Satz, dass es ein Polynom geben muss, das dieses Ideal erzeugt. Dieses Polynom besitzt unter sämtlichen annullierenden Polynomen $\neq 0$ minimalen Grad, und man kann es als normiert ansetzen, wodurch es eindeutig festgelegt wird. Man spricht vom \stichwort {Minimalpolynom} {} zu $x$.
Mit einem ähnlichen Argument wie im Beweis der letzten Aussage verwendet kann man zeigen, dass $\Z$ ebenfalls ein Hauptidealbereich ist. Die folgenden Aussagen gelten also auch für $\Z$.
Die beiden folgenden Aussagen nennt man \stichwort {Lemma von Bezout} {} bzw. \stichwort {Lemma von Euklid} {.}
\inputfaktbeweis
{Hauptidealbereich/Zwei teilerfremde Elemente/Darstellung der 1/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Hauptidealbereich}{}{}}
\faktvoraussetzung {und seien
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {teilerfremde}{}{}
Elemente.}
\faktfolgerung {Dann kann man die $1$ als Linearkombination von
\mathkor {} {a} {und} {b} {}
darstellen, d.h. es gibt Elemente
\mavergleichskette
{\vergleichskette
{r,s
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ra+sb
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten das von
\mathkor {} {a} {und} {b} {}
\definitionsverweis {erzeugte Ideal}{}{}
\mavergleichskette
{\vergleichskette
{I
}
{ = }{ (a,b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da $R$ ein
\definitionsverweis {Hauptidealbereich}{}{}
ist, gibt es ein
\mathl{c \in R}{} mit
\mavergleichskette
{\vergleichskette
{ (a,b)
}
{ = }{ (c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist $c$ ein
\definitionsverweis {Teiler}{}{}
von $a$ und von $b$. Die Teilerfremdheit impliziert, dass $c$ eine
\definitionsverweis {Einheit}{}{}
ist. Wegen
\mathl{c \in (a,b)}{} gibt es eine Darstellung
\mavergleichskette
{\vergleichskette
{c
}
{ = }{ua+vb
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Multiplikation mit
\mathl{c^{-1}}{} ergibt die Darstellung der $1$.
\inputfaktbeweis
{Hauptidealbereich/Teilbarkeit/Lemma von Euklid/Fakt}
{Lemma}
{}
{
Es sei $R$ ein
\definitionsverweis {Hauptidealbereich}{}{}
und
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es seien $a$ und $b$
\definitionsverweis {teilerfremd}{}{}
und $a$ teile das Produkt $bc$. Dann teilt $a$ den Faktor $c$.
}
{
Da
\mathkor {} {a} {und} {b} {}
teilerfremd sind, gibt es nach
dem Lemma von Bezout
Elemente
\mavergleichskette
{\vergleichskette
{r,s
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ ra+sb
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Voraussetzung, dass $a$ das Produkt $bc$ teilt, schreiben wir als
\mavergleichskette
{\vergleichskette
{bc
}
{ = }{da
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit gilt
\mavergleichskettedisp
{\vergleichskette
{c
}
{ =} {c1
}
{ =} {c(ra+sb)
}
{ =} {cra +csb
}
{ =} {acr +ads
}
}
{
\vergleichskettefortsetzung
{ =} {a(cr+ds)
}
{ } {}
{ } {}
{ } {}
}{}{,}
was zeigt, dass $c$ ein Vielfaches von $a$ ist.
\inputfaktbeweis
{Hauptidealbereich/Irreduzibel ist prim/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Hauptidealbereich}{}{.}}
\faktvoraussetzung {Dann ist ein Element genau dann
\definitionsverweis {prim}{}{,}}
\faktfolgerung {wenn es
\definitionsverweis {irreduzibel}{}{} ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Ein Primelement in einem Integritätsbereich ist nach
Lemma 3.10
stets irreduzibel. Es sei also umgekehrt $p$ irreduzibel, und nehmen wir an, dass $p$ das Produkt $ab$ teilt, sagen wir
\mavergleichskette
{\vergleichskette
{pc
}
{ = }{ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Nehmen wir an, dass $a$ kein Vielfaches von $p$ ist. Dann sind aber $a$ und $p$ teilerfremd, da eine echte Inklusionskette
\mavergleichskette
{\vergleichskette
{ (p)
}
{ \subset }{ (p,a)
}
{ = }{(d)
}
{ \subset }{ R
}
{ }{
}
}
{}{}{}
der Irreduzibilität von $p$ widerspricht. Damit teilt $p$ nach
dem Lemma von Euklid
den anderen Faktor $b$.