A matematikában, azon belül is a csoportelméletben, egy véges halmaz egy permutációját párosnak, illetve páratlannak mondjuk, ha előáll páros, illetve páratlan sok csere szorzataként. Mint látni fogjuk, ez az illető halmaz permutációit két azonos számosságú, diszjunkt osztályra bontja, ezek közül a páros permutációk alkotják az alternáló csoportot. Bevezetjük továbbá a permutáció előjelének fogalmát, ami hasznos segédeszközül szolgálhat egy négyzetes determináns kifejtéséhez, amennyiben egy permutációra , és , ahol az halmaz permutációinak halmazát jelöli.

A jóldefiniáltság bizonyításaSzerkesztés

Első bizonyításSzerkesztés

Tekintsük a

 

Vandermonde-determinánst. Ekkor, ha   páros,

 ,

viszont, ha   páratlan,

 ,

így egy permutáció nem lehet egyszerre páros és páratlan.

Most lássuk, hogy minden permutáció vagy páros, vagy páratlan. Ehhez azt kell belátnunk, hogy  -t generálják a cserék.   a   csere által generált szimmetrikus csoport. Tegyük fel, hogy  -et generálják a cseréi. Ekkor, mivel   izomorf   n-et fixen hagyó permutációival,   cseréi generálják ezeket. Tegyük fel tehát, hogy   permutáció nem hagyja fixen  -t, és  . Ekkor létezik olyan   permutáció, amelyre

 ,

azaz

 .

Így

 ,

tehát   fixen hagyja  -et, így az indukciós hipotézis szerint generálják   cseréi, de ekkor  -t — felírása szerint — úgyszintén.

Második bizonyításSzerkesztés

Hogy minden permutáció felírható cserék kompozíciójaként, felhasználjuk az előző bizonyításból, csak azt bizonyítjuk, hogy egy csere sem lehet egyszerre páros vagy páratlan. Ha   halmazon adva van egy lineáris rendezés, és     egy permutációja, akkor azt mondjuk,   és   inverzióban állnak, ha

 , és  .

Jelölje     az adott rendezésre vonatkozó inverzióinak a számát. Azt fogjuk megmutatni, hogy páros, illetve páratlan permutációkban az inverziók száma rendre páros és páratlan. Nyilvánvaló, hogy  . Minden   cserére teljesül a következő azonosság:

 
  ,

ahonnan látszik, hogy minden csere előáll páratlan sok szomszédcsere szorzataként, amiből

 ,

minden   permutációra.

Mivel az identitásban nincs inverzió, minden páros permutációban páros, és minden páratlan permutációban páratlan az inverziók száma. Ezzel nem csak azt mutattuk meg, amit akartunk, hanem mellékesen kiderült az is, hogy egy permutációban az inverziók számának paritása nem függ az alaphalmazon vett rendezéstől.

TulajdonságokSzerkesztés

A definícióból adódik, hogy páros permutációk szorzata páros, két páratlan szorzata páros, páros és páratlan, így

 

leképezés csoporthomomorfizmus, így a páros permutációk  -ben 2-indexű normálosztót alkotnak, az alternáló csoportot, amiből az is következik, hogy a páratlan permutációk egy alternáló csoport szerinti mellékosztályt alkotnak, tehát egy véges halmaznak ugyanannyi páros permutációja van, mint páratlan. Minden permutáció paritását könnyen meghatározhatjuk ciklusfelbontásából, hiszen minden páratlan hosszú ciklus páros, és minden páros hosszú páratlan.

ForrásokSzerkesztés

  • Fuchs László: Bevezetés az algebrába és a számelméletbe; Kézirat, Tankönyvkiadó, Budapest 1971.
  • van der Waerden, B.L.: Moderne Algebra Bd. 1, 3. Aufl., Springer, Berlin, 1950.
  • Jacobson, Nathan: Basic algebra. 1 2nd ed., Dover, 2009. ISBN 978-0-486-47189-1