Kurs:Algebraische Kurven/6/Klausur mit Lösungen/latex
%Daten zur Institution
%\input{Dozentdaten}
%\renewcommand{\fachbereich}{Fachbereich}
%\renewcommand{\dozent}{Prof. Dr. . }
%Klausurdaten
\renewcommand{\klausurgebiet}{ }
\renewcommand{\klausurtyp}{ }
\renewcommand{\klausurdatum}{ . 20}
\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}
%Daten für folgende Punktetabelle
\renewcommand{\aeins}{ 3 }
\renewcommand{\azwei}{ 3 }
\renewcommand{\adrei}{ 4 }
\renewcommand{\avier}{ 3 }
\renewcommand{\afuenf}{ 3 }
\renewcommand{\asechs}{ 6 }
\renewcommand{\asieben}{ 5 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 3 }
\renewcommand{\azehn}{ 4 }
\renewcommand{\aelf}{ 5 }
\renewcommand{\azwoelf}{ 5 }
\renewcommand{\adreizehn}{ 3 }
\renewcommand{\avierzehn}{ 5 }
\renewcommand{\afuenfzehn}{ 4 }
\renewcommand{\asechzehn}{ 5 }
\renewcommand{\asiebzehn}{ 64 }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesechzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabepunkteloesung
{3}
{
Definiere die folgenden
\zusatzklammer {kursiv gedruckten} {} {} Begriffe.
\aufzaehlungsechs{Der
\stichwort {Grad} {}
eines Polynoms
\mathl{F \in K[X_1 , \ldots , X_n]}{.}
}{Die \stichwort {affin-lineare Äquivalenz} {} von
\definitionsverweis {affin-algebraischen Mengen}{}{}
\mavergleichskette
{\vergleichskette
{ V, \tilde{V}
}
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Der \stichwort {Koordinatenring} {} zu einer
\definitionsverweis {affin-algebraischen Menge}{}{}
\mavergleichskette
{\vergleichskette
{V
}
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Das \stichwortpraemath {K} {Spektrum}{} zu einer kommutativen $K$-\definitionsverweis {Algebra}{}{} $R$.
}{Ein \stichwort {diskreter Bewertungsring} {.}
}{Eine \stichwort {projektive ebene Kurve} {.} }
}
{
\aufzaehlungsechs{Zu einem Polynom
\mathl{F = \sum_{\nu} a_\nu X^\nu \neq 0}{} heißt das Maximum
\mathdisp {\max\{ | \nu |: \, a_\nu \neq 0 \}} { }
der Grad von $F$.
}{Die beiden
\definitionsverweis {affin-algebraische Mengen}{}{}
\mavergleichskette
{\vergleichskette
{ V, \tilde{V}
}
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißen affin-linear äquivalent, wenn es eine
\definitionsverweis {affin-lineare Variablentransformation}{}{}
\maabb {\varphi} { { {\mathbb A}_{ K }^{ n } } } { { {\mathbb A}_{ K }^{ n } }
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ \varphi^{-1}(V)
}
{ =} {\tilde{V}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}{Zu
\mavergleichskette
{\vergleichskette
{V
}
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\definitionsverweis {Verschwindungsideal}{}{}
\mathl{\operatorname{Id} \, (V)}{} nennt man
\mavergleichskette
{\vergleichskette
{R(V)
}
{ = }{ K[X_1 , \ldots , X_n]/\operatorname{Id} \, (V)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den \stichwort {Koordinatenring} {} von $V$.
}{Unter dem Spektrum versteht man die Menge der
$K$-\definitionsverweis {Algebrahomomorphismen}{}{}
$\operatorname{Hom}_K(R,K)$.
}{Ein diskreter Bewertungsring $R$ ist ein
\definitionsverweis {Hauptidealbereich}{}{}
mit der Eigenschaft, dass es bis auf
\definitionsverweis {Assoziiertheit}{}{}
genau ein
\definitionsverweis {Primelement}{}{}
in $R$ gibt.
}{Eine projektive ebene Kurve ist die Nullstellenmenge
\mavergleichskette
{\vergleichskette
{C
}
{ = }{ V_+(F)
}
{ \subset }{ {\mathbb P}^{2}_{K}
}
{ }{
}
{ }{
}
}
{}{}{}
zu einem homogenen nicht-konstanten Polynom
\mathl{F \in K[X,Y,Z]}{.}
}
}
\inputaufgabepunkteloesung
{3}
{
Formuliere die folgenden Sätze.
\aufzaehlungdrei{Der Satz über den Zariski-Abschluss zu einer Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}{Der Satz über maximale Ideale in einer Algebra über einem algebraisch abgeschlossenen Körper $K$.}{Der Satz über die noethersche Normalisierung für projektive Kurven.}
}
{
\aufzaehlungdrei{Sei
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge. Dann ist der Zariski-Abschluss von $T$ gleich
\mavergleichskettedisp
{\vergleichskette
{ \overline{T}
}
{ =} { V( \operatorname{Id} \,(T) )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Es sei $K$ ein algebraisch abgeschlossener Körper und sei $A$ eine endlich erzeugte $K$-Algebra. Dann ist jeder
Restklassenkörper von $A$ isomorph zu $K$.}{Es sei $K$ ein algebraisch abgeschlossener Körper und sei
\mathl{C \subset {\mathbb P}^{2}_{K}}{} eine ebene projektive Kurve vom Grad $d$.
Dann gibt es einen surjektiven
\definitionsverweis {Morphismus}{}{}
\maabbdisp {} {C} { {\mathbb P}^{1}_{K}
} {}
derart, dass alle Fasern aus maximal $d$ Punkten bestehen.}
}
\inputaufgabepunkteloesung
{4 (2+2)}
{
Bestimme die Schnittpunkte der Neilschen Parabel
\mavergleichskette
{\vergleichskette
{ V(Y^2 -X^3)
}
{ \subseteq }{ {\mathbb A}^{2}_{{\mathbb C}}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\aufzaehlungzwei {den Geraden durch dem Nullpunkt,
} {den zu den Achsen parallelen Geraden.
}
}
{
\aufzaehlungzwei {Die Geraden durch den Nullpunkt sind durch
\mavergleichskettedisp
{\vergleichskette
{X
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{Y
}
{ =} { \alpha X
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{\alpha \in {\mathbb C}}{} gegeben. Einsetzen in die Gleichung der Neilschen Parabel ergibt im ersten Fall
\mavergleichskettedisp
{\vergleichskette
{Y^2
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also den einzigen Schnittpunkt
\mathl{(0,0)}{,} und im zweiten Fall
\mavergleichskettedisp
{\vergleichskette
{ \alpha^2 X^2
}
{ =} {X^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{X^2 { \left( X- \alpha^2 \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit den Schnittpunkten
\mathkor {} {(0,0)} {und} {(\alpha^2, \alpha^3)} {.}
} {Die Geraden, die parallel zur $X$-Achse sind, sind durch
\mavergleichskettedisp
{\vergleichskette
{Y
}
{ =} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem
\mathl{c \in {\mathbb C}}{} gegeben. Dies führt auf
\mavergleichskettedisp
{\vergleichskette
{c^2
}
{ =} { X^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{c
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt dies den einzigen Schnittpunkt
\mathl{(0,0)}{} und bei
\mavergleichskette
{\vergleichskette
{c
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt dies die Schnittpunkte
\mathl{( \zeta \sqrt[3] {c^2},c )}{,} wobei
\mathl{\sqrt[3] {c^2}}{} eine beliebige dritte Wurzel aus $c^2$ bezeichnet und $\zeta$ die dritten Einheitswurzeln durchläuft.
Die Geraden, die parallel zur $Y$-Achse sind, sind durch
\mavergleichskettedisp
{\vergleichskette
{X
}
{ =} {d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem
\mathl{d \in {\mathbb C}}{} gegeben. Dies führt auf
\mavergleichskettedisp
{\vergleichskette
{ Y^2
}
{ =} { d^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{d
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt dies den einzigen Schnittpunkt
\mathl{(0,0)}{} und bei
\mavergleichskette
{\vergleichskette
{d
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt dies die Schnittpunkte
\mathl{(d, \pm \sqrt {d^3} )}{,} wobei
\mathl{\sqrt {d^3}}{} eine beliebige Quadratwurzel aus $d^3$ bezeichnet.
}
}
\inputaufgabepunkteloesung
{3}
{
Es sei $R$ ein \definitionsverweis {kommutativer Ring}{}{} mit $p$ Elementen, wobei $p$ eine \definitionsverweis {Primzahl}{}{} sei. Zeige, dass $R$ ein \definitionsverweis {Körper}{}{} ist.
}
{
Es sei
\mathbed {x \in R} {}
{x \neq 0} {}
{} {} {} {.}
Wir betrachten die von $x$ erzeugte additive Untergruppe von $R$. Wegen
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
handelt es sich nicht um die triviale Gruppe. Da nach
dem Satz von Lagrange
die Ordnung jeder Untergruppe die Gruppenordnung teilt und diese eine Primzahl ist, erzeugt $x$ schon ganz $R$. Es gibt also insbesondere eine natürliche Zahl $n$ mit
\mavergleichskettedisp
{\vergleichskette
{nx
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da jeder Ring die natürlichen Zahlen enthält, bedeutet dies, dass $x$ eine Einheit ist.
}
\inputaufgabepunkteloesung
{3}
{
Betrachte die beiden Kreise
\mathdisp {X^2+Y^2=1 \text{ und } 4X^2+3Y^2 =9} { . }
Zeige, dass die beiden Kreise über $\R$
\definitionsverweis {affin-linear äquivalent}{}{}
sind, aber nicht über $\Q$.
}
{
Es ist
\mathl{4X^2 + 3Y^2 = 9}{} äquivalent zu
\mathl{\left(\frac{2}{3}X\right)^2 + \left(\frac{1}{\sqrt{3} } Y\right)^2 = 1 = \tilde X^2 + \tilde Y^2}{.} Über $\R$ ist also
\mathl{\tilde X = \frac{2}{3} X}{,}
\mathl{\tilde Y = \frac{1}{\sqrt{3} } Y}{} eine affin-lineare Transformation.
Für den Fall $\Q$ setzen wir
\mathl{\tilde X = aX + bY + c}{} und
\mathl{\tilde Y = dX + eY + f}{} mit Koeffizienten
\mathl{a,b,c,d,e,f \in \Q}{} an. Es ergibt sich
\mavergleichskettealign
{\vergleichskettealign
{\tilde X^2 + \tilde Y^2
}
{ =} {(aX + bY + c)^2 + (dX + eY + f)^2
}
{ =} {\left(a^2+d^2\right)X^2 + \left(b^2+e^2\right)Y^2 + 2(ab+de)XY + H(X,Y)
}
{ } {
}
{ } {
}
}
{}
{}{}
mit
\mathl{H \in \Q[X,Y]}{} mit
\mathl{\operatorname{grad} H \le 1}{.} Es muss also die Gleichheit
\mathl{b^2 + e^2 = \frac{1}{3} \Longleftrightarrow 3(b^2+e^2) = 1}{} gelten. Durch multiplizieren mit dem Hauptnenner können wir die Gleichung auf die Form
\mathdisp {3(r^2 + s^2) = t^2} { }
bringen, wobei
\mathl{r,s,t \in \Z}{.} Wir wollen zeigen, dass diese Gleichung keine ganzzahlige Lösung besitzt. Da die linke Seite der Gleichung ein Vielfaches von $3$ ist, folgt
\mathl{3 {{|}} t}{}, also
\mathl{9 {{|}} t^2}{,} woraus
\mathl{3 {{|}} (r^2 + s^2)}{} folgt. In $\Z/(3)$ ist
\mathl{r^2+s^2 = 0}{} genau dann, wenn
\mathl{r=0}{} und
\mathl{s=0}{.} Daraus folgt
\mathl{9 {{|}} (r^2 + s^2)}{} und wir können beide Seiten der Gleichung durch $9$ teilen. Wir setzen nun
\mathl{r' = \frac{r}{3}}{,}
\mathl{s' = \frac{s}{3}}{} und
\mathl{t' = \frac{t}{3}}{.} Absteigende Induktion führt zum Ziel.
}
\inputaufgabepunkteloesung
{6}
{
Beweise den Satz über die Noethersche Normalisierung für Kurven.
}
{
Wir schreiben $F$ in homogener Zerlegung als
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} { F_d+F_{d-1} + \cdots + F_1 +F_0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit den homogenen Komponenten
\mavergleichskettedisp
{\vergleichskette
{ F_i
}
{ =} { \sum_{a+b = i} c_{a,b} X^{a}Y^{b}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Ein homogenes Polynom in zwei Variablen hat die gleichen Faktorisierungseigenschaften wie ein Polynom in einer Variablen. Da wir uns über einem algebraisch abgeschlossenen Körper befinden, gibt es eine Faktorisierung
\mavergleichskettedisp
{\vergleichskette
{F_d
}
{ =} { c (Y-e_1X) \cdots (Y-e_k X)X^{d-k}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da $c$ eine $d$-te Wurzel besitzt können wir durch Streckung der Variablen erreichen, dass
\mathl{c=1}{} ist. Da $K$ insbesondere unendlich ist, finden wir ein $e$, das von allen $e_j$ verschieden ist. Wir schreiben die Gleichung in den neuen Variablen
\mathdisp {\tilde{Y}=Y-eX \text{ und } \tilde{X}=X} { }
und erhalten eine Gleichung $\tilde{F}$, wo die Linearfaktoren von $\tilde{F}_d$ die Gestalt
\mavergleichskettealign
{\vergleichskettealign
{ Y-e_jX
}
{ =} {Y-eX +eX-e_jX
}
{ =} {\tilde{Y}-(e_j-e)X
}
{ =} {\tilde{Y} - (e_j-e)\tilde{X}
}
{ } {
}
}
{}
{}{}
\zusatzklammer {mit \mathlk{e_j-e \neq 0}{}} {} {}
bzw.
\mathl{\tilde{X}= X}{} haben. Multipliziert man dies aus so sieht man, dass $\tilde{X}^d$ mit einem bestimmten Vorfaktor aus $K$ vorkommt, den wir wieder durch Streckung als $1$ annehmen können. Dann hat $\tilde{F}_d$ die Gestalt
\mathl{\tilde{X}^d +}{} Terme, in denen maximal
\mathl{\tilde{X}^{d-1}}{} vorkommt. Die homogenen Komponenten von kleinerem Grad behalten auch ihren Grad, so dass in $\tilde{F}$ nur noch weitere Monome vom $\tilde{X}$-Grad
\mathl{\leq d-1}{} gibt.
}
\inputaufgabepunkteloesung
{5}
{
Führe für die rationale Quadrik
\mavergleichskettedisp
{\vergleichskette
{C = V(X^2+Y^2-5)
}
{ \subset} { {\mathbb A}^{2}_{\Q}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine rationale Parametrisierung im Sinne von
Satz 7.6 (Algebraische Kurven (Osnabrück 2017-2018))
mit dem Hilfspunkt
\mathl{(1,2)}{} und einer geeigneten Geraden durch.
}
{
Wir verschieben den Punkt
\mathl{(1,2)}{} in den Nullpunkt, indem wir die neuen Variablen
\mavergleichskette
{\vergleichskette
{U
}
{ = }{ X-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{V
}
{ = }{Y-2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einführen. Die Gleichung wird dann zu
\mavergleichskettedisp
{\vergleichskette
{X^2+Y^2-5
}
{ =} { (U+1)^2 + (V+2)^2-5
}
{ =} { U^2 +V^2 +2U +4V
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Formeln für die Parametrisierung mit der Geraden
\mavergleichskette
{\vergleichskette
{V
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liefern
\mavergleichskettedisp
{\vergleichskette
{P_1
}
{ =} { - t { \left( 2t+4 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{P_2
}
{ =} { - { \left( 2t+4 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{Q
}
{ =} { t^2+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Parametrisierung ist also durch
\maabbeledisp {} {\Q} { C \subset {\mathbb A}^{2}_{\Q}
} {t} { \left( { \frac{ - t { \left( 2t+4 \right) } }{ t^2+1 } } , \, { \frac{ - { \left( 2t+4 \right) } }{ t^2+1 } } \right)
} {}
gegeben. Daraus ergibt sich für die Ausgangsgleichung die Parametrisierung
\mavergleichskettedisp
{\vergleichskette
{X
}
{ =} { - t { \frac{ { \left( 2t+4 \right) } }{ t^2+1 } } +1
}
{ =} { { \frac{ -t^2 -4t+ 1 }{ t^2+1 } }
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{Y
}
{ =} {{ \frac{ - { \left( 2t+4 \right) } }{ t^2+1 } } +2
}
{ =} {{ \frac{ 2 t^2 - 2t -2 }{ t^2+1 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{3}
{
Es sei $K$ ein \definitionsverweis {algebraisch abgeschlossener Körper}{}{.} Beweise den Hilbertschen Nullstellensatz direkt für den \definitionsverweis {Polynomring}{}{} in einer Variablen.
}
{Hilbertscher Nullstellensatz/Eindimensional/Direkt/Aufgabe/Lösung
}
\inputaufgabepunkteloesung
{3}
{
Schreibe den \definitionsverweis {Restklassenring}{}{} $\Q[X]/(X^4-1)$ als ein Produkt von Körpern, wobei lediglich die Körper $\Q$ und $\Q[ { \mathrm i} ]$ vorkommen. Schreibe die Restklasse von $X^3+X$ als ein Tupel in dieser Produktzerlegung.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{ X^4-1
}
{ =} {(X^2-1)(X^2+1)
}
{ =} {(X+1)(X-1)(X^2+1)}
{ } {}
{ } {}
}
{}{}{} und $X^2+1 \in \Q[X]$ ist irreduzibel, da es keine rationale Nullstelle besitzt. Es handelt sich also um die Primfaktorzerlegung, wobei die Faktoren paarweise nicht assoziiert sind, da sie ja alle normiert sind. Nach dem chinesischen Restsatz für Hauptidealbereiche gilt daher die Produktzerlegung
\mavergleichskettedisp
{\vergleichskette
{\Q[X]/(X^4-1)
}
{ \cong} {\Q[X]/(X+1) \times \Q[X]/(X-1) \times \Q[X]/(X^2+1)
}
{ \cong} { \Q \times \Q \times \Q[ { \mathrm i}]
}
{ } {}
{ } {}
}
{}{}{,} wobei wir für das zweite Gleichheitszeichen die Einsetzungen $X\mapsto -1$ und $X \mapsto 1$ und die Isomorphie $\Q[X]/(X^2+1) \cong \Q[ { \mathrm i} ]$ verwendet haben. Das Element $X^3+X=X(X^2+1)$ wird unter den drei Projektionen auf $-2,2$ und $0$ abgebildet, es ist also gleich
\mathdisp {(-2,2,0)} { . }
}
\inputaufgabepunkteloesung
{4}
{
Es sei $M$ ein
\definitionsverweis {kommutatives Monoid}{}{}
und $K$ ein
\definitionsverweis {Körper}{}{.}
Es sei
\mathl{m \in M}{} und
\mathl{T^m \in K[M]}{.} Zeige, dass $m$ genau dann eine
\definitionsverweis {Einheit}{}{}
in $M$ ist, wenn $T^m$ eine
\definitionsverweis {Einheit}{}{}
in
\mathl{K[M]}{} ist.
}
{
Wenn $m$ eine Einheit in $M$ ist, so gibt es ein
\mathl{n \in M}{} mit
\mavergleichskette
{\vergleichskette
{m+n
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{T^m \cdot T^n
}
{ =} { T^{m+n}
}
{ =} { T^0
}
{ =} { 1
}
{ } {
}
}
{}{}{}
und somit ist $T^m$ eine Einheit im Monoidring.
Wenn $T^m$ eine Einheit im Monoidring ist, so gibt es eine Element
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} { \sum_{n \in E} a_n T^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit endlichem Träger
\mavergleichskette
{\vergleichskette
{E
}
{ \subseteq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und mit von $0$ verschiedenen Koeffizienten $a_n \in K$ derart, dass
\mavergleichskettedisp
{\vergleichskette
{T^m { \left( \sum_{n \in E} a_n T^n \right) }
}
{ =} { \sum_{n \in E} a_n T^{m+n }
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Für die letzte Gleichung müssen alle Exponenten
\mavergleichskettedisp
{\vergleichskette
{n+m
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sein und es muss mindestens ein solches $n \in M$ geben. Dies bedeutet, dass $m \in M$ eine Einheit ist.
}
\inputaufgabepunkteloesung
{5}
{
Beweise, dass ein faktorieller Integritätsbereich normal ist.
}
{
Sei
\mavergleichskette
{\vergleichskette
{K
}
{ = }{Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der
\definitionsverweis {Quotientenkörper}{}{}
von $R$ und
\mavergleichskette
{\vergleichskette
{q
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element, das die
\definitionsverweis {Ganzheitsgleichung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ q^n+ r_{n-1}q^{n-1} + r_{n-2}q^{n-2} + \cdots + r_1q +r_0
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{r_i
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt. Wir schreiben
\mathbed {q= a/b} {mit}
{a,b \in R} {}
{b \neq 0} {} {} {,}
wobei wir annehmen können, dass die Darstellung gekürzt ist, dass also
\mathkor {} {a} {und} {b \in R} {}
keinen gemeinsamen Primteiler besitzen. Wir haben zu zeigen, dass $b$ eine
\definitionsverweis {Einheit}{}{}
in $R$ ist, da dann
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ a b^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu $R$ gehört.
Wir multiplizieren die obige Ganzheitsgleichung mit $b^n$ und erhalten in $R$
\mavergleichskettedisp
{\vergleichskette
{ a^n+ { \left( r_{n-1}b \right) } a^{n-1} + { \left( r_{n-2}b^2 \right) } a^{n-2} + \cdots + { \left( r_1b^{n-1} \right) } a + { \left( r_0 b^n \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn $b$ keine Einheit ist, dann gibt es einen Primteiler $p$ von $b$. Dieser teilt alle Summanden
\mathbed {{ \left( r_{n-i}b^{i} \right) } a^{n-i}} {für}
{i \geq 1} {}
{} {} {} {}
und daher auch den ersten, also $a^n$. Das bedeutet aber, dass $a$ selbst ein Vielfaches von $p$ ist im Widerspruch zur vorausgesetzten Teilerfremdheit.
}
\inputaufgabepunkteloesung
{5}
{
Bestimme über die partiellen Ableitungen für das durch das Polynom
\mathdisp {V^3+U^2V-2UV+2U^2-4U-2V} { }
gegebene Nullstellengebilde einen singulären Punkt. Führe eine Koordinatentransformation durch, die diesen Punkt in den Nullpunkt überführt. Bestimme die Multiplizität und die Tangenten in diesem Punkt.
}
{
Sei
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} { V^3+U^2V-2UV+2U^2-4U-2V
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mathdisp {{ \frac{ \partial F }{ \partial U } } =2UV -2V+4U-4 \text{ und } { \frac{ \partial F }{ \partial V } } =3V^2 +U^2 -2U -2} { . }
Aus der ersten Gleichung erhält man für einen singulären Punkt die Bedingung
\mathdisp {V(U-1) =- 2U+2 \text{ bzw. } V= \frac{-2U+2}{U-1}} { , }
wobei die letztere Bedingung voraussetzt, dass $U \neq 1$ ist. Betrachten wir also zuerst den Fall $U=1$. Die erste partielle Ableitung ist dann unabhängig von $V$ gleich null und die zweite Ableitung liefert die Bedingung
\mathdisp {3V^2 +1-2-2 =0 \text{ bzw. } V^2= 1, \text{ also } V= \pm 1} { . }
Die Kurvengleichung ergibt
\mavergleichskettedisp
{\vergleichskette
{ V^3 +V-2V-2V -2
}
{ =} { V^3-3V -2
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{,}
die von $V=-1$ erfüllt wird. Daher ist
\mathl{P=(1,-1)}{} ein singulärer Punkt der Kurve.
Unter den neuen Variablen
\mathl{X=U-1}{} und
\mathl{Y=V+1}{} ist $P$ der Nullpunkt. Die Kurvengleichung transformiert sich unter
\mathl{U=X+1}{} und $V=Y-1$ zu
\mavergleichskettealign
{\vergleichskettealign
{
}
{ =} { (Y-1)^3+(X+1)^2(Y-1)-2(X+1)(Y-1)+2(X+1)^2-4(X+1)-2(Y-1)
}
{ =} { Y^3-3Y^2+3Y-1+(X^2+2X+1)(Y-1) -2XY+2X-2Y +2 +2X^2+4X+2 -4X-4-2Y+2
}
{ =} { Y^3-3Y^2+3Y-1+X^2Y+2XY+Y -X^2-2X-1 -2XY+2X-2Y +2 +2X^2+4X+2 -4X-4-2Y+2
}
{ =} { Y^3+X^2Y-3Y^2 +X^2
}
}
{}
{}{.}
Der homogene Bestandteil von kleinstem Grad ist also
\mathl{X^2-3Y^2=(X- \sqrt{3}Y)(X+ \sqrt{3}Y)}{.} Daher ist die Multiplizität zwei und die beiden Tangenten durch den singulären Punkt werden durch
\mathl{X= \pm \sqrt{3}Y}{} beschrieben.
}
\inputaufgabepunkteloesung
{3}
{
Bestimme für das numerische Monoid $M \subseteq \N$, das durch $4,7$ und $17$ erzeugt wird, die \definitionsverweis {Einbettungsdimension}{}{,} die \definitionsverweis {Multiplizität}{}{,} die \definitionsverweis {Führungszahl}{}{} und den \definitionsverweis {Singularitätsgrad}{}{.}
}
{
Zu dem Monoid gehören alle Vielfachen von $4$, also
\mathdisp {4,8,12,16,20,24, \ldots} { . }
Dann alle Summen aus $7$ mit einem Vielfachen von $4$, also
\mathdisp {7,11,15,19,23, \ldots} { . }
Dazu alle Summen aus $2 \cdot 7=14$ mit einem Vielfachen von $4$, also
\mathdisp {14,18,22,26, \ldots} { . }
Dazu alle Summen aus $3 \cdot 7=21$ mit einem Vielfachen von $4$, also
\mathdisp {21,25, \ldots} { . }
Damit sind alle Zahlen ab $18$ abgedeckt, da es für jede Restklasse modulo $4$ einen Vertreter im Monoid gibt. Da $17$ zur Verfügung steht, gehören ab $14$ alle Zahlen zum Monoid. Die Führungszahl ist also $14$. Die Multiplizität ist die kleinste positive Zahl im Monoid, also $4$. Die Einbettungsdimension ist die minimale Anzahl der Erzeuger, also $3$, da man auf die $17$ nicht verzichten kann. Der Singularitätsgrad ist die Anzahl der Lücken, es fehlen
\mathdisp {1,2,3,5,6,9,10,13} { , }
der Singularitätsgrad ist also $8$.
}
\inputaufgabepunkteloesung
{5}
{
Beweise den Satz über die algebraische Struktur eines Potenzreihenrings
\mathl{K[ \![T]\! ]}{.}
}
{
Zunächst ist $R$ ein
\definitionsverweis {lokaler Ring}{}{}
mit
\definitionsverweis {maximalem Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}
}
{ = }{ (T)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn nämlich eine Potenzreihe $F$ keine Einheit ist, so muss nach
Satz 24.6 (Algebraische Kurven (Osnabrück 2017-2018))
der konstante Term von $F$ gleich $0$ sein. Dann kann man aber
\mavergleichskette
{\vergleichskette
{F
}
{ = }{ T \tilde{F}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der umindizierten Potenzreihe $\tilde{F}$ schreiben. Die
\definitionsverweis {Nullteilerfreiheit}{}{}
folgt durch Betrachten der Anfangsterme: Sind
\mathkor {} {F} {und} {G} {}
von $0$ verschiedene Potenzreihen, so ist
\mavergleichskettedisp
{\vergleichskette
{ F
}
{ =} {a_kT^k+a_{k+1}T^{k+1} + \ldots
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} {b_\ell T^\ell+a_{\ell+1}T^{\ell+1} + \ldots
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ a_k , b_\ell
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für die Produktreihe ist dann der Koeffizient
\mavergleichskettedisp
{\vergleichskette
{ c_{k + \ell}
}
{ =} { a_k b_\ell
}
{ \neq} { 0
}
{ } {
}
{ } {
}
}
{}{}{,}
da die kleineren Koeffizienten alle $0$ sind. Es bleibt also noch
\definitionsverweis {noethersch}{}{}
zu zeigen. Es ergibt sich aber direkt, dass ein
\definitionsverweis {Hauptidealbereich}{}{}
vorliegt, und zwar wird jedes Ideal $\neq 0$ von $T^{j}$ erzeugt, wobei $j$ das Minimum über alle Indizes von Koeffizienten $\neq 0$ von Potenzreihen in dem Ideal ist.
}
\inputaufgabepunkteloesung
{4}
{
Bestimme die Schnittmultiplizität im Nullpunkt des Kartesischen Blattes
\mavergleichskettedisp
{\vergleichskette
{C
}
{ =} { V(X^3+Y^3-3XY)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit jeder affinen Geraden der affinen Ebene. Man setze voraus, dass die Charakteristik des Körpers nicht $3$ ist.
}
{
Wenn die Gerade nicht durch den Nullpunkt läuft, so ist die Schnittmultiplizität null. Betrachten wir also die Geraden durch den Nullpunkt, die man als $V(Y-aX)$ oder als $V(Y)$ beschreiben kann. Bei $V(Y)$ ergibt sich der Restklassenring
\mavergleichskettedisp
{\vergleichskette
{ K[X,Y]_{(X,Y)}/(Y,X^3+Y^3-3XY)
}
{ =} { K[X]_{(X)}/(X^3)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dieser Ring hat die $K$-Dimension, die Schnittmultiplizität ist also $3$. Wegen der Symmetrie der Situation gilt dies auch für die Gerade $V(X)$. Betrachten wir nun eine Gerade $V(Y-aX)$ mit $a \neq 0$. Dann ist der Restklassenring gleich
\mavergleichskettealign
{\vergleichskettealign
{K[X,Y]_{(X,Y)}/(Y-aX,X^3+Y^3-3XY)
}
{ =} {K[X]_{(X)}/(X^3 +a^3X^3-3aX^2)
}
{ =} {K[X]_{(X)}/(X^2(-3a+(1+a^3)X))
}
{ } {}
{ } {}
}
{}
{}{.}
Da $3 \neq 0$ ist, ist der hintere Faktor eine Einheit, so dass es sich um den Ring $K[X]/(X^2)$ handelt mit Dimension zwei.
}
\inputaufgabepunkteloesung
{5}
{
Zeige, dass eine
\definitionsverweis {ebene projektive Kurve}{}{}
\mavergleichskettedisp
{\vergleichskette
{ V_+(F)
}
{ \subset} { {\mathbb P}^{2}_{K}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$ genau dann
\definitionsverweis {glatt}{}{}
ist, wenn die
\definitionsverweis {partiellen Ableitungen}{}{}
\mathdisp {\left( { \frac{ \partial F }{ \partial X } } , \, { \frac{ \partial F }{ \partial Y } } , \, { \frac{ \partial F }{ \partial Z } } \right)} { }
in keinem Punkt der Kurve simultan gleich $0$ sind.
}
{
Partielles Ableiten bezüglich einer Variablen $X$ und Dehomogenisieren bezüglich einer anderen Variablen $Y$ sind vertauschbar.
Es sei
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ V_+(F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt der Kurve. Dieser Punkt liegt in einer der offenen affinen Mengen
\mathkor {} {D_+(X), D_+(Y)} {oder} {D_+(Z)} {,}
auf der wir die Glattheit testen können. Ohne Einschränkung können wir
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ D_+(X)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
annehmen. Wir schreiben
\mavergleichskette
{\vergleichskette
{P
}
{ = }{ (1,b,c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei $G$ die inhomogene Gleichung der Kurve, die aus $F$ entsteht, indem man $X$ gleich $1$ setzt. Wenn $P$ ein glatter Punkt von $V(G)$ ist, so bedeutet dies, dass die beiden partiellen Ableitungen
\mathkor {} {{ \frac{ \partial G }{ \partial Y } }} {und} {{ \frac{ \partial G }{ \partial Z } }} {}
nicht simultan im Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ (a,b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
verschwinden. Sagen wir
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ \partial G }{ \partial Y } } (P)
}
{ \neq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach der Vorbemerkung ist dann auch
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ \partial F }{ \partial Y } } (a,b,1)
}
{ =} { { \frac{ \partial G }{ \partial Y } } (a,b)
}
{ \neq} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
und das homogene Ableitungskriterium ist erfüllt.
Wenn umgekehrt das homogene Kriterium erfüllt ist, und
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ \partial F }{ \partial Y } } (a,b,1)
}
{ \neq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {bzw. die partielle Ableitung nach $Z$} {} {,}
so ergibt sich direkt
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ \partial G }{ \partial Y } } (P)
}
{ \neq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach
Aufgabe *****
ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{grad} \, (F) \cdot F
}
{ =} { X { \frac{ \partial F }{ \partial X } } + Y { \frac{ \partial F }{ \partial Y } } + Z { \frac{ \partial F }{ \partial Z } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies bedeutet, dass wenn die partiellen Ableitungen
\mathkor {} {{ \frac{ \partial F }{ \partial Y } }} {und} {{ \frac{ \partial F }{ \partial Z } }} {}
im Punkt $P$ verschwinden, dass dann auch
\mathl{{ \frac{ \partial F }{ \partial X } }}{} in diesem Punkt verschwindet, und dass das homogene Kriterium nicht erfüllt sein kann.
}