Komplexprodukt

Das Komplexprodukt, meist einfach Produkt genannt, ist ein Begriff aus einem mathematischen Teilgebiet, der Gruppentheorie.

Ist $(M,\cdot )$ ein Magma (zum Beispiel eine Gruppe) und sind $X$ und $Y$ Teilmengen von $M$ , dann ist das Komplexprodukt von $X$ mit $Y$ definiert als

X\cdot Y:=\{x\cdot y\mid x\in X,y\in Y\}

.

Es sind außerdem die Kurzschreibweisen

{\begin{aligned}XY&:=X\cdot Y\\xY&:=\{x\}\cdot Y\\Xy&:=X\cdot \{y\}\end{aligned}}

üblich, wobei $x,y$ Elemente des Magmas sind.

Weil das Komplexprodukt auf den Teilmengen von $M$ eine innere Verknüpfung definiert, macht es die Potenzmenge $P(M)$ selbst zum Magma.

Eigenschaften[Bearbeiten | Quelltext bearbeiten]

Ist das Magma M assoziativ (solche Magmen nennt man Halbgruppen), so ist auch $P(M)$ mit dem Komplexprodukt assoziativ (also eine Halbgruppe).
Ist das Magma M kommutativ, so ist auch $P(M)$ mit dem Komplexprodukt kommutativ.
Ist das Magma M ein Monoid, so ist auch $P(M)$ mit dem Komplexprodukt ein Monoid. Das neutrale Element ist $\{e\}$ , wobei $e\in M$ das neutrale Element von $M$ ist.
Ist das Magma M eine Gruppe, so ist $P(M)$ mit dem Komplexprodukt jedoch keine Gruppe, sondern nur ein Monoid. Dies sieht man zum Beispiel daran, dass die leere Menge in $P(M)$ absorbierend ist.
Das Komplexprodukt $UV$ zweier Untergruppen $U$ und $V$ einer Gruppe ist eine Vereinigung von Linksnebenklassen von $V$ und eine Vereinigung von Rechtsnebenklassen von $U$ :

UV=\bigcup _{u\in U}uV=\bigcup _{v\in V}Uv

Sind $U$ und $V$ endliche Untergruppen einer Gruppe, dann gilt für die Mächtigkeit des Komplexprodukts die Gleichung

|UV|={\frac {|U|\cdot |V|}{|U\cap V|}}

Das Komplexprodukt eines Normalteilers mit einer Untergruppe einer Gruppe ergibt eine Untergruppe. Genauer gesagt gilt für alle Untergruppen $U$ und $V$ , dass $UV$ genau dann eine Untergruppe ist, wenn $UV=VU$ gilt. Ist $U$ oder $V$ ein Normalteiler, so ist dies erfüllt. Insbesondere ist also in abelschen Gruppen das Komplexprodukt von Untergruppen eine Untergruppe.
Das Komplexprodukt von Nebenklassen $gN$ und $hN$ eines Normalteilers $N$ ist $gN\cdot hN=(gh)N$ . Mit diesem Produkt bilden die Nebenklassen von Normalteilern eine Gruppe, die Faktorgruppe von $G$ nach $N$ .
Ist $N$ Normalteiler und $U$ Untergruppe von $G$ , die die Eigenschaften $N\cap U=\{e\}$ und $N\cdot U=G$ haben, dann ist $G$ das innere semidirekte Produkt von $N$ mit $U$ . Zur Existenz einer solchen Untergruppe bei gegebenem Normalteiler sei auf den Satz von Schur-Zassenhaus verwiesen.