Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Arbeitsblatt 13/kontrolle
- Übungsaufgaben
Es sei ein kommutativer Ring und ein multiplikatives System. Man definiert die Nenneraufnahme
schrittweise wie folgt. Es sei zunächst die Menge der formalen Brüche mit Nenner in , also
Zeige, dass durch
eine Äquivalenzrelation auf definiert ist. Wir bezeichnen mit die Menge der Äquivalenzklassen. Definiere auf eine Ringstruktur und definiere einen Ringhomomorphismus .
Es sei ein Integritätsbereich und sei ein multiplikatives System, .
- Zeige, dass die
Nenneraufnahme
zu , also mit
ein Unterring von ist.
- Zeige, dass nicht jeder Unterring von eine Nenneraufnahme ist.
Zeige, dass der Körper der rationalen Zahlen überabzählbar viele Unterringe besitzt.
Es sei ein kommutativer Ring und sei mit zugehöriger Nenneraufnahme . Beweise die - Algebraisomorphie
Es sei ein kommutativer Ring, ein Element und die zugehörige Nenneraufnahme. Zeige, dass genau dann nilpotent ist, wenn der Nullring ist.
In den folgenden Aufgaben dürfen Sie, wenn Sie wollen, bei Nenneraufnahmen annehmen, dass Integritätsbereiche vorliegen.
Es seien und kommutative Ringe und sei ein multiplikatives System. Es sei
ein Ringhomomorphismus derart, dass eine Einheit in ist für alle . Zeige: Dann gibt es einen eindeutig bestimmten Ringhomomorphismus
der fortsetzt.
Es sei ein Körper, der Polynomring in zwei Variablen, ein multiplikatives System und ein Polynom. Zeige, dass es eine eindeutige - Algebraisomorphie
gibt.
Es sei ein Integritätsbereich und ein multiplikatives System. Zeige, dass die Primideale in genau denjenigen Primidealen in entsprechen, die mit einen leeren Durchschnitt haben.
Es sei ein algebraisch abgeschlossener Körper und seien und kommutative -Algebren von endlichem Typ. Es sei und sei ein - Algebrahomomorphismus Zeige, dass die Spektrumsabbildung genau dann durch faktorisiert, wenn eine Einheit in ist.
Es sei ein algebraisch abgeschlossener Körper und eine integre endlich erzeugte - Algebra. Es seien . Zeige, dass die folgenden Aussagen äquivalent sind.
- Es gibt einen - Algebrahomomorphismus .
Zeige ferner, dass diese Äquivalenz für nicht gilt.
Die folgende Aufgabe verwendet den Begriff des saturierten multiplikativen Systems.
Ein multiplikatives System in einem kommutativen Ring heißt saturiert, wenn folgendes gilt: Ist und gibt es ein , das von geteilt wird, so ist auch .
Es seien kommutative Ringe und sei ein Ringhomomorphismus . Zeige, dass das Urbild der Einheitengruppe ein saturiertes multiplikatives System in ist.
Es sei ein kommutativer Ring. Zeige, dass die Menge der Nichtnullteiler in ein saturiertes multiplikatives System bilden.
Man gebe ein Beispiel einer integren, endlich erzeugten -Algebra und eines multiplikativen Systems , , an derart, dass die Nenneraufnahme kein Körper ist, aber jedes maximale Ideal aus zum Einheitsideal in wird.
Wir betrachten das Polynom
- Finde eine reelle Nullstelle von .
- Bestätige die Gleichung
- Sei
.
Folgere, dass
ist für alle Punkte .
Bemerkung: Nach einem Satz von Artin (Lösung des 17. Hilbertschen Problems) kann man jedes reelle Polynom, das nirgendwo negative Werte annimmt, als eine Summe von Quadraten von rationalen Funktionen schreiben. Das vorstehende Motzkin-Polynom gibt ein konkretes Beispiel dafür, dass man ein solches Polynom im Allgemeinen nicht als Summe von Quadraten von Polynomen schreiben kann. Wir haben aber lediglich die Nichtnegativität bewiesen.
Zeige, dass ein Integritätsbereich ein zusammenhängender Ring ist.
Es sei ein kommutativer Ring und sei . Es sei sowohl nilpotent als auch idempotent. Zeige, dass ist.
Man gebe zu jedem einen kommutativen Ring und ein Element , , an, für das und gilt.
Es sei ein kommutativer Ring und sei ein idempotentes Element. Zeige, dass es eine natürliche Ringisomorphie
gibt.
(Dies zeigt erneut, dass offen und abgeschlossen ist).
Es seien und kommutative Ringe und sei der Produktring . Zeige, dass die Teilmenge ein Hauptideal ist.
Es sei eine Primzahl und . Zeige, dass der Restklassenring nur die beiden trivialen idempotenten Elemente und besitzt.
Schreibe den Restklassenring als ein Produkt von Körpern, wobei lediglich die Körper und vorkommen. Schreibe die Restklasse von als ein Tupel in dieser Produktzerlegung.
Es sei ein topologischer Raum, der nicht leer und nicht zusammenhängend sei. Zeige, dass es dann eine stetige Abbildung , , ( sei mit der metrischen Topologie versehen) gibt, die idempotent im Ring der stetigen Funktionen auf ist.
Es sei ein topologischer Raum mit einer disjunkten Zerlegung
aus offenen Teilmengen . Zeige, dass die natürliche Abbildung
bijektiv ist.
Es sei ein Körper und sei der Polynomring über . Es seien verschiedene Elemente und
das Produkt der zugehörigen linearen Polynome. Zeige, dass der Restklassenring isomorph zum Produktring ist.
Es sei ein algebraisch abgeschlossener Körper und der Polynomring über . Zeige, dass der Restklassenring zu einem Polynom die Struktur
besitzt. Zeige, dass dabei
ist.
Es sei ein kommutativer Ring mit Reduktion . Zeige, dass die Abbildung, die den idempotenten Elementen aus ihre Restklasse in zuordnet, injektiv ist.
Es sei ein kommutativer Ring mit einem Element mit in und sei
Zeige, dass es zu jedem idempotenten Element aus ein idempotentes Element aus gibt, dessen Restklasse gleich ist.
Es sei ein noetherscher kommutativer Ring mit Reduktion . Zeige, dass es eine Folge von kommutativen Ringen , , und surjektiven Ringhomomorphismen
derart gibt, dass die Gesamtabbildung
die Reduktionsabbildung ist und jedes der Restklassenhomomorphismus
zu einem Element mit in ist.
Es sei ein kommutativer Ring mit Reduktion . Zeige, dass die Abbildung, die den idempotenten Elementen aus ihre Restklasse in zuordnet, surjektiv ist.
- Aufgaben zum Abgeben
Aufgabe (5 Punkte)Referenznummer erstellen
Es sei ein Hauptidealbereich mit Quotientenkörper . Zeige, dass jeder Zwischenring , , eine Nenneraufnahme ist.
Aufgabe (6 Punkte)Referenznummer erstellen
Betrachte die durch gegebene Kurve (siehe Beispiel 6.3 und die offene Menge . Finde eine abgeschlossene Realisierung von in und zeige, dass es auch eine solche Realisierung in gibt. Skizziere die Bildkurve unter der Abbildung
Ist isomorph zu einer offenen Menge der affinen Geraden?
Aufgabe (4 Punkte)Referenznummer erstellen
Betrachte zwei parallele Geraden und das Achsenkreuz . Beschreibe eine möglichst natürliche surjektive Abbildung zwischen und (in welche Richtung?), und zwar sowohl geometrisch als auch algebraisch. Gibt es auch eine surjektive polynomiale Abbildung in die andere Richtung?
Aufgabe (3 Punkte)Referenznummer erstellen
Bestimme die nilpotenten und die idempotenten Elemente in .
Aufgabe (4 Punkte)Referenznummer erstellen
Es sei ein algebraisch abgeschlossener Körper und betrachte den Durchschnitt der beiden algebraischen Kurven
Identifiziere den Restklassenring
mit einem Produktring und beschreibe die Restklassenabbildung mittels dieser Identifizierung. Bestimme Urbilder in für sämtliche idempotenten Elemente des Produktringes.
<< | Kurs:Algebraische Kurven (Osnabrück 2017-2018) | >> |
---|