Ringhomomorphismus

Ringhomomorphismus

In der Ringtheorie betrachtet man spezielle Abbildungen zwischen Ringen, die man Ringhomomorphismen nennt. Ein Ringhomomorphismus ist eine strukturerhaltende Abbildung zwischen Gruppen, und damit ein spezieller Homomorphismus.

Inhaltsverzeichnis

Definition

Gegeben seien zwei Ringe (R, +, \cdot) und (S, +', \cdot'). Eine Funktion \varphi\colon\, R \to S heißt Ringhomomorphismus, wenn für alle Elemente a,b von R gilt:

φ(a + b) = φ(a) + 'φ(b) und \varphi(a \cdot b) = \varphi(a) \cdot' \varphi(b). [1]

Die Gleichung besagt, dass der Homomorphismus strukturerhaltend ist: Es ist egal, ob man erst zwei Elemente verknüpft, und das Ergebnis abbildet, oder erst die zwei Elemente abbildet, und dann die Bilder verknüpft.

Erklärung

Anders ausgedrückt, ist ein Ringhomomorphismus eine Abbildung zwischen zwei Ringen, die sowohl Gruppenhomomorphismus bezüglich der additiven Gruppen der beiden Ringe, als auch Halbgruppenhomomorphismus bezüglich der multiplikativen Halbgruppen der beiden Ringe ist.

Für einen „Homomorphismus von Ringen mit Eins“ muss zusätzlich φ(1R) = 1S gefordert werden. Beispielsweise ist die Nullabbildung von \Z nach \Z zwar ein Ringhomomorphismus, aber kein Homomorphismus von Ringen mit Eins, da die besondere Struktur der Eins durch die Abbildung verloren geht: Die Eins wird (wie alle anderen Elemente) zur Null.

Für den Ringhomomorphismus sind die beiden Mengen

\operatorname{Kern}\ \operatorname\varphi = \lbrace x\in R\mid\operatorname\varphi(x) = 0\rbrace und
\operatorname{Bild}\ \operatorname\varphi = \operatorname\varphi(R) = \lbrace \operatorname\varphi(x)\in S\mid x\in R\rbrace

definiert; aus dem Englischen und Lateinischen schreibt man auch statt Kern ker und statt Bild img, im oder schlicht I (großes i). \operatorname{Kern}\ \operatorname\varphi und \operatorname{Bild}\ \operatorname\varphi sind Unterringe von R bzw. S, \operatorname{Kern}\ \operatorname\varphi sogar ein Ideal, \operatorname{Bild}\ \operatorname\varphi ist nur dann ein Ideal, wenn \operatorname\varphi surjektiv (also ein Ringepimorphismus) ist. Ein Ringhomomorphismus ist genau dann injektiv (also ein Ringmonomorphismus), wenn \operatorname{Kern}\ \operatorname\varphi=\lbrace 0\rbrace gilt.

Beispiele

Folgende Abbildungen sind Ringhomomorphismen:

Einzelnachweise

  1. Gerd Fischer: Lineare Algebra. 14. durchgesehene Auflage. Vieweg, Wiesbaden 2003, ISBN 3-528-03217-0, (Vieweg Studium. Grundkurs Mathematik), S. 145

Literatur

  • Gerd Fischer: Lineare Algebra. 14. durchgesehene Auflage. Vieweg, Wiesbaden 2003, ISBN 3-528-03217-0, (Vieweg Studium. Grundkurs Mathematik).

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Bruchring — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. In der Algebra ist Lokalisierung eine Methode, einem Ring R… …   Deutsch Wikipedia

  • Homomorphismus — Ein Homomorphismus (aus dem Griechischen, homós für ‹gleich› und morphé für ‹Form›; nicht zu verwechseln mit Homöomorphismus), ist eine strukturerhaltende Abbildung. Inhaltsverzeichnis 1 Definition 2 Beispiele 2.1 Einfaches Beispiel …   Deutsch Wikipedia

  • Kommutativer Ring — Ring berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Zahlentheorie ist Spezialfall von additive Abelsche Gruppe multiplikative Halbgruppe …   Deutsch Wikipedia

  • Kommutativer Ringe — Ring berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Zahlentheorie ist Spezialfall von additive Abelsche Gruppe multiplikative Halbgruppe …   Deutsch Wikipedia

  • Lokalisation (Ringtheorie) — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. In der Algebra ist Lokalisierung eine Methode, einem Ring R… …   Deutsch Wikipedia

  • Lokalisierung (Algebra) — In der Algebra ist Lokalisierung eine Methode, einem Ring R systematisch neue multiplikativ inverse Elemente hinzuzufügen. Möchte man, dass die Elemente einer Teilmenge S von R invertierbar werden, dann konstruiert man einen neuen Ring S − 1R,… …   Deutsch Wikipedia

  • Totalquotientenring — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. In der Algebra ist Lokalisierung eine Methode, einem Ring R… …   Deutsch Wikipedia

  • Unitärer Ring — Ring berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Zahlentheorie ist Spezialfall von additive Abelsche Gruppe multiplikative Halbgruppe …   Deutsch Wikipedia

  • Unitärring — Ring berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Zahlentheorie ist Spezialfall von additive Abelsche Gruppe multiplikative Halbgruppe …   Deutsch Wikipedia

  • Unterring — Ring berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Zahlentheorie ist Spezialfall von additive Abelsche Gruppe multiplikative Halbgruppe …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”