Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Arbeitsblatt 28
- Aufgaben
Zeige, dass zu einer endlichen Körpererweiterung die Menge
eine Untergruppe der Einheitengruppe von ist, die die Einheitswurzelgruppe umfasst, und dass die Einheitswurzelgruppe im Allgemeinen kleiner ist.
Es sei eine endliche Körpererweiterung mit ausschließlich reellen Einbettungen. Es sei eine quadratische Körpererweiterung und besitze keine reelle Einbettung. Zeige, dass ein kommutatives Diagramm
existiert, wobei die Abbildungen rechts komponentenweise zu verstehen sind und wobei die horizontalen Abbildungen die logarithmischen Gesamtabbildungen sind.
Skizziere die Situation in Lemma 28.6 für verschiedene Zahlbereiche von kleinem Grad.
Es sei ein euklidischer Vektorraum, eine diskrete Untergruppe und eine beschränkte Teilmenge derart, dass ist. Zeige, dass ein Gitter ist.
Im Folgenden sind die Graphen zu normierten irreduziblen Polynomen vom Grad mit ganzzahligen Koeffizienten abgebildet. Es sei der Zahlbereich zur Körpererweiterung . Bestimme den Rang der Einheitengruppe .
Es sei ein Zahlbereich und es seien Einheiten und von verschiedene ganze Zahlen mit . Zeige, dass es ganze Zahlen und Einheitswurzeln und eine Einheit derart gibt, dass und gilt.
Es sei ein Zahlbereich und eine Einheit, die keine Einheitswurzel sei. Zeige, dass man aus nur zu endlich vielen Exponenten Wurzeln ziehen kann.
Es sei ein Zahlbereich und sei Teil eines Systems von Fundamentaleinheiten. Zeige, dass keinerlei Wurzel besitzt.
Es sei ein Zahlbereich und sei derart, dass , wobei eine Einheitswurzel in bezeichnet, in keinerlei Wurzel besitze. Zeige, dass dann Teil eines Systems von Fundamentaleinheiten ist.
Es sei ein Zahlbereich mit reellen Einbettungen und Paaren von komplexen Einbettungen. Es gelte und es sei eine fixierte reelle Einbettung. Zeige, dass es zu jedem Einheiten mit gibt.
Es sei und eine ungerade Primzahl derart, dass in irreduzibel ist. Zeige, dass kein Erzeuger der multiplikativen Gruppe von ist.
Es sei ein Zahlbereich mit einem normierten ganzzahligen irreduziblen Polynom . Sei fixiert. Es sei eine Primzahl mit den folgenden Eigenschaften.
- und sind nicht teilerfremd.
- ist irreduzibel in .
- Die Restklasse von in ist ein Erzeuger der multiplikativen Gruppe
Zeige, dass dann in keine -te Wurzel besitzt.
Es sei ein Zahlbereich mit einem normierten ganzzahligen irreduziblen Polynom . Sei fixiert. Es sei eine Primzahl derart, dass nicht teilerfremd zu sei. Es sei ein Restekörper des Faserringes mit der Eigenschaft, dass die Restklasse von in ein Erzeuger der multiplikativen Gruppe sei. Zeige, dass dann in keine -te Wurzel besitzt.
Es sei . Zeige mit Aufgabe 28.13, dass die Restklasse von in keine dritte Wurzel besitzt.
Wir betrachten das Polynom über .
- Zeige, dass ein irreduzibles Polynom in ist.
- Es sei die Restklasse von in . Berechne und .
- Zeige, dass in eine dritte Wurzel besitzt.
Es seien und kommutative Gruppen und sei ein Gruppenhomomorphismus.
- Zeige, dass dies einen Homomorphismus
zwischen den Torsionsuntergruppen und einen Homomorphismus
derart induziert, dass sich ein kommutatives Diagramm
mit exakten Zeilen ergibt.
- Sei injektiv. Zeige, dass dann auch die induzierten Homomorphismen aus (1) injektiv sein müssen.
- Sei surjektiv. Müssen die induzierten Homomorphismen aus (1) surjektiv sein?
Es seien und Zahlbereiche und sei ein Ringhomomorphismus. Zeige, dass ein kommutatives Diagramm
von Gruppenhomomorphismen mit exakten Zeilen existiert, und dass die vertikalen Homomorphismen injektiv sind.
Es seien und Zahlbereiche und sei ein Ringhomomorphismus vom Grad . Es sei eine Einheit, die in keinerlei Wurzel besitze (dazu ist äquivalent, dass Teil eines Systems von Fundamentaleinheiten ist). Es sei mit
Zeige, dass ein Teiler von ist.
Es sei der -te Kreisteilungsring und , vergleiche Aufgabe 17.5. Zeige, dass die Restklassengruppe endlich sind.
Es sei eine Primzahl, der -te Kreisteilungsring und , vergleiche Aufgabe 17.5. Zeige, dass für die Einheitengruppen die Beziehung
gilt. D.h. die Einheitengruppe wird von den Einheitswurzeln und den reellen Einheiten erzeugt.
Es sei ein Zahlbereich und sei Teil eines Systems von Fundamentaleinheiten von . Zeige, dass es eine Erweiterung von Zahlbereichen derart gibt, dass in nicht zu einem System von Fundamentaleinheiten gehört.
Man gebe Beispiele für eine endliche Galoiserweiterung mit zugehörigem Zahlbereich derart, dass der natürliche Gruppenhomomorphismus
- bijektiv,
- injektiv und nicht surjektiv,
- surjektiv und nicht injektiv,
- weder injektiv noch surjektiv
ist.
Es sei eine endliche Körpererweiterung mit Galoisgruppe und sei der zugehörige Zahlbereich mit reellen Einbettungen und Paaren von komplexen Einbettungen. Zeige, dass die Galoisgruppe in natürlicher Weise auf der Gruppe durch lineare Automorphismen wirkt.
Es sei eine endliche Körpererweiterung mit Galoisgruppe und sei der zugehörige Zahlbereich mit reellen Einbettungen und Paaren von komplexen Einbettungen. Zeige, dass die Galoisgruppe in natürlicher Weise auf der Gruppe durch lineare Automorphismen wirkt.
Wir betrachten den Zahlbereich . Es ist (vergleiche Beispiel 25.5)
und
Bestimme die Matrix, die die Wirkung von auf beschreibt.
Es sei ein kommutativer Ring und eine kommutative - Algebra. Zeige, dass durch
ein Gruppenhomomorphismus von der Einheitengruppe in den Modul der Kähler-Differentiale definiert wird.
Die vorstehende Abbildung heißt logarithmische Ableitung.
Beschreibe die logarithmische Ableitung explizit für die imaginär-quadratischen Zahlbereiche.
Es sei eine Primzahl und der -te Kreisteilungsring. Zeige, dass durch die logarithmische Ableitung ein Gruppenhomomorphismus
gegeben ist, dessen Kern gleich ist.
Es sei ein Zahlbereich mit reellen und Paaren von komplexen Einbettungen. Es sei , , ein Element mit der Primidealzerlegung
Zeige, dass die Einheitengruppe der Nenneraufnahme isomorph zu ist.
<< | Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021) | >> |
---|