Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Arbeitsblatt 15
- Übungsaufgaben
Bestätige den kleinen Fermat direkt für die Primzahlen .
Bestimme die multiplikative Ordnung aller Einheiten im Restklassenkörper .
Berechne in .
Finde einen Restklassenring derart, dass die Einheitengruppe davon nicht zyklisch ist.
Konstruiere endliche Körper mit und Elementen.
Es sei eine Primzahl und sei ein Polynom mit Koeffizienten in vom Grad . Zeige, dass es ein Polynom mit einem Grad derart gibt, dass für alle Elemente die Gleichheit
gilt.
Es sei . Finde ein Polynom vom Grad , das für alle Elemente aus mit übereinstimmt.
a) Zeige, dass durch
ein Körper mit Elementen gegeben ist.
b) Berechne in das Produkt .
c) Berechne das (multiplikativ) Inverse zu .
Zeige, dass ein Körper ist und bestimme das Inverse von , wobei die Restklasse von bezeichne.
Finde möglichst viele (nicht isomorphe) kommutative Ringe mit vier Elementen. Beweise, dass die Liste vollständig ist.
a) Zeige, dass im Ring der Gaußschen Zahlen ein Primelement ist.
b) Bestimme die
Charakteristik
des
Körpers
.
c) Bestimme die Anzahl der Elemente im Körpers .
Man gebe einen Restklassenring an, in dem es nichttriviale idempotente Elemente gibt.
Finde in nichttriviale idempotente Elemente.
Es sei ein kommutativer Ring und sei . Es sei sowohl nilpotent als auch idempotent. Zeige, dass ist.
Es seien und kommutative Ringe und sei der Produktring . Zeige, dass die Teilmenge ein Hauptideal ist.
Es seien und kommutative Ringe mit dem Produktring
Zeige, dass ein Ringhomomorphismus
dasselbe ist wie eine Familie von Ringhomomorphismen
für .
Es seien und kommutative Ringe und es seien surjektive Ringhomomorphismen. Es sei
der zugehörige Ringhomomorphismus in den Produktring
Es sei vorausgesetzt, dass die Elemente der Form zum Bild von gehören. Zeige, dass surjektiv ist.
Es sei ein faktorieller Bereich und ein Primelement. Zeige, dass der Restklassenring nur die beiden trivialen idempotenten Elemente und besitzt.
Es seien ein kommutativer Ring und Ideale in . Es sei weiter
Zeige, dass genau dann surjektiv ist, wenn gilt. Wie sieht aus? Benutze jetzt den Homomorphiesatz um einzusehen, was das im Falle mit dem chinesischen Restsatz zu tun hat.
Es sei ein kommutativer Ring und seien Ideale. Wir betrachten die Gruppenhomomorphismen
und
Zeige, dass injektiv ist, dass surjektiv ist und dass
ist. Sind und Ringhomomorphismen?
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.
Das Polynom besitzt in die Zerlegung
in irreduzible Faktoren und daher gilt die Isomorphie
a) Bestimme das Polynom kleinsten Grades, das rechts dem Element entspricht.
b) Bestimme das Polynom kleinsten Grades, das rechts dem Element entspricht.
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 seien kommutative Ringe und sei
der Produktring.
- Es seien
Ideale. Zeige, dass die Produktmenge
ein Ideal in ist.
- Zeige, dass jedes Ideal die Form
mit Idealen besitzt.
- Es sei
ein Ideal in . Zeige, dass genau dann ein Hauptideal ist, wenn sämtliche Hauptideale sind.
- Zeige, dass genau dann ein Hauptidealring ist, wenn alle Hauptidealringe sind.
Der Foglenring ist ein Produktring mit unendlich vielen Faktoren. Man kann ihn auch als Spezialfall des Abbildungsringes im Sinne von
Aufgabe 2.9
auffassen.
Es sei ein Körper. Zeige, dass die Menge aller Folgen in (mit gliedweiser Addition und Multiplikation) ein kommutativer Ring ist.
Dieser Folgenring wird mit bezeichnet.
Es sei ein angeordneter Körper. Zeige, dass die Menge aller konvergenten Folgen in (mit gliedweiser Addition und Multiplikation) ein kommutativer Ring ist.
Es sei ein Körper und der zugehörige Folgenring. Zeige, dass durch
falls sich die beiden Folgen nur in endlich vielen Gliedern unterscheiden, eine Äquivalenzrelation definiert ist. Rührt diese Äquivalenzrelation von einem Ideal her?
Es sei der Ring, der aus allen in konvergenten, rationalen Folgen besteht.
- Zeige, dass die Menge der Nullfolgen ein Ideal in bildet.
- Zeige, dass es einen surjektiven Ringhomomorphismus
gibt.
- Zeige, dass es einen bijektiven Ringhomorphismus
gibt.
Die folgende Aufgabe fasst die wesentlichen Schritte der Konstruktion von aus zusammen. Vergleiche Vorlesung 46 zum Grundkurs.
- Zu einem Körper sei die Menge der Folgen mit Werten in . Zeige, dass ein kommutativer Ring ist. Besitzt ein solcher Ring nicht-triviale idempotente Elemente?
- Es sei von nun an oder , sodass man eine Metrik zur Verfügung hat. Zeige, dass die Menge der konvergenten Folgen einen Unterring von bildet.
- Zeige im Fall , dass die Menge der Cauchy-Folgen ebenfalls ein Unterring ist.
- Betrachte nun die Menge der Nullfolgen und begründe, dass diese ein Ideal in den verschiedenen Ringen ist. Zeige, dass die Eigenschaft besitzt, dass wenn ist, dass dann einer der Faktoren dazu gehören muss.
- Definiere einen natürlichen Ringhomomorphismus
derart, dass eine Ringisomorphie
entsteht.
- Aufgaben zum Abgeben
Aufgabe (3 Punkte)
Bestimme die multiplikative Ordnung aller Einheiten im Restklassenkörper .
Aufgabe (3 Punkte)
Es sei eine Primzahl. Beweise durch Induktion den kleinen Fermat, also die Aussage, dass ein Vielfaches von für jede ganze Zahl ist.
Aufgabe (4 Punkte)
Zeige, dass ein Körper ist und bestimme das Inverse von , wobei die Restklasse von bezeichne.
Aufgabe (4 Punkte)
Es sei ein kommutativer Ring und sei ein idempotentes Element. Zeige, dass auch idempotent ist und dass die „zusammengesetzte“ Restklassenabbildung
eine Bijektion ist.
Der folgende Satz heißt Satz von Wilson.
Es sei eine Primzahl.
Dann ist .
Aufgabe (4 Punkte)
Bestimme die Zerlegung von in irreduzible Polynome im Polynomring . Beweise aus dieser Zerlegung den Satz von Wilson.
Aufgabe (3 (1+1+1) Punkte)
a) Zeige, dass im Ring der Gaußschen Zahlen ein Primelement ist.
b) Bestimme die
Charakteristik
des
Körpers
.
c) Bestimme die Anzahl der Elemente im Körpers .
<< | Kurs:Elemente der Algebra (Osnabrück 2024-2025) | >> PDF-Version dieses Arbeitsblattes Zur Vorlesung (PDF) |
---|