Ideal (Ringtheorie)

In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R-Linearkombinationen ist.

Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen angesehen werden.

„Ideale Zahlen“

Der Ursprung der Ideale liegt in der Feststellung, dass in Ringen wie $\mathbb {Z} \left[{\sqrt {-5}}\right]=\left\{a+b\cdot {\sqrt {-5}}\mid a,b\in \mathbb {Z} \right\}$ die Eindeutigkeit der Zerlegung in irreduzible Elemente nicht gilt: So ist

$6=2\cdot 3=\left(1+{\sqrt {-5}}\right)\cdot \left(1-{\sqrt {-5}}\right),$

und die beiden Faktoren jeder Zerlegung sind irreduzibel im Ring. Ernst Eduard Kummer stellte fest, dass man die Eindeutigkeit manchmal wiederherstellen kann, indem man weitere, ideale Zahlen hinzunimmt. Im Beispiel erhält man durch Hinzunahme der Zahl $\mathrm {i}$ die Faktorisierungen

$2=\left(1+\mathrm {i} \right)(1-\mathrm {i} ),\quad 3={\frac {1+{\sqrt {-5}}}{1+\mathrm {i} }}\cdot {\frac {1-{\sqrt {-5}}}{1-\mathrm {i} }}$

und die Eindeutigkeit ist wiederhergestellt.

Richard Dedekind erkannte, dass man diese idealen Zahlen vermeiden kann, indem man statt ihrer Vielfache von Elementen und deren Summen einführt, wie beispielsweise

$\left(2,1+{\sqrt {-5}}\right)=\left\{a\cdot 2+b\cdot \left(1+{\sqrt {-5}}\right)\mid a,b\in \mathbb {Z} [{\sqrt {-5}}]\right\}.$

Ist ein einzelner gemeinsamer Faktor vorhanden, so besteht das Ideal gerade aus seinen Vielfachen und ist damit ein Hauptideal. In Ganzheitsringen von Zahlkörpern (und allgemeiner in der aufgrund dieser Tatsache nach ihm benannten Klasse der Dedekindringe) erhält man auf diese Weise eine eindeutige Zerlegung jedes Ideals (ungleich null) in Primideale.

Definition

Um auch für nichtkommutative Ringe geeignete Begriffe zu haben, unterscheidet man zwischen Links-, Rechtsidealen und zweiseitigen Idealen:

Es sei I eine Teilmenge eines Ringes R. I heißt dann Linksideal, wenn gilt:

1: $0\in I$

2: Für alle $a,b\in I$ ist $a-b\in I$ (Untergruppenkriterium)

3L: Für jedes $a\in I$ und $r\in R$ ist $ra\in I$

Entsprechend ist I ein Rechtsideal, wenn für I neben 1 und 2 auch gilt:

3R: Für jedes $a\in I$ und $r\in R$ ist $ar\in I$.

I nennt man schließlich zweiseitiges Ideal oder nur kurz Ideal, falls I Links- und Rechtsideal ist, also 1, 2, 3L und 3R erfüllt.

Bemerkungen

• Da ein Ideal I die 0 enthält, ist es nicht leer. Tatsächlich genügt an Stelle von Bedingung 1 schon die Forderung, dass I nicht leer ist.
• Die Forderungen 1 und 2 sind äquivalent zu der Aussage, dass $(I,+)$ eine Untergruppe der additiven Gruppe $(R,+)$ ist.
• Ein Links- ebenso wie ein Rechtsideal in R ist nichts anderes als ein Untermodul von R, aufgefasst als R-Links- bzw. R-Rechtsmodul.
• Ist der Ring kommutativ, dann fallen alle drei Begriffe zusammen, in einem nichtkommutativen Ring können sie sich aber unterscheiden.

Beispiele

• Die Menge $2\mathbb {Z}$ der geraden ganzen Zahlen ist ein Ideal im Ring $\mathbb {Z}$ aller ganzen Zahlen.
• Die Menge $2\mathbb {Z} +1$ der ungeraden ganzen Zahlen ist kein Ideal in $\mathbb {Z}$; sie erfüllt keine der drei Bedingungen.
• Die Menge aller Polynome mit reellen Koeffizienten, die durch $x^{2}+1$ teilbar sind, bilden ein Ideal im Polynomring $\mathbb {R} [X]$. (Der Körper $\mathbb {R} [X]/\left(x^{2}+1\right)$ ist isomorph zu den komplexen Zahlen)
• Der Ring $C(\mathbb {R} )$ aller stetigen Funktionen von $\mathbb {R}$ nach $\mathbb {R}$ enthält das Ideal der Funktionen $f$ mit $f(1)=0$. Ein anderes Ideal in $C(\mathbb {R} )$ sind die stetigen Funktionen mit kompaktem Träger, d. h. alle Funktionen, die für hinreichend große Argumente gleich 0 sind.
• Die Mengen $\{0\}$ und $R$ sind stets Ideale eines Rings $R$. Wenn $\{0\}$ und $R$ seine einzigen zweiseitigen Ideale sind, nennt man $R$ einfach. Ein kommutativer einfacher Ring ist ein Körper.

Erzeugung von Idealen

Alle Links-, alle Rechtsideale und alle zweiseitigen Ideale bilden jeweils ein Hüllensystem, die zugehörigen Idealoperatoren werden mit $(\;),$ selten auch mit $\langle \;\rangle$ bezeichnet.

Ist A eine Teilmenge des Ringes R, dann nennt man

$(A):=\bigcap _{J\ \mathrm {Ideal\ von} \ R,\ A\subseteq J}J$

das von A erzeugte Ideal, es ist das kleinste (Links-, Rechts- bzw. zweiseitige) Ideal in R, das A enthält.

Besitzt R ein Einselement 1, so ist

$(A)=\{r_{1}a_{1}s_{1}+\ldots +r_{n}a_{n}s_{n}\mid r_{i},s_{i}\in R,a_{i}\in A\},$

und wenn R zusätzlich noch kommutativ ist, gilt sogar:

$(A)=\{r_{1}a_{1}+\ldots +r_{n}a_{n}\mid r_{i}\in R,a_{i}\in A\}.$

Das von einem Element a erzeugte Hauptideal ist

$(a):=\left(\{a\}\right)$.

Verknüpfungen von Idealen

Für zwei Ideale $I,J\in R$ gilt:

• Der (mengentheoretische) Durchschnitt ist ein Ideal:

$I\cap J=(I\cap J).$

• Die mengentheoretische Vereinigung $I\cup J$ ist im allgemeinen kein Ideal.
• Die Summe ist jedoch ein Ideal:

$I+J:=\{a+b\mid a\in I,b\in J\}=(I\cup J).$

Wichtig: Summen und Vereinigungen von Idealen sind im Allgemeinen unterschiedliche Konstrukte!

• Als Produkt von I und J wird das Ideal definiert, das von der Menge der Produkte von Elementen aus I mit Elementen aus J (auch Komplexprodukt genannt) erzeugt wird:

$IJ:=\left(\left\{ab\mid a\in I,b\in J\right\}\right).$

• Als Quotient von I und J wird das Ideal definiert, welches alle $x\in R$ enthält, für die $x\cdot J$ eine Teilmenge von I ist:

$\left(I\colon J\right)=\{x\in R\mid x\cdot J\subseteq I\}$

Bemerkungen

• Das Komplexprodukt selbst ist im Allgemeinen kein Ideal.
• Das Produkt zweier Ideale ist stets in ihrem Schnitt enthalten.
• Mit den Verknüpfungen Summe und Durchschnitt bildet die Menge aller Ideale eines Ringes einen modularen, algebraischen Verband.
• Einige wichtige Eigenschaften dieser Verknüpfungen werden in den Noetherschen Isomorphiesätzen zusammengefasst.

Besondere Ideale

Ein Ideal I heißt echt, wenn es nicht ganz R ist. Dies ist bei Ringen mit 1 genau dann der Fall, wenn 1 nicht in I liegt.

Ein echtes Ideal M heißt maximal, wenn es kein größeres echtes Ideal gibt, d. h. wenn für jedes Ideal I gilt

$M\subseteq I\subsetneq R\Rightarrow M=I.$

Mit Hilfe des Lemma von Zorn kann gezeigt werden, dass jedes echte Ideal eines Rings mit 1 in einem maximalen Ideal enthalten ist. Insbesondere besitzt jeder Ring mit 1 (außer der Nullring) ein maximales Ideal.

Ein echtes Ideal P heißt prim, wenn für alle Ideale I, J gilt:

$IJ\subseteq P\Rightarrow I\subseteq P$ oder $J\subseteq P.$

Jedes maximale Ideal in einem Ring mit 1 ist prim.

Faktorringe und Kerne

Ideale sind wichtig, weil sie als Kerne von Ringhomomorphismen auftreten und die Definition von Faktorringen ermöglichen.

Ein Ringhomomorphismus $f$ vom Ring $R$ in den Ring $S$ ist eine Funktion mit

${\begin{array}{lll}f(a+b)=f(a)+f(b),&f(ab)=f(a)f(b),&f(1_{R})=1_{S}\end{array}}$ für alle $a,b\in R$.

Der Kern von f ist definiert als

$\ker \left(f\right)\colon =\left\{a\in R\mid f\left(a\right)=0\right\}$.

Der Kern ist stets ein zweiseitiges Ideal von R.

Startet man umgekehrt mit einem zweiseitigen Ideal $I$ von $R$, dann kann man den Faktorring $R/I$ (sprich: „$R$ modulo $I$“; nicht zu verwechseln mit einem faktoriellen Ring) definieren, dessen Elemente die Form

$a+I\colon =\left\{a+i\mid i\in I\right\}$

für ein a aus R haben. Die Abbildung

$p\colon R\to R/I,p\left(a\right)=a+I$

ist ein surjektiver Ringhomomorphismus, dessen Kern genau das Ideal I ist. Damit sind die Ideale eines Rings R genau die Kerne von Ringhomomorphismen von R.

Ist der Ring R kommutativ und I ein Primideal, dann ist R/I ein Integritätsring, ist I ein maximales Ideal, dann ist R/I sogar ein Körper.

Die extremen Beispiele von Faktorringen eines Ringes R entstehen durch Herausteilen der Ideale {0} oder R. Der Faktorring R/{0} ist isomorph zu R, und R/R ist der triviale Ring {0}.

Norm eines Ideals

Für Ganzheitsringe $A$ eines Zahlkörpers $K$ lässt sich eine Norm eines (ganzen) Ideals ${\mathfrak {a}}$ definieren durch $N({\mathfrak {a}}):=\mathrm {card} (A/{\mathfrak {a}})$ (und für das Nullideal $N((0)):=0$). Diese Norm ist immer eine endliche Zahl und steht in Zusammenhang mit der Norm der Körperweiterung $N_{K/\mathbb {Q} }$, nämlich gilt für Hauptideale $Aa$: $N_{K/\mathbb {Q} }(a)=N(Aa)$. Zudem ist diese Norm multiplikativ, d. h. $N({\mathfrak {a}}{\mathfrak {b}})=N({\mathfrak {a}})N({\mathfrak {b}})$. Allgemeiner werden diese Normen auch für Ideale in Ordnungen in Zahlkörpern betrachtet.

Literatur

• Felix Klein, Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert, Teil I. Berlin 1926
• Ernst Eduard Kummer, Über die Zerlegung der aus Wurzeln der Einheit gebildeten complexen Zahlen in ihre Primfactoren, J. reine angew. Math. 35 (1847) 327–367