Lösung
Lösung
Es sei eine Gruppe. Zeige, dass
-
für alle
ist.
Lösung
Finde zwei natürliche Zahlen, deren Summe und deren Produkt ist.
Lösung
Lösung
Es sei ein von verschiedenes
Ideal
in . Betrachte die nichtleere Menge
-
Diese Menge hat ein Minimum
,
das von einem Element
, ,
herrührt, sagen wir
.
Wir behaupten, dass
ist. Die Inklusion ist klar. Zum Beweis von sei
gegeben. Aufgrund
von Satz 5.3 (Elemente der Algebra (Osnabrück 2024-2025))
gilt
-
Wegen
und der Minimalität von kann der erste Fall nicht eintreten. Also ist
und ist ein Vielfaches von .
Lösung
Lösung
Die Menge sei .
a) Die zyklische Permutation
|
|
|
|
|
|
|
|
|
|
|
|
hat offenbar die Ordnung , da zu jedem Element die Potenzen für die Elemente von durchlaufen.
b) Es sei und betrachte die Permutation
|
|
|
|
|
|
|
|
|
|
|
|
Die Zahlen
und
sind wieder an ihrer Stelle, wenn man eine Potenz von mit einem geraden Exponenten anwendet, und die Zahlen
und
sind wieder an ihrer Stelle, wenn der Exponent ein Vielfaches von ist. Die Ordnung ist also
.
Es sei ein
kommutativer Ring
und . Zeige, dass die Abbildung
-
ein
Gruppenhomomorphismus
ist. Beschreibe das
Bild
und den
Kern
dieser Abbildung.
Lösung
Für Elemente ist nach dem Distributivgesetz
-
und genau dies besagt, dass ein Gruppenhomomorphismus vorliegt. Das Bild besteht aus allen Elementen der Form
-
dies ist genau das von erzeugte Hauptideal . Der Kern besteht aus allen Elementen der Form
-
das sind also alle Elemente, die bei Multiplikation mit die ergeben.
a) Finde die Zahlen mit der Eigenschaft, dass die letzte Ziffer ihres Quadrates
(in der Dezimaldarstellung)
gleich ist.
b) Finde die Zahlen mit der Eigenschaft, dass die beiden letzten Ziffern ihres Quadrates
(in der Dezimaldarstellung)
gleich ist.
Lösung
a) Hier kann man direkt ausrechnen, dass die Lösungen sind.
b) Es geht um die Frage, für welche die Gleichheit
-
(in )
gilt. Es geht also darum, die
idempotenten Elemente
von zu finden. Wegen
-
und da es modulo einer Primzahlpotenz nur die trivialen idempotenten Elemente gibt, geht es um die Elemente in der Produktdarstellung. Diese entsprechen den Zahlen .
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.
- 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.
Lösung
- Wegen
-
ist nicht leer. Für zwei Elemente
und
aus ist jeweils . Daher ist stets und somit gehört
-
zum Ideal. Für
-
und
-
ist jeweils und daher . Somit gehört
-
zu .
- Zu einem Ideal
-
setzen wir
-
Hierbei steht an der -ten Stelle. Dies ist jeweils ein Ideal in : Es ist ; wenn
-
ist auch
-
Wenn und ist, so ist
-
und somit ist
-
also . Wir behaupten
-
Wenn
-
ist, so ist auch
(mit der an der -ten Stelle)
-
also . Also ist . Wenn umgekehrt ist, so ist , also
-
Wegen
-
ist somit .
- Es seien zunächst die Hauptideale in . Für jedes Element ist dann
mit einem . Damit ist
-
also ist ein Erzeuger von und es liegt ein Hauptideal vor. Wenn umgekehrt ein Hauptideal ist, so sei ein Erzeuger davon. Zu jedem gehört zu und somit gibt es ein mit
-
Also ist
-
und daher ist ein Erzeuger von .
- Dies folgt unmittelbar aus (3).
a) Zeige, dass
irreduzibel
in ist.
b) Bestimme die
Partialbruchzerlegung
von
-
in .
Lösung
Für besitzt das Polynom die Werte , also keine Nullstelle. Nach
Lemma 6.9 (Elemente der Algebra (Osnabrück 2024-2025))
ist es also irreduzibel.
b) Polynomdivision führt auf
-
Daher ist
Lösung
Lösung
a) Es ist
-
und
-
Es ist also eine
-
Linearkombination
aus
und .
Daher kann man auch als -Linearkombination von
und ausdrücken, und dies ergibt ein annullierendes Polynom wie gewünscht.
b) Es ist
-
wobei die Teilerweiterungen den Grad zwei besitzen. Daher hat nach
der Gradformel
die Gesamterweiterung den Grad vier. Wegen
-
kommt als Grad des Minimalpolynoms nur in Frage. Wegen
ist die irrationale Zahl , sodass der Grad eins ausgeschlossen ist. Es ist
Durch Subtraktion mit
-
ergibt sich
-
und damit
-
und letztlich
-
Lösung
Lösung