Kurs:Algebraische Kurven/13/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}{ 7 }
\renewcommand{\afuenf}{ 4 }
\renewcommand{\asechs}{ 10 }
\renewcommand{\asieben}{ 5 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 6 }
\renewcommand{\azehn}{ 5 }
\renewcommand{\aelf}{ 2 }
\renewcommand{\azwoelf}{ 5 }
\renewcommand{\adreizehn}{ 4 }
\renewcommand{\avierzehn}{ 3 }
\renewcommand{\afuenfzehn}{ 64 }
\renewcommand{\asechzehn}{ }
\renewcommand{\asiebzehn}{ }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellevierzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabeklausurloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Der \stichwort {affine Raum} {.}
}{Eine
\stichwort {rationale Parametrisierung} {}
einer affin-algebraischen Kurve
\mavergleichskette
{\vergleichskette
{ V(F)
}
{ \subseteq }{ {\mathbb A}^{2}_{}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Ein \stichwort {Morphismus} {} \maabb {{\psi}} { Y } { X } {} zwischen quasiaffinen Varietäten.
}{Ein \stichwort {lokaler} {} Ring.
}{Der
\stichwort {Singularitätsgrad} {}
zu einem
\definitionsverweis {numerischen Monoid}{}{}
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Das
\stichwort {Nullstellengebilde} {}
zu einem homogenen Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ K[X_0 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{
\aufzaehlungsechs{Man nennt
\mavergleichskette
{\vergleichskette
{ { {\mathbb A}_{ K }^{ n } }
}
{ = }{ K^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den affinen Raum über $K$ der Dimension $n$.
}{Zwei rationale Funktionen
\mathl{\varphi_1=\frac{P_1}{Q_1}}{} und
\mathl{\varphi_2=\frac{P_2}{Q_2}}{} mit
\mathbed {P_1, P_2,Q_1,Q_2 \in K[T]} {}
{Q_1,Q_2 \neq 0} {}
{} {} {} {,}
heißen eine rationale Parametrisierung der algebraischen Kurve
\mathl{V(F)}{,} wenn
\mavergleichskettedisp
{\vergleichskette
{ F(\varphi_1(T), \varphi_2(T))
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist und
\mathl{(\varphi_1,\varphi_2)}{} nicht konstant ist.
}{Eine stetige Abbildung
\maabbdisp {{\psi}} { Y } { X
} {}
heißt \stichwort {Morphismus} {,} wenn für jede offene Teilmenge
\mavergleichskette
{\vergleichskette
{ U
}
{ \subseteq }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und jede
\definitionsverweis {algebraische Funktion}{}{}
\mathl{f \in \Gamma (U, {\mathcal O} )}{} gilt, dass die zusammengesetzte Funktion
\mathdisp {f \circ {\psi} : {\psi}^{-1}(U) \longrightarrow U \stackrel{f}{\longrightarrow} {\mathbb A}^{1}_{K}} { }
zu
\mathl{\Gamma ({\psi}^{-1}(U), {\mathcal O} )}{} gehört.
}{Ein
\definitionsverweis {kommutativer Ring}{}{}
$R$ heißt lokal, wenn $R$ genau ein
\definitionsverweis {maximales Ideal}{}{}
besitzt.
}{Man nennt die Anzahl der Lücken, d.h. der natürlichen Zahlen
\mathl{\N \setminus M}{,} den Singularitätsgrad von $M$.
}{Man nennt
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ V_+( {\mathfrak a})
}
{ =} { { \left\{ P = (x_0 , \ldots ,x_n) \in {\mathbb P}^{ n }_{ K } \mid F(P)=0 \text{ für } \text{alle homogenen } F \in {\mathfrak a} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das projektive Nullstellengebilde zu ${\mathfrak a}$.
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Der Satz über die polynomiale Parametrisierung einer ebenen Kurve.}{Der Satz über die Überdeckung und das Einheitsideal.}{Der Satz über die Schnittmultiplizität und die Multiplizität.}
}
{
\aufzaehlungdrei{Es sei $K$ ein Körper und seien
\mathl{P,Q \in K[T]}{} zwei Polynome.
Dann gibt es ein Polynom
\mathbed {F \in K[X,Y]} {}
{F \neq 0} {}
{} {} {} {,} mit
\mathl{F(Q,P)=0}{.} D.h. das Bild einer polynomial parametrisierten Kurve liegt in einer ebenen algebraischen Kurve
\mathl{C=V(F)}{.}}{Es sei $K$ ein algebraisch abgeschlossener Körper und seien
\mathbed {F_i \in K[X_1 , \ldots , X_n]} {}
{i \in I} {}
{} {} {} {,}
Polynome mit
\mavergleichskettedisp
{\vergleichskette
{ { {\mathbb A}_{ K }^{ n } }
}
{ =} { \bigcup_{i \in I} D(F_i)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann erzeugen die $F_i$ das Einheitsideal in
\mathl{K[X_1 , \ldots , X_n]}{.}}{Es sei $K$ ein algebraisch abgeschlossener Körper, sei
\mathbed {F = F_m + \cdots + F_d \in K[X,Y]} {}
{m \leq d} {}
{} {} {} {,} ein Polynom in homogener Zerlegung und
\mavergleichskette
{\vergleichskette
{ L
}
{ = }{ V(aX+bY)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Gerade durch den Nullpunkt $P$, die keine Komponente von
\mathl{V(F)}{} sei. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{mult} _{ {P} } ( L , V(F) )
}
{ \geq} { m_{ P } \, ( F )
}
{ =} { m
}
{ } {
}
{ } {
}
}
{}{}{,}}
}
\inputaufgabeklausurloesung
{4}
{
Man identifiziere Themen aus der Theorie der algebraischen Kurven, die einen Schulbezug besitzen.
}
{ }
\inputaufgabeklausurloesung
{7}
{
Beweise den Satz über irreduzible Teilmengen und Verschwindungsideale.
}
{
\teilbeweis {}{}{}
{Es sei
\mathl{\operatorname{Id} \, (V)}{} kein Primideal. Bei
\mavergleichskette
{\vergleichskette
{ \operatorname{Id} \, (V)
}
{ = }{ K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ V
}
{ = }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ist $V$ nicht irreduzibel nach Definition. Andernfalls gibt es Polynome
\mavergleichskette
{\vergleichskette
{ F,G
}
{ \in }{ K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ F G
}
{ \in }{ \operatorname{Id} \, (V)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
aber
\mavergleichskette
{\vergleichskette
{ F,G
}
{ \notin }{ \operatorname{Id}\,(V)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dies bedeutet, dass es Punkte
\mavergleichskette
{\vergleichskette
{ P,Q
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ F(P)
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ G(Q)
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Wir betrachten die beiden Ideale
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}_1
}
{ = }{ \operatorname{Id}\, (V)+(F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}_2
}
{ = }{ \operatorname{Id} \, (V)+(G)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist
\mavergleichskettedisp
{\vergleichskette
{ V( {\mathfrak a}_1 ), V( {\mathfrak a}_2 )
}
{ \subseteq} { V(\operatorname{Id}\, (V) )
}
{ =} { V
}
{ } {
}
{ } {
}
}
{}{}{}
nach
Lemma 3.8 (Algebraische Kurven (Osnabrück 2025-2026)) (3).
Wegen
\mathkor {} {P \not\in V({\mathfrak a}_1)} {und} {Q \not\in V({\mathfrak a}_2)} {}
sind diese Inklusionen echt. Andererseits ist
\mavergleichskettedisp
{\vergleichskette
{ V({\mathfrak a}_1) \cup V({\mathfrak a}_2)
}
{ =} { V({\mathfrak a}_1 \cdot {\mathfrak a}_2)
}
{ =} { V( \operatorname{Id} \,(V) )
}
{ =} { V
}
{ } {
}
}
{}{}{,}
sodass eine nicht-triviale Zerlegung von $V$ vorliegt und somit $V$ nicht irreduzibel ist.}
{}
\teilbeweis {}{}{}
{Es sei nun $V$ nicht irreduzibel. Bei
\mavergleichskette
{\vergleichskette
{ V
}
{ = }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \operatorname{Id}\, (V)
}
{ = }{ K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kein Primideal. Es sei also
\mavergleichskette
{\vergleichskette
{ V
}
{ \neq }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der nicht-trivialen Zerlegung
\mavergleichskette
{\vergleichskette
{ V
}
{ = }{ Y \cup Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{ Y
}
{ = }{ V { \left( {\mathfrak a}_1 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ Z
}
{ = }{ V { \left( {\mathfrak a}_2 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{ Y
}
{ \subset }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es einen Punkt
\mathbed {P \in V = V(\operatorname{Id}\, (V))} {}
{P \not\in V( {\mathfrak a}_1 )} {}
{} {} {} {.}
Also gibt es auch ein
\mavergleichskette
{\vergleichskette
{ F
}
{ \in }{ {\mathfrak a}_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ F(P)
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{,}
und somit
\mavergleichskette
{\vergleichskette
{ F
}
{ \notin }{ \operatorname{Id} \, (V)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ebenso gibt es
\mavergleichskette
{\vergleichskette
{ G
}
{ \in }{ {\mathfrak a}_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ G
}
{ \notin }{ \operatorname{Id} \, (V)
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{.}
Für einen beliebigen Punkt
\mavergleichskette
{\vergleichskette
{ Q
}
{ \in }{ V
}
{ = }{ Y \cup Z
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ (FG)(Q)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da $F$ auf $Y$ und $G$ auf $Z$ verschwindet. Also ist
\mavergleichskette
{\vergleichskette
{ FG
}
{ \in }{ \operatorname{Id} \, (V)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher ist
\mathl{\operatorname{Id} \, (V)}{} kein Primideal.}
{}
}
\inputaufgabeklausurloesung
{4}
{
Wir betrachten die reelle algebraische Kurve
\mavergleichskettedisp
{\vergleichskette
{C
}
{ =} { V { \left( Y^4-Y^2+X^2 \right) }
}
{ \subset} { \R^2
}
{ } {
}
{ } {
}
}
{}{}{.}
Zeige, dass durch
\maabbeledisp {} { [0,2 \pi [ } { C
} { \theta} { \left( \sin \theta \cos \theta , \, \sin \theta \right)
} {,}
eine Parametrisierung von $C$ gegeben ist, die surjektiv und abgesehen von einem Punktepaar injektiv ist.
}
{
Für einen beliebigen Winkel $\theta$ ist
\mavergleichskettedisp
{\vergleichskette
{ \sin^{ 4 } \theta -\sin^{ 2 } \theta + \sin^{ 2 } \theta \cos^{ 2 } \theta
}
{ =} { \sin^{ 2 } \theta { \left( \sin^{ 2 } \theta + \cos^{ 2 } \theta -1 \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{,}
das Bild der Abbildung gehört also zur Kurve. Es sei
\mavergleichskettedisp
{\vergleichskette
{(x,y)
}
{ \in} { C
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein Punkt der Kurve. Es ist
\mavergleichskettedisp
{\vergleichskette
{y^4 +x^2
}
{ =} { y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{y
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und wir haben die beiden Urbilder
\mavergleichskette
{\vergleichskette
{ \theta
}
{ = }{ 0, \pi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{y
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
dividieren wir durch $y^2$ und erhalten
\mavergleichskettedisp
{\vergleichskette
{y^2 + { \left( { \frac{ x }{ y } } \right) }^2
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es liegt die Kreisgleichung vor, daher gibt es ein eindeutig bestimmtes $\theta$ mit
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { \sin \theta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x }{ y } }
}
{ =} { \cos \theta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist auch
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { \sin \theta \cos \theta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{weiter}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.}
Wir betrachten zu jedem
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abbildung
\maabbeledisp {\varphi} {K^n } { K^n
} { \left( \lambda_1 , \, \lambda_2 , \, \ldots , \, \lambda_n \right) } { \left( c_0 , \, c_1 , \, \ldots , \, c_{n-1} \right)
} {,}
die einem Nullstellentupel
\mathl{\left( \lambda_1 , \, \lambda_2 , \, \ldots , \, \lambda_n \right)}{} das Koeffiziententupel
\mathl{\left( c_0 , \, c_1 , \, \ldots , \, c_{n-1} \right)}{}
\zusatzklammer {ohne die $1$} {} {}
des
\definitionsverweis {normierten Polynoms}{}{}
\mavergleichskettedisp
{\vergleichskette
{ (X- \lambda_1) (X- \lambda_2) \cdots (X- \lambda_n)
}
{ =} { P
}
{ =} { c_0 +c_1X + \cdots + c_{n-1}X^{n-1} +X^n
}
{ } {
}
{ } {
}
}
{}{}{}
zuordnet.
\aufzaehlungsieben{Beschreibe $\varphi$ explizit für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Beschreibe $\varphi$ explizit für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Begründe, dass die $\varphi$
\definitionsverweis {polynomiale Abbildungen}{}{}
sind.
}{Zeige, dass die
\definitionsverweis {Fasern}{}{}
von $\varphi$ endlich sind.
}{Wann ist die Faser zu einem Tupel
\mathl{\left( c_0 , \, c_1 , \, \ldots , \, c_{n-1} \right)}{} leer?
}{Was ist die maximale Anzahl in einer Faser? Man gebe Beispiele, dass diese Maximalanzahl für
\mavergleichskette
{\vergleichskette
{K
}
{ = }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erreicht wird.
}{Es sei $K$ nun
\definitionsverweis {algebraisch abgeschlossen}{}{.}
Zeige, dass $\varphi$ surjektiv ist.
}
}
{
\aufzaehlungsieben{Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
handelt es sich wegen
\mavergleichskettedisp
{\vergleichskette
{ { \left( X - \lambda_1 \right) } { \left( X - \lambda_2 \right) }
}
{ =} { X^2 - { \left( \lambda_1+\lambda_2 \right) } X + \lambda_1\lambda_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
um die Abbildung
\maabbeledisp {\varphi} {K^2} { K^2
} { \left( \lambda_1 , \, \lambda_2 \right) } { \left( \lambda_1\lambda_2 , \, - { \left( \lambda_1+ \lambda_2 \right) } \right)
} {.}
}{Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
handelt es sich wegen
\mavergleichskettedisp
{\vergleichskette
{ { \left( X - \lambda_1 \right) } { \left( X - \lambda_2 \right) } { \left( X - \lambda_3 \right) }
}
{ =} { X^3 - { \left( \lambda_1+\lambda_2 + \lambda_3 \right) } X^2 + { \left( \lambda_1\lambda_2 +\lambda_1\lambda_3 + \lambda_2\lambda_3 \right) } X- \lambda_1\lambda_2\lambda_3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
um die Abbildung
\maabbeledisp {\varphi} {K^3} { K^3
} { \left( \lambda_1 , \, \lambda_2 , \, \lambda_3 \right) } { \left( - \lambda_1\lambda_2\lambda_3 , \, \lambda_1\lambda_2 +\lambda_1\lambda_3 + \lambda_2\lambda_3 , \, - { \left( \lambda_1+ \lambda_2 + \lambda_3 \right) } \right)
} {.}
}{Es sei $n \in \N_+$ und $k$ zwischen $0$ und $n-1$ fixiert. Dann ist der Koeffizient $c_k$ des Polynoms
\mathl{\prod_{i = 1}^n { \left( X- \lambda_i \right) }}{} aufgrund des Distributivgesetzes gleich
\mathdisp {\pm \sum_{1 \leq i_1 < i_2 < \ldots < i_{n-k} \leq n} \lambda_{i_1} \lambda_{i_2} \cdots \lambda_{i_{n-k} }} { , }
wobei das Vorzeichen von der Parität von $n-k$ abhängt. Somit liegt in jeder Komponente eine
\definitionsverweis {polynomiale Abbildung}{}{}
vor.
}{Ein Tupel
\mathl{\left( \lambda_1 , \, \ldots , \, \lambda_n \right)}{} gehört genau dann zur Faser über dem Koeffiziententupel
\mathl{\left( c_0 , \, \ldots , \, c_{n-1} \right)}{,} wenn
\mavergleichskettedisp
{\vergleichskette
{ \prod_{i = 1}^n { \left( X- \lambda_i \right) }
}
{ =} { \sum_{j = 0 }^{n-1} c_j X^{j} + X^n
}
{ =} { P
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Dies bedeutet insbesondere, dass die $\lambda_i$ Nullstellen von $P$ sein müssen. Da ein Polynom nur endliche viele Nullstellen besitzt, gibt es auch nur endlich viele Permutationen davon.
}{Die Faser zu einem Koeffiziententupel
\mathl{\left( c_0 , \, \ldots , \, c_{n-1} \right)}{} ist genau dann leer, wenn das dadurch gegebene Polynom
\mathl{\sum_{j= 0 }^{n-1} c_j X^{j} + X^n}{} nicht vollständig in Linearfaktoren zerfällt.
}{Die maximale Anzahl in einer Faser ist $n!$. Die Faser besteht aus den
\zusatzklammer {geordneten} {} {}
Nullstellentupeln zu dem durch das Koeffiziententupel gegebenen Polynom, wenn dieses vollständig in Linearfaktoren zerfällt
\zusatzklammer {andernfalls ist die Faser leer} {} {.}
Da es maximal $n$ Nullstellen gibt, kann man höchstens $n!$ geordnete Tupel daraus bilden. Wenn es $n$ verschiedene Nullstellen gibt, so kann man daraus durch Permutationen genau $n!$ geordnete Tupel bilden.
Beispielsweise wird das Nullstellentupel
\mathl{\left( 1 , \, 2 , \, 3 , \, \ldots , \, n \right)}{} auf ein Koeffiziententupel abgebildet, dessen Faser aus all den Permutationen davon besteht.
}{Wenn $K$
\definitionsverweis {algebraisch abgeschlossen}{}{}
ist, so zerfällt jedes normierte Polynom in normierte Linearfaktoren, was nach Teil (5) bedeutet, dass die Faser nicht leer ist. Dies bedeutet insgesamt die Surjektivität von $\varphi$.
}
}
\inputaufgabeklausurloesung
{5}
{
Beweise den Satz über den Koordinatenring des affinen Raumes.
}
{
Wir beweisen die Aussage durch Induktion über die Anzahl der Variablen. Bei
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt die Aussage daraus, dass ein Polynom vom Grad $d$ maximal $d$ Nullstellen besitzt. Zum Induktionsschritt sei
\mavergleichskette
{\vergleichskette
{ F
}
{ \in }{ K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Polynom, das an allen Punkten von
\mavergleichskette
{\vergleichskette
{ { {\mathbb A}_{ K }^{ n } }
}
{ = }{ K^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
verschwindet. Wir schreiben $F$ als
\mavergleichskettedisp
{\vergleichskette
{ F
}
{ =} { P_dX_n^d + P_{d-1} X_n^d + \cdots + P_1 X_0 +P_0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit Polynomen
\mavergleichskette
{\vergleichskette
{ P_d , \ldots , P_0
}
{ \in }{ K[X_1 , \ldots , X_{n-1}]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir müssen zeigen, dass
\mavergleichskette
{\vergleichskette
{ F
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, was zu
\mavergleichskette
{\vergleichskette
{ P_i
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ i
}
{ = }{ 0 , \ldots , d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent ist. Es sei also
\zusatzklammer {ohne Einschränkung} {} {}
angenommen, dass $P_d$ nicht das Nullpolynom ist. Nach Induktionsvoraussetzung ist es dann auch nicht die Nullfunktion, d.h. es gibt einen Punkt
\mathl{(a_1 , \ldots , a_{n-1})}{} mit
\mavergleichskette
{\vergleichskette
{ P_d(a_1 , \ldots , a_{n-1} )
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit ist
\mathl{F(a_1 , \ldots , a_{n-1} )}{} ein Polynom in der einen Variablen $X_{n}$ vom Grad $d$ und ist nach dem Fall einer Variablen nicht die Nullfunktion.
}
\inputaufgabeklausurloesung
{3}
{
Es sei $R$ ein \definitionsverweis {lokaler Ring}{}{} und ${\mathfrak a}$ ein \definitionsverweis {Ideal}{}{} von $R$. Zeige, dass \maabbdisp {} { R ^{\times} } { { \left( R/ {\mathfrak a} \right) }^{\times} } {} \definitionsverweis {surjektiv}{}{} ist.
}
{
Bei
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ = }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Restklassenring der Nullring und die Aussage ist klar, sei also
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ {\mathfrak m}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mathl{r \in R}{} ein Repräsentant einer Einheit aus
\mathl{R/ {\mathfrak a}}{,} und sei
\mathl{s \in R}{} derart, dass
\mavergleichskettedisp
{\vergleichskette
{rs
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
in
\mathl{R/ {\mathfrak a}}{} ist. Dies bedeutet
\mavergleichskettedisp
{\vergleichskette
{ rs - 1
}
{ \in} { {\mathfrak a}
}
{ \subseteq} { {\mathfrak m}
}
{ } {
}
{ } {
}
}
{}{}{}
in $R$. Wenn $r$ keine Einheit wäre, so wäre
\mathl{rs \in {\mathfrak m}}{} und dann ergäbe sich der Widerspruch
\mavergleichskettedisp
{\vergleichskette
{1
}
{ =} { (1- rs ) +rs
}
{ \in} { {\mathfrak m}
}
{ } {
}
{ } {
}
}
{}{}{.}
Also ist $r$ selbst eine Einheit.
}
\inputaufgabeklausurloesung
{6 (1+5)}
{
\aufzaehlungzweiabc{Finde einen Punkt
\mathl{(x,y)}{} mit rationalen Koordinaten auf dem Kreis, der durch die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ x^2+y^2
}
{ =} { 2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben ist.
}{Finde eine rationale Parametrisierung des Kreises aus Teil (a).
}
}
{ }
\inputaufgabeklausurloesung
{5}
{
Beweise den Satz über die universelle Eigenschaft der Monoidringe.
}
{
Ein
$R$-\definitionsverweis {Modulhomomorphismus}{}{}
\maabb {\tilde{\varphi}} { R[M] } { B
} {}
ist festgelegt durch die Bilder der Basiselemente
\mathbed {X^m} {}
{m \in M} {}
{} {} {} {.}
Das Diagramm kommutiert genau dann, wenn
\mavergleichskette
{\vergleichskette
{ \tilde{\varphi} { \left( X^m \right) }
}
{ = }{ \varphi(m)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Durch diese Bedingung ist die Abbildung also eindeutig festgelegt und ist bereits ein $R$-Modulhomomorphismus. Es ist zu zeigen, dass dieser Homomorphismus auch die Multiplikation respektiert. Es ist
\mavergleichskette
{\vergleichskette
{ \tilde{\varphi}(1)
}
{ = }{ \tilde{\varphi} { \left( X^0 \right) }
}
{ = }{ \varphi(0)
}
{ = }{ 1
}
{ }{
}
}
{}{}{.}
Ferner ist
\mavergleichskettedisp
{\vergleichskette
{ \tilde{\varphi} { \left( X^m X^k \right) }
}
{ =} { \tilde{\varphi} { \left( X ^{m+k} \right) }
}
{ =} { {\varphi(m+k)}
}
{ =} { \varphi(m) \cdot \varphi(k)
}
{ =} { \tilde{\varphi} { \left( X^m \right) } \cdot \tilde{\varphi} { \left( X^k \right) }
}
}
{}{}{.}
Auf der Ebene der Monome respektiert die Abbildung also die Multiplikation. Daraus folgen für Elemente
\mavergleichskette
{\vergleichskette
{ f
}
{ = }{ \sum_{m \in M} a_m X^m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ g
}
{ = }{ \sum_{k \in M} b_k X^k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Identitäten
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \tilde{\varphi} { \left( { \left( \sum_{m \in M} a_m X^m \right) } { \left( \sum_{k \in M} b_k X^k \right) } \right) }
}
{ =} { \tilde{\varphi} { \left( \sum_{\ell \in M} { \left( \sum_{m+k = \ell} a_mb_k \right) } X^\ell \right) }
}
{ =} { \sum_{\ell \in M} { \left( \sum_{m+k = \ell} a_mb_k \right) } \varphi(\ell)
}
{ =} { \sum_{m,k \in M} a_mb_k \varphi(m)\varphi(k)
}
{ =} { { \left( \sum_{m \in M} a_m \varphi(m) \right) } { \left( \sum_{k \in M} b_k \varphi(k) \right) }
}
}
{
\vergleichskettefortsetzungalign
{ =} { \tilde{\varphi} { \left( \sum_{m \in M} a_m X^m \right) } \tilde{\varphi} { \left( \sum_{k \in M} b_k X^k \right) }
}
{ } {}
{ } {}
{ } {}
}
{}{,}
sodass die Abbildung ein Ringhomomorphismus ist.
}
\inputaufgabeklausurloesung
{2}
{
Es sei
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sei
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ \N \times \Z/( n )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Untermonoid}{}{.}
Zeige, dass
\mavergleichskette
{\vergleichskette
{ m
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann eine
\definitionsverweis {Einheit}{}{}
ist, wenn $m$ aufgefasst in
\mathl{\N \times \Z/( n )}{} eine Einheit ist.
}
{
Es sei
\mavergleichskette
{\vergleichskette
{m
}
{ = }{ (r,s)
}
{ \in }{ M
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn $m$ in $M$ eine Einheit ist, so gilt dies erst recht in
\mathl{\N \times \Z/( n )}{,} da ja das zu $m$ inverse Element auch zu
\mathl{\N \times \Z/( n )}{} gehört. Es sei nun $m$ eine Einheit in
\mathl{\N \times \Z/( n )}{.} Dann muss zunächst
\mavergleichskette
{\vergleichskette
{r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein. Das Inverse zu
\mavergleichskette
{\vergleichskette
{ m
}
{ = }{ (0,s)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{0
}
{ \leq }{ s
}
{ < }{ n
}
{ }{
}
{ }{
}
}
{}{}{}
ist in
\mathl{\N \times \Z/( n )}{} durch
\mavergleichskette
{\vergleichskette
{ (0, n-s)
}
{ = }{ (0,-s)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Wegen
\mavergleichskettedisp
{\vergleichskette
{ (n-1) (0,s)
}
{ =} { (0, (n-1)s)
}
{ =} { (0, -s)
}
{ } {
}
{ } {
}
}
{}{}{}
gehört dies auch zu $M$.
}
\inputaufgabeklausurloesung
{5}
{
Es sei $K$ ein Körper. Beweise die Produktregel für das formale Ableiten \maabbeledisp {D} {K[X] } { K[X] } { F } { F' } {.}
}
{
Die Produktregel besagt
\mavergleichskettedisp
{\vergleichskette
{ (F \cdot G)'
}
{ =} { F \cdot G' + F' \cdot G
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach Definition ist die Ableitung
\mathl{F \mapsto F'}{} eine $K$-lineare Abbildung. Deshalb und aufgrund des Distributivgesetzes sind für festes $G$ die Abbildungen
\mathdisp {F \longmapsto F \cdot G \longmapsto (F \cdot G)'} { , }
\mathdisp {F \longmapsto F \cdot G'} { }
und
\mathdisp {F \longmapsto F' \cdot G} { }
$K$-linear. Da jedes $F$ eine eindeutige Darstellung als $K$-Linearkombination mit den Potenzen
\mathbed {X^n} {}
{n \in \N} {}
{} {} {} {,}
besitzt, genügt es, die Aussage für
\mavergleichskette
{\vergleichskette
{ F
}
{ = }{ X^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu zeigen. Die gleiche Überlegung zeigt, dass man lediglich
\mathl{G=X^m}{} betrachten muss. Dann gilt einerseits
\mavergleichskettedisp
{\vergleichskette
{(X^n \cdot X^m)'
}
{ =} {(X^{n+m})'
}
{ =} {(n+m) X^{n+m-1}
}
{ } {
}
{ } {
}
}
{}{}{}
und andererseits
\mavergleichskettealign
{\vergleichskettealign
{X^n \cdot (X^m)' + (X^n)' \cdot X^m
}
{ =} { m X^n X^{m-1} + n X^{n-1} X^m
}
{ =} { m X^{n+m-1} + nX^{n+m-1}
}
{ =} { (n+m) X^{n+m-1}
}
{ } {
}
}
{}
{}{,}
sodass Gleichheit gilt.
}
\inputaufgabeklausurloesung
{4}
{
Zeige, dass die
\definitionsverweis {ebene projektive Kurve}{}{}
\mavergleichskettedisp
{\vergleichskette
{ V_+ { \left( XY^3+YZ^3+ZX^3 \right) }
}
{ \subset} { {\mathbb P}^{2}_{ {\mathbb C} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\definitionsverweis {glatt}{}{}
ist.
}
{
Da die Situation symmetrisch in den Variablen ist, genügt es, die Situation auf
\mathl{D_+(Z)}{} zu betrachten. Die inhomogene Gleichung der Kurve lautet dort
\mavergleichskettedisp
{\vergleichskette
{XY^3+Y+X^3
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die
\definitionsverweis {partiellen Ableitungen}{}{}
sind
\mathdisp {{ \frac{ \partial { \left( XY^3+Y+X^3 \right) } }{ \partial X } } = Y^3+3X^2 \text{ und } { \frac{ \partial { \left( XY^3+Y+X^3 \right) } }{ \partial Y } } = 1 + 3XY^2} { . }
Wir ziehen das $X$-fache der ersten Ableitung von der Kurvengleichung ab und erhalten die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ Y
}
{ =} { 2X^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies setzen wir in die Kurvengleichung und in die zweite Ableitung ein und erhalten
\mavergleichskettealign
{\vergleichskettealign
{0
}
{ =} { XY^3+Y+X^3
}
{ =} { 8X^{10} + 2X^3+X^3
}
{ =} { X^3 { \left( 8X^7 +3 \right) }
}
{ } {
}
}
{}
{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ 1+3XY^2
}
{ =} { 1 + 12 X^7
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen letzterer Gleichung ist
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ausgeschlossen. Also müsste für einen singulären Punkt
\mavergleichskettedisp
{\vergleichskette
{ - { \frac{ 3 }{ 8 } }
}
{ =} { X^7
}
{ =} { - { \frac{ 1 }{ 12 } }
}
{ } {
}
{ } {
}
}
{}{}{}
gelten, was nicht sein kann.
}
\inputaufgabeklausurloesung
{3}
{
Es sei $K$ ein
\definitionsverweis {algebraisch abgeschlossener Körper}{}{,}
sei
\mavergleichskettedisp
{\vergleichskette
{C
}
{ =} { V_+ { \left( X^2+Y^2+Z^2 \right) }
}
{ \subset} { {\mathbb P}^{2}_{K}
}
{ } {
}
{ } {
}
}
{}{}{}
und sei
\maabbdisp {\varphi} { C } { {\mathbb P}^{1}_{ K }
} {}
der durch die
\definitionsverweis {Projektion weg vom Punkt}{}{}
\maabbeledisp {} { {\mathbb P}^{2}_{ K } \setminus \{(1,0,0)\}} { {\mathbb P}^{1}_{ K }
} {(x,y,z)} { (y,z)
} {,}
definierte
\definitionsverweis {Morphismus}{}{.}
Bestimme das Urbild des Punktes
\mathl{(3,5) \in {\mathbb P}^{1}_{ K }}{.}
}
{
Die Urbildgerade zum Punkt
\mathl{(3,5)}{} wird durch die homogene Gleichung
\mathl{5Y-3Z}{} beschrieben. Es geht also um den Durchschnitt
\mathdisp {V_+(X^2+Y^2+Z^2) \cap V_+(5Y-3Z)} { . }
Dies führt auf die homogene Bedingung
\mavergleichskettealign
{\vergleichskettealign
{0
}
{ =} { X^2+Y^2+Z^2
}
{ =} { X^2+Y^2+ { \left( { \frac{ 5 }{ 3 } } \right) }^2 Y^2
}
{ =} { X^2+ { \left( { \frac{ 34 }{ 9 } } \right) }^2 Y^2
}
{ } {
}
}
{}
{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{X
}
{ =} { \pm { \frac{ \sqrt{34} }{ 3 } } { \mathrm i} Y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei ${ \mathrm i}$ eine Quadratwurzel von $-1$ sei, und die beiden Lösungen sind
\mathdisp {\left( { \frac{ \sqrt{34} }{ 3 } } { \mathrm i} , \, 1 , \, { \frac{ 5 }{ 3 } } \right) \text{ und } \left( - { \frac{ \sqrt{34} }{ 3 } } { \mathrm i} , \, 1 , \, { \frac{ 5 }{ 3 } } \right)} { . }
}