Mathematik: Algebra: Ringe

Aus Wikibooks

In einer Gruppe gab es lediglich eine Verknüpfung, dessen Bezeichnung eigentlich nebensächlich ist. Oft werden allerdings eine Multiplikation und eine Addition benötigt. Dieser Abschnitt beschäftigt sich mit den Beziehungen zwischen diesen Operationen.

Inhaltsverzeichnis

1 Grundbegriffe

[Bearbeiten] Grundbegriffe

Wir betrachten zunächst eine Menge $R$ mit zwei Operationen. Diese werden üblicherweise Addition und Multiplikation genannt

[Bearbeiten] Ringe

Definition (Ring): Eine Menge $R$ mit zwei Verknüpfungen

$\begin{alignat}{2} +:& R\times R\rightarrow R &\quad& (a,b) \mapsto a+b \\ \cdot:& R\times R\rightarrow R && (a,b) \mapsto a\cdot b \end{alignat}$

heißt Ring im Zeichen $(R;+,\cdot)$ , wenn folgendes gilt:

(R1)

(R, + )

ist eine kommutative Gruppe

(R2) $(R,\cdot)$ ist eine Halbgruppe

(R3) Es gelten die Distributivgesetze

$a\cdot ( b + c) = ( a \cdot b ) + ( a \cdot c )$ und $( a + b ) \cdot c = ( a \cdot c ) + ( b \cdot c )$

Gilt für alle $a,b \in R$ zusätzlich $a \cdot b = b \cdot a$ , so heißt $(R;+,\cdot)$ ein kommutativer Ring.

Das neutrale Element von $(R, + )$ wird allgemein mit 0 bezeichnet. Das inverse Element von $a\in(R,+)$ wird mit $- a$ bezeichnet. Ist $(R,\cdot)$ ein Monoid, so wird dessen neutrales Element allgemein mit 1 bezeichnet. Gilt darüber hinaus $1\ne 0$ , so heißt $(R;+,\cdot)$ ein Ring mit Einselement.

Beispiel: Die ganzen Zahlen $(\mathbb{Z};+,\cdot)$ mit der üblichen Addition und Multiplikation sind ein Ring mit Einselement. Dagegen ist die Menge $(\mathbb{N};+,\cdot)$ der natürlichen Zahlen kein Ring, da sie kein inverses Element der Addition existiert.

Satz Ist A eine abelsche Gruppe, so bilden die Endomorphismen von A, mit punktweiser Addition und Hintereinanderausführung als Multiplikation, einen Ring, den Endomorphismenring End(A). Dieser Ring enthält als Einselement die identische Abbildung von A.

Beweis: einfach; z.B. Distributivgesetz: $(\phi \circ(\psi+\rho))(x)=\phi((\psi+\rho)(x))=\phi(\psi(x)+\rho(x))=\phi(\psi(x))+\phi(\rho(x))= (\phi\circ\psi + \phi\circ\rho)(x)$

Beispiel: $End(\mathbb{Z})\cong \mathbb{Z}$ , da jeder Endomorphismus durch den Wert φ(1) bereits festgelegt ist.

Beispiel: $End(\mathbb{Z}^2)$ enthält z.B. die Elemente f, g, h, die gegeben sind durch $f (a, b) = (a,0)$ , $g (a, b) = (0, b)$ , $h (a, b) = (b, a)$ . Es gilt f·g=0, h·h=1, $h\circ f\circ h=g\not=f=f\circ h\circ h$ . Insbesondere ist dieser Ring nicht kommutativ. (Tatsächlich ist er isomorph zum Matrizenring $\mathbb{Z}^{2,2}$ .)

[Bearbeiten] Nullteiler

Definition: Wenn es $a,b\in R, a \neq 0, b \neq 0$ gibt mit $a\cdot b = 0$ so heißt $a$ ein linker Nullteiler und $b$ ein rechter Nullteiler. $R$ heißt nullteilerfrei, wenn aus $a\cdot b=0$ stets $a = 0$ oder $b = 0$ folgt.

[Bearbeiten] Integritätsbereich

Nullteilerfreie kommutative Ringe mit Einselement heißen Integritätsbereiche.

[Bearbeiten] Ringhomomorphismen

Sind $R$ und $S$ Ringe, dann heißt eine Abbildung $\phi: R \rightarrow S$ ein Ringhomomorphismus, wenn sie mit Addition und Multiplikation verträglich ist, d.h. wenn für alle $a,b\in R$ gilt:

$φ(a + b) = φ(a) + φ(b)$
$\phi(a \cdot b)=\phi(a) \cdot \phi(b)$

(Hierbei bedeuten $+$ und $\cdot$ links die Addition bzw. Multiplikation in $R$ , rechts die in $S$ .)

Der Kern von $φ$ besteht aus allen Elementen, die auf $0$ abgebildet werden.

[Bearbeiten] Ideale

Bei Gruppen kann man Faktorgruppen bilden, indem man die Nebenklassen bzgl. eines Normalteilers betrachtet. Auf ähnliche Weise kann man Faktorringe (Restklassenringe) bilden. Wir betrachten die Nebenklassen a+I bzgl. einer Menge $I\subseteq R$ . Ist I eine additive Untergruppe - und damit Normalteiler, da die Addition kommutativ ist - so ist auf R/I, wie wir bereits wissen, eine Addition definiert. Welche Eigenschaft muss I haben, damit auch die Multiplikation wohldefiniert ist? Wir haben für alle a,b: $(a+I)(b+I)\subseteq ab+aI+Ib+I\cdot I \subseteq ab+I$ , vorausgesetzt dass aI und Ib in I enthalten sind. (Gilt dies für alle a, b so folgt automatisch auch $I\cdot I \subseteq I$ .)

Definition (Ideal) Es sei $R$ ein Ring. Eine Teilmenge $I \subseteq R$ heißt ein Links-Ideal in $R$ , wenn gilt:

$\forall a,b \in I : a + b \in I$
$\forall r \in R, a \in I: ra \in I$

Gilt zusätzlich

$\forall r \in R, a \in I: ar \in I$ ,

so heißt I ein Ideal von R.

Satz

Ist $I$ ein Ideal von $R$ , so bilden die additiven Restklassen modulo I einen Ring, den Restklassenring oder Faktorring R/I.
Es gibt einen natürlichen surjektiven Homorphismus $R\rightarrow R/I$ , der jedes Element auf seine Restklasse abbildet.
Ist $\phi: R\rightarrow S$ ein Ringhomomorphismus, so ist der Kern von φ ein Ideal von R, und das Bild von φ ist ein Teilring von S, der zu $R / k e r φ$ isomorph ist.

Beispiel Ist n eine natürliche Zahl, dann ist $\mathbb{Z}/n\mathbb{Z}$ ein Ring mit n Elementen, bestehend aus den Restklassen von 0, 1,... , n-1.

[Bearbeiten] Direktes Produkt

Sind $R i$ Ringe, wobei i eine beliebige Indexmenge durchläuft, so ist auch das direkte Produkt

∏	R_i
i

mit elementweiser Addition und Multiplikation ein Ring.

[Bearbeiten] Polynomringe und Potenzreihenringe

Sei R ein Ring. Wir nehmen ein Symbol X (eine "Unbestimmte") und betrachten die formalen Summen $\sum_{k=0}^\infty a_k X^k$ mit $a_k\in R$ . (Die $a k$ heißen die Koeffizienten.) Dies ist zunächst nur eine spezielle Schreibweise für die Tupel $(a_k)_{k\in \mathbb{N}_0}$ . Sie legt aber eine besondere Definition der Multiplikation auf diesen Tupeln nahe, nämlich $\sum_{k=0}^\infty a_k X^k\cdot\sum_{l=0}^\infty b_l X^l:=\sum_{m=0}^\infty(\sum_{k+l=m}a_kb_l)X^m$ . Die innere Summe rechts läuft über die (endlich vielen) natürlichen Zahlen k, l mit k+l=m. Die Addition erfolgt koeffizientenweise: $\sum_{k=0}^\infty a_k X^k + \sum_{k=0}^\infty b_k X^k:=\sum_{k=0}^\infty(a_k+b_k)X^m$ . Man kann nachrechnen, dass die formalen Summen mit der so definierten Multiplikation und Addition einen Ring bilden, den sogenannten Potenzreihenring RX. Beschränkt man sich auf endliche Summen, d.h. auf Tupel mit $a k = 0$ für alle bis auf endlich viele k, so erhält man einen Teilring, den sog. Polynomring R[X]. Wir fassen R als Teilring von R[X] auf, indem wir $a\in R$ mit dem Polynom $a X 0$ identifizieren. Für ein Polynom $f(X)=\sum_ka_kX^k\not=0$ heißt das größte $k$ mit $a_k\not=0$ der Grad $d e g (f)$ . Der Koeffizient $a d e g (f)$ heißt der Leitkoeffizient von f. f heißt normiert, falls sein Leitkoeffizient 1 ist. Wir definieren außerdem $deg(0)=-\infty$ . Die Elemente von R entsprechen genau den Polynomen vom Grad 0, sowie dem Nullpolynom; diese heißen konstante Polynome.

Satz

Ist R nullteilerfrei, so gilt $d e g (f g) = d e g (f) + d e g (g)$ . Insbesondere ist auch R[X] nullteilerfrei.
Im allgemeinen Fall gilt $deg(fg)\leq deg(f)+deg(g)$ , mit Ungleichheit nur dann, wenn das Produkt der beiden Leitkoeffizienten 0 ergibt.

Beweis: Ergibt sich sofort aus der Definition des Produkts.

Satz Ist $\phi: R\rightarrow S$ ein Ringhomomorphismus und $x\in S$ ein Element, das mit jedem Element von $φ(R)$ kommutiert, dann gibt es eine eindeutige Fortsetzung $\psi: R[X]\rightarrow S$ von $φ$ mit $ψ(X) = x$ .

Beweis: Durch vollständige Induktion folgt sofort, dass $\sum_{k=0}^n a_k X^k$ auf $\sum_{k=0}^n \phi(a_k)x^k$ abgebildet werden muss. Dass die so definierte Abbildung wirklich einen Ringhomomorphismus darstellt, folgt durch einfaches Nachrechnen. (Dabei wird verwendet, dass die $x k$ mit den $φ(a l)$ kommutieren.