[wiskunde] Permutatiegroep

Moderators: ArcherBarry, Fuzzwood

Gebruikersavatar
Berichten: 524

Permutatiegroep

Het is voor mij nog redelijk onduidelijk wat permutatiegroepen nu inhouden, dus heb ook moeite met de volgende vraag (vragen):

---

Stel dat
\(B = A_5 \subset S_5\)
. In deze opdracht mag de aanname gebruikt worden dat twee permutaties in
\(S_5\)
geconjugeerd zijn dan en slechts dan als ze hetzelfde cykeltype hebben.[/b]

Ik moet zeggen dat ik eerst totaal niet begreep wat er stond, maar heb even wat opgezocht.
\(S_5\)
is de symmetrische groep die bestaat uit permutaties van 5 objecten. De orde is
\(5! = 120\)
, dus
\(S_5\)
bevat 120 elementen.
\(B = A_5\)
, dus B is een deelverzameling van
\(S_5\)
.
\(A_5\)
is de alternerende groep en is de kern van het tekenhomomorfisme
\(\epsilon: S_5 \rightarrow \{+1, -1\}\)
. Dus
\(B = A_5 = \{s \in S_5: \epsilon(s) = 1\}\)
.

Welke cykeltypes komen voor als elementen van
\(B\)
? Laat voor elk cykeltype behalve de 5-cykels[/b] zien dat alle elemten in
\(B\)
geconjugeerd zijn (en dus niet alleen in
\(S_5\)
[/b]).

Eigenlijk weet ik niet eens hoe ik moet beginnen. Ik hoop graag op hulp :)

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Permutatiegroep

Bedenk dat A5 de groep is van de even permutaties ...

Gebruikersavatar
Berichten: 524

Re: Permutatiegroep

Safe schreef: do 05 apr 2012, 22:28
Bedenk dat A5 de groep is van de even permutaties ...
Wat houdt dat in?

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Permutatiegroep

De groep van de even permutaties ...

Je weet dat je evenveel even als oneven permutaties hebt !?!

Wat weet je van de samenstelling van even-even, even-oneven en oneven-oneven permutaties ...

Gebruikersavatar
Berichten: 524

Re: Permutatiegroep

Safe schreef: do 05 apr 2012, 22:53
De groep van de even permutaties ...

Je weet dat je evenveel even als oneven permutaties hebt !?!

Wat weet je van de samenstelling van even-even, even-oneven en oneven-oneven permutaties ...
Een permutatie is een bijectie tussen een verzameling en zichzelf.

Een even permutatie is een samenstelling van een even aantal verwisselingen, een oneven permutatie is een samenstelling van een oneven aantal verwisselingen. De identieke permutatie is even, elke verwisseling is oneven.

Dus bijvoorbeeld 4 -> 4 is even en 4 -> 3, 3 -> 4 is oneven. Dat begrijp ik wel.

Dus
\(A_5\)
bestaat bijvoorbeeld uit 4 -> 4, maar ook uit 4 -> 3, 3 -> 2, 2 -> 4 toch?

Waarom heb je net zoveel even als oneven permutaties?

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Permutatiegroep

Als je de elementen ven een verz rangschikt heb je een permutatie:

Stel je hebt 3 elementen: a1, a2, a3, 1, 2 en 3 zijn de indices. Dan hoef je alleen maar te letten op de indices

Dus een permutatie is dan bv de identieke permutatie:
\( \left(\begin{array}{ccc}1 & 2 & 3 \\ a_1 & a_2 & a_3 \end{array} \right)\)
Dit vervangen we door:
\( \left(\begin{array}{ccc}1 & 2 & 3 \\ 1 & 2 & 3 \end{array} \right)\)
Wat is dan:
\( \left(\begin{array}{ccc}1 & 2 & 3 \\ 3 & 1 & 2 \end{array} \right)\)
Is dit even of oneven?
Fruitschaal schreef: vr 06 apr 2012, 13:44
Waarom heb je net zoveel even als oneven permutaties?
Stel we hebben een verz van drie elementen 1,2,3.

Hoeveel permutaties zijn er hoeveel zijn er even?

Kan je dit generaliseren naar n elementen ...

Gebruikersavatar
Berichten: 524

Re: Permutatiegroep

Ik begrijp niet helemaal waar die matrices nou voor staan.

1 -> 1

2 -> 2

3 -> 3

3x even.

1 -> 2, 2 -> 1

2 -> 3, 3 -> 2

3 -> 1, 1 -> 3

3x oneven

3 -> 2, 2 -> 1, 1 -> 3

2 -> 3, 3 -> 1, 1 -> 2

2x even

Dan kom ik uit op 5 keer even en 3 keer oneven =\

Ik zie wat over het hoofd...

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Permutatiegroep

Het zijn geen matrices, het zijn vereenvoudigde schema's om de permutatie aan te geven.

Hoeveel permutaties hebben 3 elementen?

Kan je ze met die schema's noteren? (je kan natuurlijk gebruik maken van de gebruikte Latexcode in mijn post)

Er is een mooie meetkundige interpretatie: bekijk een gelijkzijdige driehoek en geef de hoekptn de cijfers 1, 2 en 3.

Een permutatie is een congruente afbeelding zoals een draaiing over veelvouden van 120° en spiegelen in de drie symmetrie assen.

Gebruikersavatar
Berichten: 524

Re: Permutatiegroep

Eigenlijk begrijp ik niet wat je bedoelt. Zou je een voorbeeld kunnen geven? Dat maakt het wat sprekender voor mij.

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Permutatiegroep

Ik dacht dat ik daarmee bezig was ...

Eerst maar dit
\( \left(\begin{array}{ccc}1 & 2 & 3 \\ 1 & 3 & 2 \end{array} \right)\)
Hoe lees je dit? Is dit (voor jou) een permutatie? Zo ja, welke?

Het vb met de gelijkzijdige driehoek, wat zegt je dat?

Gebruikersavatar
Berichten: 524

Re: Permutatiegroep

Ik zie dat als 1 -> 1, 2 -> 3, 3 -> 2. Klopt dat? Er is een verwisseling en identieke permutatie, dus oneven?

Dat met die driehoek zegt met eigenlijk niets. Je noemt de hoekpunten 1, 2 en 3 en vervolgens trek je pijltjes over de zijden ofzo?

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Permutatiegroep

Ik heb nu geen enkel idee hoe je permutaties hebt leren hanteren en opschrijven ...

Maar eerst die driehoek. Teken een gelijkzijdige driehoek (hoekptn 1, 2 en 3) op een vel papier en een even grote (ook 1, 2 en 3) die je uitknipt.

Leg die uitgeknipte driehoek op je driehoek zodat de (genummerde) hoekptn samenvallen. Dit is de identieke transformatie:
\( \left(\begin{array}{ccc}1 & 2 & 3 \\ 1 & 2 & 3 \end{array} \right)\)
Draai nu de (losse) driehoek linksom zo dat 1->2, 2->3, 3->1
\( \left(\begin{array}{ccc}1 & 2 & 3 \\ 2 & 3 & 1 \end{array} \right)\)
Onder-driehoek is de bovenregel en losse driehoek is de onderregel.

Je kan nog een keer draaien en nog eens ... , nu moet je weer:
\( \left(\begin{array}{ccc}1 & 2 & 3 \\ 1 & 2 & 3 \end{array} \right)\)
hebben.

Over welke hoek heb je nu steeds gedraaid?

Nu kan je de losse driehoek ook omkeren

Leg de driehoek zo dat 3->3, 1->2, 2->1.

Welke transformatie?

Gebruikersavatar
Berichten: 524

Re: Permutatiegroep

Ik draai steeds over een hoek van 120 graden. Dus mocht ik dit met vierkanten doen, zou ik over 90 graden draaien, toch?

Als ik de losse driehoek omdraai, dan kan ik hem inderdaad neerleggen zoals jij vraagt. Dus ik heb hem dan enkel gespiegeld (langs hoek 3) en niet geroteerd, toch? Hoe heet zo'n transformatie dan?

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Permutatiegroep

Fruitschaal schreef: ma 09 apr 2012, 18:03
Als ik de losse driehoek omdraai, dan kan ik hem inderdaad neerleggen zoals jij vraagt. Dus ik heb hem dan enkel gespiegeld (langs hoek 3) en niet geroteerd, toch? Hoe heet zo'n transformatie dan?
Wat is je bovenregel (altijd) en je onderregel?
Ik draai steeds over een hoek van 120 graden.
Klopt
Dus mocht ik dit met vierkanten doen, zou ik over 90 graden draaien, toch?
Klopt

Gebruikersavatar
Berichten: 524

Re: Permutatiegroep

\( \left(\begin{array}{ccc}1 & 2 & 3 \\ 2 & 1 & 3 \end{array} \right)\)
?

Reageer