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}{ 4 }
\renewcommand{\azwei}{ 4 }
\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}{ 63 }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesechzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabeklausurloesung
{4}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungacht{Ein \stichwort {Monoid} {} $M$.
}{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$.
}{Ein
\stichwort {Ideal} {}
\mathl{{\mathfrak a} \subseteq R}{} in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$.
}{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}}{.}
}
}
{
\aufzaehlungacht{Ein Monoid ist eine Menge $M$ zusammen mit einer
\definitionsverweis {Verknüpfung}{}{}
\maabbdisp {\circ} {M \times M} { M
} {}
und einem ausgezeichneten Element $e \in M$ derart, dass folgende beiden Bedingungen erfüllt sind.
\aufzaehlungzwei {Die Verknüpfung ist assoziativ, d.h. es gilt
\mavergleichskettedisp
{\vergleichskette
{ (x \circ y) \circ z
}
{ =} {x \circ (y \circ z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $x,y,z \in M$.
} {$e$ ist neutrales Element der Verknüpfung, d.h. es gilt
\mavergleichskettedisp
{\vergleichskette
{ x \circ e
}
{ =} { x
}
{ =} { e \circ x
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $x \in M$.
}
}{Man nennt die kleinste positive Zahl $n$ mit
\mathl{g^n= e_G}{} die Ordnung von $g$. Wenn alle positiven Potenzen von $g$ vom neutralen Element verschieden sind, so setzt man
\mathl{\operatorname{ord} \, (g)= \infty}{.}
}{Das Element $a$ ist ein Nichtnullteiler, wenn für jedes
\mathl{b \in R}{} aus
\mavergleichskette
{\vergleichskette
{ab
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt, dass
\mavergleichskette
{\vergleichskette
{b
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Ein Körper $K$ ist ein
\definitionsverweis {kommutativer Ring}{}{,}
wenn
\mathl{K \neq 0}{} ist und wenn jedes von $0$ verschiedene Element in $K$ ein multiplikatives Inverses besitzt.
}{Ein Ideal ist eine nichtleere Teilmenge ${\mathfrak a} \subseteq R$, für die die beiden folgenden Bedingungen erfüllt sind:
\aufzaehlungzwei {Für alle
\mathl{a,b \in {\mathfrak a}}{} ist auch
\mathl{a+b \in {\mathfrak a}}{.}
} {Für alle
\mathl{a \in {\mathfrak a}}{} und
\mathl{r \in R}{} ist auch
\mathl{ra \in {\mathfrak a}}{.}}
}{Zu einer natürlichen Zahl $n$ bezeichnet
\mathl{{\varphi (n)}}{} die Anzahl der Elemente von
\mathl{(\Z/(n))^{\times}}{.}
}{Es sei
\mavergleichskette
{\vergleichskette
{ K
}
{ \subseteq }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Körpererweiterung}{}{,}
über der $F$ in Linearfaktoren zerfällt. Es seien
\mavergleichskette
{\vergleichskette
{ a_1 , \ldots , a_n
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Nullstellen von $F$. Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{ K[a_1 , \ldots , a_n ]
}
{ \subseteq} { L
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
einen \stichwort {Zerfällungskörper} {} von $F$.
}{Eine Zahl
\mathl{z \in {\mathbb C} \cong \R^2 \cong E}{} heißt \stichwort {konstruierbar} {,} wenn sie aus der Startmenge
\mathdisp {\{0 , 1 \} \subset \R \subset {\mathbb C}} { }
\definitionsverweis {mit Zirkel und Lineal konstruierbar}{}{}
ist.
}
}
\inputaufgabeklausurloesung
{4}
{
Formuliere die folgenden Sätze.
\aufzaehlungvier{Die rekursive Beziehung zwischen den Binomialkoeffizienten
\zusatzklammer {\stichwort {Pascalsches Dreieck} {}} {} {.}}{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.}
}
{
\aufzaehlungvier{Die Binomialkoeffizienten erfüllen die rekursive Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \binom { n+1 } { k }
}
{ =} { \binom { n } { k } + \binom { n } { k-1 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Jedes nichtkonstante Polynom
\mathl{P \in{\mathbb C}[X]}{} über den komplexen Zahlen besitzt eine Nullstelle.}{Jedes Element
\mathbed {f \in K} {}
{f \neq 0} {}
{} {} {} {,}
besitzt eine im Wesentlichen eindeutige Produktzerlegung
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { u p_1^{r_1} { \cdots } p_n^{r_n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer Einheit
\mathl{u \in R}{} und ganzzahligen Exponenten $r_i$.}{Es ist nicht möglich, einen beliebig vorgegebenen Winkel mittels
\definitionsverweis {Zirkel und Lineal}{}{}
in drei gleich große Teile zu unterteilen.}
}
\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 $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, so dass 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
\mathl{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 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
\mathl{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
das Polynom
\definitionsverweis {irreduzibel}{}{}
und daher
nach Lemma 23.2
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
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.
}