Restklassen und Algebraische Strukturen

__NOTOC__
== Definition Gruppe ==

Eine algebraische Struktur <math>(G;\circ)</math> heißt genau dann ''Gruppe'', wenn die folgenden Axiome erfüllt sind:
# (Ab) Die Operation <math>\circ</math> ist in <math>G</math> abgeschlossen: <math>\forall a,b \in G: \exists c \in G: a\circ b=c</math>.
# (Ass) Die Operation <math>\circ</math> ist assoziativ: <math>\forall a,b,c \in G: (a\circ b)\circ c = a\circ (b\circ c)</math>.
# (Neu) In <math>G</math> gibt es bezüglich der Operation <math>\circ</math> ein neutrales Element: <math>\exists n \in G: \forall a \in G: a\circ n = n\circ a = a</math>
# (Inv) Zu jedem Element aus <math>G</math> gibt es ein inverses Element: <math>\forall a\in G: \exists\overline{a} \in G: a\circ\overline{a}=\overline{a}\circ a=n</math> '''ODER''' <math>\forall a\in G: \exists a^{-1} \in G: a\circ a^{-1}=a^{-1} \circ a=n</math>

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

:5. (Kom) Die Operation <math>\circ</math> ist kommutativ: <math>\forall a,b \in G: a\circ b = b\circ a</math>

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

== Restklassen und (Halb-)Gruppen ==

Wie steht es um <math>(\mathbb{Z}_m;\oplus)</math>? Schreiben Sie sich zunächst die Verknüpfungstafel von <math>(\mathbb{Z}_4;\oplus)</math> auf und überlegen Sie sich an diesem konkreten Fall, welche Axiome gelten. Anschließend beweisen wir allgemein:
# (Ab) Es gilt: <math>\overline{a}\oplus\overline{b}=\overline{a+b}</math>. Nach Definition der Restklassenaddition ist die Operation <math>\oplus</math> abgeschlossen.<br /><br />
# (Ass) Hier hilft uns die Tatsache, dass die Operation <math>+</math> in <math>\mathbb{Z}</math> assoziativ ist: <math>(\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})</math>. Somit ist auch die Operation <math>\oplus</math> in <math>\mathbb{Z}_m</math> assoziativ.<br /><br />
# (Neu) Es ist offensichtlich <math>\overline{0}</math> neutrales Element, denn: <math>\overline{a}\oplus\overline{0}=\overline{a+0}=\overline{a}</math> und <math>\overline{0}\oplus\overline{a}=\overline{0+a}=\overline{a}</math><br /><br />
# (Inv) Es gibt zu jedem <math>\overline{a}</math> ein inverses Element, nämlich <math>\overline{a^{-1}}</math>: <math>\overline{a}\oplus\overline{a^{-1}}=\overline{a+ a^{-1}}=\overline{m}=\overline{0}</math>

Somit handelt es sich bei <math>(\mathbb{Z}_m;\oplus)</math> um eine Gruppe.

Es handelt sich sogar um eine kommutative Gruppe, denn: <math>\overline{a}\oplus\overline{b}=\overline{a+b}=\overline{b+a}=\overline{b}\oplus\overline{a}</math><br /><br />

Aber wie sieht's mit <math>(\mathbb{Z}_m;\otimes)</math> aus? Schreibe dir die Verknüpfungstafeln von <math>(\mathbb{Z}_4;\otimes)</math> und <math>(\mathbb{Z}_5;\otimes)</math> auf.

{{PHHDLückeMitText|<br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br />}}

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

== Ring ==

Eine Struktur <math>(R;+;\cdot)</math> heißt Ring genau dann, wenn die folgenden Axiome erfüllt sind:
# <math>(R;+)</math> ist kommutative Gruppe.
# <math>(R;\cdot)</math> ist Halbgruppe.
# (Dis) Es gilt das Distributivgesetz: <math>\forall a,b,c:R. a\cdot(b+c)=(a\cdot b) + (a\cdot c)</math> und <math>(b+c)\cdot a=(b\cdot a) + (c\cdot a)</math>

Wenn <math>(R;\cdot)</math> 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: <math>(\mathbb{N};+;\cdot)</math>, <math>(\mathbb{Z};+;\cdot)</math>, <math>(\mathbb{Q};+;\cdot)</math>


=== 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: <math>(\mathbb{Z}_n;\oplus;\otimes)</math> 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 <math>a</math> in <math>\mathbb{Z}_m</math> 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:

<math>a\cdot x \equiv 1</math> mod <math>m</math>

Dies ist genau dann der Fall, wenn

<math>m|(a\cdot x -1)</math>

also genau dann, wenn ein <math>q</math> existiert, sodass

<math>m\cdot q = a\cdot x -1</math>

bzw.

<math>a\cdot x + m\cdot(-q) = 1</math>

Diese Gleichung ist mit den Unbekannten <math>x</math> und <math>q</math> genau dann lösbar, wenn <math>ggT(a,m)=1</math>. (Dies wissen wir, weil wir uns mit [[PH_Heidelberg/Zahlentheorie/Diophantische_Gleichungen|diophantischen Gleichungen]] auskennen.)

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

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


== Körper ==

Eine Struktur <math>(R;+;\cdot)</math> mit mindestens zwei Elementen heißt Körper genau dann, wenn die folgenden Axiome erfüllt sind:
# <math>(R;+)</math> ist kommutative Gruppe.
# <math>(R\setminus\{0\};\cdot)</math> ist kommutative Gruppe.
# (Dis) Es ist <math>\cdot</math> mit <math>+</math> distributiv verbunden.

Wir können also festhalten:

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