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).
Table of contents |
2 Beispiele 3 Restklassenkörper 4 Verallgemeinerung |
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
Definition
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],
- [a1 + a2] = [b1 + b2]
- [a1 · a2] = [b1 · b2].
Beispiele
Addition:
|
Multiplikation:
|
(Z/3Z,+,·) ist ein Ring, und in diesem Fall sogar ein Körper, der als F3 bezeichnet wird (von engl. field).
Betrachten wir die Reste bei Division durch 4.
Z/4Z = {0;1;2;3} mit
Z/4Z
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).
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.
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.Restklassenkörper
Verallgemeinerung