Kurs:Singularitätentheorie (Osnabrück 2019)/Arbeitsblatt 21


Zeige, dass zu mit und teilerfremd der lokale Ring für nicht regulär ist und für alle anderen Punkte regulär ist. Man gebe für einen Erzeuger des maximalen Ideals an.



Es sei ein numerisches Monoid, das von teilerfremden Erzeugern erzeugt werde, es sei der Monoidring zu über einem Körper und es sei

die Lokalisierung am maximalen Ideale . Zeige, dass allein im Fall ein diskreter Bewertungsring ist.



Es sei ein diskreter Bewertungsring mit Quotientenkörper . Zeige, dass es keinen echten Zwischenring zwischen und gibt.



Es sei ein Körper und der Körper der rationalen Funktionen über . Finde einen diskreten Bewertungsring mit und mit .



Es sei ein glatter Punkt einer ebenen irreduziblen Kurve. Zeige, dass der zugehörige lokale Ring ein diskreter Bewertungsring ist.



Es sei ein Körper und sei

ein surjektiver Gruppenhomomorphismus mit für alle . Zeige, dass

ein diskreter Bewertungsring ist.



Es sei ein diskreter Bewertungsring und sei . Es sei der Restklassenkörper von . Zeige, dass es für jedes einen - Modulisomorphismus

gibt.



Sei . Bestimme mit Hilfe von Lemma 21.4, ob die folgenden Restklassenringe regulär sind (und von welcher Dimension).

  1. .
  2. .
  3. .
  4. und .
  5. und .
  6. , und .



Es sei ein lokaler regulärer Ring der Dimension mit maximalem Ideal . Zeige, dass

nur bei gilt.



Bestimme ein minimales Erzeugendensystem für das maximale Ideal im lokalen Ring zum Punkt



Es sei eine affin-algebraische Menge und ein Punkt, in dem die Dimension besitzt. Es sei der lokale Ring zu . Zeige, dass genau dann ein regulärer Ring ist, wenn es einen -dimensionalen linearen Raum derart gibt, dass im lokalen Ring die Beziehung

gilt.



Es sei ein Körper und der Polynomring über . Zeige durch Induktion über , dass jedes maximale Ideal in von Elementen erzeugt wird.


Ein noetherscher kommutativer Ring heißt regulär, wenn jede Lokalisierung an einem maximalen Ideal regulär ist.



Es sei ein regulärer lokaler Ring. Zeige, dass dann auch der Polynomring regulär ist.



Es sei ein noetherscher lokaler Integritätsbereich und ein - Modul. Der - Vektorraum und der Vektorraum habe die gleiche Dimension . Zeige, dass ein freier Modul vom Rang ist.



Es sei eine Primzahl und

Zeige, dass ist, dass regulär ist und dass der Modul der Kähler-Differentiale nicht frei ist.



Betrachte die Körpererweiterung

zu einer Primzahl .

  1. Zeige, dass die hintere Körpererweiterung endlich, aber nicht separabel ist.
  2. Zeige, dass eine Transzendenzbasis der Gesamterweiterung, aber keine separierende Transzendenzbasis ist.
  3. Finde eine separierende Transzendenzbasis für die Gesamterweiterung.



<< | Kurs:Singularitätentheorie (Osnabrück 2019) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)