Kurs:Einführung in die Algebra (Osnabrück 2009)/1/Klausur mit Lösungen/latex
\inputaufgabeloesung
{
Beweise mittels der Division mit Rest, dass jede Untergruppe $H$ von $\Z$ die Gestalt $H= \Z d$ mit einem $d \in \N$ besitzt.
}
{
Es sei
\mathl{H \subseteq \Z}{} eine Untergruppe. Bei
\mathl{H=0}{} kann man
\mathl{d=0}{} nehmen, so dass wir voraussetzen dürfen, dass $H$ neben $0$ noch mindestens ein weiteres Element $x$ enthält. Wenn $x$ negativ ist, so muss die Untergruppe $H$ auch das Negative davon, also $-x$ enthalten, welches positiv ist. D.h. $H$ enthält auch positive Zahlen. Es sei nun $d$ die kleinste positive Zahl aus $H$.
Wir behaupten
\mathl{H= \Z d}{.} Dabei ist die Inklusion
\mathl{\Z d \subseteq H}{} klar, da mit $d$ alle (positiven und negativen) Vielfache von $d$ dazugehören müssen. Für die umgekehrte Inklusion sei $h \in H$ beliebig. Nach
Satz 3.1
gilt
\mathdisp {h=qd+r \text{ mit } 0 \leq r < d} { . }
Wegen \mathkon { h \in H } { und } { qd \in H }{ } ist auch
\mathl{r=h-qd \in H}{.} Nach der Wahl von $d$ muss wegen
\mathl{r < d}{} gelten:
\mathl{r=0}{.} Dies bedeutet
\mathl{h=qd}{} und damit
\mathl{h \in \Z d}{,} also
\mathl{H \subseteq \Z d}{.}
}
\inputaufgabeloesung
{
Es seien $n,m \in \Z$ ganze Zahlen. Zeige, dass $n$ genau dann ein Teiler von $m$ ist, wenn es einen Ringhomomorphismus \maabbdisp {} {\Z/(m) } { \Z/(n) } {} gibt. Zeige durch ein Beispiel, dass es einen injektiven Gruppenhomomorphismus \maabbdisp {} {\Z/(m) } { \Z/(n) } {} geben kann, ohne dass $n$ ein Teiler von $m$ ist.
}
{
Wenn $n$ ein Teiler von $m$ ist, so ist $m=an$ und daher ist $m \in \Z n$ und somit gilt die Idealinklusion $\Z m \subseteq \Z n$. Unter dem kanonischen Ringhomomorphismus
\maabbdisp {} {\Z} {\Z/(n)
} {} wird also $\Z m$ auf null abgebildet und daher gibt es nach dem Satz vom induzierten Homomorphismus einen Ringhomomorphismus
\maabbdisp {} {\Z/(m)} {\Z/(n)
} {.}
Wenn es umgekehrt einen solchen Ringhomomorphismus $\varphi$ gibt, so betrachten wir insgesamt den Ringhomomorphismus
\mathdisp {\Z \longrightarrow \Z/(m) \stackrel{\varphi}{\longrightarrow} \Z/(n)} { . }
Die Gesamtabbildung muss also $m$ auf null schicken, d.h. $m \mod n =0$, und $m$ ist ein Vielfaches von $n$.
Für das Beispiel betrachten wir $n=4$ und $m=2$. In $\Z/(4)$ bildet die Menge $\{ \bar{0}, \bar{2}\}$ eine Untergruppe, die zu $\Z/(2)$ isomorph ist, so dass ein injektiver Gruppenhomomorphismus $\Z/(2) \rightarrow \Z/(4)$ vorliegt.
}
\inputaufgabeloesung
{
(a) Bestimme für die Zahlen $2$, $9$ und $25$ modulare Basislösungen, finde also die kleinsten positiven Zahlen, die in
\mathdisp {\Z/(2) \times \Z/(9) \times \Z/(25)} { }
die Restetupel
$(1,0,0),\, (0,1,0)$ und $(0,0,1)$
repräsentieren.
(b) Finde mit den Basislösungen die kleinste positive Lösung $x$ der simultanen Kongruenzen
\mathdisp {x = 0 \!\! \mod 2 , \, \, \, \, x = 3 \!\! \mod 9 \text{ und } x = 5 \!\! \mod 25} { . }
}
{
(a) Modulare Basislösungen. Es ist $9 \times 25=225$, und dies hat modulo $2$ den Rest $1$.
Es ist $2 \times 25=50$, und $50$ hat modulo $9$ den Rest $5$, und $100$ hat modulo $9$ den Rest $1$.
Es ist $2 \times 9 =18$. Wir gehen die Vielfachen von $18$ durch und berechnen die Reste modulo $25$
\mathdisp {18,\,36=11, \, 54=4, \, 72= 22,\, 90= 15,\, 108= 8 ,
\, 126= 1} { . }
Die Basislösungen sind also $225,100,126$.
(b) Eine Lösung für die angegebenen simultanen Kongruenzen ist
\zusatzklammer {modulo $2\cdot 9 \cdot 25=450$} {} {}
\mathdisp {0 \cdot 225 + 3 \cdot 100 + 5 \cdot 126= 300
+630=930= 30} { . }
Daher ist $30$ die kleinste
positive Lösung.
}
\inputaufgabeloesung
{
Wie viele Elemente besitzt die von der Drehung um $45$ Grad, von der Drehung um $99$ Grad und von der Zwölfteldrehung \definitionsverweis {erzeugte Untergruppe}{}{} der Drehgruppe $\operatorname{SO}_{2}$?
}
{
Wir schreiben die Drehungen als Teildrehungen einer Volldrehung, also
\mathdisp {{ \frac{ 45 }{ 360 } }= { \frac{ 1 }{ 8 } }, \,{ \frac{ 99 }{ 360 } }={ \frac{ 11 }{ 40 } },\, { \frac{ 1 }{ 12 } }} { . }
Mit dem Hauptnenner $120$ sind dies die Drehungen
\mathdisp {{ \frac{ 15 }{ 120 } }, \, { \frac{ 33 }{ 120 } },\, { \frac{ 10 }{ 120 } }} { . }
Jede dieser Drehungen ist ein Vielfaches der ${ \frac{ 1 }{ 120 } }$-Drehung. Andererseits sind die Zahlen $15,33$ und $10$ teilerfremd, so dass es eine Darstellung der $1$ gibt. Daher ist die von den drei Drehungen erzeugte Untergruppe genau die von der ${ \frac{ 1 }{ 120 } }$-Drehung erzeugte Untergruppe und enthält daher $120$ Elemente.
}
\inputaufgabeloesung
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{} und
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Charakterisiere mit Hilfe der Multiplikationsabbildung
\maabbeledisp {\mu_f} {R} {R
} {g} {fg
} {,}
wann $f$ ein
\definitionsverweis {Nichtnullteiler}{}{}
und wann $f$ eine
\definitionsverweis {Einheit}{}{}
ist.
}
{
Die Multiplikationsabbildung ist ein Gruppenhomomorphismus, wie direkt aus dem Distributivitätsgesetz folgt. Es gilt:
$f$ ist ein Nichtnullteiler genau dann, wenn für alle $g\in R$ aus $fg=0$ folgt $g=0$. Dies ist genau dann der Fall, wenn der Kern von $\mu_f$ nur aus $0$ besteht, was genau dann gilt, wenn $\mu_f$ injektiv ist.
$f$ ist eine Einheit genau dann, wenn es ein $g\in R$ gibt mit $fg=1$, was genau dann der Fall ist, wenn $1$ zum Bild von $\mu_f$ gehört. Dies wiederum ist äquivalent dazu, dass $\mu_f$ surjektiv ist, denn aus $fg=1$ folgt sofort $h=(fg)h=f(gh)$ für jedes $h\in R$.
}
\inputaufgabeloesung
{
Betrachte den Würfel
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Snijden_kruisen_evenwijdig.png} }
\end{center}
\bildtext {} }
\bildlizenz { Snijden kruisen evenwijdig.png } {} {MADe} {nl.wikipedia} {cc-by-sa 3.0} {}
Es sei $\alpha$ diejenige Drehung am Würfel um die Achse durch die Eckpunkte
\mathkor {} {A} {und} {G} {,}
die den Eckpunkt $B$ auf $D$ schickt, und es sei $\beta$ die Halbdrehung um die vertikale Achse
\zusatzklammer {also die Gerade, die durch den Mittelpunkt der Seitenfläche $A,B,C,D$ und den Mittelpunkt der Seitenfläche $E,F,G,H$ läuft} {} {.}
a) Man gebe eine Wertetabelle für die Permutationen auf der Eckpunktmenge $\{A,B,C,D,E,F,G,H\}$, die durch $\alpha, \beta, \alpha \beta$ und $\beta \alpha$ bewirkt werden.
b) Bestimme die Drehachse von $\alpha \beta$ und von $\beta \alpha$ sowie die Ordnung dieser Drehungen.
c) Man gebe die Zykeldarstellung der von $\alpha^2$ bewirkten Permutation auf der Eckpunktmenge an. Was ist $\alpha^{1001}$?
d) Man betrachte die Permutation $\sigma$, die auf der Eckpunktmenge durch die Wertetabelle
\wertetabelleachtausteilzeilen { $x$ }
{\mazeileundfuenf {A} {B} {C} {D} {E} }
{\mazeileunddrei {F} {G} {H
} }
{ $\sigma(x)$ }
{\mazeileundfuenf {B} {C} {D} {A} {G} }
{\mazeileunddrei {H} {E} {F} }
gegeben ist. Gibt es eine Drehung des Würfels, die diese Permutation bewirkt? Berechne das Signum von $\sigma$.
}
{
a) Die Wertetabellen für die angegebenen Permutationen sind
\wertetabelleachtausteilzeilen { $x$ }
{\mazeileundfuenf {A} {B} {C} {D} {E} }
{\mazeileunddrei {F} {G} {H
} }
{ $\alpha(x)$ }
{\mazeileundfuenf {A} {D} {H} {E} {B} }
{\mazeileunddrei {C} {G} {F} }
\wertetabelleachtausteilzeilen { $x$ }
{\mazeileundfuenf {A} {B} {C} {D} {E} }
{\mazeileunddrei {F} {G} {H
} }
{ $\beta(x)$ }
{\mazeileundfuenf {C} {D} {A} {B} {G} }
{\mazeileunddrei {H} {E} {F} }
\wertetabelleachtausteilzeilen { $x$ }
{\mazeileundfuenf {A} {B} {C} {D} {E} }
{\mazeileunddrei {F} {G} {H
} }
{ $\alpha \beta (x)$ }
{\mazeileundfuenf {H} {E} {A} {D} {G} }
{\mazeileunddrei {F} {B} {C} }
\wertetabelleachtausteilzeilen { $x$ }
{\mazeileundfuenf {A} {B} {C} {D} {E} }
{\mazeileunddrei {F} {G} {H
} }
{ $\beta \alpha (x)$ }
{\mazeileundfuenf {C} {B} {F} {G} {D} }
{\mazeileunddrei {A} {E} {H} }
b) Die Drehachse von $\alpha \beta$ ist die Gerade durch die beiden Eckpunkte \mathkor {} {D} {und} {F} {} und die Drehachse von $\beta \alpha$ ist die Gerade durch die beiden Eckpunkte \mathkor {} {B} {und} {H} {.} Beides sind Dritteldrehungen, ihre Ordnung ist 3.
c) Aus der Wertetabelle für $\alpha$ kann man leicht diejenige für $\alpha^2$ errechnen, und damit auch die Zykledarstellung. Diese ist
\mathdisp {\langle B, E,D \rangle \langle C,F,H \rangle} { . }
Die Ordnung von $\alpha$ ist 3, daher ist $\alpha^{1001}=\alpha^2$.
d) $\sigma$ stimmt auf den unteren Eckpunkten $E,F,G,H$ mit der durch $\beta$ definierten Permutation überein. Würde $\sigma$ von einer Würfelbewegung $\gamma$ herrühren, so wäre $\beta \gamma^{-1}$ die Identität auf der unteren Ebenen und müßte dann überhaupt die Identität sein. Dann wäre $\beta =\gamma$, was aber wegen
\mavergleichskettedisp
{\vergleichskette
{\beta(A)
}
{ =} {C
}
{ \neq} {B
}
{ =} {\gamma(A)
}
{ } {}
}
{}{}{} nicht der Fall ist.
$\sigma$ hat die Zykeldarstelung
\mathdisp {\sigma = \langle A,B,C,D \rangle \langle E,G \rangle \langle H,F \rangle} { , }
die wir als Produktdarstellung lesen. Der vordere Zykel ist als Produkt geschrieben
\mathdisp {\langle A,B,C,D \rangle = \langle B,C \rangle \langle C,D \rangle \langle D,A \rangle} { . }
Insgesamt ist $\sigma$ das Produkt von $5$ Transpositionen und daher ist das Signum $-1$.
}
Die nächste Aufgabe verwendet die folgende Definition.
Ein
\definitionsverweis {kommutativer Ring}{}{}
heißt \definitionswort {angeordnet}{,} wenn es eine
\definitionsverweis {totale Ordnung}{}{}
$\geq$ auf $R$ gibt, die die beiden Eigenschaften
\aufzaehlungzwei {Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a+c
}
{ \geq }{b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für beliebige
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
} {Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ab
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für beliebige
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}
erfüllt.
Die Schreibweise $a>b$ bedeutet $a \geq b$ und $a \neq b$. Die Schreibweise $a \leq b$ bedeutet $b \geq a$.
\inputaufgabeloesung
{
Es sei $R$ ein \definitionsverweis {angeordneter Integritätsbereich}{}{.}
a) Zeige, dass aus $ca \geq cb$ mit $c>0$ folgt, dass $a \geq b$ ist.
b) Zeige, dass $1>0$ in $R$ gilt.
c) Zeige, dass aus $a<0$ die Eigenschaft $-a>0$ folgt.
d) Es sei $K=Q(R)$ der \definitionsverweis {Quotientenkörper}{}{} von $R$. Definiere eine Ordnungsrelation $\geq$ auf $K$, die auf $R \subseteq K$ mit der vorgegebenen Ordnung übereinstimmt, und die $K$ zu einem angeordneten Körper macht.
}
{
a) Angenommen, unter den angegebenen Voraussetzungen wäre nicht $a \geq b$. Da eine totale Ordnung vorliegt, ist dann $a < b$. D.h. insbesondere $a \leq b$ und daraus folgt $ac \leq bc$. Wenn dies gleich wäre, würde wegen der Kürzbarkeit in einem Integritätsbereich und wegen $c \neq 0$ sofort $a=b$ folgen, was ausgeschlossen ist. Daher ist $ac <bc$ im Widerspruch zur Voraussetzung.
b) Die Eigenschaft $1>0$ ist aufgrund der ersten Eigenschaft äquivalent zu $0 > -1$, so dass wir $-1 \geq 0$ annehmen. Aufgrund der zweiten Eigenschaft ist dann $1=(-1)(-1) \geq (-1)0=0$ und wegen $1 \neq 0$ in einem Integritätsbereich folgt doch $1>0$.
c) Aus $a<0$ folgt durch beidseitige Addition mit $-a$ sofort $0 \leq -a$. Würde $0=-a$ gelten, so folgt $a=0$ im Widerspruch zur Voraussetzung, also ist $0 < -a$.
d) Ein Element im Quotientenkörper $K=Q(R)$ wird repräsentiert durch einen Bruch ${ \frac{ a }{ b } }$ mit
\mathbed {a,b \in R} {}
{b \neq 0} {}
{} {} {} {.}
Dabei ist ${ \frac{ a }{ b } }={ \frac{ c }{ d } }$ definitionsgemäß genau dann, wenn $ad=bc$ ist. Da eine totale Ordnung vorliegt, kann man stets annehmen, dass die Nenner positiv sind, da man mit $-1$ erweitern kann
\zusatzklammer {nach Teil (c)} {} {.}
Im Folgenden nehmen wir alle Nenner als positiv an. Wir definieren
\mathdisp {{ \frac{ a }{ b } } \leq { \frac{ c }{ d } } \text{ wenn } ad \leq cb} { . }
Man muss die Wohldefiniertheit dieser Definition nachweisen und dass die Eigenschaften eines geordneten Ringes erfüllt sind. Zur
Wohldefiniertheit sei
\mathdisp {{ \frac{ a }{ b } } \leq { \frac{ c }{ d } }} { }
und
\mathdisp {{ \frac{ a }{ b } } = { \frac{ a' }{ b' } } \text{ und } { \frac{ c }{ d } } = { \frac{ c' }{ d' } }} { . }
Dann ist
\mavergleichskettedisp
{\vergleichskette
{a'd'cb
}
{ =} {adb'c'
}
{ } {}
{ } {}
{ } {}
}
{}{}{.}
Bei $c > 0$ ist
\mavergleichskettedisp
{\vergleichskette
{ a'd'cb
}
{ =} {adb'c'
}
{ \leq} {c'b'cb
}
{ } {}
{ } {}
}
{}{}{}
und daraus folgt durch kürzen
\zusatzklammer {nach Teil (a)} {} {} $a'd' \leq c'b'$ wie gewünscht. Bei $c=0$ ist auch $c'=0$ und ${ \frac{ a }{ b } } \leq 0$ bedeutet $a \leq 0$ und damit muss auch $a' \leq 0$ und $a'd' \leq 0$ sein. Bei $c<0$ ist auch $c'<0$. Dann ist $b'c'<0$ und $-b'c' >0$, also
\mavergleichskettedisp
{\vergleichskette
{a'd'(-cb)
}
{ =} {ad(-b'c')
}
{ \leq} {c'b'(-cb)
}
{ } {}
{ } {}
}
{}{}{.}
Daraus ergibt sich $a'd' \leq c'b'$. Daher ist die Ordnung wohldefiniert.
Jetzt sind die Ordnungseigenschaften zu testen. Es seien $x= { \frac{ a }{ b } }$, $y= { \frac{ c }{ d } }$ und $z={ \frac{ e }{ f } }$. Wir können stets zu einem Hauptnenner übergehen, also $b=d=f >0$ annehmen. Aus dem bisher Bewiesenen folgt, dass ${ \frac{ a }{ b } } \geq { \frac{ c }{ b } }$ genau dann gilt, wenn $a \geq c$ ist.
Die Reflexivität ist trivial. Zur Transitivität sei
\mathkor {} {x={ \frac{ a }{ b } } \leq y={ \frac{ c }{ b } }} {und} {y= { \frac{ c }{ b } } \leq z={ \frac{ e }{ b } }} {.}
Also ist
\mathbed {a\leq c} {und}
{c \leq e} {}
{} {} {} {}
und daher ist $a \leq e$ und somit auch $x \leq z$.
Zur Antisymmetrie sei \mathkor {} {{ \frac{ a }{ b } } \leq { \frac{ c }{ b } }} {und} {{ \frac{ a }{ b } } \geq { \frac{ c }{ b } }} {.} Dann ist direkt $a=c$ und die Brüche stimmen überein.
Wir kommen nun zu den Eigenschaften eines geordneten Ringes.
(1).
Aus $x= { \frac{ a }{ b } } \geq y= { \frac{ c }{ b } }$ folgt sofort $a \geq c$. Daher ist $a+e \geq c +e$ und somit wiederum
\mavergleichskettedisp
{\vergleichskette
{x+z }
{ =} {{ \frac{ a+e }{ b } } }
{ \geq} {{ \frac{ c+e }{ b } }}
{ =} {y+z }
{ } {}
}
{}{}{.}
(2). Es sei $x \geq y$ und $z \geq 0$. Dann ist $a \geq c$ und $e \geq 0$ und somit $ae \geq ce$. Also ist
\mavergleichskettedisp
{\vergleichskette
{xz }
{ =} {{ \frac{ a }{ b } } { \frac{ e }{ b } } }
{ =} {{ \frac{ ae }{ b^2 } } }
{ \geq} {
{ \frac{ ce }{ b^2 } } }
{ =} { { \frac{ c }{ b } } { \frac{ e }{ b } } }
}
{
\vergleichskettefortsetzung
{ =} {yz
}
{ } {}
{ } {}
{ } {}
}{}{.}
Es ist trivial, dass eine Fortsetzung der Ordnung und eine totale Ordnung vorliegt.
}
\inputaufgabeloesung
{
Bestimme die Primfaktorzerlegung des Polynoms $X^6-1$ über den
\definitionsverweis {Körpern}{}{}
\mavergleichskette
{\vergleichskette
{K
}
{ = }{\Q, \R, {\mathbb C}, \Z/(7)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mathl{\Z/(5)}{.}
}
{
Es ist
\zusatzklammer {über jedem Körper} {} {}
\mavergleichskettealign
{\vergleichskettealign
{X^6-1
}
{ =} {(X^2-1)(X^4+X^2+1)
}
{ =} {(X-1)(X+1) (X^4+X^2+1)
}
{ =} {(X-1)(X+1) (X^2+X+1)(X^2-X+1)
}
{ } {}
}
{}
{}{.}
Dies kann man direkt bestätigen, es ergibt sich aber auch aus der Produktzerlegung von $X^6-1$ mit Hilfe der Kreisteilungspolynome. Über den komplexen Zahlen ist
\mavergleichskettedisp
{\vergleichskette
{ X^6-1
}
{ =} { \prod_{k = 0}^5 (X-e^{\frac {2 \pi { \mathrm i} k }{6} })
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da davon vier Nullstellen imaginär sind, müssen die beiden quadratischen Polynome von oben über $\Q$ und über $\R$ irreduzibel sein, so dass die obige Faktorzerlegung über diesen Körpern die Primfaktorzerlegung ist.
Über $\Z/(7)$ gilt aufgrund des kleinen Fermat für jede Einheit $x^6=1$. Daher ist die Faktorzerlegung
\mavergleichskettedisp
{\vergleichskette
{ X^6-1
}
{ =} {(X-1)(X-2)(X-3)(X-4)(X-5)(X-6)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Über $\Z/(5)$ haben die beiden Polynome $X^2+X+1$ und $X^2-X+1$ keine Nullstelle, sind also irreduzibel, und daher ist die obige Zerlegung auch die Primfaktorzerlegung über $\Z/(5)$.
}
\inputaufgabeloesung
{
Betrachte den Körper
\mathl{K=\mathbb F_4= \Z/(2)[U]/(U^2+U+1)}{.} Führe im Polynomring $K[X]$ die Polynomdivision
\mathdisp {X^4 +uX^3+ (u+1) X+1\text{ durch } uX^2+X+u+1} { }
aus, wobei $u$ die Restklasse von $U$ in $K$ bezeichnet.
}
{
Die Division mit Rest ergibt
\mathdisp {X^4+uX^3+(u+1)X+1 =(uX^2+X+u+1)( (u+1)X^2+ (u+1)X+ (u+1)) + uX+ u+1} { . }
}
\inputaufgabeloesung
{
Es sei $\mathbb F_q$ ein endlicher Körper der Charakteristik ungleich $2$. Zeige unter Verwendung der Isomorphiesätze, dass genau die Hälfte der Elemente aus $\mathbb F_q^{\times}$ ein Quadrat in $\mathbb F_q$ ist.
}
{
Wir betrachten die Abbildung \maabbeledisp {} {\mathbb F_q^{\times}} { \mathbb F_q^{\times} } {x} {x^2 } {,} der Einheitengruppe in sich. Diese schickt $1$ auf $1$ und wegen $(xy)^2=x^2y^2$ handelt es sich um einen Gruppenhomomorphismus. Der Kern dieser Abbildung besteht aus den $x \in \mathbb F_q^{\times}$ mit $x^2=1$, also aus den Nullstellen des Polynoms $X^2-1$. Dessen Nullstellen sind gerade \mathkor {} {1} {und} {-1} {,} weitere Nullstellen kann es nicht geben, da die Anzahl der Nullstellen durch den Grad des Polynoms beschränkt ist. Bei $1=-1$ wäre $2=0$, was aufgrund der Charakteristik ausgeschlossen ist. Also besteht der Kern genau aus zwei Elementen. Nach dem Isomorphiesatz ist das Bild isomorph zum Urbild modulo Kern. Das Bild ist genau die Menge der Quadrate in der Einheitengruppe, und diese ist isomorph zu $\mathbb F_q^{\times}/\{+1,-1\}$. Jede Nebenklasse besitzt daher zwei Elemente und die Anzahl der Nebenklassen ist daher ${ \frac{ q-1 }{ 2 } }$. Die Hälfte der Einheiten sind also Quadrate.
}
\inputaufgabeloesung
{
Beschreibe den
\definitionsverweis {Körper}{}{} mit neun Elementen $\mathbb F_9$ als einen
\definitionsverweis {Restklassenkörper}{}{}
von
\mathl{\Z/(3)[X]}{.} Man gebe eine
\definitionsverweis {primitive Einheit}{}{} in $\mathbb F_9$ an.
}
{
In $\Z/(3)$ ist $2$ kein Quadrat, wie man direkt nachrechnet. Daher ist $X^2-2=X^2+1 \in \Z/(3)[X]$ ein irreduzibles Polynom und daher ist der Restklassenring
\mathdisp {\Z/(3)[X]/(X^2+1)} { }
ein Körper. Jedes Element wird dabei eindeutig geschrieben in der Form $ax+b$
\zusatzklammer {$x$ bezeichnet die Restklasse von $X$} {} {}
mit $a,b \in \Z/(3)$, so dass es sich um einen Körper mit $9$ Elementen handelt.
Die Einheitengruppe von diesem Körper besitzt $8$ Elemente. Alle Elemente haben also eine Zweierpotenz als Ordnung, und wir brauchen ein Element der Ordnung $8$. Wir betrachten das Element $x+1$.
Es ist
\mavergleichskettedisp
{\vergleichskette
{(x+1)^2
}
{ =} {x^2+2x+1
}
{ =} {2x+3
}
{ =} {2x
}
{ \neq} {1
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{(2x)^2
}
{ =} {4x^2
}
{ =} {x^2
}
{ =} {2
}
{ \neq} {1
}
}
{}{}{.}
Daher ist die Ordnung von $x+1$ weder $1$ noch $2$ noch $4$, also muss sie gleich $8$ sein und es liegt ein primitives Element vor.
}
\inputaufgabeloesung
{
Schreibe den \definitionsverweis {Restklassenring}{}{} $\Q[X]/(X^4-1)$ als ein Produkt von Körpern, wobei lediglich die Körper $\Q$ und $\Q[ { \mathrm i} ]$ vorkommen. Schreibe die Restklasse von $X^3+X$ als ein Tupel in dieser Produktzerlegung.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{ X^4-1
}
{ =} {(X^2-1)(X^2+1)
}
{ =} {(X+1)(X-1)(X^2+1)}
{ } {}
{ } {}
}
{}{}{} und $X^2+1 \in \Q[X]$ ist irreduzibel, da es keine rationale Nullstelle besitzt. Es handelt sich also um die Primfaktorzerlegung, wobei die Faktoren paarweise nicht assoziiert sind, da sie ja alle normiert sind. Nach dem chinesischen Restsatz für Hauptidealbereiche gilt daher die Produktzerlegung
\mavergleichskettedisp
{\vergleichskette
{\Q[X]/(X^4-1)
}
{ \cong} {\Q[X]/(X+1) \times \Q[X]/(X-1) \times \Q[X]/(X^2+1)
}
{ \cong} { \Q \times \Q \times \Q[ { \mathrm i}]
}
{ } {}
{ } {}
}
{}{}{,} wobei wir für das zweite Gleichheitszeichen die Einsetzungen $X\mapsto -1$ und $X \mapsto 1$ und die Isomorphie $\Q[X]/(X^2+1) \cong \Q[ { \mathrm i} ]$ verwendet haben. Das Element $X^3+X=X(X^2+1)$ wird unter den drei Projektionen auf $-2,2$ und $0$ abgebildet, es ist also gleich
\mathdisp {(-2,2,0)} { . }
}
\inputaufgabeloesung
{
Formuliere und beweise die \anfuehrung{Gradformel}{} für eine Kette von \definitionsverweis {endlichen Kör\-pererweiterungen}{}{} $K \subseteq L \subseteq M$.
}
{
Die Gradformel besagt
\mathdisp {\operatorname{grad}_{ K} M = (\operatorname{grad}_{ K} L) ( \operatorname{grad}_{
L} M )} { . }
Wir setzen
\mathkor {} {\operatorname{grad}_{ K} L=n} {und} {\operatorname{grad}_{ L} M=m} {.} Es sei
\mathl{x_1 , \ldots , x_n \in L}{} eine
$K$-\definitionsverweis {Basis}{}{} von $L$ und
\mathl{y_1 , \ldots ,
y_m \in M}{} eine $L$-Basis von
$M$.
Wir behaupten, dass die Produkte
\mathbeddisp {x_iy_j} {}
{1 \leq i \leq n} {}
{1 \leq j \leq m} {} {} {,}
eine $K$-Basis von $M$
bilden. \teilbeweis {Wir zeigen zuerst, dass diese Produkte den Vektorraum
$M$ über $K$
\definitionsverweis {aufspannen}{}{.}\leerzeichen{}}{}{}
{Es sei dazu
\mathl{z \in M}{.} Wir schreiben
\mathbeddisp {z=b_1 y_1 + \cdots + b_m y_m} {mit Koeffizienten}
{b_j \in L} {}
{} {} {} {.} Wir können jedes $b_j$ als
\mathbed {b_j = a_{1j}x_1 + \cdots + a_{nj}x_n} {mit Koeffizienten}
{a_{ij} \in K} {}
{} {} {} {} ausdrücken. Das ergibt
\mavergleichskettealign
{\vergleichskettealign
{z }
{ =} {b_1y_1 + \cdots + b_my_m }
{ =} { (a_{11}x_1 + \cdots +
a_{n1}x_n)y_1 + \cdots + (a_{1m}x_1 + \cdots + a_{nm}x_n)y_m
}
{ =} {\sum_{1\leq i \leq n,\, 1\leq j \leq m} a_{ij} x_iy_j }
{ } {}
}
{}
{}{.}
Daher ist $z$ eine $K$-Linearkombination der Produkte $x_iy_j$.}
{}
\teilbeweis {Um zu zeigen, dass diese Produkte
\definitionsverweis {linear unabhängig}{}{} sind,\leerzeichen{}}{}{}
{sei
\mathdisp {0= \sum_{1\leq i \leq n,\, 1\leq j \leq m} c_{ij}
x_iy_j} { }
angenommen mit
\mathl{c_{ij} \in K}{.} Wir schreiben dies als
\mathl{0= \sum_{j=1}^m ( \sum_{i=1}^n
c_{ij}x_i ) y_j}{.} Da die $y_j$ linear unabhängig über $L$ sind und die Koeffizienten der $y_j$ zu $L$ gehören folgt, dass
\mathl{\sum_{i=1}^n c_{ij}x_i=0}{} ist für jedes $j$. Da die $x_i$ linear unabhängig über $K$ sind und
\mathl{c_{ij} \in K}{} ist folgt, dass
\mathl{c_{ij}=0}{} ist für alle $i,j$.}
{}
}
\inputaufgabeloesung
{
Es seien zwei verschiedene Punkte $M,P$ in der Ebene gegeben. Es bezeichne $K$ den Kreis mit Mittelpunkt $M$ durch den Punkt $P$. \definitionsverweis {Konstruiere}{}{} \zusatzklammer {ohne andere Konstruktionen zu verwenden} {} {} die Tangente an den Kreis $K$ durch $P$. Skizziere die Situation.
}
{
Wir zeichnen den Kreis $C$ mit Mittelpunkt $P$ durch den Punkt $M$. Die Verbindungsgerade $G$ durch \mathkor {} {M} {und} {P} {} hat mit $C$ \zusatzklammer {neben $M$} {} {} noch einen weiteren Schnittpunkt, den wir mit $S$ bezeichnen. Wir zeichnen Kreise $K_1$ und $K_2$ mit Mittelpunkt $S$ durch $M$ und mit Mittelpunkt $M$ durch $S$. Die beiden Schnittpunkte von \mathkor {} {K_1} {und} {K_2} {} definieren eine Gerade $H$, und diese verläuft durch $P$ und steht senkrecht auf $G$ \zusatzklammer {$H$ ist die halbierende Senkrechte der Strecke von $M$ nach $S$} {} {,} so dass $H$ die Tangente an $P$ ist.
}
\inputaufgabeloesung
{
Charakterisiere mit Hilfe von Fermatschen Primzahlen \zusatzklammer {ohne Beweis} {} {} diejenigen natürlichen Zahlen $n$, für die das reguläre $n$-Eck konstruierbar ist. Wende diese Charakterisierung für $n$ zwischen $30$ und $40$ an.
}
{
Zu einer natürlichen Zahl $n$ ist das reguläre $n$-Eck genau dann konstruierbar, wenn die Primfaktorzerlegung von $n$ die Gestalt hat
\mathdisp {n=2^\alpha p_1 { \cdots } p_k} { }
mit verschiedenen Fermatsche Primzahlen $p_1 , \ldots , p_k$. Dabei ist eine Fermatsche Primzahl eine Primzahl der Form $p=2^s+1$. Für das Zahlenintervall von $30$ bis $40$ sind nur die Fermatschen Primzahlen $3,5,17$ relevant, und daher sind lediglich die regulären $n$-Ecke für
\mathdisp {30=2\cdot 3 \cdot 5, \, 32=2^5,\, 34= 2 \cdot 17,\, 40 = 2^3 \cdot 5} { }
konstruierbar.
}