Mathematik-Online-Lexikon: Kommutator und Kommutatoruntergruppe

	[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
	Mathematik-Online-Lexikon:
	Kommutator und Kommutatoruntergruppe

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sei

eine Gruppe.

a)

Für $g_1,g_2 \in G$ nennt man

$\displaystyle [g_1,g_2]:=g_1^{-1}g_2^{-1} g_1^{} \ g_2^{}$

den Kommutator von

und

b)

Sind $M,N \subseteq G$ , dann ist

$\displaystyle [M,N]:=\langle \, \{[m,n] \ \vert \ m \in M, n\in N \} \, \rangle \ .$

nennt man die Kommutatoruntergruppe von

oder die von

abgeleitete Gruppe.

Bemerkungen:

Die Menge der Kommutatoren einer Gruppe bildet im Allgemeinen keine Untergruppe von .
Man sieht unmittelbar, dass genau dann abelsch ist, wenn gilt.

automatisch erstellt am 31. 10. 2006