Restklassen und Algebraische Strukturen: Unterschied zwischen den Versionen

Version vom 18. Dezember 2012, 16:10 Uhr

Definition Gruppe

Eine algebraische Struktur $(G;\circ)$ heißt Gruppe, wenn die folgenden Axiome erfüllt sind:

(Ab) Die Operation $\circ$ ist in $G$ abgeschlossen: $\forall a,b:G. \exists c:G. a\circ b=c$ .
(Ass) Die Operation $\circ$ ist assoziativ: $\forall a,b,c:G. (a\circ b)\circ c = a\circ (b\circ c)$ .
(Neu) In $G$ gibt es bezüglich der Operation $\circ$ ein neutrales Element: $\exists n:G.\forall a:G. a\circ n = n\circ a = a$
(Inv) Zu jedem Element aus $G$ gibt es ein inverses Element: $\forall a:G.\exists\overline{a}:G. a\circ\overline{a}=\overline{a}\circ a=n$

Eine Gruppe ist eine kommutative Gruppe oder eine abelsche Gruppe, wenn außerdem das folgende Axiom gilt:

5. (Kom) Die Operation $\circ$ ist kommutativ: $\forall a,b:G.a\circ b = b\circ a$

Eine algebraische Struktur ist eine Halbgruppe, wenn die Axiome (Ab) und (Ass) erfüllt sind.

Restklassen und (Halb-)Gruppen

Wie steht es um $(\mathbb{Z}_m;\oplus)$ ? Schreiben Sie sich zunächst die Verknüpfungstafel von $(\mathbb{Z}_4;\oplus)$ auf und überlegen Sie sich an diesem konkreten Fall, welche Axiome gelten. Anschließend beweisen wir allgemein:

(Ab) Es gilt: $\overline{a}\oplus\overline{b}=\overline{a+b}$ . Nach Definition der Restklassenaddition ist die Operation $\oplus$ abgeschlossen.
(Ass) Hier hilft uns die Tatsache, dass die Operation $+$ in $\mathbb{Z}$ assoziativ ist: $(\overline{a}\oplus\overline{b})\oplus\overline{c}=\overline{a+b}\oplus\overline{c}=\overline{(a+b)+c}=\overline{a+(b+c)}=\overline{a}\oplus\overline{b+c}=\overline{a}\oplus(\overline{b}\oplus\overline{c})$ . Somit ist auch die Operation $\oplus$ in $\mathbb{Z}_m$ assoziativ.
(Neu) Es ist offensichtlich $\overline{0}$ neutrales Element, denn: $\overline{a}\oplus\overline{0}=\overline{a+0}=\overline{a}$ und $\overline{0}\oplus\overline{a}=\overline{0+a}=\overline{a}$
(Inv) Es gibt zu jedem $\overline{a}$ ein inverses Element, nämlich $\overline{m-a}$ : $\overline{a}\oplus\overline{m-a}=\overline{a+(m-a)}=\overline{m}=\overline{0}$

Somit handelt es sich bei $(\mathbb{Z}_m;\oplus)$ um eine Gruppe.

Es handelt sich sogar um eine kommutative Gruppe, denn: $\overline{a}\oplus\overline{b}=\overline{a+b}=\overline{b+a}=\overline{b}\oplus\overline{a}$

Aber wie sieht's mit $(\mathbb{Z}_m;\otimes)$ aus? Schreiben Sie sich die Verknüpfungstafeln von $(\mathbb{Z}_4;\otimes)$ und $(\mathbb{Z}_5;\otimes)$ auf.

Offensichtlich gelten alle Axiome - bis auf (Inv). Daher handelt es sich bei $(\mathbb{Z}_m;\otimes)$ nicht um eine Gruppe, sondern nur um eine Halbgruppe. Da auch (Kom) und (Neu) gelten, ist's sogar eine kommutative Halbgruppe mit neutralem Element (bzw. mit Einselement, weil bzgl. der Multiplikation die 1 neutral ist).

Ring

Eine Struktur $(R;+;\cdot)$ heißt Ring genau dann, wenn die folgenden Axiome erfüllt sind:

$(R;+)$ ist kommutative Gruppe.
$(R;\cdot)$ ist Halbgruppe.
(Dis) Es gilt das Distributivgesetz: $\forall a,b,c:R. a\cdot(b+c)=(a\cdot b) + (a\cdot c)$ und $(b+c)\cdot a=(b\cdot a) + (c\cdot a)$

Wenn $(R;\cdot)$ zusätzlich kommutativ ist, spricht man von einem kommutativen Ring. Wenn es außerdem ein Neutralelement bzgl. der Multiplikation gibt, spricht man von einem kommutativen Ring mit Einselement.

Überprüfen Sie, ob die folgenden Strukturen Ringe sind: $(\mathbb{N};+;\cdot)$ , $(\mathbb{Z};+;\cdot)$ , $(\mathbb{Q};+;\cdot)$

Satz

Für alle natürlichen Zahlen n bildet die Menge der Restklassen modulo n mit den Restklassenaddition und -multiplikation einen kommutativen Ring mit Einselement, also: $(\mathbb{Z}_n;\oplus;\otimes)$ ist kommutativer Ring mit Einselement.

Beweis: Das meiste haben wir schon bewiesen. Was fehlt noch? Beweisen Sie!

Restklassen und multiplikative Inverse

Sie erinnern sich an die Frage, wann ein Element $a$ in $\mathbb{Z}_m$ ein multiplikatives Inverses hat? Diese Frage können wir jetzt ein für alle Mal und vor allem für alle Fälle beantworten.

Es muss gelten:

$a\cdot x \equiv 1$ mod $m$

Dies ist genau dann der Fall, wenn

$m|(a\cdot x -1)$

also genau dann, wenn ein $q$ existiert, sodass

$m\cdot q = a\cdot x -1$

bzw.

$a\cdot x + m\cdot(-q) = 1$

Diese Gleichung ist mit den Unbekannten $x$ und $q$ genau dann lösbar, wenn $ggT(a,m)=1$ . (Dies wissen wir, weil wir uns mit diophantischen Gleichungen auskennen.)

In $(\mathbb{Z}_m;\otimes)$ existiert somit genau dann für jedes $a\in\mathbb{Z}_m\setminus\{0\}$ ein Inverses, wenn $m$ eine Primzahl ist.

Damit ist es sinnvoll, gleich eine weitere algebraische Struktur einzuführen:

Körper

Eine Struktur $(R;+;\cdot)$ mit mindestens zwei Elementen heißt Körper genau dann, wenn die folgenden Axiome erfüllt sind:

$(R;+)$ ist kommutative Gruppe.
$(R\setminus\{0\};\cdot)$ ist kommutative Gruppe.
(Dis) Es ist $\cdot$ mit $+$ distributiv verbunden.

Wir können also festhalten:

$(\mathbb{Z}_m;\oplus;\otimes)$ ist genau dann ein Körper, wenn $m$ eine Primzahl ist.

@@ Zeile 15: / Zeile 15: @@
 Eine algebraische Struktur ist eine Halbgruppe, wenn die Axiome (Ab) und (Ass) erfüllt sind.
-=== Aufgabe ===
-# Untersuchen Sie die folgenden Strukturen: <math>(\mathbb{N};+)</math>, <math>(\mathbb{N};\cdot)</math>, <math>(\mathbb{Z};+)</math>, <math>(\mathbb{Z};\cdot)</math>, <math>(\mathbb{Z};:)</math>, <math>(\mathbb{Q};\cdot)</math>, <math>(\mathbb{Q};:)</math>. Außerdem: Die Menge der Deckdrehungen des Quadrats mit der Verkettung als Operation: <math>({d_0, d_{90}, d_{180}, d_{270});\circ)</math>

Restklassen und Algebraische Strukturen: Unterschied zwischen den Versionen

Version vom 18. Dezember 2012, 16:10 Uhr

Definition Gruppe

Restklassen und (Halb-)Gruppen

Ring

Satz

Restklassen und multiplikative Inverse

Körper

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

ZUM.de

Hilfen

Werkzeuge