Aufgabe:
Wie lässt sich zeigen, dass die Kleinsche Gruppe eine Untergruppe von S4 ist?
Problem/Ansatz:
Untergruppenkriterium
Die Kleinsche Vierergruppe ist
V4={id, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}⊆S4V_4=\{id,\; (1\;2)(3\;4),\; (1\; 3)(2\;4),\;(1\;4)(2\;3)\}\subseteq S_4V4={id,(12)(34),(13)(24),(14)(23)}⊆S4.
Wegen id∈V4id\in V_4id∈V4 ist V4≠∅V_4\neq \emptysetV4=∅.
Nun musst du nur noch zeigen, dass σ,τ∈V4⇒σ∘τ−1∈V4\sigma,\tau\in V_4\Rightarrow \sigma\circ \tau^{-1}\in V_4σ,τ∈V4⇒σ∘τ−1∈V4 gilt.
Dabei ist nützlich: σ∈V⇒σ2=id\sigma \in V\Rightarrow \sigma^2=idσ∈V⇒σ2=id.
Wie lässt sich eine Permutation umkehren?
Für einen k-Zykel gilt (i1 i2 ⋯ik)−1=(ik ⋯ i2 i1)(i_1\;i_2\;\cdots i_k)^{-1}=(i_k\;\cdots\; i_2\; i_1)(i1i2⋯ik)−1=(ik⋯i2i1).
Ziffernfremde Zykel sind vertauschbar.
Kann man dies für beliebige zwei Zykel zeigen also:
(12)(34) • (31)(42) = (14)(23)
Da σ2=id\sigma^2=idσ2=id ist für alle σ∈V4\sigma \in V_4σ∈V4 ist,
gilt σ−1=σ\sigma^{-1}=\sigmaσ−1=σ für alle σ∈V4\sigma \in V_4σ∈V4.
Du musst also nur zeigen, dass σ,τ∈V4⇒στ∈V4\sigma,\tau\in V_4\Rightarrow \sigma\tau \in V_4σ,τ∈V4⇒στ∈V4
gilt. Da \(V_4\() offenbar kommutativ ist, kannst
du die wenigen Elemente von V4V_4V4 mit einander multiplizieren,
um zu testen, ab die Produkte wieder in V4V_4V4 liegen.
D.h. also immer je zwei multiplizieren und schauen ob das Produkt wieder drin liegt für alle möglichen Paare?
Ja. Das sind 3 Produkte. Das sollte zu schaffen sein ;-)
Wie lässt sich nun noch zeigen, dass V4 Normalteiler von S4 ist?
Kann man hier wieder die kommutative Eigenschaft nutzen und wieder alles miteinander multiplizieren?(was ist x, was ist k?)
Es gilt für alle x ∈ G und k ∈ K gilt:
x k x^(-1) ∈ K
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos