12.07.2015 Views

1. Działanie grupy na zbiorze

1. Działanie grupy na zbiorze

1. Działanie grupy na zbiorze

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>1.</strong> <strong>Działanie</strong> <strong>grupy</strong> <strong>na</strong> <strong>zbiorze</strong>Definicja <strong>1.</strong> Mówimy, że grupa G (zapisywa<strong>na</strong> multiplikatywnie) działa <strong>na</strong><strong>zbiorze</strong> X, jeżeli jest dane przekształcenie G × X −→ X, w którym obrazempary (g, x) jest element zbioru X, oz<strong>na</strong>czany przez gx. Zakładamy, że to przekształceniema <strong>na</strong>stępujące własności:a) ∀ x∈X ex = x;b) ∀ x∈X ∀ g,h∈G (gh)x = g(hx).W tym kontekście elementy <strong>grupy</strong> G <strong>na</strong>zywamy operatorami, a zbiór X <strong>na</strong>zywamyG-zbiorem.Dla x ∈ X zbiórGx = {gx : g ∈ G}<strong>na</strong>zywamy G-orbitą elementu x. Może się zdarzyć, że Gx = {x}; wtedy x <strong>na</strong>zywamypunktem stałym względem G.Lemat <strong>1.</strong> Niech X będzie G-zbiorem. Rodzi<strong>na</strong> orbit {Gx : x ∈ X} jest podziałemzbioru X <strong>na</strong> parami rozłączne niepuste zbiory dające w sumie cały zbiórX.D o w ó d. Wystarczy wykazać, że relacja:x ∼ y ⇐⇒ (x, y <strong>na</strong>leżą do tej samej orbity)jest relacją równoważności i powołać się <strong>na</strong> zasadę abstrakcji. Definicja 2. Zbiór G x = {g ∈ G : gx = x} <strong>na</strong>zywamy stabilizatorem elementux.Lemat 2. G x jest podgrupą G.D o w ó d. Jeśli g, h ∈ G x , czyli gx = hx = x, to g −1 hx = x, więc g −1 h ∈ G x . Przykłady.<strong>1.</strong> Niech G będzie grupą permutacji zbioru Ω = {1, 2, . . . , n}. Wtedy G działa<strong>na</strong> Ω wg wzoru (α, j) ↦→ α(j).W szczególności, jeśli G = S n , to orbita jest tylko jed<strong>na</strong>. Stabilizatorem G ielementu i jest wtedy grupa złożo<strong>na</strong> z permutacji, w których rozkładzie <strong>na</strong> cyklewystępuje cykl (i). Np. gdy G = S 6 , to |G| = 720 a |G i | = 120 dla i = 1, 2, . . . , 6.Jeśli G = (π), tj. G jest grupą cykliczną generowaną przez π, to orbitami tegodziałania są wprowadzone wcześniej π-orbity : i, j <strong>na</strong>leżą do tej samej π-orbity,jeśli w rozkładzie π <strong>na</strong> cykle są elementami tego samego cyklu. Stabilizator G iskłada się wtedy z tych potęg π k , dla których π k (i) = i.Np. gdy π = (123)(45)(6) ∈ S 6 to π generuje grupę 6-elementową:G = {e, π, π 2 , π 3 , π 4 , π 5 }.Mamy 3 orbity: G1 = G2 = G3 = {1, 2, 3}, G4 = G5 = {4, 5}, G6 = {6}.Stabilizatory: G 1 = G 2 = G 3 = {e, π 3 }, G 4 = G 5 = {e, π 2 , π 4 }, G 6 = G.2. Przykład poprzedni moż<strong>na</strong> uogólnić : każda grupa G działa <strong>na</strong> G wg wzoru(g, x) ↦→ gx. Wtedy orbita jest tylko jed<strong>na</strong>. Jeśli H G, to H działa <strong>na</strong> G wgwzoru (h, x) ↦→ hx. Wtedy orbitami są warstwy prawostronne <strong>grupy</strong> G względempod<strong>grupy</strong> H.3. Innym działaniem G <strong>na</strong> G jest działanie poprzez automorfizmy wewnętrzne:(a, g) ↦→ I a g = aga −1 dla a, g ∈ G.Sprawdzimy, że jest to działanie. Mamy I e g = ege −1 = g oraz I ab g = (ab)g(ab) −1 =abgb −1 a −1 = aI b ga −1 = I a (I b g).Dla tego działania :Gx = {I a x : a ∈ G} = {axa −1 : a ∈ G}.1


Jeżeli x ∈ Z(G) (centrum <strong>grupy</strong> G, tj. zbiór elementów przemiennych z każdymelementem <strong>grupy</strong>), to dla dowolnego a ∈ G mamy axa −1 = x, więc Gx = {x}.Elementy orbity Gx <strong>na</strong>zywamy sprzężonymi z x. W szczególności, gdy G = S n ,to orbitami są klasy elementów podobnych, czyli tego samego typu.<strong>Działanie</strong>, które ma tylko jedną orbitę, <strong>na</strong>zywamy przechodnim. Jeśli działaniejest przechodnie, to dla każdego x ∈ X , G x = {e}.Twierdzenie <strong>1.</strong> (o orbitach i stabilizatorach) Niech grupa G działa <strong>na</strong> <strong>zbiorze</strong>X. Wtedy liczność orbity Gx jest rów<strong>na</strong> indeksowi stabilizatora G x , tj.|Gx| = (G : G x ).Zatem jeżeli G jest grupą skończoną, to |Gx| =elementów orbity jest dzielnikiem rzędu <strong>grupy</strong>.|G||G x|. W szczególności liczbaD o w ó d. Określimy odwzorowanie Gx → G/G x wzorem f(y) = gG x dlay = gx. Takie odwzorowanie jest dobrze określone, bo jeśli y = g 1 x = g 2 x,to g −12 g 1x = x, czyli g −12 g 1x ∈ G x , więc g 1 G x = g 2 G x . Po<strong>na</strong>dto f jest surjektywne,bo g może być dowolnym elementem G. Wreszcie jeśli g 1 G x = g 2 G x ,to g −12 g 1x ∈ G x , czyli g −12 g 1x = x, więc g 1 x = g 2 x, co dowodzi, że f jestróżnowartościowe. Zatem f określa równoliczność zbiorów Gx i G/G x . Twierdzenie 2. (lemat Burnside’a) . Niech X będzie skończonym G-zbiorem.Liczba G-orbit, <strong>na</strong> które dzieli się zbiór X, jest rów<strong>na</strong>1|G|∑χ(g),g∈Ggdzie χ(g) oz<strong>na</strong>cza liczność zbioru {x ∈ X : gx = x} punktów stałych operatorag.D o w ó d. Utwórzmy macierz o |X| wierszach i |G| kolum<strong>na</strong>ch <strong>na</strong>stępująco:{1 dla gx = xa x,g =0 dla gx ≠ x .Obliczymy liczbę jedynek w tej macierzy dwoma sposobami. Sumując jedynkiwierszami otrzymujemy ∑ x∈X |G x|, a sumując kolum<strong>na</strong>mi ∑ g∈Gχ(g). Zatemczyli∑x∈X∑|G x | = ∑ χ(g).g∈Gx∈X|G x ||G|= 1|G|∑χ(g).g∈GZ twierdzenia o orbitach i stabilizatorach otrzymujemy∑x∈X1|Gx| = 1|G|∑χ(g).Zauważmy, że ∑ 1x∈Gx |Gx| = 1, więc ∑ x∈X 1|Gx|jest liczbą orbit. Przykład. Naszyjniki składają się z pięciu paciorków w trzech kolorach. Ile jestistotnie różnych <strong>na</strong>szyjników?Ponieważ kolor każdego paciorka moż<strong>na</strong> wybrać <strong>na</strong> 3 sposoby, więc <strong>na</strong>szyjnikówjest 3 5 = 243. Jed<strong>na</strong>k nie wszystkie są istotnie różne. Jeśli <strong>na</strong>szyjnik traktowaćjako pięciokąt foremny, którego wierzchołki są pomalowane trzema ustalonymikolorami (np. czerwony, niebieski, zielony), to istot<strong>na</strong> jest sekwencja kolorów.Należy zatem utożsamić te <strong>na</strong>szyjniki, które moż<strong>na</strong> otrzymać przez obrót pewnegoustalonego <strong>na</strong>szyjnika. Zatem możemy <strong>na</strong> <strong>zbiorze</strong> X wszystkich 243 <strong>na</strong>szyjnikówrozpatrywać działanie <strong>grupy</strong> obrotów; wtedy liczba istotnie różnych2g∈G


<strong>na</strong>szyjników jest liczbą orbit tego działania. Na mocy lematu Burnside’a otrzymamy:liczba orbit = 1 5∑χ(o i ),5gdzie o i jest obrotem o kąt 2π 5i dla i = 1, 2, . . . , 5. Ponieważ <strong>na</strong>szyjnik niezmienniczyprzy obrocie o kąt niezerowy musi być 1-kolorowy, więc χ(o i ) = 3 dlai = 1, 2, 3, 4; ale χ(o 5 ) = 243. Zatemi=1liczba orbit = 1 (4 · 3 + 243) = 5<strong>1.</strong>5Ale zwrot ”istotnie różne” moż<strong>na</strong> rozumieć i<strong>na</strong>czej. Moż<strong>na</strong> utożsamiać <strong>na</strong>szyjnikiktóre moż<strong>na</strong> otrzymać przez obrót oraz te, które moż<strong>na</strong> otrzymać przez”przełożenie <strong>na</strong> drugą stronę”, czyli przez symetrię. Matematycznym modelembędzie wtedy działanie <strong>grupy</strong> diedralnej D 5 . Oprócz obrotów zawiera o<strong>na</strong> jeszcze5 symetrii osiowych s i , przy czym χ(s i ) = 3 3 = 27 (kolory 3 wierzchołków wybieramy<strong>na</strong> 3 sposoby, ale dwa pozostałe muszą mieć taki kolor jak wierzchołeksymetryczny). Zatem wtedyliczba orbit = 1 (4 · 3 + 243 + 5 · 27) = 39.10Przykład. Ogólniej, <strong>na</strong>szyjniki składają się z n paciorków w k kolorach. Ile jestistotnie różnych <strong>na</strong>szyjników?a) Jeśli grupą działającą jest grupa obrotów:G = {o 1 , . . . , o n }gdzie o n jest obrotem o kąt 2π ni dla i = 1, 2, . . . , n, to mamyχ(o i ) = k nwd(n,i) ,bo jeżeli nwd(n, i) = d, to obrót o i jest rzędu n d, co oz<strong>na</strong>cza, że tyle paciorków(co d-ty) musi być tego samego koloru.(Przykładowo, gdy n = 8, i = 6, to d = 2. Obrót o 6 jest obrotem o kąt 3 2π, czylipaciorki przechodzące <strong>na</strong> siebie to 1,7,5,3 oraz 2,8,6,4. Zatem co drugi musi byćtego samego koloru. Jest więc k 2 możliwości wyboru kolorów.)Liczba orbit wynosi:1n∑k nwd(n,i) .ni=1Np. dla n = 6, k = 3 otrzymujemy 130.b) Jeśli grupą działającą jest grupa diedral<strong>na</strong>, to dochodzą jeszcze symetrie.W przypadku n nieparzystego oś symetrii musi przechodzić przez wierzchołek.Wtedyχ(s) = k n+12dla każdej symetrii s.W przypadku n parzystego oś symetrii może przechodzić przez dwa wierzchołki(symetria s w ) lub być symetralną boku (symetria s b ). Wtedyχ(s w ) = k n 2 +1 , χ(s b ) = k n 2 .Zatem:— dla n nieparzystego liczba orbit wynosi( n)1 ∑k nwd(n,i) + n · k n+12 = 12n2ni=1— dla n parzystego liczba orbit wynosi( n)1 ∑k nwd(n,i) + n 2n2 · k n 2 +1 + n 2 · k n 2i=13n∑i=1= 12nk nwd(n,i) + 1 2 k n+12 ;n∑k nwd(n,i) + 1 4 k n 2 (k + 1).i=1


Np. dla n = 6, k = 3 otrzymujemy 92.Uwaga. Obroty i symetrie o których mowa wyżej moż<strong>na</strong> interpretować jakopermutacje. Jeżeli pod działaniem permutacji <strong>na</strong>szyjnik nie zmienia się, to z<strong>na</strong>czy,że paciorki odpowiadające elementom tego samego cyklu są jed<strong>na</strong>kowegokoloru. Zatem:Jeżeli permutacja π ∈ S n ma r cykli (wliczając cykle długości 1), to liczbapokolorowań stałych dla π wynosi k r (k — liczba kolorów).Wniosek <strong>1.</strong> Jeżeli G jest grupą permutacji działającą <strong>na</strong> <strong>zbiorze</strong> pokolorowań,i z<strong>na</strong>my jej indeks cyklowy Z(G), to liczbę różnych pokolorowań otrzymamypodstawiając w Z(G) x 1 = x 2 = · · · = x n = k.Twierdzenie 3. Niech G będzie grupą permutacji zbioru X, a ˜X zbiorem funkcjiX → Y . Dla σ ∈ G określamy ˜σ : ˜X → ˜X wzorem˜σ(f) = f ◦ σdla f ∈ ˜X. Zbiór ˜G = {˜σ : σ ∈ G} jest grupą działajacą <strong>na</strong> <strong>zbiorze</strong> ˜X. Po<strong>na</strong>dto,jeśli n jest liczba cykli w rozkładzie permutacji σ, to| ˜X σ | = |Y | n .D o w ó d. Wykażemy, że ˜σ jest odwzorowaniem różnowartościowym. Przypuśćmy,że dla pewnych f, g ∈ ˜X jest ˜σ(f) = ˜σ(g), tj.f(σ(x)) = ˜σ(f)(x) = ˜σ(g)(x) = g(σ(x))dla każdego x ∈ X. Ale ponieważ σ jest permutacją, więc jej wartościami sąwszystkie elementy zbioru X, a więc f i g mają równe wartości <strong>na</strong> wszystkichelementach zbioru X. Stąd f = g.Zatem ˜G moż<strong>na</strong> traktować jako grupę permutacji izomorficzną z G.Załóżmy, że σ jest permutacją zbioru X z rozkładem <strong>na</strong> cykle σ = σ 1 σ 2 . . . σ n .Jeżeli f ∈ ˜X σ , tj. ˜σ(f) = f, to funkcja f musi mieć stałą wartość <strong>na</strong> każdymcyklu permutacji σ. Ponieważ jest n cykli i |Y | możliwych wartości dla każdegocyklu, więc | ˜X σ | = |Y | n .4

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

Saved successfully!

Ooh no, something went wrong!