Kurs:Einführung in die Algebra (Osnabrück 2009)/2/Klausur mit Lösungen/latex
\inputaufgabeloesung
{
a) Bestimme für die Zahlen $3$, $5$ und $7$ modulare Basislösungen, finde also die kleinsten positiven Zahlen, die in
\mathdisp {\Z/(3) \times \Z/(5) \times \Z/(7)} { }
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 = 2 \!\! \mod 3 , \, \, \, \, x = 4 \!\! \mod 5 \text{ und } x = 3 \!\! \mod 7} { . }
}
{
a) $(1,0,0)$
- Alle Vielfachen von
\mathl{5 \cdot 7=35}{} haben modulo $5$ und modulo $7$ den Rest $0$. Unter diesen Vielfachen muss also die Lösung liegen. $35$ hat modulo $3$ den Rest $2$, somit hat $70$ modulo $3$ den Rest $1$. Also repräsentiert $70$ das Restetupel
\mathl{(1,0,0)}{.}
\mathl{(0,1,0)}{:} Hier betrachtet man die Vielfachen von $21$, und $21$ hat modulo $5$ den Rest $1$. Also repräsentiert $21$ das Restetupel
\mathl{(0,1,0)}{.}
\mathl{(0,0,1)}{:} Hier betrachtet man die Vielfachen von $15$, und $15$ hat modulo $7$ den Rest $1$. Also repräsentiert $15$ das Restetupel
\mathl{(0,0,1)}{.}
b) Man schreibt
\zusatzklammer {in \mathlk{\Z/(3) \times \Z/(5) \times \Z/(7)}{}} {} {}
\mavergleichskettedisp
{\vergleichskette
{ (2,4,3)
}
{ =} {2(1,0,0)+4(0,1,0)+3(0,0,1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Lösung ist dann
\mavergleichskettedisp
{\vergleichskette
{ 2 \cdot 70 +4 \cdot 21 +3 \cdot 15
}
{ =} { 140+84+45
}
{ =} {269
}
{ } {
}
{ } {
}
}
{}{}{.}
Die minimale Lösung ist dann
\mavergleichskette
{\vergleichskette
{ 269- 2 \cdot 105
}
{ = }{ 59
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputaufgabeloesung
{
Bestimme in der Einheitengruppe
\mathl{\Z/(17)^{\times}}{} zu jeder möglichen Ordnung $k$ ein Element
\mathl{x \in \Z/(17) ^{\times}}{,} das die Ordnung $k$ besitzt. Man gebe auch eine Untergruppe
\mathdisp {H \subseteq \Z/(17)
^{\times}} { }
an, die aus vier Elementen besteht.
}
{
Da $17$ eine Primzahl ist, handelt es sich bei $\Z/(17)$ um einen Körper, sodass die Einheitengruppe aus $16$ Elementen besteht. Aufgrund des Satzes von Lagrange kommen als Ordnung nur Teiler von $16$ in Frage, also $1,2,4,8,16$. Aufgrund des Struktursatzes über multiplikative endliche Untergruppen von Körpern ist die Einheitengruppe zyklisch, sodass jede mögliche Ordnung auch auftritt. Wir bestimmen zuerst ein primitives Element, also ein Element der Ordnung $16$. Es ist
\mathdisp {2^1=2, \, 2^2=4, \, 2^4=4^2=16=-1, \, 2^8=1} { , }
d.h. $2$ hat die Ordnung $8$ und ist nicht primitiv.
Es ist
\mathdisp {3^1=3,\, 3^2 =9, \, 3^4= 9^2 =81= 13 =-4, \, 3^8 = (-4)^2 = 16=-1} { . }
Also ist $3$ eine primitive Einheit modulo $17$ und hat die Ordnung $16$. Daher gilt:
\mathdisp {3^2=9 \text{ hat die Ordnung } 8} { , }
\mathdisp {3^4=13 \text{ hat die Ordnung } 4} { , }
\mathdisp {3^8=-1 \text{ hat die Ordnung } 2} { , }
\mathdisp {1 \text{ hat die Ordnung } 1} { . }
Eine Untergruppe aus vier Elementen ist die Menge
\mathdisp {\{3^0, 3^4, 3^8, 3^{12} \} = \{ 1 , 13,-1=16, -13=4 \}} { . }
}
\inputaufgabeloesung
{
Man berechne in $\Z/(80)$ die Elemente \aufzaehlungdrei{$3^{1234567}$, }{$2^{1234567}$, }{$5^{1234567}$. }
}
{
(1). Es ist $3^4=81=1$ und $3$ ist eine Einheit. Daher hängt die Potenz nur von der Restklasse des Exponenten modulo $4$ ab, also
\mavergleichskettedisp
{\vergleichskette
{3^{1234567}
}
{ =} {3^{67}
}
{ =} {3^7
}
{ =} {3^3
}
{ =} {27
}
}
{}{}{.}
(2). Wir verwenden die Isomorphie des chinesischen Restsatzes, also
\mathdisp {\Z/(80) \cong \Z/(16) \times \Z/(5)} { . }
Das Element $2$ entspricht bei dieser Zerlegung dem Paar $(2,2)$. Die Potenz kann man komponentenweise ausrechnen, dabei erhält man vorne $0$, da der Exponent $\geq 4$ ist. Hinten ist $2$ eine Einheit der Ordnung $4$, daher ist in $\Z/(5)$
\mavergleichskettedisp
{\vergleichskette
{2^{1234567} }
{ =} {2^3 }
{ =} {3 }
{ } { }
{ } { }
}
{}{}{.}
Das Ergebnis ist also das Paar $(0,3)$. Diesem entspricht das Element $48$.
(3). Wir verwenden wieder den chinesischen Restsatz, diesmal geht es um das Element $(5,0)$. Die Ordnung von $5$ modulo $16$ ergibt sich aus
\mathdisp {5^2=25=9,\, 5^4=9^2=81=1} { , }
die Ordnung ist also wieder $4$. Daher ist in $\Z/(16)$
\mavergleichskettedisp
{\vergleichskette
{5^{1234567} }
{ =} {5^3 }
{ =} {125 }
{ =} {13 }
{ } { }
}
{}{}{.}
Dem Paar $(13,0)$ entspricht das Element $45$.
}
\inputaufgabeloesung
{
Betrachte auf der Produktmenge
\mathdisp {\N \times \N} { }
die Relation
\mathdisp {(a,b) \sim (c,d) \text{ wenn } a+d = b+c} { . }
Zeige, dass dies eine Äquivalenzrelation ist.
Es sei $Z$ die Menge der Äquivalenzklassen. Definiere auf $Z$ eine Addition $\oplus$, die die Eigenschaft
\mathdisp {\overline {(a , 0)} \oplus \overline{ (b,0)} = \overline{ (a+b,0)}} { }
erfüllt
\zusatzklammer {der Querstrich bedeutet dabei die zugehörige Äquivalenzklasse} {} {} und die $Z$ zu einer kommutativen Gruppe
macht.
}
{
Die Relation ist trivialerweise reflexiv, da die Addition in $\N$ kommutativ ist. Auch die Symmetrie ist direkt klar. Zur Transitivität sei
\mathdisp {(a,b) \sim (c,d) \text{ und } (c,d) \sim (e,f)} { , }
d.h.
\mathdisp {a+d =b + c \text{ und } c+f =d+e} { . }
Damit ist insgesamt
\mathdisp {a+d+f =b+c+f= b+ d+e} { . }
Hier können wir beidseitig $d$ abziehen und erhalten $a+f= b+e$, was $(a,b) \sim (e,f)$ bedeutet.
Wir definieren nun die Addition durch
\mathdisp {\overline{(a,b)} \oplus \overline{(c,d)} = \overline{(a+c, b+d)}} { . }
Wir müssen zeigen, dass diese Addition wohldefiniert ist. Sei
dazu
\mathdisp {(a,b) \sim (a',b') , \text{ also } a+b'= a' +b} { }
und
\mathdisp {(c,d) \sim (c',d') , \text{ also } c+d'= c' + d} { . }
Wir müssen zeigen, dass
\mathdisp {(a+c, b+d) \sim (a'+c', b' +d')} { }
ist. Dies folgt aber aus
\mavergleichskettedisp
{\vergleichskette
{a+c+b'+d' }
{ =} {a+b' + c+d' }
{ =} {a'+b + c' + d }
{ =} {a'+c' +b+d }
{ } {}
}
{}{}{.}
Wenn die hintere Komponente beidesmal $0$ ist, so wird in der ersten Komponente einfach wie in $\N$ addiert. Die Verknüpfung ist assoziativ, da die komponentenweise Addition auf der Produktmenge assoziativ ist und sich dies auf die Verknüpfung auf den Äquivalenzklassen überträgt. Daraus folgt auch sofort, dass $\overline{(0,0)}$ das neutrale Element ist. Die Kommutativität der Verknüpfung ist ebenfalls klar. Zu einem Element $\overline{(a,b)}$ ist
\mathdisp {\overline{(b,a)}} { }
das inverse Element. Es ist ja
\mathdisp {\overline{(a,b)} \oplus \overline{(b,a)} = \overline {(a+b,a+b) } = \overline{ (0,0)}} { , }
wobei die letzte Gleichung sich direkt aus der Definition der
Relation $\sim$ ergibt.
}
\inputaufgabeloesung
{
Es sei $S=\{0,1\}$. Betrachte das \definitionsverweis {Monoid}{}{} $M$, das aus allen Abbildungen von $S$ nach $S$ besteht mit der \definitionsverweis {Hintereinanderschaltung}{}{} $\circ$ von Abbildungen als Verknüpfung. \aufzaehlungzwei {Beschreibe die Elemente in $M$ und erstelle eine Verknüpfungstabelle für $M$. } {Bestimme sämtliche Untermonoide von $M$ und entscheide jeweils, ob sie kommutativ sind und ob es sich um Gruppen handelt.}
}
{
(1). Es gibt vier Abbildungen der zweielementigen Menge in sich selbst, nämlich die Identität $I$, die Vertauschung $V$, die durch $V(0)=1 \text{ und } V(1) =0$ festgelegt ist, und die beiden konstanten Abbildungen, die wir mit $0$ bzw. $1$ bezeichnen. Die Verknüpfungstabelle, bei der im Kreuzungspunkt von der $\varphi$-Zeile mit der $\psi$-Spalte die Verknüpfung $\varphi \circ \psi$ \zusatzklammer {also $\psi$ zuerst angewendet} {} {} steht, sieht folgendermaßen aus: %Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\circ$ }
\renewcommand{\leitzeileeins}{ $I$ }
\renewcommand{\leitzeilezwei}{ $V$ }
\renewcommand{\leitzeiledrei}{ $0$ }
\renewcommand{\leitzeilevier}{ $1$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $I$ }
\renewcommand{\leitspaltezwei}{ $V$ }
\renewcommand{\leitspaltedrei}{ $0$ }
\renewcommand{\leitspaltevier}{ $1$ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ I }
\renewcommand{\aeinsxzwei}{ V }
\renewcommand{\aeinsxdrei}{ 0 }
\renewcommand{\aeinsxvier}{ 1 }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ V }
\renewcommand{\azweixzwei}{ I }
\renewcommand{\azweixdrei}{ 1 }
\renewcommand{\azweixvier}{ 0 }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 0 }
\renewcommand{\adreixzwei}{ 0 }
\renewcommand{\adreixdrei}{ 0 }
\renewcommand{\adreixvier}{ 0 }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 1 }
\renewcommand{\avierxzwei}{ 1 }
\renewcommand{\avierxdrei}{ 1 }
\renewcommand{\avierxvier}{ 1 }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitvierxvier
(2). Die Identität $I$ ist das neutrale Element des Monoids, jedes Untermonoid muss dieses Element enthalten.
Das kleinste Untermonoid ist $\{I\}$, das ist eine kommutative Gruppe.
$\{I,V\}$ ist ebenfalls eine kommutative Gruppe, da $V$ zu sich selbst invers ist.
$\{I,0\}$ ist ein kommutatives Untermonoid, wegen $I \circ 0 = 0 = 0 \circ I$ und $0 \circ 0 =0$, aber keine Gruppe, da es kein inverses Element zu $0$ gibt.
$\{I,1\}$ ist ebenfalls ein kommutatives Untermonoid und keine Gruppe \zusatzklammer {gleicher Grund} {} {.}
$\{I,0,1\}$ ist ein Untermonoid, da es unter der Operation abgeschlossen ist. Es ist keine Gruppe, da \mathkor {} {0} {und} {1} {} nicht invertierbar sind. Es ist nicht kommutativ, da $0 \circ 1 =0$ und $1 \circ 0 =1$ ist.
Wenn man zu $\{I,V\}$ noch ein Element dazu tut, so ist wegen $V \circ 0 =1$ auch das andere drin. Daher gibt es nur noch das volle Untermonoid $\{I,V,0,1\}$, das weder kommutativ noch eine Gruppe ist.
}
\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$ die Gerade durch
\mathkor {} {A} {und} {G} {,} es sei $\beta$ die Gerade durch
\mathkor {} {B} {und} {H} {,} es sei $\gamma$ die Gerade durch
\mathkor {} {C} {und} {E} {,} es sei $\delta$ die Gerade durch
\mathkor {} {D} {und} {F} {.}
Man beschreibe die Wirkungsweise der folgenden Würfelbewegungen auf der Menge
$M=\{\alpha, \beta, \gamma, \delta\}$.
\aufzaehlungvier{Die Halbdrehung durch die vertikale Seitenmittelpunktsachse. }{Die
Vierteldrehung durch die vertikale Seitenmittelpunktsachse, die
$A$ in $B$ überführt. }{Die
Halbdrehung um die Kantenmittelpunktsachse zur Kante
$A,E$. }{Die Dritteldrehung um die Raumachse
$\alpha$, die $B$ in
$D$ überführt. }
Gibt es eine Würfelbewegung (wenn ja, welche?), die $\alpha$ auf $\alpha$, $\beta$ auf $\beta$ abbildet und die \mathkor {} {\gamma} {und} {\delta} {} vertauscht?
}
{
Die in Frage stehende Abbildung sei mit $\varphi$ bezeichnet.
(1) \wertetabellevierausteilzeilen { $g$ }
{\mazeileundvier {\alpha} {\beta} {\gamma} {\delta} }
{ $\varphi(g)$ }
{\mazeileundvier {\gamma} {\delta} {\alpha} {\beta} }
(2) \wertetabellevierausteilzeilen { $g$ }
{\mazeileundvier {\alpha} {\beta} {\gamma} {\delta} }
{ $\varphi(g)$ }
{\mazeileundvier {\beta} {\gamma} {\delta} {\alpha} }
(3) \wertetabellevierausteilzeilen { $g$ }
{\mazeileundvier {\alpha} {\beta} {\gamma} {\delta} }
{ $\varphi(g)$ }
{\mazeileundvier {\gamma} {\beta} {\alpha} {\delta} }
(4) \wertetabellevierausteilzeilen { $g$ }
{\mazeileundvier {\alpha} {\beta} {\gamma} {\delta} }
{ $\varphi(g)$ }
{\mazeileundvier {\alpha} {\delta} {\beta} {\gamma} }
Es gibt eine solche Würfelbewegung: Die Halbdrehung um die Kantenmittelpunktsachse zur Kante $C,D$ hat diese Eigenschaft.
}
\inputaufgabeloesung
{
Betrachte die Permutation
\mavergleichskette
{\vergleichskette
{ \tau
}
{ \in }{ S_7
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die durch die Wertetabelle
\wertetabellesiebenausteilzeilen { $x$ }
{\mazeileundfuenf {1} {2} {3} {4} {5} }
{\mazeileundzwei {6} {7} }
{ $\tau (x)$ }
{\mazeileundfuenf {1} {3} {5} {7} {6} }
{\mazeileundzwei {4} {2 } }
gegeben ist.
\aufzaehlungvier{Man gebe die Zyklendarstellung von $\tau$ an und bestimme den Wirkungsbereich.
}{Berechne $\tau^3$ und die Ordnung von $\tau^3$.
}{Bestimme die Fehlstände von $\tau$ und das Vorzeichen
\zusatzklammer {Signum} {} {} von $\tau$.
}{Schreibe $\tau$ als Produkt von Transpositionen und bestimme erneut das Vorzeichen von $\tau$.
}
}
{
(1) Es geht $1 \mapsto 1$ und $2 \mapsto 3 \mapsto 5 \mapsto 6 \mapsto 4 \mapsto 7 \mapsto 2$, die Zyklendarstellung ist also
\mathdisp {\langle 2, 3,5,6,4,7 \rangle} { }
und der Wirkungsbereich ist $\{ 2, 3,4,5,6,7
\}$.
(2) Die Permutation $\tau^3$ ist gegeben durch die Wertetabelle
\wertetabellesiebenausteilzeilen { $x$ }
{\mazeileundfuenf {1} {2} {3} {4} {5} }
{\mazeileundzwei {6} {7} }
{ $\tau^3 (x)$ }
{\mazeileundfuenf {1} {6} {4} {3} {7} }
{\mazeileundzwei {2} {5 } }
Hier liegt die Zyklendarstellung
\mathdisp {\langle 2,6 \rangle \langle 3,4 \rangle \langle 5,7 \rangle} { }
vor. Das Quadrat davon, also $(\tau^3)^2$ ist die Identität, sodass die Ordnung davon zwei ist.
(3) Die Fehlstände von $\tau$ sind
\mathdisp {(2,7),\, (3,6),\,(3,7),\,(4,5),\,(4,6),\,(4,7),\,(5,6),\,(5,7),\,(6,7)} { . }
Das sind insgesamt $9$ Fehlstände, daher
ist das Vorzeichen $-1$.
(4) Es ist, wie man leicht überprüft,
\mathdisp {\tau = \langle 3,5 \rangle \circ \langle 5,6 \rangle \circ \langle 6,4 \rangle \circ\langle 4,7 \rangle \circ\langle 7,2 \rangle} { . }
Dies ist das Produkt von $5$ Transpositionen, sodass sich erneut ergibt, dass das Vorzeichen $-1$ ist.
}
\inputaufgabeloesung
{
Es sei $R$ ein kommutativer Ring. Zu jedem
\mathl{f \in R}{} sei
\maabbeledisp {\mu_f} {R} {R } {g} {fg } {,}
die Multiplikation mit $f$. Zeige, dass $\mu_f$ genau dann bijektiv ist, wenn es surjektiv ist.
Man zeige durch ein Beispiel, dass in dieser Situation aus der Injektivität nicht die Bijektivität folgt.
}
{
Die Bijektivität impliziert nach Definition stets die Surjektivität. Es sei $\varphi_f$ surjektiv. Dann gibt es insbesondere ein Urbild der $1$, also ein Element $g \in R$ mit $fg=1$. Dies bedeutet, dass $f$ eine Einheit ist. Wegen der Distributivität ist die Abbildung $\varphi_f$ ein Gruppenhomomorphismus der additiven Gruppe $(R,+,0)$. Um die Injektivität zu zeigen wenden wir das Kernkriterium an. Es sei also $fh=0$. Dann ist aber
\mavergleichskettedisp
{\vergleichskette
{0 }
{ =} {g(fh) }
{ =} {(fg)h }
{ =} {h }
{ } { }
}
{}{}{,} sodass der Kern nur aus einem
Element besteht.
Es sei $R=\Z$. Dann ist die Multiplikation mit $f=2$ injektiv, aber nicht surjektiv, da nur gerade Zahlen im Bild liegen.
}
\inputaufgabeloesung
{
Es sei $K$ ein Körper. Zeige, dass in $K$ die Differenz, also die Verknüpfung \maabbeledisp {} {K \times K} {K } {(a,b)} {a-b } {,} genau dann assoziativ ist, wenn die Charakteristik von $K$ gleich $2$ ist.
}
{
Es sei zuerst die Charakteristik gleich $2$. Dies bedeutet $1+1=0$ und damit $b+b=0$ für jedes $b \in K$. Also ist $b=-b$ und damit $a+b=a-b$, d.h. die Differenz stimmt mit der Summe überein, und diese ist in jedem Körper assoziativ.
Es sei umgekehrt die Differenz assoziativ, d.h. es gilt
\mathdisp {a-(b-c) = (a-b) -c} { }
für beliebige $a,b,c \in K$. Wir wenden dies auf $a=b=0$ und $c=1$ an und erhalten $1=-1$, also $2=0$, was Charakteristik $2$ bedeutet.
}
\inputaufgabeloesung
{
Bestimme in $\Q[ { \mathrm i} ]$ das multiplikative Inverse von
\mathdisp {\frac{3}{7} + \frac{2}{5} { \mathrm i}} { . }
Die Antwort muss in der Form $p+q { \mathrm i}$ mit
\mavergleichskette
{\vergleichskette
{ p,q
}
{ \in }{ \Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in gekürzter Form sein.
}
{
Wir multiplizieren $\frac{3}{7} + \frac{2}{5} { \mathrm i}$ mit seinem konjugierten Element und erhalten
\mathdisp {{ \left( \frac{3}{7} + \frac{2}{5} { \mathrm i} \right) } { \left( \frac{3}{7} - \frac{2}{5} { \mathrm i} \right) } = \frac{9}{49} + \frac{4}{25} = \frac{225+196}{1225} = \frac{421}{1225}} { . }
Daher ist
\mavergleichskettedisp
{\vergleichskette
{ { \left( \frac{3}{7} + \frac{2}{5} { \mathrm i} \right) } ^{-1} }
{ =} {\frac{1225}{421} { \left( \frac{3}{7} - \frac{2}{5} { \mathrm i} \right) }
}
{ =} { \frac{3675}{2947} -\frac{2450}{2105} { \mathrm i}
}
{ =} { \frac{3675}{2947} - \frac{490}{421} { \mathrm i} }
{ } {}
}
{}{}{.}
Wir überprüfen mittels dem euklidischen Algorithmus, ob die Brüche gekürzt sind oder ob man sie noch vereinfachen kann. Rechts ergibt sich
\mathdisp {490 = 1 \cdot 421 + 69} { }
\mathdisp {421 = 6 \cdot 69 + 7} { }
\mathdisp {69 = 9 \cdot 7 + 6} { }
\mathdisp {7 = 1 \cdot 6 + 1} { , }
sodass Zähler und Nenner teilerfremd sind und die Darstellung gekürzt ist. Links ergibt sich
\mathdisp {3675 = 1 \cdot 2947 + 728} { }
\mathdisp {2947 = 4 \cdot 728 + 35} { }
\mathdisp {728 = 20 \cdot
35 + 28} { }
\mathdisp {35 = 1 \cdot 28 + 7} { }
\mathdisp {28 = 4 \cdot 7 +0} { . }
Daher ist $7$ der größte gemeinsame Teiler von Zähler und Nenner, und wir können durch $7$ kürzen. Es ist
\mathdisp {3675/7 = 525 \text{ und } 2947 = 7 \cdot 421} { , }
also ist
\mavergleichskettedisp
{\vergleichskette
{ { \left( \frac{3}{7} + \frac{2}{5} { \mathrm i} \right) }^{-1}
}
{ =} {\frac{525}{421} -\frac{490}{421} { \mathrm i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeloesung
{
Bestimme eine Darstellung des größten gemeinsamen Teilers der beiden Polynome
\mathdisp {4X^4+2X^2+3 \text{ und } X^2+3X+1} { }
in $\Z/(5)[X]$. Wie sieht es in $\Z/(2)[X]$ aus?
}
{
Die Division mit Rest ergibt
\mavergleichskettedisp
{\vergleichskette
{ (4X^4+2X^2+3)
}
{ =} { (X^2+3X+1)(4X^2+3X+4)+4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher sind die beiden Polynome teilerfremd und es ist
\mavergleichskettedisp
{\vergleichskette
{ 4(4X^4+2X^2+3)+ (4X^2+3X+4)(X^2+3X+1)
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Über $\Z/(2)$ wird das erste Polynom zum konstanten Polynom $1$, d.h. es ist automatisch zum zweiten Polynom teilerfremd und das erste Polynom für sich allein genommen ist schon die Darstellung der $1$.
}
\inputaufgabeloesung
{
Beschreibe den Körper mit acht Elementen $\mathbb F_8$ als einen Restklassenkörper von
\mathl{\Z/(2)[X]}{.} Man gebe eine primitive Einheit in $\mathbb F_8$ an.
}
{
Wir brauchen ein irreduzibles Polynom vom Grad drei in $\Z/(2)[X]$. Bei Grad drei kann man die Irreduzibilität dadurch nachweisen, dass keine Nullstelle vorliegt. Betrachten wir
\mathdisp {F=X^3+X+1} { . }
Weder $0$ noch $1$ sind
Nullstellen, daher ist das Polynom irreduzibel und daher ist
\mathdisp {K=\Z/(2)[X]/( X^3+X+1)} { }
ein Körper mit $8$ Elementen.
Da es in ${\mathbb F}_8$ genau $7$ Einheiten gibt, und die Einheiten eine zyklische Gruppe bilden, ist jede Einheit außer $1$ primitiv. Beispielsweise ist daher die Restklasse von $X$ in $K$ primitiv.
}
\inputaufgabeloesung
{
Bestimme das \definitionsverweis {Kreisteilungspolynom}{}{} $\Phi_{9}$.
}
{
Es gilt die Gleichung
\mathdisp {X^9-1= \Phi_{1} \Phi_{3} \Phi_{9}} { }
mit $\Phi_{1} = X-1$. Das dritte
Kreisteilungspolynom errechnet sich aus
\mathdisp {X^3-1= (X-1) \Phi_{3}} { }
zu
\zusatzklammer {Division mit Rest} {} {}
\mathdisp {\Phi_{3}=X^2+X+1} { . }
Wegen $(X^9-1)/(X-1) =X^8+X^7+X^6+X^5+X^4+X^3+X^2+X+1$ berechnet man das neunte Kreisteilungspolynom durch die Divison
\mathdisp {( X^8+X^7+X^6+X^5+X^4+X^3+X^2+X+1)/(X^2+X+1)} { . }
Dies ergibt
\mathdisp {\Phi_{9} = X^6+X^3+1} { . }
}
\inputaufgabeloesung
{
Es sei
\mathl{x=\sqrt{2} + \sqrt{5} \in \R}{} und betrachte die Körpererweiterung
\mathdisp {\Q \subseteq \Q (x)= L} { . }
Zeige, dass diese Körpererweiterung algebraisch ist und bestimme den Grad der Körpererweiterung, das Minimalpolynom
von $x$ und das Inverse von $x$.
(Man darf dabei verwenden, dass
\mathl{\sqrt{2}, \sqrt{5}, \sqrt{10}}{} irrationale Zahlen sind.)
}
{
Wir behaupten zunächst, dass
\mathdisp {L=\Q[ \sqrt{2}, \sqrt{5}] = (\Q[\sqrt{2} ])[ \sqrt{5}]} { }
ist. Als eine Kette von quadratischen Körpererweiterungen ist dann $\Q \subseteq L$ algebraisch. Dabei ist die Inklusion $\subseteq$
klar. Es ist
\mathdisp {x^2=7 +2 \sqrt{10}, \, x^3 = 17 \sqrt{2} + 11
\sqrt{5}} { . }
Daraus ergibt sich
\mathdisp {\sqrt{2} = \frac{1}{6} (x^3- 11x )} { , }
sodass also $\sqrt{2}$ und damit auch
$\sqrt{5}$ links dazu gehören, was die andere
Inklusion ergibt.
Wir betrachten die Körperkette
\mathdisp {\Q \subseteq \Q[ \sqrt{2}] \subseteq \Q[\sqrt{2}, \sqrt{5}] =L} { . }
Dabei ist die Inklusion links echt, da
$\sqrt{2}$ irrational ist, sodass links eine
quadratische Körpererweiterung vorliegt. Aber auch die Inklusion
rechts ist echt, denn andernfalls wäre
\mathdisp {\sqrt{5} =a +b \sqrt{2} \text{ mit } a,b \in \Q} { , }
was zu $5=a^2+2b^2+ab \sqrt{2}$ führt. Bei $a,b \neq 0$ ist das erneut im Widerspruch zur Irrationalität von $\sqrt{2}$. Bei $b=0$ ist das ein Widerspruch zur Irrationalität von $\sqrt{5}$. Bei $a=0$ ist das ein Widerspruch zur Irrationalität von $\sqrt{5/2}= \frac{1}{2} \sqrt{10}$.
Insgesamt liegt also eine Kette $\Q \subset K= \Q[\sqrt{2}] \subset L$ von quadratischen Körpererweiterungen vor, sodass aufgrund der Gradformel der Grad von $\Q \subset L$ gleich $4$ ist.
Zur Bestimmung des Minimalpolynoms von $x$ berechnen wir $x^4$, das ist
\mavergleichskettedisp
{\vergleichskette
{x^4
}
{ =} { { \left( 7 +2 \sqrt{10} \right) }^2
}
{ =} { 89+ 28 \sqrt{10}
}
{ } {
}
{ } {
}
}
{}{}{.}
Das Minimalpolynom ist gleich
\mathdisp {F=X^4 - 14 X^2 +9} { . }
Setzt man nämlich $x$ ein, so erhält man $0$. Da $x$ den Körper $L$ erzeugt, muss das Minimalpolynom den Grad $4$ haben, sodass $F$ das Minimalpolynom ist.
Zur Bestimmung des Inversen gehen wir von $x(x^3-14x)=-9$ aus. Daher ist das Inverse gleich
\mavergleichskettealign
{\vergleichskettealign
{-\frac{1}{9} { \left( x^3-14x \right) }
}
{ =} { -\frac{1}{9} { \left( 17 \sqrt{2} + 11 \sqrt{5}-14 { \left( \sqrt{2} + \sqrt{5} \right) } \right) }
}
{ =} { -\frac{1}{9} { \left( 3 \sqrt{2} -3 \sqrt{5} \right) }
}
{ =} { - \frac{1}{3} \sqrt{2} + \frac{1}{3} \sqrt{5}
}
{ } {}
}
{}
{}{.}
}
\inputaufgabeloesung
{
Beschreibe die wesentlichen mathematischen Schritte, mit denen man beweisen kann, dass die \anfuehrung{Quadratur des Kreises}{} nicht möglich ist.
}
{
Das Problem der Quadratur des Kreises bedeutet die Fragestellung, ob man aus einem durch den Radius gegebenen Kreis ein flächengleiches Quadrat mit Hilfe von Zirkel und Lineal konstruieren kann. Den Radius kann man dabei zu $1$ normieren und durch zwei Punkte \mathkor {} {0} {und} {1} {} repräsentieren. Da der Kreisinhalt $\pi$ ist, muss die Seitenlänge des zu konstruierenden Quadrates $\sqrt{\pi}$ sein. Damit ist die Frage äquivalent dazu, ob man aus zwei Punkten mit Abstand $1$ mittels Zirkel und Lineal den Abstand $\sqrt{\pi}$ konstruieren kann.
Der entscheidende Schritt ist, die Menge aller aus \mathkor {} {0} {und} {1} {} konstruierbaren Punkte in der Ebene mathematisch zu erfassen. Dabei ergibt sich, dass bei jedem elementaren Schritt \zusatzklammer {wie dem Durchschnitt von einem Kreis und einer Geraden} {} {} der neue Punkt in einer quadratischen Körpererweiterung der schon konstruierten Punkte liegt. Daraus ergibt sich induktiv, dass jeder konstruierbare Punkt eine algebraische Zahl ist. Der Satz von Lindemann besagt allerdings, dass $\pi$ und damit auch $\sqrt{\pi}$ keine algebraische Zahl ist, und damit auch nicht konstruierbar.
}