Outils :

Vous avez un site web ? Un blog ?

Netencyclo Directory Project

Mettre en favoris !

Technorati reactions
rencontre

Alternierende Gruppe

aus Wikipedia, der freien Enzyklopädie

Wechseln zu: Navigation, Suche

Für alle natürlichen Zahlen n > 2 ist die alternierende Gruppe Alt_n (oder A_n) die Kommutator-Untergruppe der symmetrischen Gruppe Sym_n.

Die Trägermenge von Alt_n besteht aus den geraden Permutationen von Sym_n und Alt_n besitzt die Ordnung n!/2 (halbe Fakultät von n).

Für n > 4 gehört Alt_n zu den einfachen Gruppen.

Alt_n ist abelsch genau dann, wenn $n \leq 3$ .

Alt₅ ist die kleinste nichtabelsche einfache Gruppe; sie ist isomorph zur Punktgruppe des Ikosaeders (Ikosaedergruppe).

Inhaltsverzeichnis

1 Inversionen und Inversionszahl, gerade und ungerade Permutationen
2 Gruppeneigenschaften
3 Abgeschlossenheit

[Bearbeiten] Inversionen und Inversionszahl, gerade und ungerade Permutationen

Von einer Inversion spricht man, wenn zwei „Stellen“ einer Permutation in „falscher“ Reihenfolge stehen. Zur Ermittlung der Inversionszahl einer Permutation werden alle ihrer Stellen paarweise miteinander verglichen und die Anzahl der Inversionen wird gezählt. Eine Inversion nennt man auch Fehlstand.

Beispiel: Die Permutation in Tupelschreibweise $(3~1~2)$ besitzt die Inversionen „3vor1“ und „3vor2“ (abzulesen an der Matrix-Schreibweise) und damit die Inversionszahl 2.

Von einer geraden Permutation spricht man, wenn deren Inversionszahl eine gerade Zahl ist, von einer ungeraden Permutation spricht man, wenn deren Inversionszahl eine ungerade Zahl ist.

Oft definiert man auch die sogenannte „Signum“-Abbildung $\text{sgn}\colon \text{Sym}_n\rightarrow \{+1,-1\}$ wie folgt:

sgn(p) = +1, falls Permutation p gerade ist und

sgn(p) = -1, falls p ungerade ist.

Signum ist ein Gruppenhomomorphismus. Es gilt also:

sgn(ps) = sgn(p)sgn(s)

für die Permutationen p und s.

[Bearbeiten] Gruppeneigenschaften

Als Kern des Signums ist Alt_n automatisch ein Normalteiler von Sym_n. Man kann auch die Untergruppeneigenschaften leicht nachrechnen:

Für die Menge der geraden Permutationen gilt:

Die identische Permutation id = ( 1 2 ... n ) ist Element dieser Menge.
Die Menge ist bezüglich Verkettung abgeschlossen, d.h. wenn p1 und p2 gerade Permutationen sind, sind auch p1 ◊ p2 und p1^-1 gerade, eine Beweisskizze folgt weiter unten.

Mit diesen Voraussetzungen „erbt“ Alt_n direkt von Sym_n alle notwendigen Gruppeneigenschaften:

Für alle geraden Permutationen p1, p2 und p3 gilt: p1 ◊ ( p2 ◊ p3 ) = ( p1 ◊ p2 ) ◊ p3
Für alle geraden Permutationen p1 gilt: p1 ◊ id = id ◊ p1 = p1
Für alle geraden Permutationen p1 gilt: es gibt ein gerades p1^-1 mit p1 ◊ p1^-1 = p1^-1 ◊ p1 = id

Die Gruppe Alt₅ stellt hierbei eine Besonderheit dar, da sie die kleinste, einfache, nicht-abelsche Gruppe bildet.

[Bearbeiten] Abgeschlossenheit

[Bearbeiten] Transpositionen

Als Transposition bezeichnet man eine Permutation, bei der genau 2 verschiedene Stellen miteinander vertauscht werden, z.B. ( 1 2 5 4 3 ) bei der 3 und 5 vertauscht werden.

Allgemein gilt für alle n-stelligen Permutationen p1 und p2: p2 lässt sich mit endlich vielen Transpositionen aus p1 erzeugen.

Als Spezialfall hiervon gilt für eine beliebige Permutationen p2: p2 lässt sich mit endlich vielen Transpositionen aus der identischen Permutation id erzeugen.

Im Bild ist dargestellt, wie die Permutation in Tupelschreibweise ( 2 5 3 1 4 ) aus ( 1 2 3 4 5 ) mit 5 Transpositionen erzeugt wird.

Bei der Wahl der notwendigen Transpositionen existiert eine gewisse Freiheit, so könnte man im Bild rechts beispielsweise die Transpositionen b und c wegfallen lassen, da sie sich offensichtlich aufheben. Ebenso könnte man durch den Einbau weiterer sich paarweise aufhebender Transpositionen die Anzahl der Transpositionen auf 7, 9, 11, ... erhöhen. Allerdings ist es nicht möglich, ( 2 5 3 1 4 ) mit einer geraden Anzahl von Transpositionen aus ( 1 2 3 4 5 ) zu erzeugen.

[Bearbeiten] Transpositionen und Inversionszahl

Durch eine einzelne Transposition ändert sich der Wert der Inversionszahl immer um eine ungerade Zahl, d.h. aus einer geraden Permutation wird eine ungerade und umgekehrt.

Bei einer Transposition, die aus
( ...x...y_i...z... ) die neue Permutation
( ...z...y_i...x... ) erzeugt, setzt sich die Änderung der Inversionszahl zusammen aus der Summe folgender Änderungen:

Änderung, die sich aus der neuen Reihenfolge von x und z ergibt, diese ist +1, falls x < z, ansonsten -1.
Änderung, die sich aus der neuen Reihenfolge von x, y_i und z ergibt.
- falls y_i größtes oder kleinstes Element von x, y_i, z ist, beträgt die Änderung 0.
- falls y_i mittleres Element von x, y_i, z ist, beträgt die Änderung +2 oder -2.

Die Summe aus einer ungeraden und beliebig vielen geraden Zahlen ergibt immer eine ungerade Zahl.

Umwandlung zwischen geraden und ungeraden Permutationen durch Transpositionen

Die weiter oben getroffene Aussage lässt sich verallgemeinern:

Durch eine ungerade Anzahl von Transpositionen ändert sich der Wert der Inversionszahl immer um eine ungerade Zahl, d.h. aus einer geraden Permutation wird eine ungerade und umgekehrt.
Durch eine gerade Anzahl von Transpositionen ändert sich der Wert der Inversionszahl immer um eine gerade Zahl, d.h. aus einer geraden Permutation wird erneut eine gerade Permutation und aus einer ungeraden Permutation wird erneut eine ungerade Permutation.

[Bearbeiten] Transpositionen und Abgeschlossenheit

Da id eine gerade Permutation ist, gilt:

alle geraden Permutationen lassen sich nur durch eine gerade Anzahl von Transpositionen aus id erzeugen.
alle ungeraden Permutationen lassen sich nur durch eine ungerade Anzahl von Transpositionen aus id erzeugen.

Wenn p und q gerade Permutationen sind, dann gibt es gerade Zahlen pn und qn, so dass sich p und q als Verkettung von Transpositionen wie folgt darstellen lassen:

p = t_p1 ◊ ... ◊ t_pn
q = t_q1 ◊ ... ◊ t_qn

Damit gilt p ◊ q = t_p1 ◊ ... ◊ t_pn ◊ t_q1 ◊ ... ◊ t_qn, somit ist auch die Verkettung p ◊ q gerade.

Analog kann man herleiten: Die Verkettung einer geraden und einer ungeraden Permutation erzeugt immer eine ungerade Permutation. Damit führt die Annahme, eine Permutation p sei gerade und p^-1 sei ungerade wegen p ◊ p^-1 = id zum Widerspruch.

Siehe auch: Gruppentheorie, Symmetrische Gruppe

rencontre

Alternierende Gruppe - En savoir plus

Encyclopédie Recherche.fr - Alternierende Gruppe

Rencontre Alternierende Gruppe - Articles à la une

"Je rencontre quelques peines, je rencontre beaucoup de joie, c'est parfois une question de chance, souvent une rencontre de choix."

© 2009 Netencyclo - Netencyclo Home - Terms of Service - Privacy Policy - Program Policies
Netencyclo, the Wikipedia mirror : the biggest multilingual free-content encyclopedia on the Internet. Cet article, miroir de l'article de Wikipédia est conforme aux termes de la GFDL All Wikipedia content is licensed under the GNU Free Documentation License (see details). Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.

- Alternierende Gruppe -