Übungsaufgaben zur Algebra, Serie 2 SoSe 2018

Aus Geometrie-Wiki

Aufgabe 2.1

Gegeben sei DDΔ:=[{(1001),(1212123123),(abcd)},].

Bestimmen Sie a,b,c,d derart, dass DDΔ eine Gruppe ist. Die Operation ist dabei als die normale Matrizenmultiplikation zu verstehen.

Hilfe: Öffnen Sie Geogebra. Sie können in Geogebra Matrizen eingeben. Die Matrix
M=(1212123123)
geben Sie z.B. wie folgt ein:
M={{12,12},{123,123}}.
Geben Sie jetzt die Koordinaten eines beliebigen Punktes wie etwa P=(0,1) ein. Lassen Sie nun M*P berechnen. Es wird eine Bildpunkt von P berechnet ... .

Aufgabe 2.2

Bestimmen Sie die Verknüpfungstafel der Gruppe [3,]. (Restklassen modulo 3, mit Restklassenadddition). Vergleichen Sie mit der Gruppentafel aus Aufgabe 2.1.

Aufgabe 2.3

Es sei [{e,a,b},] eine Gruppe mit dem Einselement e.
Beweisen Sie a muss das Inverse von b und b muss das Inverse von a sein.
Was haben Sie mit diesem Beweis gleichzeitig bewiesen?

Aufgabe 2.4

Beweisen Sie: Bis auf Strukturgleicheit gibt es zwei und nur zwei verschiedene vierelementige Gruppen.

Aufgabe 2.5

Es sei [G,] eine Gruppe. Beweisen Sie: Wenn bG das Rechtsinverse zu aG ist, dann ist b auch das Linksinverse von a bzgl. .

Aufgabe 2.6

Es sei [G,] eine Gruppe. Beweisen Sie: Wenn eG das Linkseinselement von [G,] ist, dann ist e auch das Rechtseinselement von [G,].

Aufgabe 2.7

Beweisen Sie die Eindeutigkeit des Einselementes für Gruppen.

Aufgabe 2.8

Beweisen Sie: In jeder Gruppe hat jedes Gruppenelement genau ein inverses Element.[\mat

Aufgabe 2.9

Beweisen Sie: In jeder Gruppe [G,] sind die Gleichungen
ax=bya=b
eindeutig Lösbar.

Aufgabe 2.10

In jeder Gruppe sind die in Aufgabe 2.9 genannten Gleichungen immer eindeutig lösbar. In den Modulen der natürlichen Zahlen mit der Multiplikation bzw. mit der Addition sind die genannten Gleichungen nicht immer lösbar. Eine Gemeinsamkeit bzgl. der Lösbarkeit der Gleichungen haben diese Module allerdings mit Gruppen gemeinsam. Welche? Diese Eigenschaft heißt im übrigen Regularität. [,+] und [,] sind kommutative, reguläre Halbgruppen mit Einslement.