Kurs:Algebraische Kurven/7/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}{ 2 }
\renewcommand{\avier}{ 4 }
\renewcommand{\afuenf}{ 4 }
\renewcommand{\asechs}{ 4 }
\renewcommand{\asieben}{ 2 }
\renewcommand{\aacht}{ 10 }
\renewcommand{\aneun}{ 4 }
\renewcommand{\azehn}{ 3 }
\renewcommand{\aelf}{ 4 }
\renewcommand{\azwoelf}{ 4 }
\renewcommand{\adreizehn}{ 8 }
\renewcommand{\avierzehn}{ 2 }
\renewcommand{\afuenfzehn}{ 6 }
\renewcommand{\asechzehn}{ 63 }
\renewcommand{\asiebzehn}{ }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellefuenfzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabepunkteloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Eine \stichwort {affin-lineare Variablentransformation} {.}
}{Eine \stichwort {rationale} {} ebene Kurve.
}{Ein \stichwortpraemath {R} {Modul}{} $M$ über einem kommutativen Ring $R$.
}{Die \stichwort {numerische Einbettungsdimension} {} eines numerischen Monoids $M$.
}{Eine \stichwort {formale Potenzreihe} {} über einem kommutativen Ring $R$ in der Variablenmenge
\mathl{T_1 , \ldots , T_n}{.}
}{Das
\stichwort {Nullstellengebilde} {}
zu einem homogenen Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ K[X_0 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{
\aufzaehlungsechs{Man nennt eine
\definitionsverweis {Abbildung}{}{}
\maabb {\varphi} { { {\mathbb A}_{ K }^{ n } } } { { {\mathbb A}_{ K }^{ n } }
} {}
der Form
\mavergleichskettedisp
{\vergleichskette
{ \varphi (x_1 ,\ldots, x_n)
}
{ =} { M \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix} + (v_1 ,\ldots, v_n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $M$ eine
\definitionsverweis {invertierbare Matrix}{}{}
ist, eine affin-lineare Variablentransformation.
}{Eine ebene algebraische Kurve
\mathl{C=V(F)}{} heißt rational, wenn sie
\definitionsverweis {irreduzibel}{}{}
ist und es eine
\definitionsverweis {rationale Parametrisierung}{}{}
für sie gibt.
}{Man nennt $M$ einen
\stichwortpraemath {R} {Modul}{,}
wenn eine Operation
\maabbeledisp {} {R \times M } { M
} {(r,v)} { rv = r\cdot v
} {,}
festgelegt ist, die folgende Axiome erfüllt
\zusatzklammer {dabei seien \mathlk{r,s \in R}{} und \mathlk{u,v \in M}{} beliebig} {} {:}
\aufzaehlungvier{
\mathl{r(su) = (rs) u}{,}
}{
\mathl{r(u+v) = (ru) + (rv)}{,}
}{
\mathl{(r+s)u = (ru)+ (su)}{,}
}{
\mathl{1u = u}{.}
}
}{Man nennt die minimale Anzahl von Elementen in einem Erzeugendensystem für $M$ die Einbettungsdimension von $M$.
}{Eine formale Potenzreihe ist ein Ausdruck der Form
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} { \sum_{\nu} a_\nu T^\nu
}
{ =} {\sum_{\nu} a_\nu T_1^{\nu_1} \cdots T_n^{\nu_n}
}
{ } {
}
{ } {
}
}
{}{}{.}
wobei
\mathl{a_\nu \in R}{} ist für alle
\mathl{\nu=(\nu_1 , \ldots , \nu_n) \in \N^n}{.}
}{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}$.
}
}
\inputaufgabepunkteloesung
{3}
{
Formuliere die folgenden Sätze.
\aufzaehlungdrei{Der \stichwort {Satz über die Parametrisierung von Quadriken} {.}}{Der Satz über den globalen Schnittring eines $K$-Spektrums.}{Der Satz über den projektiven Abschluss zu einer affinen Varietät
\mavergleichskette
{\vergleichskette
{V( {\mathfrak a} )
}
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
}
{
\aufzaehlungdrei{Es sei
\mathl{C=V(F)}{} eine Quadrik in zwei Variablen, also
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} {\alpha X^2+ \beta XY+\gamma Y^2 + \delta X + \epsilon Y + \eta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {mit $\alpha$, $\beta$, $\gamma$ nicht alle $0$} {} {.}
Es sei vorausgesetzt, dass es mindestens einen Punkt auf der Quadrik gibt. Dann gibt es Polynome
\mathbed {P_1,P_2,Q \in K[T]} {}
{Q \neq 0} {}
{} {} {} {,}
derart, dass das Bild der rationalen Abbildung
\mathdisp {{\mathbb A}^{1}_{K} \supseteq D(Q) \longrightarrow {\mathbb A}^{2}_{K} \, \text{ mit } t \longmapsto \left( \frac{P_1(t)}{Q(t)}, \frac{P_2(t)}{Q(t)}\right)} { }
in $C$ liegt.}{Es sei $K$ ein algebraisch abgeschlossener Körper, $R$ eine reduzierte $K$-Algebra von endlichem Typ und sei
\mavergleichskette
{\vergleichskette
{V
}
{ = }{K\!-\!\operatorname{Spek}\, { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das $K$-Spektrum von $R$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \Gamma (V, {\mathcal O} )
}
{ =} { R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Es sei $K$ ein algebraisch abgeschlossener Körper und sei
\mathl{V=V({\mathfrak a})\subseteq { {\mathbb A}_{ K }^{ n } } \cong D_+(X_0)}{} eine affine Varietät. Dann wird der projektive Abschluss durch
\mathl{V_+({\mathfrak b})}{} beschrieben,}
}
\inputaufgabepunkteloesung
{2}
{
Es sei $R$ ein \definitionsverweis {Integritätsbereich}{}{} und $R[X]$ der \definitionsverweis {Polynomring}{}{} über $R$. Zeige, dass die \definitionsverweis {Einheiten}{}{} von $R[X]$ genau die Einheiten von $R$ sind.
}
{
Es sei
\mathl{a \in R}{} eine Einheit. Dann gibt es ein
\mathl{b \in R}{} mit
\mathl{ab=1}{} und die gleiche Identität gilt auch im Polynomring. Also ist
\mavergleichskettedisp
{\vergleichskette
{ R^{\times}
}
{ \subseteq} { R[X]^{\times}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es sei nun
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} { \sum_{i = 0 }^d a_i X^{i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {\mathlk{a_d \neq 0}{}} {} {}
eine Einheit in
\mathl{R[X]}{.} Dann gibt es ein Polynom
\mavergleichskettedisp
{\vergleichskette
{Q
}
{ =} { \sum_{j = 0 }^e b_j X^{j}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {\mathlk{b_e \neq 0}{}} {} {}
mit
\mavergleichskettedisp
{\vergleichskette
{PQ
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da $R$ ein Integritätsbereich ist, ist
\mathl{a_db_e \neq 0}{} und das Produkt hat die Gestalt
\mathdisp {a_db_e X^{d+e} + \text{Terme von kleinerem Grad}} { . }
Daher ist
\mavergleichskettedisp
{\vergleichskette
{d+e
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{a_d b_e
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
das Polynom ist also eine konstante Einheit.
}
\inputaufgabepunkteloesung
{4}
{
Es sei $p$ eine Primzahl und sei
\mathl{f(x)}{} ein Polynom mit Koeffizienten in
\mathl{\Z/(p)}{} vom Grad
\mathl{d \geq p}{.} Zeige, dass es ein Polynom $g(x)$ mit einem Grad $< p$ derart gibt, dass für alle Elemente
\mathl{a \in \Z/(p)}{} die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ f(a)
}
{ =} {g(a)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{
Wir führen im Polynomring
\mathl{(\Z/(p) )[X]}{} die Division mit Rest von $f$ durch
\mathl{X^p-X}{} durch und erhalten
\mavergleichskettedisp
{\vergleichskette
{ f
}
{ =} {(X^p-X)q +g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei ist $g=0$ oder aber der Grad von $g$ ist $d < p$
\zusatzklammer {das Nullpolynom habe jeden Grad} {} {.}
Setzt man links und rechts ein Element
\mathl{a \in \Z/(p)}{} ein, so ist stets
\mathl{a^p=a}{} nach dem kleinen Fermat, d.h. der linke Summand ist immer null und damit stimmen
\mathkor {} {f} {und} {g} {}
an diesen Stellen überein.
}
\inputaufgabepunkteloesung
{4}
{
Bestimme die Schnittpunkte des Einheitskreises mit der Geraden, die durch die beiden Punkte \mathkor {} {(-1,1)} {und} {(4,-2)} {} verläuft.
}
{
Der Richtungsvektor der Geraden ist
\mathl{\begin{pmatrix} 5 \\-3 \end{pmatrix}}{.} Somit besitzt die Geradengleichung die Form
\mavergleichskettedisp
{\vergleichskette
{3x+5y
}
{ =} { c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Einsetzen eines Punkt ergibt
\mavergleichskette
{\vergleichskette
{c
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { { \frac{ 2- 3x }{ 5 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies setzen wir in die Kreisgleichung
\mavergleichskettedisp
{\vergleichskette
{x^2+y^2
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein und erhalten
\mavergleichskettedisp
{\vergleichskette
{x^2 + { \left( { \frac{ 2- 3x }{ 5 } } \right) }^2
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
oder
\mavergleichskettedisp
{\vergleichskette
{ x^2 + { \frac{ 4 - 12x +9x^2 }{ 25 } } -1
}
{ =} { { \frac{ 34 }{ 25 } } x^2 - { \frac{ 12 }{ 25 } } x - { \frac{ 21 }{ 25 } }
}
{ =} {0
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Normierung davon ist
\mathdisp {x^2 - { \frac{ 6 }{ 17 } } x - { \frac{ 21 }{ 34 } }} { . }
Somit ist
\mavergleichskettealign
{\vergleichskettealign
{ x_{1,2}
}
{ =} { { \frac{ { \frac{ 6 }{ 17 } } \pm \sqrt{ { \left( { \frac{ 6 }{ 17 } } \right) }^2 + 4 \cdot { \frac{ 21 }{ 34 } } } }{ 2 } }
}
{ =} { { \frac{ { \frac{ 6 }{ 17 } } \pm \sqrt{ { \left( { \frac{ 6 }{ 17 } } \right) }^2 + { \frac{ 42 }{ 17 } } } }{ 2 } }
}
{ =} { { \frac{ 6 \pm \sqrt{ 6^2 + 714 } }{ 34 } }
}
{ =} { { \frac{ 6 \pm \sqrt{ 750 } }{ 34 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 6 \pm 5 \sqrt{ 30 } }{ 34 } }
}
{ } {}
{ } {}
{ } {}
}
{}{}
und
\mavergleichskettealign
{\vergleichskettealign
{y_{1,2}
}
{ =} { { \frac{ 2- 3x_{1,2} }{ 5 } }
}
{ =} { { \frac{ 2- 3 { \left( { \frac{ 6 \pm 5 \sqrt{ 30 } }{ 34 } } \right) } }{ 5 } }
}
{ =} { { \frac{ 68 - 3 { \left( 6 \pm 5 \sqrt{ 30 } \right) } }{ 170 } }
}
{ =} { { \frac{ 50 \mp 15 \sqrt{ 30 } }{ 170 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 10 \mp 3 \sqrt{ 30 } }{ 34 } }
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Die Schnittpunkte sind also
\mathdisp {\left( { \frac{ 6 + 5 \sqrt{ 30 } }{ 34 } } , \, { \frac{ 10 - 3 \sqrt{ 30 } }{ 34 } } \right) \text{ und } \left( { \frac{ 6 - 5 \sqrt{ 30 } }{ 34 } } , \, { \frac{ 10 + 3 \sqrt{ 30 } }{ 34 } } \right)} { . }
}
\inputaufgabepunkteloesung
{4}
{
Es sei $K$ ein \definitionsverweis {Körper}{}{.} Betrachte die durch \maabbeledisp {} {{\mathbb A}^{1}_{K} } { {\mathbb A}^{2}_{K} } {t} { (t+t^2,t^3) = (x,y) } {,} definierte Parametrisierung. Bestimme eine \zusatzklammer {nichttriviale} {} {} algebraische Gleichung, die für alle Bildpunkte dieser Abbildung erfüllt ist. Man gebe auch einen Punkt in der affinen Ebene an, der nicht auf der Bildkurve liegt.
}
{
Wir berechnen die ersten Monome in $X$ und $Y$. Es ist
\mathdisp {X^0Y^0=1} { }
\mathdisp {X=(t^2+t)} { }
\mathdisp {Y=t^3} { }
\mathdisp {XY=t^5+t^4} { }
\mathdisp {X^2=t^4+2t^3+t^2} { }
\mathdisp {Y^2=t^6} { }
\mathdisp {X^3=t^6+3t^5+3t^4+t^3} { . }
Wir brauchen eine nicht-triviale Relation dieser Polynome aus $K[t]$. Es ist
\mathdisp {X^3-Y^2-Y=3t^5+3t^4=3XY} { . }
Also ist
\mathdisp {X^3-Y^2-Y-3XY} { }
eine algebraische Relation für die Bildkurve.
}
\inputaufgabepunkteloesung
{2}
{
Es sei $R$ ein
\definitionsverweis {noetherscher}{}{,}
\definitionsverweis {kommutativer Ring}{}{.}
Zeige, dass dann auch jeder
\definitionsverweis {Restklassenring}{}{}
\mathl{R/{\mathfrak a}}{} noethersch ist.
}
{
Es sei
\mathl{{\mathfrak a} \subseteq R/{\mathfrak b}}{} ein Ideal und sei
\mathl{\tilde{\mathfrak a} \subseteq R}{} das Urbildideal davon. Dieses ist endlich erzeugt nach Voraussetzung, also
\mathl{\tilde{\mathfrak a} =(f_1, \ldots , f_n)}{.} Die Restklassen dieser Erzeuger, also
\mathl{\bar{f}_1, \ldots,\bar{f}_n}{,} bilden ein Idealerzeugendensystem von $\mathfrak a$: Für ein Element
\mathl{\bar{g} \in {\mathfrak a}}{} gilt ja
\mathl{g= \sum_{i=1}^n r_i f_i}{} in $R$ und damit
\mathl{\bar{g} = \sum_{i=1}^n \bar{r}_i \bar{f}_i}{} in
\mathl{R/{\mathfrak b}}{.}
}
\inputaufgabepunkteloesung
{10}
{
Beweise die algebraische Version des Hilbertschen Nullstellensatzes.
}
{
Wir setzen
\mathl{L=K[x_1 , \ldots , x_n]}{.} Es sei $K_i$ der
\definitionsverweis {Quotientenkörper}{}{}
von
\mathl{K[x_1 , \ldots , x_i]}{}
\zusatzklammer {innerhalb von $L$} {} {.}
Wir haben also eine Körperkette
\mavergleichskettedisp
{\vergleichskette
{K
}
{ =} {K_0
}
{ \subseteq} { K_1
}
{ \subseteq} { \ldots
}
{ \subseteq} { K_n
}
}
{
\vergleichskettefortsetzung
{ =} {L
}
{ } {}
{ } {}
{ } {}
}{}{.}
Wir wollen zeigen, dass $L$ endlich über $K$ ist, und dazu genügt es
nach [[Endliche Körpererweiterung/Gradformel/Fakt|Kurs:Körper- und Galoistheorie (Osnabrück 2011)/7/Klausur mit Lösungen/latex (Körper- und Galoistheorie (Osnabrück 2011)) (Algebraische Kurven (Osnabrück 2017-2018))]]
zu zeigen, dass jeder Schritt in der Körperkette endlich ist. Es sei angenommen, dass
\mathl{K_i \subseteq K_{i+1}}{} nicht endlich ist, aber alle folgenden Schritte endlich sind. Wir wenden
Lemma 10.5 (Algebraische Kurven (Osnabrück 2017-2018))
auf
\mavergleichskettedisp
{\vergleichskette
{K
}
{ \subseteq} { K_{i+1}
}
{ \subset} { L
}
{ } {
}
{ } {
}
}
{}{}{}
an und erhalten, dass
\mathl{K_{i+1}}{}
\definitionsverweis {endlich erzeugt}{}{}
über $K$ ist. Dann ist insbesondere
\mathl{K_{i+1}}{} auch endlich erzeugt über $K_i$. Andererseits ist
\mathl{K_{i+1}}{} der Quotientenkörper von
\mathl{K_i[x_{i+1}]}{.} Wir haben also eine Kette
\mavergleichskettedisp
{\vergleichskette
{ K_i
}
{ \subseteq} { K_i[x_{i+1}]
}
{ \subseteq} { Q( K_i[x_{i+1}])
}
{ =} {K_{i+1}
}
{ } {
}
}
{}{}{,}
wo
\mathl{K_{i+1}}{} endlich erzeugt über $K_i$ ist, aber nicht endlich. Wäre
\mathl{x_{i+1}}{}
\definitionsverweis {algebraisch}{}{}
über $K_i$, so auch endlich, und dann wäre
\mathl{K_i[x_{i+1}]}{} bereits ein Körper
nach Aufgabe 10.1 (Algebraische Kurven (Osnabrück 2017-2018)).
Dann wäre die letzte Kette insgesamt endlich, im Widerspruch zur Wahl von $i$. Also ist
\mathl{x_{i+1}}{}
\definitionsverweis {transzendent}{}{}
über $K_i$. Dann ist aber
\mathl{K_i[x_{i+1}]}{} isomorph zu einem
\definitionsverweis {Polynomring in einer Variablen}{}{}
und
\mathl{Q( K_i[x_{i+1}])}{} ist isomorph zum
\definitionsverweis {rationalen Funktionenkörper}{}{}
über $K_i$. Dieser ist aber nach
Lemma 10.6 (Algebraische Kurven (Osnabrück 2017-2018))
nicht endlich erzeugt, sodass sich erneut ein Widerspruch ergibt.
}
\inputaufgabepunkteloesung
{4}
{
Es sei
\mathl{p \in \Z}{} eine Primzahl und
\mathl{n \in \N_+}{.} Zeige, dass der
\definitionsverweis {Restklassenring}{}{}
$\Z/(p^n)$ nur die beiden trivialen
\definitionsverweis {idempotenten Elemente}{}{}
\mathkor {} {0} {und} {1} {}
besitzt.
}
{
Es sei $e \in \Z/(p^n)$ ein idempotentes Element. Dies bedeutet
\mavergleichskettedisp
{\vergleichskette
{e^2
}
{ =} {e
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit ist
\mathl{e(e-1)}{} ein Vielfaches von $p^n$, sagen wir
\mavergleichskettedisp
{\vergleichskette
{ e(e-1)
}
{ =} { a p^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nehmen wir
\mathl{e \neq 0,1}{} an. Wegen der eindeutigen Primfaktorzerlegung in $\Z$ ist
\mavergleichskettedisp
{\vergleichskette
{e
}
{ =} { bp^i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{e-1
}
{ =} { c p^j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{i+j
}
{ =} {n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wären
\mathl{i,j \geq 1}{,} so wäre sowohl
\mathkor {} {e} {als auch} {e-1} {}
ein Vielfaches von $p$, und das würde dann auch für
\mavergleichskette
{\vergleichskette
{1
}
{ = }{e- (e-1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gelten, was nicht der Fall ist. Also ist
\mathkor {} {i=n} {oder} {j=n} {,}
was
\mavergleichskette
{\vergleichskette
{e
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{ e-1
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
im Restklassenring
\mathl{\Z/(p^n)}{} bedeutet.
}
\inputaufgabepunkteloesung
{3}
{
Bestimme die Primfaktorzerlegung des Polynoms
\mathdisp {X^3+XY^2 \in {\mathbb C}[X,Y]} { }
und bestimme die Singularitäten der zugehörigen affinen Kurve samt ihren Multiplizitäten und Tangenten.
}
{
Offenbar ist durch $X (X + { \mathrm i} Y) (X - { \mathrm i} Y)$ eine Zerlegung des Polynoms in Primfaktoren gegeben. Um singuläre Punkte zu bestimmen, untersuchen wir die partiellen Ableitungen.
\mathdisp {\frac{\partial F}{\partial X} = 3X^2 + Y^2 \text{ und } \frac{\partial F}{\partial Y} = 2XY} { . }
Man sieht unmittelbar, dass diese beiden Gleichungen genau dann erfüllt sind, wenn $(x,y) = (0,0)$. Da dieser Punkt auch der Kurvengleichung genügt, ist dies ein (der) singuläre Punkt der Kurve. Das Polynom, welches die Kurve beschreibt, ist schon homogen vom Grad $3$, also ist die Multiplizität $3$. Die Tangenten sind also durch $V(X), V(X + { \mathrm i} Y)$ und $V(X - { \mathrm i} Y)$ gegeben.
}
\inputaufgabepunkteloesung
{4}
{
Bestimme die
\definitionsverweis {Einheiten}{}{}
im Ring
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ K[\Q]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei $K$ ein
\definitionsverweis {Körper}{}{}
ist.
}
{
Die Einheiten sind genau die Elemente der Form
\mathdisp {aX^q \text{ mit } a \neq 0 \text{ und } q \in \Q} { . }
Solche Elemente sind Einheiten, da ja
\mavergleichskettedisp
{\vergleichskette
{ { \left( aX^q \right) } { \left( a^{-1} X^{-q} \right) }
}
{ =} { X^q X^{-q}
}
{ =} {X^{q-q}
}
{ =} {X^0
}
{ =} {1
}
}
{}{}{}
gilt. Wenn umgekehrt
\mavergleichskette
{\vergleichskette
{P
}
{ = }{a_{q_1} X^{q_1} + a_{q_2} X^{q_2} + \cdots + a_{q_n} X^{q_n}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathl{q_1< q_2 < \ldots < q_n}{} eine Einheit ist, so gibt es ein
\mavergleichskette
{\vergleichskette
{Q
}
{ = }{b_{r_1} X^{r_1} + b_{r_2} X^{r_2} + \cdots + b_{r_m} X^{r_m}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit entsprechend
\mathl{r_1< r_2 < \ldots < r_m}{} und mit
\mavergleichskettedisp
{\vergleichskette
{PQ
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei seien die angeführten Koeffizienten
\mathl{\neq 0}{.} Das Produkt ist daher von der Form
\mathdisp {a_{q_1} b_{r_1}X^{q_1 +r_1} + \cdots + a_{q_n} b_{r_m}X^{q_n +r_m}} { . }
Dies kann nur dann gleich $1$ sein, wenn
\mavergleichskettedisp
{\vergleichskette
{ q_1 +r_1
}
{ =} {q_n +r_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, was nur bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{m
}
{ = }{1
}
{ }{
}
{ }{
}
}
{}{}{}
möglich ist.
}
\inputaufgabepunkteloesung
{4}
{
Es sei $K$ ein Körper und $R$ eine integre, endlich erzeugte $K$-Algebra mit Quotientenkörper
\mathl{Q(R)}{.} Es sei $q \in Q(R)$. Zeige, dass die Menge
\mathdisp {{ \left\{ P \in K\!-\!\operatorname{Spek}\, { \left( R \right) } \mid q \in {\mathcal O}_P \right\} }} { }
offen in $K\!-\!\operatorname{Spek}\, { \left( R \right) }$ ist
\zusatzklammer {dabei bezeichnet ${\mathcal O}_P$ den lokalen Ring im Punkt $P$} {} {.}
}
{
Wir zeigen, dass es zu jedem Punkt $P$ mit $q \in {\mathcal O}_P$ eine offene Umgebung des Punktes gibt derart, dass die Eigenschaft für jeden Punkt der Umgebung gilt. Damit ist dann die Vereinigung dieser offenen Umgebungen offen. Der lokale Ring hat die Gestalt ${\mathcal O}_P=R_{\mathfrak m}$ mit einem maximalen Ideal ${\mathfrak m}$ in $R$. Die Zugehörigkeit $q \in R_{\mathfrak m}$ bedeutet, dass man $q=r/f$ schreiben kann mit $f \not\in {\mathfrak m}$. Damit ist $P \in D(f)$ eine offene Umgebung und $f$ ist für jeden Punkt dieser offenen Umgebung ein erlaubter Nenner, sodass für jeden Punkt $P' \in D(f)$ ebenfalls $q \in {\mathcal O}_{P'}$ gilt.
}
\inputaufgabepunkteloesung
{8}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und sei
\maabbdisp {\nu} {(K^\times, \cdot,1)} { (\Z,+,0)
} {}
ein
\definitionsverweis {surjektiver}{}{}
\definitionsverweis {Gruppenhomomorphismus}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \nu(f+g)
}
{ \geq }{\min\{ \nu(f) , \nu(g)\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ f,g
}
{ \in }{ K^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass
\mavergleichskettedisp
{\vergleichskette
{R
}
{ =} { { \left\{ f \in K^\times \mid \nu(f) \geq 0 \right\} } \cup \{0\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein
\definitionsverweis {diskreter Bewertungsring}{}{}
ist.
}
{
Zuerst zeigen wir, dass $R$ ein Unterring des Körpers $K$ ist. Es ist
\mavergleichskette
{\vergleichskette
{ 0
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da $\nu$ ein Gruppenhomomorphismus ist, muss
\mavergleichskette
{\vergleichskette
{ \nu(1)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein. Für Elemente
\mavergleichskette
{\vergleichskette
{ f,g
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \nu(f), \nu(g)
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und damit
\mavergleichskette
{\vergleichskette
{ \nu(f \cdot g)
}
{ = }{ \nu(f) + \nu(g)
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
}
{}{}{,}
da ein Gruppenhomomorphismus vorliegt, und ebenso
\mavergleichskettedisp
{\vergleichskette
{ \nu(f+g)
}
{ \geq} { \operatorname{min} \left( \nu(f) ,\, \nu(g) \right)
}
{ \geq} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
nach Voraussetzung, sodass $R$ multiplikativ und additiv abgeschlossen ist. Ferner ist
\mavergleichskette
{\vergleichskette
{ \nu(-1) + \nu(-1)
}
{ = }{ \nu ( (-1)^2)
}
{ = }{ \nu (1)
}
{ = }{0
}
{ }{
}
}
{}{}{,}
woraus aber
\mavergleichskette
{\vergleichskette
{ \nu(-1)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit
\mavergleichskette
{\vergleichskette
{ -1
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt. Also gehören auch die Negativen zu $R$, und somit liegt ein kommutativer Ring vor.
Weiterhin muss $R$ ein lokaler Ring sein. Wir behaupten, dass
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak m}
}
{ \defeq} { { \left\{ f \in K^\times \mid \nu(f) \geq 1 \right\} } \cup \{0\}
}
{ \subseteq} { R
}
{ } {
}
{ } {
}
}
{}{}{}
das einzige maximale Ideal ist. Die $0$ gehört dazu und wegen
\mavergleichskette
{\vergleichskette
{ \nu(f+g)
}
{ \geq }{ \operatorname{min} \left( \nu(f) ,\, \nu(g) \right)
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Menge additiv abgeschlossen. Für
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ {\mathfrak m}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ g
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \nu(f)
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \nu(g)
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher
\mavergleichskette
{\vergleichskette
{ \nu(gf)
}
{ = }{ \nu(g) + \nu(f)
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
}
{}{}{,}
sodass die Menge abgeschlossen unter Skalarmultiplikation ist. Also liegt ein Ideal vor.
Das Komplement
\mathl{R \setminus {\mathfrak m}}{} besteht aus allen Elementen
\mavergleichskette
{\vergleichskette
{ h
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \nu(h)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist aber auch
\mavergleichskette
{\vergleichskette
{ \nu(h^{-1})
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und damit
\mavergleichskette
{\vergleichskette
{ h^{-1}
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
d.h. diese Elemente sind alle Einheiten. Daher ist ${\mathfrak m}$ maximal.
Wir müssen noch zeigen dass ein diskreter Bewertungsring vorliegt. Es sei hierzu
\mavergleichskette
{\vergleichskette
{ p
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element mit
\mavergleichskette
{\vergleichskette
{ \nu(p)
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
was es wegen der vorausgesetzten Surjektivität gibt. Wir wollen zeigen, dass $p$ prim ist. Es gilt generell, dass $y$ ein Vielfaches von $x$
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ x,y
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
ist genau dann, wenn
\mavergleichskette
{\vergleichskette
{ \nu(y)
}
{ \geq }{ \nu(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, da ja die Teilbarkeitsbeziehung zu
\mavergleichskette
{\vergleichskette
{ y/x
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent ist. Aus
\mathl{p {{|}} xy}{} mit
\mavergleichskette
{\vergleichskette
{ x,y
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
folgt nun
\mavergleichskette
{\vergleichskette
{1
}
{ = }{\nu(p)
}
{ \leq }{ \nu(xy)
}
{ = }{ \nu(x) + \nu(y)
}
{ }{
}
}
{}{}{}
und dann muss
\mavergleichskette
{\vergleichskette
{ \nu(x)
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{ \nu(y)
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein, sodass eines ein Vielfaches von $p$ ist. Also ist $p$ prim.
Mit dem gleichen Argument folgt, dass jedes Element
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ \nu(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
assoziiert zu $p^n$ ist. Es liegt also ein Hauptidealbereich mit genau den Idealen $0$ und
\mathbed {(p^n)} {}
{n \in \N} {}
{} {} {} {,}
vor.
}
\inputaufgabepunkteloesung
{2 (1+1)}
{
Betrachte die affine Nullstellenmenge
\mavergleichskettedisp
{\vergleichskette
{V
}
{ \defeq} {V { \left( X^4+Y^2 \right) }
}
{ \subseteq} { {\mathbb A}^{2}_{\R}
}
{ } {
}
{ } {
}
}
{}{}{}
über $\R$.
\aufzaehlungzwei {Bestimme die Punkte von $V$ und den
\definitionsverweis {projektiven Abschluss}{}{}
von $V$.
} {Zeige, dass der projektive Abschluss von $V$ nicht mit der projektiven Nullstellenmenge zur
\definitionsverweis {Homogenisierung}{}{}
von
\mathl{X^4+Y^2}{} übereinstimmt.
}
}
{
\aufzaehlungzwei {Der einzige Punkt von $V$ ist der Nullpunkt
\mathl{(0,0)}{.} Da endliche Punktmengen im Projektiven abgeschlossen sind, stimmt dies mit dem projektiven Abschluss überein.
} {Die Homogenisierung ist
\mathl{Y^2Z^2 -X^4}{.} Indem man
\mavergleichskette
{\vergleichskette
{Z
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
setzt, kann man die unendlich fernen Punkte berechnen. Es ergibt sich die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} {X^4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die zusätzliche Lösung
\mathl{(0,1,0)}{.}
}
}
\inputaufgabepunkteloesung
{6}
{
Bestimme die Schnittpunkte und die
\definitionsverweis {Schnittmultiplizitäten}{}{}
der beiden Kurven
\mathl{V(Y^2-X^3)}{} und
\mathl{V(Y^2-X^5)}{} in
\mathl{{\mathbb A}^{2}_{{\mathbb C}}}{} und ihrer projektiver Abschlüsse im
\mathl{{\mathbb P}^{2}_{{\mathbb C}}}{}
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{X^3
}
{ =} { Y^2
}
{ =} { X^5
}
{ } {
}
{ } {
}
}
{}{}{}
und somit muss in einem Schnittpunkt
\mavergleichskettedisp
{\vergleichskette
{X^5-X^3
}
{ =} { X^3(X^2-1)
}
{ =} { X^3 (X-1)(X+1)
}
{ =} { 0
}
{ } {
}
}
{}{}{}
sein. Dies ergibt für die $X$-Koordinate die Möglichkeiten
\mavergleichskettedisp
{\vergleichskette
{X
}
{ =} {0,1-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies führt auf die Schnittpunkte
\mathdisp {(0,0), \, (1,1), \, (1,-1), \, (-1, - { \mathrm i} ) , \, (-1, - { \mathrm i} )} { . }
Wir berechnen die Schnittmultiplizität über die Dimension von
\mathdisp {(K[X,Y]/(Y^2-X^3,X^3 (1-X^2)))_{\mathfrak m}} { }
zu den verschiedenen maximalen Idealen. Bei
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}
}
{ = }{ (X,Y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
geht es um den Ring
\mavergleichskettedisp
{\vergleichskette
{ K[X,Y]_{(X,Y)} /(Y^2-X^3,X^3 )
}
{ =} { K[X,Y]_{(X,Y)} /(Y^2, X^3 )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mathl{1,X,X^2,Y,YX,YX^2}{} ist eine
$K$-\definitionsverweis {Basis}{}{}
dieses Ringes, die Schnittmultiplizität ist also $6$. Bei
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}
}
{ = }{ (X-1,Y-1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{Y^2 -X^3
}
{ =} { - (X^2+X+1) (X-1) + (Y+1) (Y-1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{X^5 -X^3
}
{ =} { X^3 (X+1) (X-1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die Koeffizientenpolynome im lokalen Ring
\mathl{K[X,Y]_{\mathfrak m}}{} Einheiten sind. Also ist die Schnittmultiplizität gleich $1$. Ebenso ist bei
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}
}
{ = }{ (X,Y+1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Schnittmultiplizität gleich $1$. Bei
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}
}
{ = }{ (X+1,Y \pm { \mathrm i} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{Y^2 -X^3
}
{ =} { (X^2+X+1) (X-1) + (Y+ { \mathrm i}) (Y-{ \mathrm i})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und nach dem gleichen Argument wie zuvor ist die Schnittmultiplizität gleich $1$.
Um die Schnittpunkte im Projektiven zu bestimmen, betrachten wir die homogenen Polynome
\mathkor {} {ZY^2-X^3} {und} {Z^3Y^2-X^5} {}
und setzen
\mavergleichskette
{\vergleichskette
{Z
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dies ergibt den einzigen weiteren Schnittpunkt
\mathl{(0,1,0)}{}
\zusatzklammer {in homogenen Koordinaten} {} {.}
Zur Berechnung der Schnittmultiplizität setzen wir
\mavergleichskette
{\vergleichskette
{Y
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und müssen den Ring
\mavergleichskettedisp
{\vergleichskette
{ K[X,Z]/(Z-X^3, Z^3-X^5)
}
{ =} { K[X]/(X^5-X^9)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
betrachten. Dessen $K$-Dimension ist $5$, was somit die Schnittmultiplizität in diesem Punkt ist.
}