Kurs:Zahlentheorie (Osnabrück 2008)/Arbeitsblatt 5/latex

Aus Wikiversity




\inputaufgabe
{3}
{

Bestimme die multiplikative \definitionsverweis {Ordnung}{}{} aller \definitionsverweis {Einheiten}{}{} im \definitionsverweis {Restklassenkörper}{}{} $\Z/(11)$.

}
{} {}




\inputaufgabe
{3}
{

Finde \definitionsverweis {primitive Einheiten}{}{} in den \definitionsverweis {Restklassenkörpern}{}{}
\mathl{\Z/(13)}{,}
\mathl{\Z/(17)}{} und $\Z/(19)$.

}
{} {}




\inputaufgabe
{2}
{

Berechne die Restklasse von
\mathl{2^{1563}}{} modulo $23$.

}
{} {}




\inputaufgabe
{4}
{

Es sei $p$ eine ungerade Primzahl. Beweise unter Verwendung des Satzes von Wilson, dass
\mathdisp {1^2 \cdot 3^2 \cdot 5^2 \cdots (p-4)^2 \cdot (p-2)^2 =(-1)^{\frac{p+1}{2} } \mod p} { }
gilt.

}
{} {}




\inputaufgabe
{3}
{

Zeige, dass die \definitionsverweis {eulersche Funktion}{}{}
\mathl{\varphi}{} für natürliche Zahlen $n,m$ die Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ {\varphi (\operatorname{ggT} (m,n))} \cdot {\varphi ( \operatorname{kgV} (m,n))} }
{ =} {{\varphi (n)} \cdot {\varphi (m)} }
{ } { }
{ } { }
{ } { }
} {}{}{} erfüllt.

}
{} {}




\inputaufgabe
{3}
{

Beweise die \stichwort {eulersche Formel} {} für die \definitionsverweis {eulersche Funktion}{}{,} das ist die Aussage, dass
\mavergleichskettedisp
{\vergleichskette
{ {\varphi (n)} }
{ =} { n \cdot \prod_{ p{{|}} n,\ p \text{ prim} } { \left( 1-{ \frac{ 1 }{ p } } \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}




\inputaufgabe
{5}
{

Bestimme die \definitionsverweis {nilpotenten}{}{} Elemente, die \definitionsverweis {idempotenten }{}{} Elemente und die \definitionsverweis {Einheiten }{}{} in
\mathl{{\mathbb Z}/(72)}{.}

}
{} {}




\inputaufgabe
{2}
{

Beweise ausschließlich durch Anzahlbetrachtungen Lemma 5.9, dass also der kanonische Homomorphismus
\mathl{(\Z/(p^r))^\times \rightarrow (\Z/(p))^\times}{} surjektiv ist ($p$ Primzahl).

}
{} {}




\inputaufgabe
{4}
{

Zeige, dass für natürliche Zahlen $k$ und $n$ mit
\mathl{k \,{{|}} \, n}{} der kanonische Homomorphismus \maabbdisp {} { { \left( \Z/(n) \right) } ^{\times} } { { \left( \Z/(k) \right) } ^{\times} } {} surjektiv ist.

}
{} {}




\inputaufgabe
{4}
{

Es sei $n$ eine natürliche Zahl. Charakterisiere diejenigen Teiler $k$ von $n$ mit der Eigenschaft, dass für den kanonischen Ringhomomorphismus \maabbdisp {\varphi} { \Z/(n) } { \Z/(k) } {} gilt, dass $a$ in $\Z/(n)$ genau dann eine \definitionsverweis {Einheit}{}{} ist, wenn $\varphi(a)$ in $\Z/(k)$ eine Einheit ist.

}
{} {}




\inputaufgabe
{4}
{

Es sei $p$ eine fixierte Primzahl. Zu jeder ganzen Zahl
\mavergleichskette
{\vergleichskette
{ n }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} bezeichne $\nu_p(n)$ den Exponenten, mit dem die Primzahl $p$ in der Primfaktorzerlegung von $n$ vorkommt.

a) Zeige: die Abbildung \maabb {\nu_p} { \Z \setminus \{0\} } { \N } {} ist surjektiv.

b) Zeige: es gilt
\mavergleichskette
{\vergleichskette
{ \nu_p(nm) }
{ = }{ \nu_p (n)+ \nu_p(m) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

c) Finde eine Fortsetzung \maabb {\nu_p} { \Q \setminus \{0\} } { \Z } {} der gegebenen Abbildung, die ein Gruppenhomomorphismus ist \zusatzklammer {wobei
\mavergleichskettek
{\vergleichskettek
{ \Q^{\times} }
{ = }{ \Q \setminus \{0\} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit der Multiplikation und $\Z$ mit der Addition versehen ist} {} {.}

d) Beschreibe den Kern des unter c) beschriebenen Gruppenhomomorphismus.

}
{} {}




\inputaufgabe
{3}
{

Es sei
\mavergleichskette
{\vergleichskette
{ \omega }
{ = }{ \frac{-1+ \sqrt{-3} }{2} }
{ = }{ \frac{-1+ \sqrt{3} { \mathrm i} }{2} }
{ }{ }
{ }{ }
} {}{}{.} Betrachte die beiden Unterringe
\mavergleichskettedisp
{\vergleichskette
{ R }
{ =} { \Z[\sqrt{-3}] }
{ \subset} {\Z[\omega] }
{ =} { S }
{ } { }
} {}{}{} der komplexen Zahlen \zusatzklammer {$S$ ist also der Ring der \definitionsverweis {Eisensteinzahlen}{}{}} {} {.} Finde ein Beispiel von zwei Elementen in $R$, die in $R$ nicht assoziiert sind, wohl aber in $S$. Man gebe daran anschließend ein Beispiel eines \definitionsverweis {irreduziblen Elementes}{}{} in $R$, das nicht \definitionsverweis {prim}{}{} ist (in $R$). Ist es prim in $S$?

}
{} {}

Für eine Lösung des folgenden Collatz-Problems haben verschiedene Autoren einen Preis ausgesetzt. Lösungen bitte an die Autoren. Für akzeptierte und prämierte Erstlösungen gibt es hier zusätzlich 160 Punkte, und Sie wären damit automatisch zur Klausur zugelassen.




\inputaufgabe
{200}
{

Für positive ganze Zahlen $n$ betrachten wir folgenden Algorithmus. \einrueckung{Wenn $n$ gerade ist, so ersetze $n$ durch die Hälfte.} \einrueckung{Wenn $n$ ungerade ist, so multipliziere $n$ mit $3$ und addiere dann $1$ dazu.} Frage \zusatzklammer {Collatz-Problem} {} {:} Ist es wahr, dass man bei jeder Startzahl $n$ früher oder später bei $1$ landet?

}
{} {}