Quotientengruppe

Quotientengruppe

Die Faktorgruppe ist eine Gruppe, die mittels einer Standardkonstruktion aus einer gegebenen Gruppe G unter Zuhilfenahme eines Normalteilers N \trianglelefteq G gebildet wird. Sie wird mit G / N bezeichnet.

Inhaltsverzeichnis

Konstruktion

Die Elemente von G / N sind hierbei die Nebenklassen bezüglich N, also

G/N := \{ gN : g \in G \}.

Schließlich benötigt man noch eine innere Verknüpfung \circ: G/N \times G/N \rightarrow G/N, nämlich

(gN) \circ (hN) := (gh)N.

Man kann aus der Normalteilereigenschaft von N zeigen, dass (G/N, \circ) eine Gruppe ist, die sogenannte Faktorgruppe, und dass (gN) \circ (hN) mit dem Komplexprodukt (gN)\cdot(hN) übereinstimmt. Die Ordnung der Faktorgruppe G / N wird der Index von N in G genannt und mit (G:N) bezeichnet.

In abelschen Gruppen ist jede Untergruppe Normalteiler. Somit lässt sich dort nach jeder Untergruppe die Faktorgruppe bilden, welche dann wiederum abelsch ist.

Beispiel

Restklassengruppe der additiven Gruppe der ganzen Zahlen

Die Gruppe (\mathbb{Z}, +) ist eine abelsche Gruppe. Für jedes n \in \mathbb{N} ist (n\mathbb{Z}, +) eine Untergruppe, also ein Normalteiler von (\mathbb{Z},+). Die Faktorgruppe \mathbb{Z}/(n\mathbb{Z}) wird als Restklassengruppe modulo n bezeichnet.

Ihre Elemente werden als

[k] := k + (n\mathbb{Z}) = \{k+m\ :\ m \in n\mathbb{Z}\} = \{k+nz\ :\ z \in \mathbb{Z}\}

geschrieben und heißen Kongruenzklassen bezüglich der Addition modulo n. Es ist also

\mathbb{Z}/(n\mathbb{Z}) = \{[0], [1], \ldots, [n-1]\}.

Die innere Verknüpfung von \mathbb{Z}/(n\mathbb{Z}) wird üblicherweise wieder mit + bezeichnet. In \mathbb{Z} /(5\mathbb{Z}) gilt beispielsweise

\ [3] + [4] = [2],

da 3 + 4 = 7 = 2 + 5, also (3+4) + 5\mathbb{Z} = 2 + 5\mathbb{Z}.

Faktorgruppe nach Kernen von Homomorphismen

Im Falle eines Gruppenhomomorphismus \alpha: G \rightarrow H zwischen zwei Gruppen G und H ist der Kern von α ein Normalteiler von G und das Bild von α eine Untergruppe von H. Daher ist \ G/{\rm ker}(\alpha) eine Faktorgruppe. Der Homomorphiesatz für Gruppen besagt, dass diese Faktorgruppe isomorph zum Bild von α ist.

Literatur

  • Kurt Meyberg: Algebra, Teil 1. 2. Auflage, Carl Hanser Verlag 1980, ISBN 3-446-13079-9

Siehe auch

Gruppentheorie-Glossar, Gruppe


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

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

  • Gruppentheorie-Glossar — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik zur Löschung vorgeschlagen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel… …   Deutsch Wikipedia

  • Armand Borel — (* 21. Mai 1923 in La Chaux de Fonds, Schweiz; † 11. August 2003 in Princeton, USA) war ein Schweizer Mathematiker. Armand Borel im Jahr 1967 Inhaltsverzeichnis …   Deutsch Wikipedia

  • Faktorgruppe — Die Faktorgruppe oder Quotientengruppe ist eine Gruppe, die mittels einer Standardkonstruktion aus einer gegebenen Gruppe G unter Zuhilfenahme eines Normalteilers gebildet wird. Sie wird mit G / N bezeichnet. Inhaltsverzeichnis 1 Konstruktion 2 …   Deutsch Wikipedia

  • Homotop — Eine Homotopie, die eine Kaffeetasse in einen Donut überführt. (Torus). In der Topologie ist eine Homotopie eine stetige Deformation zwischen zwei Abbildungen von einem topologischen Raum in einen anderen, beispielsweise die Deformation einer… …   Deutsch Wikipedia

  • Homotopieäquivalenz — Eine Homotopie, die eine Kaffeetasse in einen Donut überführt. (Torus). In der Topologie ist eine Homotopie eine stetige Deformation zwischen zwei Abbildungen von einem topologischen Raum in einen anderen, beispielsweise die Deformation einer… …   Deutsch Wikipedia

  • Isotopie (Topologie) — Eine Homotopie, die eine Kaffeetasse in einen Donut überführt. (Torus). In der Topologie ist eine Homotopie eine stetige Deformation zwischen zwei Abbildungen von einem topologischen Raum in einen anderen, beispielsweise die Deformation einer… …   Deutsch Wikipedia

  • Nullhomotop — Eine Homotopie, die eine Kaffeetasse in einen Donut überführt. (Torus). In der Topologie ist eine Homotopie eine stetige Deformation zwischen zwei Abbildungen von einem topologischen Raum in einen anderen, beispielsweise die Deformation einer… …   Deutsch Wikipedia

  • Galois-Theorie —   [ga lwa ], Algebra: von É. Galois entwickelte Theorie über den Zusammenhang zwischen den galoisschen Körpererweiterungen und ihren Galois Gruppen. Mithilfe der Galois Theorie lässt sich feststellen, ob eine algebraische Gleichung durch Radikale …   Universal-Lexikon

  • Normalteiler — Normalteiler,   invariạnte Untergruppe, eine Untergruppe N einer Gruppe G, für die g · N = N · g für alle g ∈ G gilt. Bei einem Normalteiler stimmen somit Rechts und Linksnebenklassen überein. Die Menge aller (Links oder Rechts )Nebenklassen …   Universal-Lexikon

Share the article and excerpts

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