Nullteiler

In der abstrakten Algebra ist ein Nullteiler eines Ringes $R$ ein Element $a$, für das es ein vom Nullelement $0$ verschiedenes Element $b$ gibt, so dass $ab=0$. Diesem letzteren Produkt wird gelegentlich der Name Nullprodukt gegeben.

Das Nullelement $0$ ist als neutrales Element der Addition gleichzeitig absorbierendes Element der Multiplikation. Deshalb ist es selbst natürlich ein Nullteiler, ein trivialer Nullteiler. Ferner wird ein Nullprodukt, das einen Faktor $0$ enthält, trivialerweise $=0$, weshalb Produkte mit einem bekannten Faktor $0$ zur Definition des Begriffs Nullteiler nicht herangezogen werden.

Definition

Ist $R$ ein Ring und $a\in R$, dann unterscheidet man zwischen:

• Linksnullteiler: Es gibt ein Element $b\in R\setminus \{0\}$, so dass $ab=0$.
• Rechtsnullteiler: Es gibt ein Element $b\in R\setminus \{0\}$, so dass $ba=0$.
• (zweiseitiger) Nullteiler: $a$ ist sowohl Links- als auch Rechtsnullteiler.
• Linksnichtnullteiler: $a$ ist kein Linksnullteiler.
• Rechtsnichtnullteiler: $a$ ist kein Rechtsnullteiler.
• (zweiseitiger) Nichtnullteiler: $a$ ist weder Links- noch Rechtsnullteiler, oft auch reguläres Element genannt.

In nichtkommutativen Ringen müssen Linksnullteiler keine Rechtsnullteiler sein und umgekehrt, bei kommutativen Ringen hingegen fallen die zwei mal drei Begriffe schlicht zu Nullteiler bzw. Nichtnullteiler zusammen.

Man nennt von $0$ verschiedene Links-, Rechts- oder zweiseitige Nullteiler echt (dann sind beide Faktoren $\neq 0$). Ein Ring ohne echte Links- und ohne echte Rechtsnullteiler heißt nullteilerfrei.

Ein nullteilerfreier, kommutativer Ring mit Einselement $1\neq 0$ heißt Integritätsring.

Für nullteilerfreie Ringe $R$ gilt der Satz vom Nullprodukt:

Ist $ab=0$ für zwei Elemente $a,b\in R$, dann ist $a=0$ oder $b=0.$

Beispiele

• Der Ring $\mathbb {Z}$ der ganzen Zahlen ist nullteilerfrei, der Ring $\mathbb {Z} ^{2}$ (mit komponentenweiser Addition und Multiplikation) enthält zum Beispiel die Nullteiler $(0,1)$ und $(1,0)$, denn $(0,1)\cdot (1,0)=(0,0)$ und $(1,0)\cdot (0,1)=(0,0)$.

• Jeder Körper ist nullteilerfrei, denn jedes von $0$ verschiedene Element ist eine Einheit (siehe unten).

• Der Restklassenring $\mathbb {Z} /6\mathbb {Z}$ hat die Nullteiler 2, 3 und 4, denn es ist $2\cdot 3\equiv 4\cdot 3\equiv 0\mod 6$.

• Allgemein ist für eine natürliche Zahl $n>1$ der Restklassenring $\mathbb {Z} /n\mathbb {Z}$ genau dann nullteilerfrei (sogar ein Körper), wenn $n$ eine Primzahl ist.

• Der Ring der reellen 2×2-Matrizen enthält beispielsweise die Nullteiler

${\begin{pmatrix}1&1\\2&2\end{pmatrix}}\quad {\text{und}}\quad {\begin{pmatrix}1&1\\-1&-1\end{pmatrix}}$

denn

${\begin{pmatrix}1&1\\2&2\end{pmatrix}}\cdot {\begin{pmatrix}1&1\\-1&-1\end{pmatrix}}={\begin{pmatrix}0&0\\0&0\end{pmatrix}}.$

• Allgemein sind in einem Matrizenring über einem Körper oder Integritätsring genau die Matrizen Nullteiler, deren Determinante $0$ ist. Hier gibt es trotz fehlender Kommutativität keinen Unterschied zwischen Links- und Rechtsnullteilern.

Eigenschaften

• In Ringen ist ein Element ungleich Null genau dann Links-, Rechts- oder zweiseitiger Nichtnullteiler, wenn es links-, rechts- bzw. zweiseitig kürzbar ist.

• In einem Ring mit Einselement sind echte Nullteiler (linke oder rechte) nicht invertierbar, d. h. keine Einheiten. Sei nämlich $a\neq 0$ bspw. ein linker Nullteiler, es gibt also ein $b\neq 0$ mit $ab=0$. Angenommen nun, $a$ wäre invertierbar, es gäbe also ein $c$ mit $ca=1$, dann ergäbe sich der Widerspruch

$b=(ca)\;b=c(ab)=c\,0=0$.

Im Fall eines Rechtsnullteilers sind die Terme zu spiegeln.

In einem nichtkommutativen Ring mit Einselement gilt: Ein Linksnullteiler hat kein Linksinverses, jedoch kann ein Linksnullteiler ein Rechtsinverses haben; analog für Rechtsnullteiler. Ein beidseitiger Nullteiler hat demnach kein Inverses.

• Ist $a$ ein Linksnullteiler, dann ist für jedes $b$ das Produkt $ba$ ebenfalls ein Linksnullteiler (oder gleich null). Das Produkt $ab$ muss hingegen kein Links- oder Rechtsnullteiler sein (siehe dazu das Beispiel des Matrixrings $R$ im Artikel Einheit (Mathematik), dessen Elemente $A$ und $B$ einseitige Nullteiler sind, die jeweils einseitige Inverse voneinander sind, da $AB=E$ die Einheitsmatrix ist).

Siehe auch

• Topologischer Nullteiler