Kurs:Zahlentheorie (Osnabrück 2008)/Arbeitsblatt 21/latex
\inputaufgabe
{3}
{
Es sei $H$ eine (additive)
\definitionsverweis {Untergruppe}{}{}
der reellen Zahlen $\R$. Zeige, dass entweder
\mavergleichskette
{\vergleichskette
{H
}
{ = }{{\Z} a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einer eindeutig bestimmten nichtnegativen reellen Zahl $a$ ist, oder aber $H$
\definitionsverweis {dicht}{}{}
in $\R$ ist.
}
{} {}
\inputaufgabe
{2}
{
Es sei $p$ eine Primzahl und betrachte die quadratische Erweiterung
\mathl{{\mathbb Z}[ \sqrt{p}]}{.} Zeige, dass dies eine dichte Untergruppe der reellen Zahlen ist.
}
{} {}
\inputaufgabe
{2}
{
Charakterisiere für den Ring
\mavergleichskettedisp
{\vergleichskette
{R
}
{ =} { \Z[ \frac{-1+\sqrt{3} { \mathrm i} }{2}]
}
{ \cong} { \Z[Y]/(Y^2+Y+1)
}
{ } {
}
{ } {
}
}
{}{}{}
der
\definitionsverweis {Eisenstein-Zahlen}{}{}
die Primzahlen aus $\Z$, die in $R$ verzweigt sind, träge sind oder zerfallen.
}
{} {}
\inputaufgabe
{2}
{
Es sei
\mathl{A_{10}=\Z[\sqrt{10}]}{} der
\definitionsverweis {quadratische Zahlbereich}{}{}
zu
\mathl{D=10}{.} Bestimme gemäß
Satz 21.1
eine $\Z$-Basis des Ideals
\mathl{(3+4 \sqrt{10})}{} und bestimme damit die
\definitionsverweis {Norm des Ideals}{}{.}
}
{} {}
\inputaufgabe
{2}
{
Es sei
\mathl{R=A_{D}}{} ein
\definitionsverweis {quadratischer Zahlbereich}{}{}
und
\mathl{f \in R}{} mit
\mathl{(f) \cap \Z =(N(f))}{.} Zeige auf zwei verschiedene Arten, dass es
\zusatzklammer {mit der Notation des Beweises von
Satz 21.1} {} {}
eine $\Z$-Basis des Ideals $(f)$ gibt mit
\mathl{\beta=1}{.}
}
{} {}
\inputaufgabe
{2}
{
Es sei
\mathl{A_{-10}=\Z[\sqrt{-10}]}{} der
\definitionsverweis {quadratische Zahlbereich}{}{}
zu
\mathl{D=-10}{.} Zeige, dass das Ideal
\mathl{(6+5 \sqrt{-10}, 3 - 2 \sqrt{10})}{} ein
\definitionsverweis {Hauptideal}{}{}
ist und gebe einen Erzeuger an.
}
{} {}
\inputaufgabegibtloesung
{3}
{
Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{.}
Zeige unter Verwendung der
\definitionsverweis {Norm}{}{,}
dass jedes Element
\mathl{f \in R}{,}
\mathl{f \neq 0}{,} eine Faktorisierung in
\definitionsverweis {irreduzible Elemente}{}{}
besitzt.
}
{} {}
\inputaufgabe
{4}
{
Es sei ${\mathfrak a}$ ein \definitionsverweis {Ideal}{}{} in einem \definitionsverweis {kommutativen Ring}{}{} $R$. Zeige, dass ${\mathfrak a}$ genau dann ein \definitionsverweis {Primideal}{}{} ist, wenn ${\mathfrak a}$ der \definitionsverweis {Kern}{}{} eines \definitionsverweis {Ringhomomorphismus}{}{} \maabb {\varphi} {R} {K } {} in einen \definitionsverweis {Körper}{}{} $K$ ist.
}
{} {}
\inputaufgabegibtloesung
{2}
{
Es sei $R$ ein
\definitionsverweis {noetherscher}{}{,}
\definitionsverweis {kommutativer Ring}{}{.}
Zeige, dass dann auch jeder
\definitionsverweis {Restklassenring}{}{}
\mathl{R/{\mathfrak a}}{} noethersch ist.
}
{} {}
\inputaufgabe
{3}
{
Es sei $R$ ein vom Nullring verschiedener \definitionsverweis {kommutativer Ring}{}{.} Zeige unter Verwendung des \definitionsverweis {Lemmas von Zorn}{}{,} dass es \definitionsverweis {maximale Ideale}{}{} in $R$ gibt.
}
{} {}
\inputaufgabe
{8}
{
Eine (Fußball-)Spielgruppe bei einer Europa- oder Weltmeisterschaft besteht aus vier Mannschaften, und jede spielt gegen jede. Ein Spiel kann unentschieden oder mit einem Sieg für eine der beiden Mannschaften enden. Wir interessieren uns für die diskrete Struktur einer Spielgruppe, die man durch einen gerichteten Graphen beschreiben kann, wobei man einen Sieg von $A$ über $B$ durch einen Pfeil von $A$ nach $B$ (und ein Unentschieden durch keine Verbindung) ausdrücken kann.
Definiere einen Isomorphiebegriff für Spielgruppen und klassifiziere die Spielgruppen entlang geeigneter numerischer Invarianten. Wie viele Spielgruppen gibt es? Aus welchen Isomorphietypen lässt sich die Tabellenordnung ableiten, aus welchen nicht?
}
{} {}