Infos Home | Impressum | Original Artikel & Autoren Liste

Restklassenring

In der Mathematik ist ein Restklassenring ein spezieller Faktorring, der aus Restklassen ganzer Zahlen besteht.

Dieser Artikel beschäftigt sich mit der algebraischen Definition und abstrakteren Eigenschaften von Restklassenringen. Für eine einfacher verständliche Einführung in die Rechenregeln siehe den Artikel Kongruenz (Zahlentheorie).

Inhalt
1 Definition
2 Beispiele
3 Restklassenkörper
4 Verallgemeinerung

Definition

Ist n eine natürliche Zahl, dann fasst man ganze Zahlen mit gleichem Rest bei Division durch n zusammen zu so genannten Restklassen. Die Restklassen bilden zusammen den Restklassenring, der mit Z/nZ oder Zn bezeichnet wird (sprich "Z modulo n").

Die Addition und Multiplikation von Restklassen erfolgt durch Addition und Multiplikation von beliebigen Elementen dieser Klassen und anschließende Restbildung des Ergebnisses. Bezeichnet man die Restklasse von a mit [a], dann definiert man also

[a]+[b]:=[a+b] und
[a]·[b]:=[a·b].

Dass diese Verknüpfungen des Restklassenrings wohldefiniert sind, liegt an der folgenden Eigenschaft der Restklassen.

Sind a1, b1, a2, b2 ganze Zahlen mit

[a1] = [b1] und [a2] = [b2],
dann gilt
[a1 + a2] = [b1 + b2]
und
[a1 · a2] = [b1 · b2].

Beispiele

Z/3Z

Bei Divison durch 3 entstehen die drei Restklassen
0 := [0] = { ...; -6; -3; 0; 3; 6; 9; 12; ... }, d.h. die durch 3 teilbaren Zahlen.
1 := [1] = { ...; -5; -2; 1; 4; 7; 10; 13;... }, d.h. der Divisionsrest ist 1.
2 := [2] = { ...; -4; -1; 2; 5; 8; 11; 14;... }, d.h. der Divisionsrest ist 2.

Berechnen wir 1 + 2:
Wähle etwa die 4 aus 1 und die 8 aus 2. Rechne 4 + 8 = 12. 12 ist in 0. Also 1 + 2 = 0.

Die Menge Z/3Z = {0,1,2} bekommt so die Verknüpfungstabellen:
Addition:
+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
Multiplikation:
* 0 1 2
0 0 0 0
1 0 1 2
2 0 2 1

(Z/3Z,+,·) ist ein Ring, und in diesem Fall sogar ein Körper, der als F3 bezeichnet wird (von engl. field).

Z/4Z

Betrachten wir die Reste bei Division durch 4.

Z/4Z = {0;1;2;3} mit

0 = { ...; -4; 0; 4; 8; 12; 16; ... }
1 = ( ...; -3; 1; 5; 9; 13; 17; ... }
2 = ( ...; -2; 2; 6; 10; 14; 18;... }
3 = ( ...; -1; 3; 7; 11; 15; 19;... }

Darin ist 2 · 2 = 0. Die Multiplikation ist also in Z/4Z\\{0} nicht abgeschlossen, es gibt Nullteiler (2 ist Teiler von 0). Die so entstandende Struktur (Z/4Z,+,·) ist kein Körper, sondern nur ein kommutativer Ring (der Restklassenring modulo 4).

Restklassenkörper

Ist p eine Primzahl, dann ist der Restklassenring Z/pZ ein endlicher Körper, der Restklassenkörper modulo p, und wird als Fp bezeichnet.

Ist dagegen n keine Primzahl, dann ist der Restklassenring modulo n kein Körper, da die Restklasse jedes echten Teilers von n ein Nullteiler ist.

Eine Restklasse mit heißt prime Restklasse modulo . Die Gruppe der primen Restklassen modulo heißt prime Restklassengruppe modulo und wird mit symbolisiert.

Verallgemeinerung

Die Idee der Restklassen lässt sich auch in anderen Ringen als den ganzen Zahlen realisieren. Man definiert dazu den Begriff des Ideals und bildet Restklassen modulo einem Ideal, die ihrerseits einen Ring bilden, den man Faktorring nennt.
Der Ursprungsartikel stammt von der deutschsprachigen Wiki pedia (siehe oben: "Original Artikel & Autoren Liste").
Der Text steht unter der GNU Freie Dokumentation Lizenz.