Kurs:Elementare Algebra/21/Klausur mit Lösungen/latex
%Daten zur Institution
%\input{Dozentdaten}
%\renewcommand{\fachbereich}{Fachbereich}
%\renewcommand{\dozent}{Prof. Dr. . }
%Klausurdaten
\renewcommand{\klausurgebiet}{ }
\renewcommand{\klausurtyp}{ }
\renewcommand{\klausurdatum}{ . 20}
\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}
%Daten für folgende Punktetabelle
\renewcommand{\aeins}{ 3 }
\renewcommand{\azwei}{ 3 }
\renewcommand{\adrei}{ 2 }
\renewcommand{\avier}{ 2 }
\renewcommand{\afuenf}{ 2 }
\renewcommand{\asechs}{ 4 }
\renewcommand{\asieben}{ 1 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 4 }
\renewcommand{\azehn}{ 4 }
\renewcommand{\aelf}{ 7 }
\renewcommand{\azwoelf}{ 7 }
\renewcommand{\adreizehn}{ 6 }
\renewcommand{\avierzehn}{ 6 }
\renewcommand{\afuenfzehn}{ 4 }
\renewcommand{\asechzehn}{ 3 }
\renewcommand{\asiebzehn}{ 61 }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesechzehn
\klausurnote
\newpage
\setcounter{section}{K}
\inputaufgabeklausurloesung
{3}
{
Definiere die folgenden
\zusatzklammer {kursiv gedruckten} {} {} Begriffe.
\aufzaehlungsechs{Die
\stichwort {Ordnung} {}
eines Elements
\mathl{g \in G}{} in einer Gruppe $G$.
}{Ein \stichwort {Nichtnullteiler} {} $a$ in einem \definitionsverweis {kommutativen Ring}{}{} $R$.
}{Ein \stichwort {Körper} {} $K$.
}{Die
\stichwort {eulersche Funktion} {}
\mathl{\varphi(n)}{} zu
\mathl{n \in \N}{.}
}{Der
\stichwort {Zerfällungskörper} {}
zu einem Polynom
\mathl{F \in K[X]}{} über einem Körper $K$.
}{Eine
\stichwort {konstruierbare} {}
Zahl
\mathl{z \in {\mathbb C}}{.}
}
}
{
Definiere die folgenden
\zusatzklammer {kursiv gedruckten} {} {} Begriffe.
\aufzaehlungsechs{Die
\stichwort {Ordnung} {}
eines Elements
\mathl{g \in G}{} in einer Gruppe $G$.
}{Ein \stichwort {Nichtnullteiler} {} $a$ in einem \definitionsverweis {kommutativen Ring}{}{} $R$.
}{Ein \stichwort {Körper} {} $K$.
}{Die
\stichwort {eulersche Funktion} {}
\mathl{\varphi(n)}{} zu
\mathl{n \in \N}{.}
}{Der
\stichwort {Zerfällungskörper} {}
zu einem Polynom
\mathl{F \in K[X]}{} über einem Körper $K$.
}{Eine
\stichwort {konstruierbare} {}
Zahl
\mathl{z \in {\mathbb C}}{.}
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze.
\aufzaehlungdrei{Der
\stichwort {Fundamentalsatz der Algebra} {.}}{Der Satz über die Faktorzerlegung im Quotientenkörper
\mathl{K=Q(R)}{} zu einem faktoriellen Bereich $R$.}{Der Satz über die Winkeldreiteilung.}
}
{
Formuliere die folgenden Sätze.
\aufzaehlungdrei{Der
\stichwort {Fundamentalsatz der Algebra} {.}}{Der Satz über die Faktorzerlegung im Quotientenkörper
\mathl{K=Q(R)}{} zu einem faktoriellen Bereich $R$.}{Der Satz über die Winkeldreiteilung.}
}
\inputaufgabeklausurloesung
{2}
{
Es sei $n$ eine ganze Zahl, von der die folgenden Eigenschaften bekannt sind:
\aufzaehlungfuenf{$n$ ist negativ.
}{$n$ ist ein Vielfaches von $8$, aber nicht von
\mathl{-16}{.}
}{$n$ ist kein Vielfaches von
\mathl{36}{.}
}{$n$ ist ein Vielfaches von $150$, aber nicht von
\mathl{125}{.}
}{In der Primfaktorzerlegung von $n$ gibt es keine Primzahl, die größer als $5$ ist.
}
Was ist $n$?
}
{
Wir müssen nur für die Primzahlen
\mathl{2,3,5}{} bestimmen, mit welcher Potenz sie in $n$ vorkommen. Wegen (2) kommt $2$ mit der dritten Potenz vor, aber nicht mit der vierten. Wegen (3) ist $9$ kein Teiler von $n$, da ja $4$ ein Teiler ist, und wegen (4) ist $3$ ein Teiler von $n$. Wegen (4) kommt $5$ mit der zweiten Potenz vor, aber nicht mit der dritten. Daher ist
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {- 2^3 \cdot 3 \cdot 5^2
}
{ =} { - 600
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{2}
{
Es sei $n$ eine natürliche Zahl. Wann ist die Zahl
\mathl{n^2-1}{} eine
\definitionsverweis {Primzahl}{}{?}
}
{
Es gilt generell die Zerlegung
\mavergleichskettedisp
{\vergleichskette
{n^2-1
}
{ =} {(n-1)(n+1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mathl{n \geq 3}{} sind beide Faktoren
\mathl{\geq 2}{} und daher kann $n^2-1$ nicht prim sein. Bei
\mathl{n=2}{} ist
\mavergleichskettedisp
{\vergleichskette
{2^2-1
}
{ =} {3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Primzahl. Bei
\mathl{n=0,1}{} liegt keine Primzahl vor.
}
\inputaufgabeklausurloesung
{2}
{
Führe in $\Z/(5)[X]$ die \definitionsverweis {Division mit Rest}{}{} \anfuehrung{$P$ durch $T$}{} für die beiden \definitionsverweis {Polynome}{}{} \mathkor {} {P=X^3+4X^2+3X+4} {und} {T=3X^2+2X+1} {} durch.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{ X^3+4X^2+3X+4
}
{ =} { { \left( 3X^2+2X+1 \right) } 2 X + X +4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{4}
{
Bestimme die
\definitionsverweis {Einheiten}{}{}
im Ring
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ K[\Q]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei $K$ ein
\definitionsverweis {Körper}{}{}
ist.
}
{
Die Einheiten sind genau die Elemente der Form
\mathdisp {aX^q \text{ mit } a \neq 0 \text{ und } q \in \Q} { . }
Solche Elemente sind Einheiten, da ja
\mavergleichskettedisp
{\vergleichskette
{ { \left( aX^q \right) } { \left( a^{-1} X^{-q} \right) }
}
{ =} { X^q X^{-q}
}
{ =} {X^{q-q}
}
{ =} {X^0
}
{ =} {1
}
}
{}{}{}
gilt. Wenn umgekehrt
\mavergleichskette
{\vergleichskette
{P
}
{ = }{a_{q_1} X^{q_1} + a_{q_2} X^{q_2} + \cdots + a_{q_n} X^{q_n}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathl{q_1< q_2 < \ldots < q_n}{} eine Einheit ist, so gibt es ein
\mavergleichskette
{\vergleichskette
{Q
}
{ = }{b_{r_1} X^{r_1} + b_{r_2} X^{r_2} + \cdots + b_{r_m} X^{r_m}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit entsprechend
\mathl{r_1< r_2 < \ldots < r_m}{} und mit
\mavergleichskettedisp
{\vergleichskette
{PQ
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei seien die angeführten Koeffizienten
\mathl{\neq 0}{.} Das Produkt ist daher von der Form
\mathdisp {a_{q_1} b_{r_1}X^{q_1 +r_1} + \cdots + a_{q_n} b_{r_m}X^{q_n +r_m}} { . }
Dies kann nur dann gleich $1$ sein, wenn
\mavergleichskettedisp
{\vergleichskette
{ q_1 +r_1
}
{ =} {q_n +r_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, was nur bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{m
}
{ = }{1
}
{ }{
}
{ }{
}
}
{}{}{}
möglich ist.
}
\inputaufgabeklausurloesung
{1}
{
Es sei $G$ eine \definitionsverweis {kommutative Gruppe}{}{} und \maabbdisp {\varphi} {G} {H } {} ein \definitionsverweis {surjektiver}{}{} \definitionsverweis {Gruppenhomomorphismus}{}{.} Zeige, dass $H$ ebenfalls kommutativ ist.
}
{
Es seien
\mathl{h_1,h_2 \in H}{.} Dann gibt es
\mathl{g_1,g_2 \in G}{} mit
\mathl{\varphi(g_1)=h_1}{} und
\mathl{\varphi(g_2)=h_2}{.} Dann ist
\mavergleichskettedisp
{\vergleichskette
{h_1h_2
}
{ =} { \varphi(g_1) \varphi(g_2)
}
{ =} { \varphi(g_1 g_2)
}
{ =} { \varphi(g_2 g_1)
}
{ =} { \varphi(g_2) \varphi(g_1)
}
}
{
\vergleichskettefortsetzung
{ =} {h_2 h_1
}
{ } {}
{ } {}
{ } {}
}{}{.}
}
\inputaufgabeklausurloesung
{3 (1.5+1.5)}
{
(a) Bestimme für die Zahlen $3$, $11$ und $13$ modulare Basislösungen, finde also die kleinsten positiven Zahlen, die in
\mathdisp {\Z/(3) \times \Z/(11) \times \Z/(13)} { }
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 = 5 \!\! \mod 11 \text{ und } x = 6 \!\! \mod 13} { . }
}
{
a) $(1,0,0)$
- Wir betrachten die Vielfachen von
\mathl{11 \cdot 13= 143}{,} diese haben modulo $11$ und modulo $13$ den Rest $0$. Unter diesen Vielfachen muss also die Lösung liegen. $143$ hat modulo $3$ den Rest $2$, somit hat $286$ modulo $3$ den Rest $1$. Also repräsentiert $286$ das Restetupel
\mathl{(1,0,0)}{.}
\mathl{(0,1,0)}{:} Hier betrachtet man die Vielfachen von $39$, und $39$ hat modulo $11$ den Rest $6$ und
\mathl{2 \cdot 39=78}{} hat modulo $11$ den Rest $1$, also repräsentiert
\mathl{78}{} das Restetupel
\mathl{(0,1,0)}{.}
\mathl{(0,0,1)}{:} Hier betrachtet man die Vielfachen von $33$, und $33$ hat modulo $13$ den Rest $7$ und
\mathl{2 \cdot 33=66}{} hat modulo $13$ den Rest $1$, also repräsentiert
\mathl{66}{} das Restetupel
\mathl{(0,0,1)}{.}
b) Man schreibt
\zusatzklammer {in \mathlk{\Z/(3) \times \Z/(11) \times \Z/(13)}{}} {} {}
\mavergleichskettedisp
{\vergleichskette
{ (2,5,6)
}
{ =} {2(1,0,0)+5(0,1,0)+ 6(0,0,1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Lösung ist dann
\mavergleichskettealign
{\vergleichskettealign
{ 2 \cdot 286 + 5 \cdot 78 + 6 \cdot 66
}
{ =} { 572+ 390 + 396
}
{ =} { 1358
}
{ } {
}
{ } {
}
}
{}
{}{.}
Die minimale Lösung ist dann
\mavergleichskette
{\vergleichskette
{ 1358- 3 \cdot 429
}
{ = }{ 71
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{4}
{
Es sei
\mathl{p \in \Z}{} eine Primzahl und
\mathl{n \in \N_+}{.} Zeige, dass der
\definitionsverweis {Restklassenring}{}{}
$\Z/(p^n)$ nur die beiden trivialen
\definitionsverweis {idempotenten Elemente}{}{}
\mathkor {} {0} {und} {1} {}
besitzt.
}
{
Es sei $e \in \Z/(p^n)$ ein idempotentes Element. Dies bedeutet
\mavergleichskettedisp
{\vergleichskette
{e^2
}
{ =} {e
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit ist
\mathl{e(e-1)}{} ein Vielfaches von $p^n$, sagen wir
\mavergleichskettedisp
{\vergleichskette
{ e(e-1)
}
{ =} { a p^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nehmen wir
\mathl{e \neq 0,1}{} an. Wegen der eindeutigen Primfaktorzerlegung in $\Z$ ist
\mavergleichskettedisp
{\vergleichskette
{e
}
{ =} { bp^i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{e-1
}
{ =} { c p^j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{i+j
}
{ =} {n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wären
\mathl{i,j \geq 1}{,} so wäre sowohl
\mathkor {} {e} {als auch} {e-1} {}
ein Vielfaches von $p$, und das würde dann auch für
\mavergleichskette
{\vergleichskette
{1
}
{ = }{e- (e-1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gelten, was nicht der Fall ist. Also ist
\mathkor {} {i=n} {oder} {j=n} {,}
was
\mavergleichskette
{\vergleichskette
{e
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{ e-1
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
im Restklassenring
\mathl{\Z/(p^n)}{} bedeutet.
}
\inputaufgabeklausurloesung
{4 (1+1+2)}
{
a) Zeige, dass durch
\mavergleichskettedisp
{\vergleichskette
{ K
}
{ =} { \Z/(7) [T]/(T^3-2)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein Körper mit $343$ Elementen gegeben ist.
b) Berechne in $K$ das Produkt $(T^2+2T+4)(2T^2+5)$.
c) Berechne das (multiplikativ) Inverse zu $T+1$.
}
{
a) Es ist
\mathdisp {1^3=1,\, 2^3 =1, \, 3^3=6, \, 4^3= 1, \,5^3= 6, \, 6^3=6} { . }
Also besitzt das Polynom
\mathl{T^3-2}{} keine Nullstelle in $\Z/(7)$
und ist somit irreduzibel, also ist
\mathl{\Z/(7)[T]/(T^3-2)}{} ein Körper. Die Restklassen von $1,T,T^2$ bilden eine $\Z/(7)$-Basis, sodass dieser Körper $7^3=343$ Elemente besitzt.
b) Es ist
\mavergleichskettealign
{\vergleichskettealign
{(T^2+2T+4)(2T^2+5)
}
{ =} {2T^4 + 4 T^3 + 6 T^2 +3T + 6
}
{ =} {4T + 1 + 6 T^2 +3T + 6
}
{ =} {6 T^2
}
{ } {
}
}
{}
{}{.}
c) Polynomdivision liefert
\mathdisp {T^3-2 = (T^2 +6 T + 1)(T+1) + 4} { . }
In $K$ gilt somit
\mavergleichskettedisp
{\vergleichskette
{ (T+1) (T^2+6T+1)
}
{ =} { 3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Das Inverse von $3$ in $\Z/(7)$ ist $5$, also ist
\mathdisp {5T^2+2T+5} { }
das Inverse von $T+1$.
}
\inputaufgabeklausurloesung
{7}
{
Es seien
\mathkor {} {I} {und} {J} {}
\definitionsverweis {Ideale}{}{}
in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ und sei
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ (I+J)^n
}
{ =} { I^n + I^{n-1}J+ I^{n-2}J^2 + \cdots + I^2J^{n-2} + IJ^{n-1} +J^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Zum Beweis der Inklusion $\subseteq$ sei
\mathl{f \in (I+J)^n}{.} Da das Produkt von Idealen aus allen Summen von Produkten besteht, bedeutet dies, dass
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { f_1 + f_2 + \cdots + f_k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskettedisp
{\vergleichskette
{f_\ell
}
{ =} { c_{\ell 1} \cdot c_{\ell 2} \cdots c_{\ell n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{c_{\ell r} \in I+J}{} ist. Dies bedeutet wiederum, dass
\mavergleichskettedisp
{\vergleichskette
{ c_{\ell r}
}
{ =} { a_{\ell r} + b_{\ell r}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathkor {} {a_{\ell r} \in I} {und} {b_{\ell r} \in J} {}
ist. Somit ist
\mavergleichskettedisp
{\vergleichskette
{f_\ell
}
{ =} { { \left( a_{\ell 1} + b_{\ell 1} \right) } { \left( a_{\ell 2} + b_{\ell 2} \right) } \cdots { \left( a_{\ell n} + b_{\ell n} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn man ein solches Produkt distributiv ausrechnet, so erhält man eine Summe von Produkten mit $n$ Faktoren, wobei $s$ Faktoren zu $I$ und
\mathl{n-s}{} Faktoren zu $J$ gehören. Damit gehören diese Summanden zur rechten Seite und somit auch die $f_\ell$ und auch $f$.
Zum Beweis der Inklusion $\supseteq$ genügt es, die Inklusion $I^s J^{n-s} \subseteq (I+J)^n$ für jedes $s$ zu zeigen. Wegen
\mathl{I,J \subseteq I+J}{} ist aber sofort
\mavergleichskettedisp
{\vergleichskette
{ I^s J^{n-s}
}
{ \subseteq} { (I+J)^s \cdot (I+J)^{n-s}
}
{ =} { (I+J)^n
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{7 (1+2+4)}
{
a) Zeige, dass
\mathl{X^2+1}{}
\definitionsverweis {irreduzibel}{}{}
in $\Q[X]$ ist.
b) Zeige, dass
\mathl{X^4+1}{}
\definitionsverweis {irreduzibel}{}{}
in $\Q[X]$ ist.
\zusatzklammer {Tipp: In
\mathl{\R[X]}{} gilt die Zerlegung
\mavergleichskette
{\vergleichskette
{X^4+1
}
{ = }{ { \left( X^2+ \sqrt{2} X+1 \right) } { \left( X^2- \sqrt{2} X+1 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {.} {}
c) Bestimme die
\definitionsverweis {Partialbruchzerlegung}{}{}
von
\mathdisp {{ \frac{ 1 }{ { \left( X^2+1 \right) } { \left( X^4+1 \right) } } }} { }
in
\mathl{\Q(X)}{.}
}
{
a) Das Polynom $X^2+1$ ist für rationale \zusatzklammer {auch reelle} {} {} Zahlen stets positiv und besitzt daher keine Nullstelle. Nach Lemma 6.9 (Elemente der Algebra (Osnabrück 2024-2025)) ist es somit irreduzibel.
b) Über $\R$ hat man die Faktorisierung
\mavergleichskettedisp
{\vergleichskette
{X^4+1
}
{ =} { { \left( X^2+ \sqrt{2} X+1 \right) } { \left( X^2- \sqrt{2} X+1 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die beiden Faktoren haben keine reelle Nullstelle, da $X^4 +1$ stets positiv ist. Eine Zerlegung über $\Q$ würde zu der gegebenen Zerlegung über $\R$ führen, wegen
\mathl{\sqrt{2} \not\in \Q}{} gehören aber
\mathl{X^2+ \sqrt{2} X+1,\, X^2- \sqrt{2} X+1}{} nicht zu
\mathl{\Q[X]}{.} Das Polynom ist also irreduzibel in $\Q[X]$.
c) Wir machen den Ansatz
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ { \left( X^4+1 \right) } { \left( X^2+1 \right) } } }
}
{ =} { { \frac{ 1 }{ X^6 +X^4 +X^2+1 } }
}
{ =} { { \frac{ aX^3 + bX^2 +cX +d }{ X^4 +1 } } + { \frac{ eX+f }{ X^2 +1 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Durch Multiplikation mit dem Hauptnenner führt dies auf
\mavergleichskettealign
{\vergleichskettealign
{1
}
{ =} { (aX^3 + bX^2 +cX +d )( X^2 +1) + (eX+f)(X^4 +1)
}
{ =} { ( a+e ) X^5 + ( b+f )X^4 + ( a+c )X^3 + ( b+d )X^2 + ( c+e )X + d+f
}
{ } {
}
{ } {
}
}
{}
{}{.}
Also ist
\mavergleichskettedisp
{\vergleichskette
{a+e
}
{ =} {b+f
}
{ =} {a+c
}
{ =} {b+d
}
{ =} {c+e
}
}
{
\vergleichskettefortsetzung
{ =} {0
}
{ } {}
{ } {}
{ } {}
}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{d+f
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus
\mathdisp {a+e=0, \, a+c=0 \text{ und } c+e =0} { }
folgt durch Addition der ersten beiden Gleichungen
\mavergleichskette
{\vergleichskette
{2a
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und damit
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} {c
}
{ =} {e
}
{ =} {0
}
{ } {
}
}
{}{}{.}
Aus
\mavergleichskettedisp
{\vergleichskette
{b+f
}
{ =} {b+d
}
{ =} {0
}
{ } {
}
{ } {
}
}
{}{}{}
folgt
\mavergleichskettedisp
{\vergleichskette
{d-f
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{d
}
{ =} {f
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und aus
\mavergleichskettedisp
{\vergleichskette
{d+f
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt sich
\mavergleichskettedisp
{\vergleichskette
{d
}
{ =} {f
}
{ =} { { \frac{ 1 }{ 2 } }
}
{ } {
}
{ } {
}
}
{}{}{}
und somit
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} { - { \frac{ 1 }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Partialbruchzerlegung ist also
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ { \left( X^4+1 \right) } { \left( X^2+1 \right) } } }
}
{ =} { { \frac{ - { \frac{ 1 }{ 2 } } X^2 + { \frac{ 1 }{ 2 } } }{ X^4 +1 } } + { \frac{ { \frac{ 1 }{ 2 } } }{ X^2 +1 } }
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{6}
{
Beweise die \anfuehrung{Gradformel}{} für eine Kette von \definitionsverweis {endlichen Kör\-pererweiterungen}{}{} $K \subseteq L \subseteq 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$.}
{}
}
\inputaufgabeklausurloesung
{6}
{
Es sei
\mavergleichskette
{\vergleichskette
{ q
}
{ \in }{\Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {rationale Zahl}{}{,}
die in $\Q$ keine dritte Wurzel besitzt. Bestimme den
\definitionsverweis {Zerfällungskörper}{}{}
$L$ des Polynoms
\mathl{X^3 -q}{} über $\Q$. Welchen
\definitionsverweis {Grad}{}{}
besitzt er? Man gebe auch eine Realisierung des Zerfällungskörpers als Unterkörper von ${\mathbb C}$ an.
}
{
Da $q$ keine dritte Wurzel in $\Q$ besitzt, ist das Polynom
\mathl{X^3-q}{} in
\mathl{\Q[X]}{}
\definitionsverweis {irreduzibel}{}{.}
Daher ist
\mavergleichskettedisp
{\vergleichskette
{\Q
}
{ \subseteq} { \Q[X]/(X^3-q)
}
{ =} {K
}
{ } {
}
{ } {
}
}
{}{}{}
eine Körpererweiterung vom Grad drei. Es sei
\mathl{r=\sqrt[3]{q}}{} die eindeutig bestimmte reelle dritte Wurzel aus $q$. Durch die Zuordnung
\mathl{X \mapsto r}{} können wir $K$ als Unterkörper von $\R$ auffassen. In $K$
\zusatzklammer {und in $L$} {} {}
hat das Polynom
\mathl{X^3-q}{} die Zerlegung
\mavergleichskettedisp
{\vergleichskette
{X^3-q
}
{ =} {X^3-r^3
}
{ =} { (X-r) (X^2 +rX+r^2 )
}
{ } {
}
{ } {
}
}
{}{}{.}
Da es in $\R$ nur eine dritte Wurzel gibt, und da $r$ keine Nullstelle des rechten Faktors ist, ist das Polynom
\mathdisp {X^2 +rX+r^2} { }
über $\R$ und erst recht über $K$ irreduzibel. Von daher ist $K$ nicht der Zerfäll\-ungskörper. In der quadratischen Erweiterung
\mavergleichskettedisp
{\vergleichskette
{K
}
{ \subseteq} {K[Y]/(Y^2 + rY+r^2)
}
{ =} {L
}
{ } {
}
{ } {
}
}
{}{}{}
zerfällt das Polynom
\mathl{Y^2 + rY+r^2}{} und damit auch
\mathl{X^3-q}{} in Linearfaktoren. Der Grad des Zerfällungskörpers ist also
nach der Gradformel
gleich $6$.
Um eine Realisierung des Zerfällungskörpers in ${\mathbb C}$ zu erhalten, betrachten wir
\mavergleichskettedisp
{\vergleichskette
{ y^2 + ry + r^2
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Lösungen dazu sind in ${\mathbb C}$ gleich
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { \pm \sqrt{-3} { \frac{ r }{ 2 } } - { \frac{ r }{ 2 } }
}
{ =} { \pm \sqrt{-3} { \frac{ \sqrt[3]{q} }{ 2 } } - { \frac{ \sqrt[3]{q} }{ 2 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher ist der Zerfällungskörper gleich
\mathdisp {\Q[ \sqrt[3]{q} , \sqrt{-3}]} { . }
}
\inputaufgabeklausurloesung
{4}
{
Zeige, dass zu zwei konstruierbaren positiven reellen Zahlen
\mathkor {} {a} {und} {b} {}
die Potenz
\mathl{a^b}{} nicht konstruierbar sein muss.
}
{
Sei
\mavergleichskette
{\vergleichskette
{a
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} { { \frac{ 1 }{ 3 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Zahl
\mavergleichskettedisp
{\vergleichskette
{a^b
}
{ =} { 2^{ { \frac{ 1 }{ 3 } } }
}
{ =} { \sqrt[3]{2}
}
{ } {
}
{ } {
}
}
{}{}{}
ist algebraisch und wird von
\mathl{X^3 - 2}{} annulliert. Da
\mathl{\sqrt[3]{2} \in \R \setminus \Q}{} liegt, gibt es nur eine reelle Nullstelle und keine rationale Nullstelle. Daher ist
nach Lemma 6.9 (Elemente der Algebra (Osnabrück 2024-2025))
das Polynom
\definitionsverweis {irreduzibel}{}{}
und daher
nach Lemma 23.2 (Elemente der Algebra (Osnabrück 2024-2025))
gleich dem
\definitionsverweis {Minimalpolynom}{}{.}
Also besitzt die Körpererweiterung
\mavergleichskettedisp
{\vergleichskette
{\Q
}
{ \subseteq} { \Q[ \sqrt[3]{2}]
}
{ \cong} { K[X]/(X^3-2)
}
{ } {
}
{ } {
}
}
{}{}{}
den
\definitionsverweis {Grad}{}{}
$3$.
Nach Korollar 26.7 (Elemente der Algebra (Osnabrück 2024-2025))
kann daher
\mathl{\sqrt[3]{2}}{} nicht konstruierbar sein.
}
\inputaufgabeklausurloesung
{3}
{
Zeige, dass es auf dem Einheitskreis unendlich viele \definitionsverweis {konstruierbare}{}{} Punkte gibt.
}
{
Der Einheitskreis selbst ist konstruierbar, da er den Mittelpunkt
\mathl{(0,0)}{} besitzt und durch
\mathl{(1,0)}{} läuft. Der Punkt
\mavergleichskette
{\vergleichskette
{ { \mathrm i}
}
{ = }{(0,1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist ebenfalls konstruierbar und somit hat man auch die $y$-Achse zur Verfügung. Man kann nun den dadurch gegebenen rechten Winkel durch eine konstruierbare Gerade halbieren und erhält einen neuen Schnittpunkt mit dem Einheitskreis, der somit konstruierbar ist. Den entstehenden Winkel kann man wieder halbieren und so erhält man eine neue Gerade und einen neuen Punkt auf dem Einheitskreis. So fortfahrend erhält man unendlich viele Punkte auf dem Einheitskreis.
}