Ringtheorie — Definitionen, Ideale & Beispiele

Die Ringtheorie untersucht Mengen, in denen Addition und Multiplikation auf kontrollierte Weise zusammenwirken. Das wichtigste Modell sind die ganzen Zahlen: Man kann addieren, subtrahieren und multiplizieren, und diese Operationen folgen verlässlichen Regeln.

Ein Ring ist nicht einfach nur „eine Menge mit Multiplikation“. Damit etwas ein Ring ist, muss sich die Addition so verhalten wie bei den ganzen Zahlen, die Multiplikation muss assoziativ sein, und die Multiplikation muss sich über die Addition verteilen.

Was ist ein Ring in der Mathematik?

Ein Ring $R$ ist eine Menge mit zwei Verknüpfungen, $+$ und $\cdot$, sodass gilt:

1. $(R,+)$ ist eine abelsche Gruppe.
2. Die Multiplikation ist assoziativ: $(ab)c=a(bc)$ für alle $a,b,c \in R$.
3. Die Multiplikation ist distributiv bezüglich der Addition:

$$a(b+c)=ab+ac$$

und

$$(a+b)c=ac+bc$$

Die erste Bedingung bedeutet, dass die Addition ein Nullelement hat, jedes Element ein additives Inverses besitzt, die Addition assoziativ ist und die Addition kommutativ ist. Einfach gesagt: Unter der Addition verhält sich die Menge wie die ganzen Zahlen.

Manche Bücher verlangen zusätzlich ein multiplikatives Einselement $1$. Andere konzentrieren sich auf kommutative Ringe, bei denen $ab=ba$ gilt. Das sind wichtige Zusatzbedingungen, aber sie gehören nicht in jede Definition eines Rings.

Was ein Ideal in der Ringtheorie bewirkt

Ein Ideal ist eine Teilmenge, die stabil bleibt, wenn man sie mit Elementen aus dem ganzen Ring multipliziert. Genau diese Stabilität macht Quotientenringe möglich, ähnlich wie normale Untergruppen Quotientengruppen möglich machen.

Ist $R$ ein kommutativer Ring, dann ist eine Teilmenge $I \subseteq R$ genau dann ein Ideal, wenn:

1. $I$ unter Addition und additiven Inversen abgeschlossen ist.
2. Für jedes $r \in R$ und jedes $x \in I$ liegt auch das Produkt $rx$ wieder in $I$.

In einem nichtkommutativen Ring muss man zwischen Linksidealen, Rechtsidealen und zweiseitigen Idealen unterscheiden. In einem kommutativen Ring verschwinden diese Unterschiede.

Durchgerechnetes Beispiel: Warum $2\mathbb{Z}$ ein Ideal von $\mathbb{Z}$ ist

Der Ring $\mathbb{Z}$ mit der gewöhnlichen Addition und Multiplikation ist das klassische erste Beispiel für einen Ring. Er ist außerdem kommutativ und besitzt das multiplikative Einselement $1$.

Betrachte nun die Teilmenge der geraden ganzen Zahlen:

$$2\mathbb{Z}=\{2k : k \in \mathbb{Z}\}$$

Diese Menge ist ein Ideal von $\mathbb{Z}$, weil sie die beiden obigen Tests besteht.

Erstens ist sie unter Addition abgeschlossen:

$$2a+2b=2(a+b)$$

also ist die Summe zweier gerader ganzer Zahlen wieder gerade. Sie ist auch unter additiven Inversen abgeschlossen, denn

$$-(2a)=2(-a)$$

ist ebenfalls gerade.

Zweitens absorbiert sie die Multiplikation mit jeder ganzen Zahl. Wenn $r \in \mathbb{Z}$ und $2a \in 2\mathbb{Z}$, dann gilt

$$r(2a)=2(ra)$$

und das ist wieder gerade.

Also ist $2\mathbb{Z}$ nicht nur eine Teilmenge mit einem erkennbaren Muster. Sie bleibt unter Addition, additiven Inversen und Multiplikation mit jeder ganzen Zahl in sich selbst, und genau das muss ein Ideal leisten.

Dieses Beispiel sollte man sich merken, weil dasselbe Muster immer wieder auftaucht: Ideale sind die Teilmengen, die der ganze Ring durch Multiplikation nicht aus ihrer Lage bringen kann.

Gegenbeispiel: Ungerade ganze Zahlen sind kein Ideal

Die ungeraden ganzen Zahlen sind kein Ideal von $\mathbb{Z}$.

Schon unter Addition sind sie nicht abgeschlossen, denn ungerade $+$ ungerade $=$ gerade. Auch die Absorptionsbedingung ist nicht erfüllt: Zum Beispiel ist

$$2 \cdot 3 = 6$$

und $6$ ist nicht ungerade.

Das ist der entscheidende Unterschied. Ein Ideal ist nicht einfach nur eine gut erkennbare Teilmenge. Es muss die genauen Bedingungen der Abgeschlossenheit und Absorption erfüllen.

Häufige Fehler in der Ringtheorie

Additive Abgeschlossenheit mit dem vollständigen Idealtest verwechseln

Abgeschlossenheit unter Addition reicht nicht aus. Man braucht auch Abgeschlossenheit unter additiven Inversen und die Absorptionseigenschaft bei der Multiplikation mit beliebigen Ringelementen.

Kommutativität als selbstverständlich ansehen

Viele erste Beispiele sind kommutative Ringe, aber nicht jeder Ring ist kommutativ. Matrizenringe sind das Standardgegenbeispiel.

Annehmen, dass jeder Ring ein $1$ enthalten muss

Viele Autorinnen und Autoren verlangen ein multiplikatives Einselement, viele andere nicht. Wenn du Ringtheorie liest oder schreibst, solltest du die Konvention angeben, falls sie wichtig ist.

Unterringe und Ideale verwechseln

Ein Unterring ist ein kleinerer Ring innerhalb eines Rings. Ein Ideal ist so definiert, dass es mit der Multiplikation aus dem ganzen Ring gut zusammenpasst. Diese Ideen hängen zusammen, sind aber nicht dieselbe Bedingung.

Wo Ringtheorie verwendet wird

Ringtheorie taucht in der modularen Arithmetik, in der Polynom-Algebra, in der Zahlentheorie und in der algebraischen Geometrie auf. Sie gehört auch zur Sprache hinter einigen kryptografischen Konstruktionen.

Für die Grundidee brauchst du diese fortgeschrittenen Anwendungen aber nicht. Für einen ersten Zugang kannst du Ringtheorie als die Untersuchung zahlenähnlicher Systeme verstehen, in denen Addition und Multiplikation auf vorhersagbare Weise zusammenwirken.

Probiere eine ähnliche Aufgabe

Versuche deine eigene Version mit $3\mathbb{Z}$ oder $5\mathbb{Z}$ innerhalb von $\mathbb{Z}$. Prüfe dieselben zwei Bedingungen: Abgeschlossenheit unter Addition und additiven Inversen, dann Absorption unter Multiplikation mit einer beliebigen ganzen Zahl.