Kurs:Zahlentheorie (Osnabrück 2025)/Arbeitsblatt 16/latex
\setcounter{section}{16}
\zwischenueberschrift{Übungsaufgaben}
\inputaufgabe
{}
{
Berechne die
\definitionsverweis {Diskriminante}{}{}
zur
\definitionsverweis {Körpererweiterung}{}{}
\mavergleichskettedisp
{\vergleichskette
{\Q
}
{ \subseteq} { \Q[ { \mathrm i} ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zur Basis
\mathkor {} {1} {und} {{ \mathrm i}} {}
und zur Basis
\mathkor {} {2-5 { \mathrm i}} {und} {4+7 { \mathrm i}} {.}
}
{} {}
\inputaufgabegibtloesung
{}
{
Berechne explizit die
\definitionsverweis {Diskriminante}{}{}
des
\definitionsverweis {quadratischen Zahlbereichs}{}{}
$A_{-7}$. Stelle die Multiplikationsmatrix bezüglich einer geeigneten Basis für das Element
\mavergleichskettedisp
{\vergleichskette
{ f
}
{ =} { \frac{3}{2} + \frac{5}{2} \sqrt{-7}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auf und berechne damit die Spur und die Norm von $f$.
}
{} {}
\inputaufgabe
{}
{
Es sei $p$ eine Primzahl und sei
\mavergleichskettedisp
{\vergleichskette
{ L
}
{ =} { \Q[X]/ { \left( X^3-p \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der durch das irreduzible Polynom
\mathl{X^3-p}{} definierte Erweiterungskörper von $\Q$. Es sei
\mavergleichskettedisp
{\vergleichskette
{ f
}
{ =} { 2+3x-4x^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\aufzaehlungfuenfabc{Finde die Matrix bezüglich der $\Q$-Basis
\mathl{1,x,x^2}{} von $L$ der durch die Multiplikation mit $f$ definierten $\Q$-linearen Abbildung.
}{Berechne die
\definitionsverweis {Norm}{}{}
und die Spur von $f$.
}{Bestimme das
\definitionsverweis {Minimalpolynom}{}{}
von $f$.
}{Finde das Inverse von $f$.
}{Berechne die
\definitionsverweis {Diskriminante}{}{}
der Basis
\mathl{1,f,f^2}{.}
}
}
{} {}
\inputaufgabe
{}
{
Beweise Lemma 16.6 unter der zusätzlichen Voraussetzung, dass $L$ von $z$ erzeugt wird.
}
{} {}
\inputaufgabe
{}
{
Es sei $G$ eine \definitionsverweis {kommutative Gruppe}{}{.} Zeige, dass $G$ auf genau eine Weise die Struktur eines $\Z$-\definitionsverweis {Moduls}{}{} trägt. Kommutative Gruppen und $\Z$-Moduln sind also äquivalente Objekte.
}
{} {}
\inputaufgabe
{}
{
Es seien $R$ und $A$
\definitionsverweis {kommutative Ringe}{}{.}
Zeige, dass $A$ genau dann eine
$R$-\definitionsverweis {Algebra}{}{}
ist, wenn $A$ ein
$R$-\definitionsverweis {Modul}{}{}
ist, für den zusätzlich
\mathdisp {r (ab) =(ra)b \text{ für alle } r \in R,\, a,b \in A} { }
gilt.
}
{} {}
\inputaufgabe
{}
{
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.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass jeder \definitionsverweis {Restklassenring}{}{} eines \definitionsverweis {Hauptidealringes}{}{} wieder ein Hauptidealring ist. Man gebe ein Beispiel, dass ein Restklassenring eines \definitionsverweis {Hauptidealbereiches}{}{} kein Hauptidealbereich sein muss.
}
{} {}
Ein
\definitionsverweis {Ideal}{}{}
${\mathfrak a}$ in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ heißt \definitionswort {Radikal}{}
\zusatzklammer {oder \definitionswort {Radikalideal}{}} {} {,}
wenn folgendes gilt: Falls
\mavergleichskette
{\vergleichskette
{ f^n
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist für ein
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so ist bereits
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputaufgabe
{}
{
}
{} {}
\inputaufgabegibtloesung
{}
{
Zeige, dass ein \definitionsverweis {Ideal}{}{} ${\mathfrak a}$ in einem \definitionsverweis {kommutativen Ring}{}{} $R$ genau dann ein \definitionsverweis {Radikal}{}{} ist, wenn der \definitionsverweis {Restklassenring}{}{} $R/ {\mathfrak a}$ \definitionsverweis {reduziert}{}{} ist.
}
{} {}
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Ideal}{}{.}
Dann nennt man die Menge
\mathdisp {{ \left\{ f \in R \mid \text{es gibt ein } r \text{ mit } f^r \in {\mathfrak a} \right\} }} { }
das \definitionswort {Radikal}{} zu ${\mathfrak a}$. Es wird mit
\mathl{\operatorname{rad} { \left( {\mathfrak a} \right) }}{} bezeichnet.
\inputaufgabe
{}
{
Bestimme in $\Z$ das
\definitionsverweis {Radikal}{}{}
zum
\definitionsverweis {Ideal}{}{}
\mathl{\Z 27}{.}
}
{} {}
\inputaufgabe
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und
\mavergleichskette
{\vergleichskette
{ S
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Unterring}{}{.}
Bestätige oder widerlege die folgenden Aussagen.
\aufzaehlungvier{Zu einem
\definitionsverweis {Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mathl{{\mathfrak a} \cap S}{} ein Ideal
\zusatzklammer {in $S$} {} {.}
}{Zu einem
\definitionsverweis {Radikal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mathl{{\mathfrak a} \cap S}{} ein Radikal.
}{Zu einem
\definitionsverweis {Primideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mathl{{\mathfrak a} \cap S}{} ein Primideal.
}{Zu einem
\definitionsverweis {maximalen Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mathl{{\mathfrak a} \cap S}{} ein maximales Ideal.
}
}
{} {}
\zwischenueberschrift{Aufgaben zum Abgeben}
\inputaufgabe
{8 (1+1+2+2+2)}
{
Es sei $p$ eine Primzahl und sei
\mavergleichskettedisp
{\vergleichskette
{ L
}
{ =} { \Q[X]/ { \left( X^3-p \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der durch das irreduzible Polynom
\mathl{X^3-p}{} definierte Erweiterungskörper von $\Q$. Es sei
\mavergleichskettedisp
{\vergleichskette
{ f
}
{ =} { 2+3x-4x^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\aufzaehlungfuenfabc{Finde die Matrix bezüglich der $\Q$-Basis
\mathl{1,x,x^2}{} von $L$ der durch die Multiplikation mit $f$ definierten $\Q$-linearen Abbildung.
}{Berechne die
\definitionsverweis {Norm}{}{}
und die Spur von $f$.
}{Bestimme das
\definitionsverweis {Minimalpolynom}{}{}
von $f$.
}{Finde das Inverse von $f$.
}{Berechne die
\definitionsverweis {Diskriminante}{}{}
der Basis
\mathl{1,f,f^2}{.}
}
}
{} {}
\inputaufgabe
{3}
{
Es sei
\mathl{(G,+,0)}{} eine
\definitionsverweis {kommutative Gruppe}{}{.}
Es sei
\mavergleichskettedisp
{\vergleichskette
{ E
}
{ \defeq} { \operatorname{End} (G)
}
{ =} { \operatorname{Hom} (G,G)
}
{ } {
}
{ } {
}
}
{}{}{}
die Menge der
\definitionsverweis {Gruppenhomomorphismen}{}{}
von $G$ nach $G$
\zusatzklammer {also die Gruppenendomorphismen auf $G$} {} {.}
Definiere auf $E$ eine Addition und eine Multiplikation derart, dass $E$ zu einem
\zusatzklammer {in der Regel nicht kommutativen} {} {}
Ring wird.
}
{} {}
\inputaufgabe
{3}
{
Es sei
\mathl{(M,+,0)}{} eine
\definitionsverweis {kommutative Gruppe}{}{}
und sei
\mavergleichskette
{\vergleichskette
{ E
}
{ = }{ \operatorname{End}_{\Z} (M)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der zugehörige
\definitionsverweis {Endomorphismenring}{}{.}
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{.}
Zeige, dass eine $R$-Modulstruktur auf $M$ äquivalent ist zu einem Ringhomomorphismus
\mathl{R \rightarrow \operatorname{End}_{\Z} (M)}{.}
}
{} {}
\inputaufgabe
{4}
{
Es seien $R$ und $S$
\definitionsverweis {kommutative Ringe}{}{}
und sei
\maabb {\varphi} { R } { S
} {}
ein
\definitionsverweis {Ringhomomorphismus}{}{.}
Es sei ${\mathfrak p}$ ein
\definitionsverweis {Primideal}{}{}
in $S$. Zeige, dass das Urbild
\mathl{\varphi^{-1}( {\mathfrak p} )}{} ein Primideal in $R$ ist.
Zeige durch ein Beispiel, dass das Urbild eines \definitionsverweis {maximalen Ideales}{}{} kein maximales Ideal sein muss.
}
{} {}
\inputaufgabe
{3}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \neq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Ideal}{}{}
in $R$. Zeige: ${\mathfrak a}$ ist genau dann ein
\definitionsverweis {maximales Ideal}{}{,}
wenn es zu jedem
\mathbed {g \in R} {}
{g \not\in \mathfrak a} {}
{} {} {} {,}
ein
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und ein
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ rg+f
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
{} {}