21.07.2013 Views

imfufa 455 - Institut for Natur, Systemer og Modeller (NSM)

imfufa 455 - Institut for Natur, Systemer og Modeller (NSM)

imfufa 455 - Institut for Natur, Systemer og Modeller (NSM)

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Ø10 Ø11<br />

Vi kommer nu til en vigtig anvendelse af faktorisering af permutationer i faktorer<br />

som er cykliske permutationer, nemlig inddelingen af permutationerne i<br />

lige <strong>og</strong> ulige permutationer, en inddeling som har stor betydning ved udregningen<br />

af determinanter <strong>og</strong> ved regning med orienteringer.<br />

3.4: Faktorisering i 2-cykler<br />

20. Sætning: Faktorisering i 2-cykler<br />

Enhver permutation er produkt af 2-cykliske permutationer<br />

Bevis : Da enhver permutation er et produkt af cykliske permutationer er det<br />

nok at vise at enhver cyklisk permutation er produkt af 2-cykliske permutationer.<br />

Dette ses direkte af <strong>for</strong>mlen<br />

(a1 · · · ak) = (a1 a2)(a2 a3) · · · (ak−1 ak),<br />

som eftervises ved inspektion af virkningen p˚a hvert enkelt element.<br />

Ethvert helt tal er jo lige eller ulige. Denne egenskab ved tallet kaldes dets<br />

paritet.<br />

21. Sætning: Pariteten af antal 2-cykler<br />

Antallet af faktorer i alle produkter af 2-cykler som som har et givet produkt<br />

har samme paritet<br />

Bevis : Lad os starte med at vise at den identiske permutation, ( ), ikke kan<br />

skrives som et produkt af et ulige antal 2-cykler. Vi gør dette ved at vise at<br />

antallet af faktorer i et s˚adant produkt altid kan reduceres med to, hvis det da<br />

ikke kun best˚ar af en enkelt faktor. S˚a lad p1, . . . pk være 2-cykler s˚aledes at<br />

( ) = p1 · · · pk, hvor k > 1. Lad x <strong>og</strong> y være de to elementer som bestemmer p1,<br />

alts˚a p1 = (x y). Vi vil se p˚a hvordan vi kan flytte en 2-cykel som indeholder x<br />

fremad i rækkefølgen af faktorer. Lad der<strong>for</strong> pi være en 2-cykel af <strong>for</strong>men (x z)<br />

<strong>og</strong> antag at pi−1 har <strong>for</strong>men (u v) hvor b˚ade u <strong>og</strong> v er <strong>for</strong>skellige fra x. Vi har<br />

da at<br />

⎧<br />

⎨ (x v)(u v) <strong>for</strong> z = u<br />

pi−1pi = (u v)(x z) = (x u)(u v) <strong>for</strong> z = v<br />

⎩<br />

(x z)(u v) <strong>for</strong> z = u, z = v<br />

12

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!