Kurs:Algebraische Kurven (Osnabrück 2012)/Arbeitsblatt 25



Aufwärmaufgaben

Aufgabe *

Bestimme für die ebene algebraische Kurve

eine nichtkonstante Potenzreihenlösung im Nullpunkt bis zum sechsten Glied.


Aufgabe *

Bestimme für die ebene algebraische Kurve

eine nicht-konstante Potenzreihenlösung im Nullpunkt bis zur fünften Ordnung.


Die folgenden Aufgaben beschäftigen sich mit der Komplettierung eines lokalen Ringes.

Aufgabe

Betrachte zu einem lokalen Ring mit maximalem Ideal das Diagramm

Dabei sind die Abbildungen die kanonischen Projektionen , die durch die Idealinklusionen induziert werden. Eine Folge von Elementen

heißt verträglich, wenn für alle gilt. Definiere eine Ringstruktur auf der Menge aller verträglichen Elemente (diesen Ring nennt man die Komplettierung von .) Zeige ferner, dass es einen kanonischen Ringhomomorphismus von in die Komplettierung gibt.


Aufgabe

Es sei ein eindimensionaler lokaler noetherscher kommutativer Ring. Zeige, dass die kanonische Abbildung von in die Komplettierung von injektiv ist.

Bemerkung: Die Injektivität gilt für jeden noetherschen lokalen Ring, ist aber schwieriger zu beweisen.

Aufgabe

Es sei ein kommutativer Ring und ein Ideal. Zeigen Sie, dass durch

Umgebungsbasen definiert werden. Zeigen Sie außerdem, dass die auf induzierte Topologie genau dann hausdorffsch ist, wenn .

Bemerkung: Die Komplettierung eines lokalen Ringes bezüglich seines maximalen Ideals entspricht dann genau der (topologischen) Komplettierung bezüglich dieser Topologie.



Aufgaben zum Abgeben

Aufgabe (4 Punkte)

Betrachte die Kardioide

im Punkt . Bestimme eine formale Parametrisierung (bis zum fünften Term) der Kurve in diesem Punkt in Abhängigkeit von einem Tangentenparameter.


Aufgabe (4 Punkte)

Betrachte den Einheitskreis im Punkt . Bestimme Potenzreihen und mit den Anfangsbedingungen und mit .


Aufgabe (4 Punkte)

Betrachte die Neilsche Parabel im Punkt . Finde eine Parametrisierung der Kurve in diesem Punkt mit Potenzreihen (bis zum fünften Glied) derart, dass eine Potenzreihe davon ein lineares Polynom ist.


Aufgabe (3 Punkte)

Es sei ein Körper. Eine formale Laurentreihe mit endlichem Hauptteil ist eine unendliche Summe der Form

Zeige, dass der Ring dieser formalen Reihen (mit geeigneten Ringoperationen) isomorph zum Quotientenkörper des Potenzreihenringes ist.


Aufgabe (4 Punkte)

Es sei ein Körper und sei der Polynomring in einer Variablen. Es sei die Lokalisierung von am maximalen Ideal . Zeige, dass die Komplettierung von isomorph zum Potenzreihenring ist.


Aufgabe (4 Punkte)

Es sei ein Körper und der Potenzreihenring Zeige, dass es in keine Quadratwurzel für gibt. Zeige ferner, dass für das Element eine Quadratwurzel in besitzt, und bestimme die ersten fünf Koeffizienten von einer Quadratwurzel davon.


Aufgabe (5 Punkte)

Es sei ein irreduzibles Polynom und der integre Koordinatenring der ebenen Kurve . Es sei die Normalisierung von und es sei der Ringhomomorphismus zu einer nichtkonstanten formalen Potenzreihenlösung der Kurve. Zeige, dass es einen eindeutig bestimmten Ringhomomorphismus gibt derart, dass das Diagramm

kommutiert.




Aufgabe zum Hochladen

Aufgabe (4 Punkte)

Zeichne mittels eines geeigneten Programms eine der Beispielkurven der Vorlesung sowie die verschiedenen dort berechneten polynomialen Approximationen.




<< | Kurs:Algebraische Kurven (Osnabrück 2012) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)