Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Arbeitsblatt 23/latex
\setcounter{section}{23}
\zwischenueberschrift{Übungsaufgaben}
\inputaufgabegibtloesung
{}
{
Bestimme das
\definitionsverweis {Minimalpolynom}{}{}
der
\definitionsverweis {komplexen Zahl}{}{}
\mathl{2+5 { \mathrm i}}{} über $\Q$.
}
{} {}
\inputaufgabe
{}
{
Bestimme das
\definitionsverweis {Minimalpolynom}{}{}
der
\definitionsverweis {komplexen Zahl}{}{}
\mathl{\sqrt{2}-\sqrt{5}}{} über $\Q$.
}
{} {}
\inputaufgabe
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ K
}
{ \subseteq }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine \definitionsverweis {Körpererweiterung}{}{} und sei
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Polynom. Zeige: $P$ besitzt genau dann eine Nullstelle in $L$, wenn es einen
$K$-\definitionsverweis {Algebrahomomorphismus }{}{}
\maabb {} { K[X]/(P) } { L
} {}
gibt.
}
{} {}
\inputaufgabe
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ K
}
{ \subseteq }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Körpererweiterung}{}{}
und sei
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element. Zeige: $f$ ist genau dann
\definitionsverweis {algebraisch}{}{}
über $K$, wenn
\mavergleichskette
{\vergleichskette
{ K[f]
}
{ = }{ K(f)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}
{} {}
\inputaufgabegibtloesung
{}
{
Bestimme in $\Q[X]/(X^3-7)$ das \definitionsverweis {Inverse}{}{} von $3x+4$ \zusatzklammer {$x$ bezeichnet die Restklasse von $X$} {} {.}
}
{} {}
\inputaufgabegibtloesung
{}
{
Bestimme das Inverse von
\mathl{4x -7}{} im
\definitionsverweis {Körper}{}{}
\mathl{\Q[X]/ { \left( X^2-11 \right) }}{}
\zusatzklammer {$x$ bezeichnet die Restklasse von $X$} {} {}
über ein
\definitionsverweis {lineares Gleichungssystem}{}{}
im Sinne von
Bemerkung 23.7.
}
{} {}
\inputaufgabegibtloesung
{}
{
Es sei
\mathbed {z=a+b { \mathrm i} \in {\mathbb C}} {}
{a,b \in \R} {}
{} {} {} {,}
eine
\definitionsverweis {algebraische Zahl}{}{.}
Zeige, dass auch die konjugiert-komplexe Zahl
\mavergleichskette
{\vergleichskette
{ \overline{ z }
}
{ = }{ a-b { \mathrm i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sowie der Real- und der Imaginärteil von $z$ algebraisch sind. Man bestimme den
\definitionsverweis {Grad}{}{}
der
\definitionsverweis {Körpererweiterung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb A} \cap \R
}
{ \subseteq} { {\mathbb A}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabegibtloesung
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{\epsilon
}
{ = }{ { \frac{ -1+ \sqrt{3} { \mathrm i} }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die dritte komplexe Einheitswurzel. Wir betrachten die
\definitionsverweis {Körpererweiterung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \Q
}
{ \subseteq} {\Q[ \epsilon \sqrt[3]{7} ]
}
{ =} { L
}
{ \subseteq} { {\mathbb C}
}
{ } {
}
}
{}{}{.}
\aufzaehlungdreiabc{Bestimme das
\definitionsverweis {Minimalpolynom}{}{}
von $\epsilon \sqrt[3]{7}$.
}{Zeige, dass der
\definitionsverweis {Grad}{}{}
der Körpererweiterung
\mavergleichskette
{\vergleichskette
{\Q
}
{ \subseteq }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gleich $3$ ist.
}{Zeige, dass die
\definitionsverweis {komplexe Konjugation}{}{}
nicht $L$ in $L$ überführt.
}
}
{} {}
\inputaufgabe
{}
{
Zeige, dass die Menge der \definitionsverweis {algebraischen Zahlen}{}{} $\mathbb A$ keine \definitionsverweis {endliche Körpererweiterung}{}{} von $\Q$ ist.
}
{} {}
\inputaufgabe
{}
{
\aufzaehlungzweiabc{ Man gebe eine Gerade $G$ in der Ebene
\mavergleichskette
{\vergleichskette
{ \R^2
}
{ = }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
an, die keine algebraische Zahl enthält.
}{ Man gebe einen Kreis $K$ in der Ebene
\mavergleichskette
{\vergleichskette
{ \R^2
}
{ = }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
an, der keine algebraische Zahl enthält.
}
}
{} {}
\zwischenueberschrift{Aufgaben zum Abgeben}
\inputaufgabe
{2}
{
Bestimme in $\Q[\sqrt{ 11 }]$ das \definitionsverweis {Inverse}{}{} von $3 +5 \sqrt{ 11 }$.
}
{} {}
\inputaufgabe
{4}
{
Bestimme das
\definitionsverweis {Inverse}{}{}
von
\mathdisp {2
+3 \sqrt{5}
+\sqrt{7}
+3 \sqrt{35}} { }
im
\definitionsverweis {Körper}{}{}
$\Q[\sqrt{5}, \sqrt{7}]$.
}
{} {}
\inputaufgabe
{3}
{
Bestimme das Inverse von
\mathl{2x^2+3x-1}{} im
\definitionsverweis {Körper}{}{}
\mathl{\Q[X]/ { \left( X^3-5 \right) }}{}
\zusatzklammer {$x$ bezeichnet die Restklasse von $X$} {} {.}
}
{} {}
\inputaufgabe
{3}
{
Bestimme das Inverse von
\mathl{3x^2-4x +5}{} im
\definitionsverweis {Körper}{}{}
\mathl{\Q[X]/ { \left( X^3-7 \right) }}{}
\zusatzklammer {$x$ bezeichnet die Restklasse von $X$} {} {}
über ein
\definitionsverweis {lineares Gleichungssystem}{}{}
im Sinne von
Bemerkung 23.7.
}
{} {}
\inputaufgabe
{5}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und sei
\mavergleichskette
{\vergleichskette
{ L
}
{ = }{ K(X)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der
\definitionsverweis {rationale Funktionenkörper}{}{}
über $K$. Zeige, dass es zu jedem
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einen
\definitionsverweis {Ringhomomorphismus}{}{}
\maabb {\varphi} { L } { L
} {}
derart gibt, dass
\mavergleichskette
{\vergleichskette
{ L
}
{ \cong }{ \varphi(L)
}
{ \subseteq }{ L
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {endliche Körpererweiterung}{}{}
vom
\definitionsverweis {Grad}{}{}
$n$ ist.
}
{} {}
\inputaufgabe
{4}
{
Bestimme das
\definitionsverweis {Minimalpolynom}{}{}
der
\definitionsverweis {komplexen Zahl}{}{}
\mathl{2 { \mathrm i}-3 \sqrt{3}}{} über $\Q$.
}
{} {}