Twierdzenie Cayleya

Szablon:Spis treści Twierdzenie Cayleya – twierdzenie mówiące, że dowolna abstrakcyjna, aksjomatycznie zdefiniowana grupa jest izomorficzna z pewną grupą przekształceń pewnego zbioru; innymi słowy, jest izomorficzna z podgrupą grupy permutacji tego zbioru. Twierdzenie to pozwala przełożyć wszystkie wyniki dotyczące podgrup grup symetrycznych na grupy abstrakcyjne. Dowód tego jest dziś łatwy, ale historycznie uświadomienie sobie tego w XIX wieku było znaczącym krokiem, wymagało zmiany myślenia o algebrze. Istotnego kroku dokonał Arthur Cayley.

Twierdzenie

Każda grupa zanurza się izomorficznie w grupie symetrycznej pewnego zbioruSzablon:Odn. W szczególności, każda grupa skończona rzędu $n$ zanurza się izomorficznie w grupie symetrycznej $S_n$Szablon:Odn.

Dowód

Wykażemy, że każda grupa $G$ jest izomorficzna z pewną podgrupą grupy permutacji $S(𝔾)$ zbioru $G.$

Niech $a$ będzie dowolnym elementem grupy $𝔾$ i niech ${\xi }_a:𝔾\to 𝔾,$ będzie odwzorowaniem takim, że: ${\xi }_a(x)=ax,$ gdzie $x\in 𝔾.$

Odwzorowanie ${\xi }_a$ jest przekształceniem różnowartościowym, bowiem ${\xi }_a(x)={\xi }_a(y)\Rightarrow ax=ay\Rightarrow x=y.$ Ponadto dla dowolnego $z\in 𝔾$ istnieje element $x\in 𝔾$ taki, że ${\xi }_a(x)=z.$ Takim elementem jest $x:=a^{-1}z.$ Czyli ${\xi }_a$ jest przekształceniem grupy $𝔾$ na siebie, tzn. ${\xi }_a\in S(𝔾).$

Zauważmy jeszcze, że dla ${\xi }_a,{\xi }_b$ zachodzi $({\xi }_a{\xi }_b)(x)={\xi }_a({\xi }_b(x))={\xi }_a(bx)=a(bx)=(ab)x={\xi }_{ab}(x)$ dla dowolnego $x\in 𝔾.$

Stąd ${\xi }_a{\xi }_b={\xi }_{ab}$ i zbiór odwzorowań $\{{\xi }_a:a\in G\}$ jest grupą, w której ${\xi }_e$ jest elementem neutralnym oraz $({\xi }_a{)}^{-1}={\xi }_{a^{-1}}.$

Określmy teraz odwzorowanie $f:𝔾\to S(𝔾)$ w następujący sposób:

$f(a)={\xi }_a,$ dla $a\in 𝔾.$

Jest ono iniektywne, bowiem $f(a)=f(b)\Rightarrow {\xi }_a={\xi }_b\Rightarrow {\mathrm{\forall }}_{x\in 𝔾}(ax=bx)\Rightarrow a=b,$ a z udowodnionej wcześniej własności wynika, że $f$ jest homomorfizmem, bo $f(ab)={\xi }_{ab}={\xi }_a{\xi }_b=f(a)f(b).$

Stąd $f:𝔾\to S(𝔾)$ jest zanurzeniem izomorficznym grupy $𝔾$ w grupę $S(𝔾).$

q.e.d.Szablon:Odn

Zdefiniowany w dowodzie izomorfizm $f$ nazywa się niekiedy reprezentacją regularną $G.$ Powyższe rozumowanie jest dowodem na to, iż działanie $\xi$ grupy $G$ na sobie przez mnożenie z lewej strony jest wierne.

Historia

Burnside przypisuje to twierdzenie Jordanowi, jednak Eric Nummela uważa, że nazwa twierdzenie Cayleya jest właściwsza. Dziś sens twierdzenia wydaje się oczywisty, jednak to dopiero Cayleyowi udało się zunifikować dwa różne – jak wówczas uważano – pojęcia, tzn. pojęcie grupy i pojęcie grupy permutacji. I mimo że sam Cayley w swojej pracy nie wykazał homomorfizmu, jego zasługi w upowszechnieniu tych pojęć na 16 lat przed Jordanem są niepodważalne.

Bibliografia

• A. Bojanowska, P. Traczyk, Algebra I, Skrypt WMIM, 2005.
• Szablon:Cytuj