Zum Inhalt springen

Kurs:Elemente der Algebra (Osnabrück 2015)/Arbeitsblatt 7/latex

Aus Wikiversity

\setcounter{section}{7}






\zwischenueberschrift{Übungsaufgaben}




\inputaufgabe
{}
{


a) Zeige, dass ein \definitionsverweis {Ideal}{}{} in einem \definitionsverweis {kommutativen Ring}{}{} $R$ eine \definitionsverweis {Untergruppe}{}{} von $R$ ist.


b) Zeige, dass für
\mavergleichskette
{\vergleichskette
{ R }
{ = }{ \Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Begriffe Untergruppe und Ideal zusammenfallen.


c) Man gebe eine Beispiel für einen kommutativen Ring $R$ und eine Untergruppe
\mavergleichskette
{\vergleichskette
{ U }
{ \subseteq }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} die kein Ideal ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $K$ ein Körper und
\mavergleichskette
{\vergleichskette
{ d }
{ \in }{ \N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass die Menge
\mathdisp {{ \left\{ P= \sum_{i= 0 }^n a_iX^{i} \in K[X] \mid a_0 = a_1 = \ldots = a_d = 0 \right\} }} { }
ein \definitionsverweis {Ideal}{}{} in
\mathl{K[X]}{} ist. Ist es ein \definitionsverweis {Hauptideal}{}{?}

}
{} {}




\inputaufgabegibtloesung
{}
{

Zeige, dass im \definitionsverweis {Polynomring}{}{}
\mathl{K[X,Y]}{} über einem Körper $K$ das \definitionsverweis {Ideal}{}{}
\mathl{(X,Y)}{} kein \definitionsverweis {Hauptideal}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $R$ ein \definitionsverweis {kommutativer Ring}{}{} und seien
\mathbed {{\mathfrak a}_j} {}
{j \in J} {}
{} {} {} {,} eine Familie von \definitionsverweis {Idealen}{}{.} Zeige, dass der Durchschnitt
\mathl{\bigcap_{j \in J} {\mathfrak a}_j}{} wieder ein Ideal ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $R$ ein \definitionsverweis {kommutativer Ring}{}{} und sei
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a}_1 }
{ \subseteq} { {\mathfrak a}_2 }
{ \subseteq} { {\mathfrak a}_3 }
{ \subseteq} {\ldots }
{ } { }
} {}{}{} eine aufsteigende Kette von \definitionsverweis {Idealen}{}{.} Zeige, dass die \definitionsverweis {Vereinigung}{}{}
\mathl{\bigcup_{n \in \N} {\mathfrak a}_n}{} ebenfalls ein Ideal ist. Zeige durch ein einfaches Beispiel, dass die Vereinigung von Idealen im Allgemeinen kein Ideal sein muss.

}
{} {}




\inputaufgabe
{}
{

Es sei $R$ ein \definitionsverweis {kommutativer Ring}{}{} und
\mavergleichskette
{\vergleichskette
{ a,b }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige folgende Aussagen. \aufzaehlungvier{Das Element $a$ ist ein \definitionsverweis {Teiler}{}{} von $b$ (also
\mathl{a {{|}} b}{),} genau dann, wenn
\mavergleichskette
{\vergleichskette
{ (b) }
{ \subseteq }{ (a) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{$a$ ist eine \definitionsverweis {Einheit}{}{} genau dann, wenn
\mavergleichskette
{\vergleichskette
{ (a) }
{ = }{ R }
{ = }{ (1) }
{ }{ }
{ }{ }
} {}{}{.} }{Jede Einheit teilt jedes Element. }{Teilt $a$ eine Einheit, so ist $a$ selbst eine Einheit. }

}
{} {}




\inputaufgabe
{}
{

Es sei $R$ ein \definitionsverweis {kommutativer Ring}{}{,}
\mavergleichskette
{\vergleichskette
{ a_1 , \ldots , a_k }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak b} }
{ =} { (a_1) \cap (a_2) \cap \ldots \cap (a_k) }
{ } { }
{ } { }
{ } { }
} {}{}{} der Durchschnitt der zugehörigen Hauptideale und
\mavergleichskette
{\vergleichskette
{ r }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass $r$ ein \definitionsverweis {gemeinsames Vielfaches}{}{} von
\mavergleichskette
{\vergleichskette
{ a_1 , \ldots , a_k }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} genau dann ist, wenn
\mavergleichskette
{\vergleichskette
{ (r) }
{ \subseteq }{ {\mathfrak b} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Zeige, dass das \definitionsverweis {Produkt}{}{} von \definitionsverweis {Hauptidealen}{}{} wieder ein Hauptideal ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $R$ ein \definitionsverweis {kommutativer Ring}{}{} und sei $M$ die Menge aller \definitionsverweis {Ideale}{}{} in $R$, die wir mit den beiden \definitionsverweis {Verknüpfungen}{}{} \definitionsverweis {Summe von Idealen}{}{} und \definitionsverweis {Produkt von Idealen}{}{} versehen. Welche \definitionsverweis {Ringaxiome}{}{} gelten dafür?

}
{} {}




\inputaufgabegibtloesung
{}
{

Es seien \mathkor {} {I} {und} {J} {} \definitionsverweis {Ideale}{}{} in einem \definitionsverweis {kommutativen Ring}{}{} $R$ und sei
\mavergleichskette
{\vergleichskette
{ 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 }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{} {}

Ein homogenes Polynom
\mathl{P\in K[X_1 , \ldots , X_n]}{} ist ein Polynom, bei dem alle beteiligten Monome den gleichen Summengrad besitzen.


\inputaufgabe
{}
{

Es sei $R$ ein kommutativer Ring und
\mavergleichskette
{\vergleichskette
{ P }
{ = }{ R[X_1 , \ldots , X_m] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} der Polynomring darüber in $m$ Variablen. Es sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak m} }
{ = }{ (X_1 , \ldots , X_m) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} das von den Variablen erzeugte Ideal. Zeige, dass
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}^n }
{ = }{ P_{\geq n} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, wobei $P_{\geq n}$ das Ideal in $P$ bezeichnet, das von allen homogenen Polynomen vom Grad $\geq n$ erzeugt wird.

}
{} {}




\inputaufgabe
{}
{

Bestimme für $\Z$ die \definitionsverweis {Radikale}{}{,} die \definitionsverweis {Primideale}{}{} und die \definitionsverweis {maximalen Ideale}{}{.}

}
{} {}




\inputaufgabe
{}
{

Bestimme in $\Z$ das \definitionsverweis {Radikal}{}{} zum \definitionsverweis {Ideal}{}{}
\mathl{\Z 27}{.}

}
{} {}




\inputaufgabe
{}
{

Zeige, dass ein Primideal ein Radikal ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $R$ ein \definitionsverweis {Integritätsbereich}{}{} und sei
\mavergleichskette
{\vergleichskette
{0 }
{ \neq }{ p }
{ \in }{ R }
{ }{ }
{ }{ }
} {}{}{} keine \definitionsverweis {Einheit}{}{.} Dann ist $p$ genau dann ein Primelement, wenn das von $p$ \definitionsverweis {erzeugte Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ (p) }
{ \subset }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Primideal}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{,}
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über
\mathl{K}{} und
\mavergleichskette
{\vergleichskette
{ P }
{ = }{ aX+b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein lineares Polynom \zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ a }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {.} Zeige, dass das \definitionsverweis {Hauptideal}{}{} \definitionsverweis {maximal}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{,}
\mathl{K[X,Y]}{} der \definitionsverweis {Polynomring}{}{} über
\mathl{K}{} und
\mavergleichskette
{\vergleichskette
{ a,b }
{ \in }{ K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} Elemente. Zeige, dass die Menge
\mavergleichskettedisp
{\vergleichskette
{{\mathfrak m} }
{ =} {{ \left\{ P \in K[X,Y] \mid P(a,b) = 0 \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} ein \definitionsverweis {maximales Ideal}{}{} in
\mathl{K[X,Y]}{} ist.

}
{} {}






\zwischenueberschrift{Aufgaben zum Abgeben}




\inputaufgabe
{4}
{

Zeige, dass im \definitionsverweis {Polynomring}{}{}
\mathl{\Z[X]}{} das \definitionsverweis {Ideal}{}{}
\mathl{(X,5)}{} kein \definitionsverweis {Hauptideal}{}{} ist.

}
{} {}




\inputaufgabe
{4}
{

Es sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \subseteq }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Ideal}{}{} in einem \definitionsverweis {kommutativen Ring}{}{} $R$. Zeige, dass die \definitionsverweis {Potenzen}{}{}
\mathl{{\mathfrak a}^n,\, n \in \N_+}{,} alle dasselbe \definitionsverweis {Radikal}{}{} besitzen.

}
{} {}




\inputaufgabe
{4}
{

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.

}
{} {}




\inputaufgabe
{4}
{

Zeige, dass ein \definitionsverweis {maximales Ideal}{}{} ${\mathfrak m}$ in einem \definitionsverweis {kommutativen Ring}{}{} $R$ ein \definitionsverweis {Primideal}{}{} ist.

}
{} {}


<< | Kurs:Elemente der Algebra (Osnabrück 2015) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)