Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 19/latex
\setcounter{section}{19}
Wir haben zuletzt gesehen, dass ein Zahlbereich, d.h. der Ring der ganzen Zahlen in einer endlichen Körpererweiterung $L$ von $\mathbb Q$, stets ein sogenannter Dedekindbereich ist. Darüber hinaus gilt auch die folgende Aussage.
\inputfaktbeweis
{Kommutative Ringtheorie/Hauptidealbereiche sind Dedekindbereiche/Fakt}
{Satz}
{}
{
\definitionsverweis {Hauptidealbereiche}{}{} sind \definitionsverweis {Dedekindbereiche}{}{.}
}
{
Die \definitionsverweis {Normalität}{}{} folgt aus Satz 3.7 und Satz 17.10. Die Eigenschaft \definitionsverweis {noethersch}{}{} folgt, da in einem Hauptidealbereich jedes \definitionsverweis {Ideal}{}{} sogar von einem Element erzeugt wird. Die Maximalität der von $0$ verschiedenen \definitionsverweis {Primideale}{}{} folgt aus Satz 3.11.
\inputdefinition
{}
{
Es sei $R$ der
\definitionsverweis {Zahlbereich}{}{}
zur
\definitionsverweis {endlichen Körpererweiterung}{}{}
\mavergleichskette
{\vergleichskette
{\Q
}
{ \subseteq }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann nennt man die
\definitionsverweis {Diskriminante}{}{}
einer
\definitionsverweis {Ganzheitsbasis}{}{}
von $R$ die \definitionswort {Diskriminante}{} von $R$
\zusatzklammer {und die \definitionswort {Diskriminante}{} von $L$} {} {.}
}
Die Diskriminante eines Zahlbereichs \zusatzklammer {oder eines Zahlkörpers} {} {} ist eine wohldefinierte ganze Zahl. Nach Definition ist die Diskriminante so gewählt, dass sie betragsmäßig minimal unter allen Diskriminanten zu \zusatzklammer {Ganzheits} {} {-}Basen aus $R$ ist. Zwei solche Diskriminanten unterscheiden sich um ein Quadrat einer Einheit aus $\Z$, so dass auch das Vorzeichen wohldefiniert ist.
Wir wollen uns im weiteren Verlauf der Vorlesung mit Ringerweiterungen
\mathl{\Z \subseteq R}{,} wo $R$ der Ring der ganzen Zahlen in einem Erweiterungskörper von $\Q$ ist, beschäftigen, insbesondere mit quadratischen Erweiterungen. Was bei einer solchen Erweiterung mit einer (gewöhnlichen) Primzahl $p$ passiert, also ob sie in $R$ ein Primelement bleibt oder nicht und welche Primideale aus ${\mathfrak p}$ über $p$ liegen, kann man weitgehend \anfuehrung{modulo}{} $p$ bestimmen.
Ist z. B. $R$ durch ein in
\mathl{\Z[X]}{} irreduzibles Polynom $F$ gegeben, also
\mathl{R \cong \Z[X]/(F)}{,} so wird die \anfuehrung{Faser}{} (diese Terminologie lässt sich genauer begründen) über $p$ durch den Restklassenring
\mathl{(\Z/(p))[X]/(\bar{F})}{} beschrieben (den wir auch den Faserring über $p$ nennen), wobei $\bar{F}$ bedeutet, dass man jeden Koeffizient von $F$ (der ja eine ganze Zahl ist) durch seine Restklasse in $\Z/(p)$ ersetzt. Dabei kann natürlich die Irreduzibilität des Polynoms verloren gehen, und dies beschreibt wichtige Eigenschaften von $p$ in $R$. Man beachte hierbei die Isomorphie
\mavergleichskettedisp
{\vergleichskette
{ R/ pR
}
{ \cong} { (\Z/(p))[X]/(\bar{F})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
die auf allgemeinen Gesetzen für Ideale beruht. Sie besagt insbesondere, dass $p$ ein Primelement in $R$ ist genau dann, wenn $\bar{F}$ irreduzibel in
\mathl{(\Z/(p))[X]}{} ist. Insgesamt liegt eine endliche Erweiterung
\mavergleichskettedisp
{\vergleichskette
{ \Z/(p)
}
{ \subseteq} { (\Z/(p))[X]/(\bar{F})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vor. Dabei sind beide Ringe endlich
\zusatzklammer {besitzen also nur endlich viele Elemente} {} {,}
und links steht ein endlicher Körper, so dass die Erweiterung also sofort ein Vektorraum ist
\zusatzklammer {der selbst ein Körper sein kann, aber nicht muss} {} {}
und eine gewisse Dimension besitzt
\zusatzklammer {nämlich den Grad von $\bar{F}$} {} {.}
In diesem Abschnitt beschäftigen wir uns allgemein mit endlichen Ringen und vor allem mit endlichen Körpern.
\zwischenueberschrift{ Endliche Körper}
Wir erinnern kurz an die
\definitionsverweis {Charakteristik}{}{}
eines Ringes. Zu jedem kommutativen Ring gibt es den kanonischen Ringhomomorphismus
\maabb {\varphi} {\Z} {\R
} {,}
und der Kern davon ist ein Ideal $\mathfrak a$ in $\Z$ und hat daher die Form
\mathl{{\mathfrak a}=(n)}{} mit einem eindeutig bestimmten
\mathl{n \geq 0}{.} Diese Zahl nennt man die Charakteristik von $R$. Ist $R$ ein Körper, so ist dieser Kern ein Primideal, also
\mathl{{\mathfrak a}=0}{} oder
\mathl{{\mathfrak a}=(p)}{} mit einer Primzahl $p$. Man spricht von Charakteristik null oder von positiver Charakteristik $p >0$.
Wir erinnern ferner an den Begriff des
\definitionsverweis {Frobeniushomomorphismus}{}{}
\zusatzklammer {siehe
Aufgabe *****} {} {:}
Für einen Ring $R$ der Charakteristik $p$ ($p$ Primzahl) ist die Abbildung
\mathl{R \rightarrow R}{,}
\mathl{f \mapsto f^p}{,} ein Ringhomomorphismus.
Wir haben bereits die endlichen Primkörper
\mathl{\Z/(p)}{} zu einer Primzahl $p$ kennengelernt. Sie besitzen $p$ Elemente, und ein Körper besitzt genau dann die Charakteristik $p$, wenn er diesen Primkörper enthält.
\inputfaktbeweis
{Endliche Körper/Anzahl ist Primzahlpotenz/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {endlicher Körper}{}{.}}
\faktfolgerung {Dann besitzt $K$ genau $p^n$ Elemente, wobei $p$ eine Primzahl ist und
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Der endliche Körper kann nicht die
\definitionsverweis {Charakteristik}{}{}
$0$ besitzen, und als Charakteristik eines Körpers kommt ansonsten nach
der Vorüberlegung
nur eine Primzahl in Frage. Diese sei mit $p$ bezeichnet. Das bedeutet, dass $K$ den Körper
\mathl{\Z/(p)}{} enthält. Damit ist aber $K$ ein Vektorraum über
\mathl{\Z/(p)}{,} und zwar, da $K$ endlich ist, von endlicher Dimension. Es sei $n$ die Dimension,
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann hat man eine
\mathl{\Z/(p)}{-}Vektorraumisomorphie
\mavergleichskettedisp
{\vergleichskette
{ K
}
{ \cong} {(\Z/(p))^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit besitzt $K$ gerade $p^n$ Elemente.
Die vorstehende Aussage gilt allgemeiner für endliche Ringe, die einen Körper enthalten.
Endliche Körper der Anzahl $p^n$ konstruiert man, indem man in
\mathl{(\Z/(p))[X]}{} ein irreduzibles Polynom vom Grad $n$ findet. Ob ein gegebenes Polynom irreduzibel ist lässt sich dabei grundsätzlich in endlich vielen Schritten entscheiden, da es ja zu jedem kleineren Grad überhaupt nur endlich viele Polynome gibt, die als Teiler in Frage kommen können. Zur Konstruktion von einigen kleinen endlichen Körpern siehe die
Aufgabe *****.
\inputfaktbeweis
{Endliche Körper/Nullstellen von X^q-X/bilden Körper/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
der
\definitionsverweis {Charakteristik}{}{}
$p$, sei
\mavergleichskette
{\vergleichskette
{q
}
{ = }{p^e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{e
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { { \left\{ x \in K \mid x^q = x \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktfolgerung {Dann ist $M$ ein
\definitionsverweis {Unterkörper}{}{}
von $K$.}
\faktzusatz {}
\faktzusatz {}
}
{
Zunächst gilt für jedes Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{ \Z/(p)
}
{ \subseteq }{K
}
{ }{
}
{ }{
}
}
{}{}{,}
dass
\mavergleichskettedisp
{\vergleichskette
{ x^{ p^{e} }
}
{ =} { { \left( x^p \right) }^{p^{e-1} }
}
{ =} { x^{ p^{e-1} }
}
{ =} { \ldots
}
{ =} {x
}
}
{}{}{}
ist, wobei wir wiederholt
den kleinen Fermat
benutzt haben. Insbesondere ist also
\mavergleichskette
{\vergleichskette
{ 0,1,-1
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es ist
\mavergleichskette
{\vergleichskette
{z^q
}
{ = }{F^{e}(z)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und der
\definitionsverweis {Frobeniushomomorphismus}{}{}
\maabbeledisp {F} {K} {K
} {x} {x^p
} {,}
ist ein
\definitionsverweis {Ringhomomorphismus}{}{}
nach
Aufgabe *****.
Daher ist für
\mavergleichskette
{\vergleichskette
{ x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einerseits
\mavergleichskettedisp
{\vergleichskette
{ (x+y)^q
}
{ =} { F^{e} (x+y)
}
{ =} { F^{e}(x) + F^{e}(y)
}
{ =} { x^q +y^q
}
{ =} { x+y
}
}
{}{}{}
und andererseits
\mavergleichskettedisp
{\vergleichskette
{ (xy)^q
}
{ =} { x^qy^q
}
{ =} { xy
}
{ } {
}
{ } {
}
}
{}{}{.}
Ferner gilt für
\mathbed {x \in M} {}
{x \neq 0} {}
{} {} {} {,}
die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ { \left( x^{-1} \right) }^q
}
{ =} { { \left( x^q \right) }^{-1}
}
{ =} { x^{-1}
}
{ } {
}
{ } {
}
}
{}{}{,}
sodass auch das Inverse zu $M$ gehört und in der Tat ein Körper vorliegt.
\inputfaktbeweis
{Endliche Körper/Körper/X^q-X zerfällt/Körper mit q Elementen/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
der
\definitionsverweis {Charakteristik}{}{}
\mavergleichskette
{\vergleichskette
{p
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
sei
\mathbed {q=p^{e}} {}
{e \geq 1} {}
{} {} {} {.}}
\faktvoraussetzung {Das Polynom
\mathl{X^q-X}{} zerfalle über $K$ in Linearfaktoren.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ M
}
{ =} { { \left\{ x \in K \mid x^q = x \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein Unterkörper von $K$ mit $q$ Elementen.}
\faktzusatz {}
\faktzusatz {}
}
{
Nach
Lemma 19.4
ist $M$ ein Unterkörper von $K$, und nach
Korollar 5.2
besitzt er höchstens $q$ Elemente. Es ist also zu zeigen, dass
\mavergleichskette
{\vergleichskette
{F
}
{ = }{X^q-X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
keine mehrfache Nullstellen hat. Dies folgt aber aus der formalen Ableitung
\mavergleichskette
{\vergleichskette
{F'
}
{ = }{-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
Aufgabe *****.
Wenn es also einen Erweiterungskörper
\mavergleichskettedisp
{\vergleichskette
{ \Z/(p)
}
{ \subseteq} { K
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt, über den das Polynom
\mathl{X^q-X}{} in Linearfaktoren zerfällt, so hat man bereits einen Körper mit $q$ Elementen gefunden. Es gibt aber generell zu jedem Körper und jedem Polynom einen Erweiterungskörper, über dem das Polynom in Linearfaktoren zerfällt.
\inputfaktbeweis
{Körpererweiterung/Polynom zerfällt in Linearfaktoren/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und $F$ ein Polynom aus
\mathl{K[X]}{.}}
\faktfolgerung {Dann gibt es einen
\definitionsverweis {Erweiterungskörper}{}{}
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass $F$ über $L$ in Linearfaktoren zerfällt.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mavergleichskette
{\vergleichskette
{F
}
{ = }{P_1 \cdots P_r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Zerlegung in Primpolynome in
\mathl{K[X]}{,} und sei $P_1$ nicht linear. Dann ist
\maabbdisp {} {K} { K[Y]/(P_1(Y)) =:K'
} {}
eine
\definitionsverweis {Körpererweiterung}{}{}
von $K$ nach
Satz 3.11.
Wegen
\mavergleichskette
{\vergleichskette
{ P_1(Y)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $K'$ ist die Restklasse $y$ von $Y$ in $K'$ eine Nullstelle von $P_1$. Daher gilt nach
Satz 5.1
in
\mathl{K'[X]}{} die Faktorisierung
\mavergleichskette
{\vergleichskette
{ P_1
}
{ = }{(X-y)\tilde{P}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei $\tilde{P}$ einen kleineren Grad als $P_1$ hat. Das Polynom $F$ hat also über $K'$ mindestens einen Linearfaktor mehr als über $K$. Induktive Anwendung von dieser Konstruktion liefert eine Kette von Erweiterungen
\mavergleichskette
{\vergleichskette
{ K
}
{ \subset }{ K'
}
{ \subset }{ K^{\prime \prime}
}
{ \subset }{ \ldots
}
{ }{
}
}
{}{}{,}
die stationär wird, sobald $F$ in Linearfaktoren zerfällt.
\inputfaktbeweis
{Endliche Körper/Existenz und Eindeutigkeit/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $p$ eine
\definitionsverweis {Primzahl}{}{}
und
\mavergleichskette
{\vergleichskette
{e
}
{ \in }{\N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann gibt es bis auf
\definitionsverweis {Isomorphie}{}{}
genau einen
\definitionsverweis {Körper}{}{}
mit
\mavergleichskette
{\vergleichskette
{q
}
{ = }{p^e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Elementen.}
\faktzusatz {}
\faktzusatz {}
}
{
Existenz. Wir wenden
Lemma 19.6
auf den Grundkörper
\mathl{\Z/(p)}{} und das Polynom
\mathl{X^q-X}{} an und erhalten einen Körper $L$ der
\definitionsverweis {Charakteristik}{}{}
$p$, über dem
\mathl{X^q-X}{} in Linearfaktoren zerfällt. Nach
Lemma 19.5
gibt es dann einen Unterkörper $M$ von $L$, der aus genau $q$ Elementen besteht.
Eindeutigkeit. Es seien $K$ und $L$ zwei Körper mit $q$ Elementen. Es sei
\mathl{x \in K^\times}{} ein primitives Element, das nach
Satz 5.3 existiert. Daher ist
\mathl{K \cong \Z/(p) [X]/(F)}{,} wobei
\mathl{F \in \Z/(p)[X]}{} das
\definitionsverweis {Minimalpolynom}{}{}
von
\mathl{x \in K}{} ist. Da $K^\times$ die Ordnung
\mathl{q-1}{} besitzt, gilt für jede Einheit
\mathl{z^{q-1}=1}{} und damit überhaupt
\mathl{z^q= z}{} für alle
\mathl{z \in K}{.} D.h., dass jedes Element von $K$ eine Nullstelle von
\mathl{X^q-X}{} ist und dass daher
\mathl{X^q-X}{} über $K$ in Linearfaktoren zerfällt. Da insbesondere
\mathl{x^q-x=0}{} ist, muss das Minimalpolynom $F$ ein Teiler von
\mathl{X^q-X}{} sein, also
\mavergleichskette
{\vergleichskette
{ X^q-X
}
{ = }{ F \cdot G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Nun zerfällt
\zusatzklammer {aus den gleichen Gründen} {} {}
das Polynom
\mathl{X^q-X}{} auch über $L$ und insbesondere hat $F$ eine Nullstelle
\mathl{\lambda \in L}{.} Der Einsetzungshomomorphismus liefert einen Ringhomomorphismus
\maabbdisp {} {K \cong \Z/(p)[X]/(F)} {L
} {.}
Da beides Körper sind, muss dieser injektiv sein. Da links und rechts jeweils $q$-elementige Mengen stehen, muss er auch surjektiv sein.
\inputnotation{}{
Es sei $p$ eine
\definitionsverweis {Primzahl}{}{}
und
\mavergleichskette
{\vergleichskette
{ e
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der aufgrund von
Satz 19.7
bis auf Isomorphie eindeutig bestimmte
\definitionsverweis {endliche Körper}{}{}
mit
\mavergleichskette
{\vergleichskette
{q
}
{ = }{p^e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Elementen wird mit
\mathdisp {{\mathbb F}_{ q }} { }
bezeichnet.
}
\zwischenueberschrift{Quadratische Ringerweiterungen über einem Körper}
Die quadratischen Erweiterungen eines Körpers kann man wie folgt charakterisieren.
\inputfaktbeweis
{Quadratische Ringerweiterung von Körper/Klassifikation/Fakt}
{Lemma}
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Ringerweiterung vom Grad zwei. Dann gibt es die folgenden drei Möglichkeiten:
\aufzaehlungdrei{$L$ ist ein Körper.
}{$L$ ist von der Form
\mavergleichskette
{\vergleichskette
{L
}
{ = }{K[\epsilon]/\epsilon^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$L$ ist der
\definitionsverweis {Produktring}{}{}
\mavergleichskette
{\vergleichskette
{L
}
{ = }{ K \times K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{
Nach Voraussetzung ist $L$ ein zweidimensionaler $K$-Vektorraum. Wir können das Element
\mavergleichskette
{\vergleichskette
{1
}
{ \in }{K
}
{ \subset }{L
}
{ }{
}
{ }{
}
}
{}{}{}
zu einer $K$-Basis
\mathl{1,u}{} von $L$ ergänzen
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{ u
}
{ \notin }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
Wegen
\mavergleichskette
{\vergleichskette
{u^2
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
hat man eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{ u^2
}
{ =} { au+b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit eindeutig bestimmten Elementen
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit ist $L$ isomorph zum Restklassenring
\mavergleichskette
{\vergleichskette
{L
}
{ \cong }{ K[U]/(U^2-aU-b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ist das Polynom
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ U^2-aU-b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {irreduzibel}{}{}
über $K$, so ist $L$ ein Körper und wir sind im ersten Fall. Andernfalls gibt es eine Zerlegung
\mavergleichskette
{\vergleichskette
{P
}
{ = }{ (U-c)(U-d)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ c,d
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{ c
}
{ = }{ d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man die Restklasse von
\mathl{U-c}{}
\zusatzklammer {also \mathlk{u-c}{}} {} {}
als $\epsilon$ bezeichnen und man ist im zweiten Fall, da ja
\mavergleichskette
{\vergleichskette
{ \epsilon^2
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Es sei also
\mavergleichskette
{\vergleichskette
{ c
}
{ \neq }{ d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorausgesetzt. Dann induzieren die beiden
$K$-\definitionsverweis {Algebrahomomorphismen}{}{}
\maabbele {\varphi_1} {L} {K
} {u} {c
} {,}
und
\maabbele {\varphi_2} {L} {K
} {u} {d
} {,}
einen Homomorphismus
\maabbdisp {\varphi = \varphi_1 \times \varphi_2} {L} { K \times K
} {.}
Dieser ist surjektiv, da
\mavergleichskette
{\vergleichskette
{ \varphi(1)
}
{ = }{ (1,1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \varphi(u)
}
{ =} { (c,d)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist und diese Bildvektoren linear unabhängig über $K$ sind, also eine Basis von
\mathl{K \times K}{} bilden. Damit ist $\varphi$ aber auch injektiv und es liegt eine Isomorphie wie im dritten Fall behauptet vor.