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).
- .
- .
- .
- und .
- und .
- , und .
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 .
- Zeige, dass die hintere Körpererweiterung endlich, aber nicht separabel ist.
- Zeige, dass eine Transzendenzbasis der Gesamterweiterung, aber keine separierende Transzendenzbasis ist.
- Finde eine separierende Transzendenzbasis für die Gesamterweiterung.
<< | Kurs:Singularitätentheorie (Osnabrück 2019) | >> |
---|