Satz über den Einsetzungshomomorphismus

Der Satz vom Einsetzungshomomorphismus ist ein mathematischer Satz aus der Ringtheorie, der es erlaubt, in die Polynome im Sinne der abstrakten Algebra anstelle von andere Objekte (Elemente einer Ringerweiterung) einzusetzen.

Formulierung des Satzes

Die Aussage des Satzes lautet

Sei ein kommutativer, unitärer (d.h. mit Einselement 1) Ring, R[X]

der Polynomring über und $R \subseteq S$ eine Ringerweiterung. Dann ist für jedes Element $r\in S$ die Abbildung

$F_{r}\colon R[X]\rightarrow S$

$\sum_{i\in\mathbb N_0}{a_i X^i}\mapsto \sum_{i\in\mathbb N_0}{a_i r^i}$

ein Homomorphismus von Ringen. Man bezeichnet F_r als den Einsetzungshomomorphismus zu .

Für $r \in S$ und $f \in R[X]$ schreibt man anstelle von F_r(f) auch kurz f(r) . Mit dieser Notation lauten die Homomorphieeigenschaften (f+g)(r) = f(r) + g(r) und $(f \cdot g)(r) = f(r) \cdot g(r)$ für alle $f,g \in R[X]$ .

Die Homomorphieeigenschaften von F_r prüft man leicht nach. Der Ring muss deswegen unitär sein, weil dann $X:=(0,1,0,0,\dotsc)$ ein Element von R[X] ist und sich dadurch jedes Polynom $f\in R[X]$ eindeutig in Form $\textstyle f=\sum _{i\in \mathbb {N} _{0}}{a_{i}X^{i}}$ mit $a_{i}=0$ für fast alle $i\in\mathbb N_0$ darstellen lässt.

Man kann auf die Forderung, dass kommutativ ist, verzichten. Es genügt vorauszusetzen, dass $r \in S$ mit allen Elementen aus vertauschbar ist.

Bedeutung

Im Sinne der abstrakten Algebra sind Polynome keine Funktionen, wie in der Analysis, sondern (unendliche) Folgen von Ringelementen und keine Unbekannte, sondern die konkrete Folge X=(0,1,0,0,...) . Der Satz vom Einsetzungshomomorphismus zeigt jedoch, wie man auch in Algebra anstelle von verschiedene Objekte einsetzen kann. Dabei dient das Polynom $f\in R[X]$ als "Muster" zur Bildung von f(r) .

Dies soll am folgenden Beispiel veranschaulicht werden.

Sei das Polynom x^2 + x - 6 über dem Körper der reellen Zahlen und sei eine (2x2)-Matrix mit reellen Einträgen $M = \left[ \begin{smallmatrix} 2 & 1 \\ 0 & 3 \end{smallmatrix} \right]$ . Damit ist ein Element des Matrizenringes $\mathbb R^{2\times 2}$ , der als eine Ringerweiterung des Körpers der reellen Zahlen aufgefasst werden kann (denn die reellen Zahlen sind isomorph zu dem Ring der Matrizen der Form $\left[ \begin{smallmatrix} a & 0 \\ 0 & a \end{smallmatrix} \right]$ mit $a\in\mathbb R$ , der ein Unterring des Matrizenringes $\mathbb R^{2\times 2}$ ist). Somit können wir f(M) berechnen:

$f(M)= \begin{bmatrix} 2 & 1 \\ 0 & 3 \end{bmatrix}\cdot \begin{bmatrix} 2 & 1 \\ 0 & 3 \end{bmatrix} + \begin{bmatrix} 2 & 1 \\ 0 & 3 \end{bmatrix} - \begin{bmatrix} 6 & 0 \\ 0 & 6 \end{bmatrix} = \begin{bmatrix} 0 & 6 \\ 0 & 6 \end{bmatrix}$

Historischer Ausblick

Die ganze moderne Algebra ist hervorgegangen aus dem Studium algebraischer Gleichungen, zum Beispiel des Typs $\textstyle a_n x^n + a_{n-1} x^{n-1} + ... + a_1 x + a_0 =\sum_{i=0}^{n}a_{i}x^{i} = 0$ , wobei für die unbekannte Größe steht und die Koeffizienten a_1,...,a_n aus einem Körper oder ganz allgemein aus einem Ring stammen. Eine solche Gleichung heißt polynomial. Will man sie lösen, betrachtet man meist die zugehörige polynomiale Funktion $f(x) = a_n x^n + a_{n-1} x^{n-1} + ... + a_1 x + a_0$ , welche einem Element den Funktionswert f(x) zuordnet, und bemüht sich darum, deren Nullstellen zu bestimmen. Streng genommen muss man dabei auch den Definitionsbereich festlegen, in dem variieren darf. Dies kann selbst sein, oder für $K=\Q$ auch reelle oder komplexe Zahlen (allgemeiner eine Körper- bzw. Ringerweiterung des Koeffizientenbereichs).

Ein Problem ist dabei das Auffinden eines geeigneten Definitionsbereiches für , der möglichst "alle" Nullstellen erhält. Ein anderes Problem ergibt sich, wenn man als etwa einen endlichen Körper mit Elementen a_1,...,a_n betrachten möchte. Dann ist beispielsweise $\textstyle g(x)=\prod_{i=1}^{n}(x-a_i)$ eine polynomiale Funktion, die auf ganz verschwindet, obwohl ihre Koeffizienten nicht alle Null sind. Hieraus folgt, dass man je nach betrachtetem Definitionsbereich der polynomialen Funktion f(x) , die der algebraischen Gleichung zugeordnet ist, nicht unbedingt auf die Koeffizienten dieser Gleichung schließen kann.

Um solche Probleme zu vermeiden, betrachtet man Polynome nicht nur als polynomiale Funktionen mit einem bestimmten Definitionsbereich, sondern versucht die zwei Gesichtspunkte gleichzeitig zu realisieren. Zum einen charakterisiert man die Polynome in umkehrbar eindeutiger Weise durch ihre Koeffizienten, siehe dazu den Artikel über den Polynomring. Zum anderen soll auch der Funktionscharakter der Polynome erhalten bleiben, und zwar in der Weise, dass man in Polynome anstelle von Elemente aus den Körpern oder Ringen, die den Koeffizientenbereich erweitern, einsetzen kann. Dies wird erreicht durch den Einsetzungshomomorphismus, wobei nach dem Muster des abstrakten Polynoms eine reale Polynomfunktion entsteht.

Literatur

Albrecht Beutelspacher: Lineare Algebra. Eine Einführung in die Wissenschaft der Vektoren, Abbildungen und Matrizen. Mit liebevollen Erklärungen, einleuchtenden Beispielen und lohnenden Übungsaufgaben, nicht ohne lustige Sprüche, launigen Ton und leichte Ironie, dargestellt zu Nutzen der Studierenden der ersten Semester. 6. durchgesehene und ergänzte Auflage. Vieweg, Braunschweig u. a. 2003, ISBN 3-528-56508-X (Mathematik für Studienanfänger).
Siegfried Bosch: Algebra. 7. Auflage. Springer-Verlag, 2009, ISBN 3-540-40388-4, doi:10.1007/978-3-540-92812-6.
Rolf Busam, Thomas Epp: Prüfungstrainer der Linearen Algebra. Spektrum, Heidelberg 2009, ISBN 978-3-8274-1976-7.

Basierend auf einem Artikel in:

Wikipedia.de