Kurs:Elementare Algebra/9/Klausur mit Lösungen

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Der Imaginärteil einer komplexen Zahl ${\displaystyle {}z}$.
2. Eine zyklische Gruppe ${\displaystyle {}G}$.
3. Ein Hauptidealbereich.
4. Eine Nebenklasse zu einem Ideal ${\displaystyle {}I\subseteq R}$ in einem kommutativen Ring ${\displaystyle {}R}$.
5. Ein idempotentes Element ${\displaystyle {}e}$ in einem kommutativen Ring ${\displaystyle {}R}$.
6. Das Minimalpolynom eines Elementes ${\displaystyle {}x\in L}$ in einer endlichen Körpererweiterung ${\displaystyle {}K\subseteq L}$.

Formuliere die folgenden Sätze.

1. Die Division mit Rest im Polynomring ${\displaystyle {}K[X]}$ über einem Körper ${\displaystyle {}K}$.
2. Der Satz über den Kern eines Ringhomomorphismus.
3. Die Charakterisierung für Restklassenkörper eines Hauptidealbereiches ${\displaystyle {}R}$.

Es sei ${\displaystyle {}G}$ eine Gruppe. Zeige, dass

${\displaystyle {}{\left(x^{-1}\right)}^{-1}=x\,}$

für alle ${\displaystyle {}x\in G}$ ist.

Es ist

${\displaystyle {}x\circ x^{-1}=1\,.}$

Damit ist ${\displaystyle {}x}$ das Inverse zu ${\displaystyle {}x^{-1}}$. Damit ist

${\displaystyle {}{\left(x^{-1}\right)}^{-1}=x\,.}$

Es sei ${\displaystyle {}G}$ eine endliche Gruppe. Zeige, dass jedes Element ${\displaystyle {}g\in G}$ eine endliche Ordnung besitzt, und dass die Potenzen

${\displaystyle g^{0}=e_{G},\,g^{1}=g,\,g^{2},\ldots ,g^{\operatorname {ord} \,(g)-1}}$

alle verschieden sind.

Da ${\displaystyle {}G}$ endlich ist, muss es unter den Potenzen zu den positiven Exponenten

${\displaystyle g^{1},\,g^{2},\,g^{3},\ldots }$

eine Wiederholung geben, sagen wir ${\displaystyle g^{m}=g^{n}}$ mit ${\displaystyle m<n}$. Wir multiplizieren diese Gleichung mit ${\displaystyle {}g^{-m}}$ und erhalten

${\displaystyle {}g^{n-m}=g^{m}g^{-m}=(g^{1}g^{-1})^{m}=e_{G}^{m}=e_{G}\,.}$

Also ist die Ordnung von ${\displaystyle {}g}$ maximal gleich ${\displaystyle {}n-m}$. Mit dem gleichen Argument kann man die Annahme, dass es unterhalb der Ordnung zu einer Wiederholung kommt, zum Widerspruch führen.

Bestätige die Gleichung

${\displaystyle {}(-2+{\mathrm {i} })^{3}+(-2-{\mathrm {i} })^{3}=(1+{\mathrm {i} })^{4}\,.}$

Auf der einen Seite ist

${\displaystyle {}(-2+{\mathrm {i} })^{3}=-8+12{\mathrm {i} }+6-{\mathrm {i} }=-2+11{\mathrm {i} }\,}$

und

${\displaystyle {}(-2-{\mathrm {i} })^{3}=-8-12{\mathrm {i} }+6+{\mathrm {i} }=-2-11{\mathrm {i} }\,,}$

die Summe daraus ist ${\displaystyle {}-4}$. Auf der anderen Seite ist ${\displaystyle {}(1+{\mathrm {i} })^{4}=1+4{\mathrm {i} }-6-4{\mathrm {i} }+1=-4}$.

Es stehen zwei Eimer ohne Markierungen zur Verfügung, ferner eine Wasserquelle. Der eine Eimer hat ein Fassungsvermögen von ${\displaystyle {}a}$ und der andere ein Fassungsvermögen von ${\displaystyle {}b}$ Litern, wobei ${\displaystyle {}a}$ und ${\displaystyle {}b}$ teilerfremd seien. Zeige, dass man allein durch Auffüllungen, Ausleerungen und Umschüttungen erreichen kann, dass in einem Eimer genau ein Liter Wasser enthalten ist.

Ohne Einschränkung sei ${\displaystyle {}a\leq b}$. Wir bezeichnen die Inhalte in den Eimern zu einem bestimmten Zeitpunkt in Paarschreibweise mit ${\displaystyle {}(u,v)}$, wobei ${\displaystyle {}u}$ zwischen ${\displaystyle {}0}$ und ${\displaystyle {}a}$ und ${\displaystyle {}v}$ zwischen ${\displaystyle {}0}$ und ${\displaystyle {}b}$ liegt. Es sei ${\displaystyle {}r}$ der Rest von ${\displaystyle {}-b}$ bei Division durch ${\displaystyle {}a}$. Wir behaupten, dass wenn man die Belegung ${\displaystyle {}(u,0)}$ durch die erlaubten Schritte erzielen kann, dass man dann auch ${\displaystyle {}(u',0)}$ erzielen kann, wobei ${\displaystyle {}u'}$ den Rest von ${\displaystyle {}u+r}$ modulo ${\displaystyle {}a}$ bezeichnet. Wir starten also mit

${\displaystyle (u,0).}$

Durch Umschüttung kann man

${\displaystyle (0,u)}$

erreichen. Durch Auffüllen des kleinen Eimers und anschließende Umfüllung in den großen kann man

${\displaystyle (0,u+a)}$

erreichen, und ebenso der Reihe nach

${\displaystyle (0,u+2a),\,(0,u+2a),\ldots ,(0,u+ka),}$

wobei ${\displaystyle {}k}$ so gewählt sei, dass

${\displaystyle {}u+ka\leq b\,}$

und

${\displaystyle {}u+(k+1)a>b\,}$

sei. Von hier aus erreichen wir

${\displaystyle (a,u+ka).}$

Wir füllen nun den Inhalt des ersten Eimers in den zweiten, bis dieser voll ist. Es sei ${\displaystyle {}m}$ die umgefüllte Menge. Diese erfüllt

${\displaystyle {}u+ka+m=b\,.}$

Die im ersten Eimer verbleibende Wassermenge ist somit

${\displaystyle {}a-m=a-(b-u-ka)=u+(k+1)a-b\,.}$

Diese Menge ist also der Rest von ${\displaystyle {}u-b=u+r}$ modulo ${\displaystyle {}a}$, wie behauptet.

Aufgrund von dieser Beobachtung können wir der Reihe nach folgende Belegungen erzielen (bzw. die Reste davon modulo a).

${\displaystyle (0,0),(r,0),(2r,0),(3r,0),\ldots .}$

Da ${\displaystyle {}b}$ teilerfremd zu ${\displaystyle {}a}$ ist, gibt es nach dem Lemma von Bezout positive ganze Zahlen ${\displaystyle {}n,m}$ mit

${\displaystyle {}ma-nb=1\,}$

(Falls ${\displaystyle {}n,m}$ negativ sind, betrachtet man einfach ${\displaystyle {}(sb+m)a-(sa+n)b=1}$ für ein ausreichend großes ${\displaystyle {}s}$).

Somit ist modulo ${\displaystyle {}a}$

${\displaystyle {}nr\equiv -nb=1-ma=1\,,}$

sodass bei Division durch ${\displaystyle {}a}$ für ein gewisses ${\displaystyle {}n}$ der Rest von ${\displaystyle {}nr}$ gleich ${\displaystyle {}1}$ ist.

Es sei ${\displaystyle {}n\geq 2}$.

1. Führe in ${\displaystyle {}\mathbb {Q} [X]}$ die Division mit Rest „${\displaystyle {}P}$ durch ${\displaystyle {}T}$“ für die beiden Polynome ${\displaystyle {}P=X^{n-1}+X^{n-2}+\cdots +X^{2}+X+1}$ und ${\displaystyle {}T=X-1}$ durch.
2. Finde eine Darstellung der ${\displaystyle {}1}$ mit diesen beiden Polynomen.

1. Es ist

   ${\displaystyle {}X^{n-1}+X^{n-2}+\cdots +X^{2}+X+1={\left(X^{n-2}+2X^{n-3}+\cdots +(n-3)X^{2}+(n-2)X+n-1\right)}{\left(X-1\right)}+n\,.}$

2. Es ist

   ${\displaystyle {}1={\frac {1}{n}}{\left(X^{n-1}+X^{n-2}+\cdots +X^{2}+X+1\right)}-{\frac {1}{n}}{\left(X^{n-2}+2X^{n-3}+\cdots +(n-3)X^{2}+(n-2)X+n-1\right)}{\left(X-1\right)}\,.}$

Es seien drei verschiedene Zahlen ${\displaystyle {}a,b,c>1}$ gegeben. Wie viele Teiler besitzt das Produkt ${\displaystyle {}a\cdot b\cdot c}$ minimal?

Wir können

${\displaystyle {}a<b<c\,}$

annehmen. Das Produkt ${\displaystyle {}abc}$ hat zumindest die Teiler

${\displaystyle 1,a,b,c,ab,ac,bc,abd,}$

wobei allerdings welche identisch sein können. Da aber alle Zahlen ${\displaystyle {}a,b,c}$ größer als ${\displaystyle {}1}$ und untereinander verschieden sind, sind auch die Produkte mit zwei Faktoren untereinander und auch vom Gesamtprodukt verschieden. Ferner sind die Zweierprodukte von allen Zahlen verschieden, die in ihnen vorkommen. Wegen den Größenverhältnissen ist ${\displaystyle {}ac>b}$ und ${\displaystyle {}bc>a}$. Es kann allenfalls

${\displaystyle {}c=ab\,}$

sein. Es gibt also mindestens ${\displaystyle {}7}$ Teiler. Wählt man ${\displaystyle {}a=2}$, ${\displaystyle {}b=4}$ und ${\displaystyle {}c=8}$, so ist

${\displaystyle {}abc=2\cdot 4\cdot 8=64=2^{6}\,,}$

und dies hat in der Tat sieben Teiler.

Wir betrachten die endliche Permutationsgruppe ${\displaystyle {}S_{n}}$ zu einer Menge mit ${\displaystyle {}n}$ Elementen.

a) Zeige, dass es in ${\displaystyle {}S_{n}}$ Elemente der Ordnung ${\displaystyle {}n}$ gibt.

b) Man gebe ein Beispiel für eine Permutationsgruppe ${\displaystyle {}S_{n}}$ und einem Element darin, dessen Ordnung größer als ${\displaystyle {}n}$ ist.

Die Menge sei ${\displaystyle {}M={\{1,\ldots ,n\}}}$.

a) Die zyklische Permutation

${\displaystyle {}x}$	${\displaystyle {}1}$	${\displaystyle {}2}$	${\displaystyle {}\cdots }$	${\displaystyle {}n-1}$	${\displaystyle {}n}$
${\displaystyle {}\sigma (x)}$	${\displaystyle {}2}$	${\displaystyle {}3}$	${\displaystyle {}\cdots }$	${\displaystyle {}n}$	${\displaystyle {}1}$

hat offenbar die Ordnung ${\displaystyle {}n}$, da zu jedem Element ${\displaystyle {}a\in M}$ die Potenzen ${\displaystyle {}\sigma ^{j}(a)}$ für ${\displaystyle {}j=0,1,2,\ldots ,n-1}$ die Elemente von ${\displaystyle {}M}$ durchlaufen.

b) Es sei ${\displaystyle {}M=\{1,2,\ldots ,5\}}$ und betrachte die Permutation

${\displaystyle {}x}$	${\displaystyle {}1}$	${\displaystyle {}2}$	${\displaystyle {}3}$	${\displaystyle {}4}$	${\displaystyle {}5}$
${\displaystyle {}\sigma (x)}$	${\displaystyle {}2}$	${\displaystyle {}1}$	${\displaystyle {}4}$	${\displaystyle {}5}$	${\displaystyle {}3}$

Die Zahlen ${\displaystyle {}1}$ und ${\displaystyle {}2}$ sind wieder an ihrer Stelle, wenn man eine Potenz von ${\displaystyle {}\sigma }$ mit einem geraden Exponenten anwendet, und die Zahlen ${\displaystyle {}3,4}$ und ${\displaystyle {}5}$ sind wieder an ihrer Stelle, wenn der Exponent ein Vielfaches von ${\displaystyle {}3}$ ist. Die Ordnung ist also ${\displaystyle {}6>5}$.

Welche der folgenden Abbildungen ist ein Gruppenhomomorphismus?

1. ${\displaystyle (\mathbb {R} _{+},1,\cdot )\longrightarrow (\mathbb {R} _{+},1,\cdot ),\,x\longmapsto {\sqrt {x}}.}$

2. ${\displaystyle (\mathbb {R} ,0,+)\longrightarrow (\mathbb {R} ,0,+),\,x\longmapsto {\sqrt {x}}.}$

3. ${\displaystyle (\mathbb {R} _{\geq 0},1,\cdot )\longrightarrow (\mathbb {R} _{\geq 0},1,\cdot ),\,x\longmapsto {\sqrt {x}}.}$

4. ${\displaystyle (\mathbb {R} _{+},1,\cdot )\longrightarrow (\mathbb {R} ,0,+),\,x\longmapsto {\sqrt {x}}.}$

1. Dies ist ein Gruppenhomomorphismus. Die positiven reellen Zahlen ${\displaystyle {}(\mathbb {R} _{+},1,\cdot )}$ bilden mit der Multiplikation eine Gruppe und es gilt

   ${\displaystyle {}{\sqrt {xy}}={\sqrt {x}}\cdot {\sqrt {y}}\,,}$

   da die Quadrate davon übereinstimmen.

2. Dies ist kein Gruppenhomomorphismus, allein schon deshalb, weil die Wurzel für negative Zahlen gar nicht definiert ist.
3. Dies ist kein Gruppenhomomorphismus, da ${\displaystyle {}(\mathbb {R} _{\geq 0},1,\cdot )}$ keine Gruppe ist, da ${\displaystyle {}0}$ kein inverses Element besitzt.
4. Dies ist kein Gruppenhomomorphismus, da das neutrale Element links nicht auf das neutrale Element rechts abgebildet wird.

Beweise den Satz über Normalteiler und Restklassengruppe.

Da die kanonische Projektion zu einem Gruppenhomomorphismus werden soll, muss die Verknüpfung durch

${\displaystyle {}[x][y]=[xy]\,}$

gegeben sein. Wir müssen also zeigen, dass durch diese Vorschrift eine wohldefinierte Verknüpfung auf ${\displaystyle {}G/H}$ definiert ist, die unabhängig von der Wahl der Repräsentanten ist. D.h. wir haben für ${\displaystyle [x]=[x']}$ und ${\displaystyle [y]=[y']}$ zu zeigen, dass ${\displaystyle {}[xy]=[x'y']}$ ist. Nach Voraussetzung können wir ${\displaystyle x'=xh}$ und ${\displaystyle hy'={\tilde {h}}y=yh'}$ mit ${\displaystyle {}h,{\tilde {h}},h'\in H}$ schreiben. Damit ist

${\displaystyle {}x'y'=(xh)y'=x(hy')=x(yh')=xyh'\,.}$

Somit ist ${\displaystyle {}[xy]=[x'y']}$. Aus der Wohldefiniertheit der Verknüpfung auf ${\displaystyle {}G/H}$ folgen die Gruppeneigenschaften, die Homomorphieeigenschaft der Projektion und die Eindeutigkeit.

Setze in das Polynom ${\displaystyle {}-5X^{3}-X^{2}+{\sqrt {2}}X+{\sqrt {5}}}$ die Zahl ${\displaystyle {}{\sqrt {2}}+{\sqrt {3}}}$ ein.

Es ist

${\displaystyle {}{\begin{aligned}{\left(-5X^{3}-X^{2}+{\sqrt {2}}X+{\sqrt {5}}\right)}{\left({\sqrt {2}}+{\sqrt {3}}\right)}&=-5{\left({\sqrt {2}}+{\sqrt {3}}\right)}^{3}-{\left({\sqrt {2}}+{\sqrt {3}}\right)}^{2}+{\sqrt {2}}{\left({\sqrt {2}}+{\sqrt {3}}\right)}+{\sqrt {5}}\\&=-5{\left({\sqrt {2}}^{3}+3{\sqrt {2}}^{2}{\sqrt {3}}+3{\sqrt {2}}{\sqrt {3}}^{2}+{\sqrt {3}}^{3}\right)}-{\left({\sqrt {2}}^{2}+2{\sqrt {2}}{\sqrt {3}}+{\sqrt {3}}^{2}\right)}+{\sqrt {2}}{\left({\sqrt {2}}+{\sqrt {3}}\right)}+{\sqrt {5}}\\&=-5{\left(2{\sqrt {2}}+6{\sqrt {3}}+9{\sqrt {2}}+3{\sqrt {3}}\right)}-{\left(2+2{\sqrt {2}}{\sqrt {3}}+3\right)}+2+{\sqrt {2}}{\sqrt {3}}+{\sqrt {5}}\\&=-5{\left(11{\sqrt {2}}+9{\sqrt {3}}\right)}-3-2{\sqrt {2}}{\sqrt {3}}+{\sqrt {2}}{\sqrt {3}}+{\sqrt {5}}\\&=-55{\sqrt {2}}-45{\sqrt {3}}-{\sqrt {2}}{\sqrt {3}}-3+{\sqrt {5}}.\,\end{aligned}}}$

Bestimme die Periodenlänge der Dezimalentwicklung von ${\displaystyle {}{\frac {1}{77}}}$.

Nach Satz 16.10 (Elemente der Algebra (Osnabrück 2024-2025)) müssen wir die multiplikative Ordnung von ${\displaystyle {}10}$ in ${\displaystyle {}\mathbb {Z} /(77)}$ bestimmen. Wegen

${\displaystyle {}77=7\cdot 11\,}$

ist

${\displaystyle {}\mathbb {Z} /(77)\cong \mathbb {Z} /(7)\times \mathbb {Z} /(11)\,.}$

Die Ordnung von ${\displaystyle {}10=3}$ in ${\displaystyle {}\mathbb {Z} /(7)}$ ist wegen ${\displaystyle {}3^{2}=2\neq 1}$ und ${\displaystyle {}3^{3}=2\cdot 3=6\neq 1}$ gleich ${\displaystyle {}6}$. Die Ordnung von ${\displaystyle {}10}$ in ${\displaystyle {}\mathbb {Z} /(11)}$ ist wegen ${\displaystyle {}10=-1}$ gleich ${\displaystyle {}2}$. Daher ist die Ordnung von ${\displaystyle {}10}$ im Ausgangsring gleich ${\displaystyle {}6}$.

a) Zeige, dass ${\displaystyle {}X^{2}+2}$ irreduzibel in ${\displaystyle {}\mathbb {Z} /(5)[X]}$ ist.

b) Zeige, dass ${\displaystyle {}X^{3}+X+1}$ irreduzibel in ${\displaystyle {}\mathbb {Z} /(5)[X]}$ ist.

c) Bestimme die Partialbruchzerlegung von

${\displaystyle {\frac {1}{{\left(X^{2}+2\right)}{\left(X^{3}+X+1\right)}}}}$

in ${\displaystyle {}\mathbb {Z} /(5)(X)}$.

a) Das Polynom ${\displaystyle {}X^{2}+2}$ besitzt für ${\displaystyle {}0,1,2,3,4}$ die Werte ${\displaystyle {}2,3,1,1,3}$, ist also nullstellenfrei. Nach Lemma 6.9 (Elemente der Algebra (Osnabrück 2024-2025)) ist es somit irreduzibel.

b) Das Polynom ${\displaystyle {}X^{3}+X+1}$ besitzt für ${\displaystyle {}0,1,2,3,4}$ die Werte ${\displaystyle {}1,3,1,1,4}$, ist also nullstellenfrei und damit wieder irreduzibel.

c) Wir machen den Ansatz

${\displaystyle {}{\frac {1}{{\left(X^{2}+2\right)}{\left(X^{3}+X+1\right)}}}={\frac {aX+b}{X^{2}+2}}+{\frac {cX^{2}+dX+e}{X^{3}+X+1}}\,.}$

Durch Multiplikation mit dem Hauptnenner führt dies auf

${\displaystyle {}{\begin{aligned}1&=(aX+b)(X^{3}+X+1)+(cX^{2}+dX+e)(X^{2}+2)\\&=(a+c)X^{4}+(b+d)X^{3}+(a+e+2c)X^{2}+(a+b+2d)X+b+2e.\end{aligned}}}$

Also ist

${\displaystyle {}a+c=b+d=a+e+2c=a+b+2d=0\,}$

und

${\displaystyle {}b+2e=1\,.}$

Wir schreiben

${\displaystyle {}a=-c\,}$

und

${\displaystyle {}b=-d\,.}$

Einsetzen ergibt

${\displaystyle {}e+c=0\,}$

und

${\displaystyle {}-c+d=0\,.}$

Daher ist

${\displaystyle {}e+d=0\,}$

und

${\displaystyle {}-d+2e=1\,,}$

was zu

${\displaystyle {}3e=1\,,}$

also

${\displaystyle {}e=3^{-1}=2\,}$

führt. Damit ist

${\displaystyle {}e=a=b=2\,}$

und

${\displaystyle {}c=d=3\,.}$

Die Partialbruchzerlegung ist also

${\displaystyle {}{\frac {1}{{\left(X^{2}+2\right)}{\left(X^{3}+X+1\right)}}}={\frac {2X+2}{X^{2}+2}}+{\frac {3X^{2}+3X+2}{X^{3}+X+1}}\,.}$

Löse das lineare Gleichungssystem

${\displaystyle {}4x-5y+7z=-3\,,}$

${\displaystyle {}-2x+4y+3z=9\,,}$

${\displaystyle {}x=-2\,.}$

Wir setzen die dritte Gleichung in die beiden ersten Gleichungen ein und erhalten

${\displaystyle {}-5y+7z=5\,}$

und

${\displaystyle {}4y+3z=5\,.}$

Wir addieren das Vierfache der ersten mit dem Fünffachen der zweiten Gleichung und erhalten

${\displaystyle {}43z=45\,.}$

Somit ist

${\displaystyle {}z={\frac {45}{43}}\,}$

und

${\displaystyle {}y={\frac {5-3z}{4}}={\frac {215-135}{172}}={\frac {80}{172}}={\frac {20}{43}}\,.}$

Die einzige Lösung des Gleichungssystems ist somit

${\displaystyle \left(-2,\,{\frac {20}{43}},\,{\frac {45}{43}}\right).}$

Es sei ${\displaystyle {}K}$ ein Körper und ${\displaystyle {}V}$ ein ${\displaystyle {}K}$- Vektorraum mit endlicher Dimension

${\displaystyle {}n=\dim _{K}{\left(V\right)}\,.}$

Es seien ${\displaystyle {}n}$ Vektoren ${\displaystyle {}v_{1},\ldots ,v_{n}}$ in ${\displaystyle {}V}$ gegeben. Zeige, dass die folgenden Eigenschaften äquivalent sind.

1. ${\displaystyle {}v_{1},\ldots ,v_{n}}$ bilden eine Basis von ${\displaystyle {}V}$.
2. ${\displaystyle {}v_{1},\ldots ,v_{n}}$ bilden ein Erzeugendensystem von ${\displaystyle {}V}$.
3. ${\displaystyle {}v_{1},\ldots ,v_{n}}$ sind linear unabhängig.

Eine Basis ist insbesondere ein Erzeugendensystem und linear unabhängig, deshalb folgt sowohl (2) als auch (3) aus (1). Es sei (2) erfüllt, d.h. ${\displaystyle {}v_{1},\ldots ,v_{n}}$ ist ein Erzeugendensystem. Wenn es keine Basis wäre, so wäre dieses System nach Satz 20.8 (Elemente der Algebra (Osnabrück 2024-2025)) kein minimales Erzeugendensystem und man könnte Vektoren herausnehmen, und es würde ein Erzeugendensystem bleiben. Dies widerspricht der Wohldefiniertheit der Dimension. Es sei (3) erfüllt, d.h. ${\displaystyle {}v_{1},\ldots ,v_{n}}$ ist ein System aus linear unabhängigen Vektoren. Wenn es keine Basis wäre, so wäre es nach Satz 20.8 (Elemente der Algebra (Osnabrück 2024-2025)) nicht maximal linear unabhängig, und man könnte es durch Hinzunahme von einem Vektor zu einem größeren linear unabhängigen System vergrößern. Auch dies wiederspricht der Wohldefiniertheit der Dimension.

Sind die beiden ${\displaystyle {}\mathbb {R} }$- Algebren

${\displaystyle {}A=\mathbb {R} [X]/{\left(X^{2}-X+5\right)}\,}$

und

${\displaystyle {}B=\mathbb {R} [Y]/{\left(Y^{2}+3Y+1\right)}\,}$

zueinander isomorph?

Es ist

${\displaystyle {}X^{2}-X+5={\left(X-{\frac {1}{2}}\right)}^{2}-{\frac {1}{4}}+5={\left(X-{\frac {1}{2}}\right)}^{2}+{\frac {19}{4}}\,,}$

dieses Polynom hat also keine reelle Nullstelle. Daher ist das Polynom irreduzibel nach Lemma 6.9 (Elemente der Algebra (Osnabrück 2024-2025)) und somit ist der Restklassenring ${\displaystyle {}A=\mathbb {R} [X]/{\left(X^{2}-X+5\right)}}$ nach Satz 15.1 (Elemente der Algebra (Osnabrück 2024-2025)) ein Körper. Es ist

${\displaystyle {}Y^{2}+3Y+1={\left(Y+{\frac {3}{2}}\right)}^{2}-{\frac {9}{4}}+1={\left(Y+{\frac {3}{2}}\right)}^{2}-{\frac {5}{4}}\,,}$

daher hat dieses Polynom reelle Nullstellen und ist nicht irreduzibel. Daher ist der Restklasenring ${\displaystyle {}\mathbb {R} [Y]/{\left(Y^{2}+3Y+1\right)}}$ kein Körper. Die beiden Ringe sind also nicht isomorph.

Bestimme die Schnittpunkte des Einheitskreises mit der durch

${\displaystyle {}y={\frac {1}{7}}\,}$

gegebenen Geraden.

Der Einheitskreis ist durch

${\displaystyle {}x^{2}+y^{2}=1\,}$

gegeben. Darin setzen wir

${\displaystyle {}y={\frac {1}{7}}\,}$

ein und erhalten

${\displaystyle {}x^{2}+{\frac {1}{49}}=1\,.}$

Also ist

${\displaystyle {}x^{2}={\frac {48}{49}}\,}$

und damit

${\displaystyle {}{\begin{aligned}x_{1,2}&=\pm {\frac {\sqrt {48}}{7}}\\&=\pm {\frac {4\cdot {\sqrt {3}}}{7}}.\end{aligned}}}$

Die Schnittpunkte sind also ${\displaystyle {}\left({\frac {4\cdot {\sqrt {3}}}{7}},\,{\frac {1}{7}}\right)}$ und ${\displaystyle {}\left(-{\frac {4\cdot {\sqrt {3}}}{7}},\,{\frac {1}{7}}\right)}$.

Finde die primitiven Einheitswurzeln in ${\displaystyle {}\mathbb {Z} /(5)}$.

${\displaystyle {}1}$ und ${\displaystyle {}-1=4}$ sind keine primitiven Einheitswurzeln, da ihre Ordnungen ${\displaystyle {}1}$ bzw. ${\displaystyle {}2}$ sind. Wegen

${\displaystyle {}2^{2}=4\neq 1\,}$

und

${\displaystyle {}3^{2}=4\neq 1\,}$

ist die Ordnung von ${\displaystyle {}2}$ und von ${\displaystyle {}3}$ gleich ${\displaystyle {}4}$, d.h. dass ${\displaystyle {}2}$ und ${\displaystyle {}3}$ primitive Einheitswurzeln sind.

Beschreibe verschiedene intellektuelle Entwicklungsstufen, wie man eine Ebene verstehen kann.