Wikipedia - Działanie

Wikipedia - kopia Wikipedii, wolnej encyklopedii

Dla danego trójkąta równobocznego, obrót o 120° w kierunku przeciwnym do ruchu wskazówek zegara wokół środka trójkąta „działa” na zbiorze wierzchołków trójkąta poprzez przypisanie każdego wierzchołka innemu.

Działanie grupy – w algebrze i geometrii sposób opisania symetrii obiektów za pomocą pojęcia grupy. Istotne elementy obiektu opisane są za pomocą zbioru, a jego symetrie za pomocą jego grupy symetrii, która składa się z wzajemnie jednoznacznych przekształceń geometrycznych wspomnianego zbioru. Wówczas grupę tę nazywa się także grupą permutacji (szczególnie, jeśli zbiór jest skończony lub nie jest przestrzenią liniową) lub grupą przekształceń (szczególnie, gdy zbiór jest przestrzenią liniową, a grupa działa jak przekształcenia liniowe zbioru).

Działanie grupy jest elastycznym uogólnieniem pojęcia grupy symetrii, w której każdy jej element „działa” jak wzajemnie jednoznaczne przekształcenie (lub „symetria”) pewnego zbioru, lecz bez utożsamiania tego elementu ze wspomnianym przekształceniem. Pozwala to bardziej wyczerpująco opisać symetrie obiektu, takiego jak wielościan, przez zadziałanie tej samej grupy na kilku różnych zbiorach, np. zbiorze wierzchołków, zbiorze krawędzi i zbiorze ścian wielościanu.

Niezmienniczość działania grup na obiektach geometrycznych była główną ideą tzw. programu erlangeńskiego Feliksa Kleina. Pierwszym^{[potrzebne źródło]} studiowanym działaniem grupy na zbiorze było działanie grup Galois na zbiorach pierwiastków wielomianu.

Umożliwiając stosowanie idei geometrycznych do bardziej abstrakcyjnych tworów działania grup dostarczają wysokiego poziomu abstrakcji. Wiele obiektów matematycznych ma naturalnie określone na sobie działanie grupy. W szczególności grupy mogą działać także na innych grupach, a nawet na samych sobie. Mimo wspomnianej ogólności teoria działań grup zawiera szeroko stosowane w praktyce twierdzenia, jak np. twierdzenie o orbitach i stabilizatorach, które mogą być środkiem podczas dowodzenia mocnych wyników w innych działach matematyki.

Spis treści

1 Definicja
- 1.1 Homomorfizm w grupę symetryczną
- 1.2 Działanie lewo- i prawostronne
2 Przykłady
3 Stabilizator, orbita, punkt stały
4 Rodzaje
5 G-izomorfizm
6 Zastosowania
7 Bibliografia
8 Zobacz też

[edytuj] Definicja

Niech $G$ będzie grupą, a $X$ – zbiorem. Wówczas (lewostronnym) działaniem grupy $G$ na zbiorze $X$ nazywa się funkcję dwuargumentową $G \times X \to X$ daną wzorem

$(g, x) \mapsto g \cdot x$ ,

która spełnia dla dowolnych $g, h \in G$ oraz $x \in X$ następujące dwa aksjomaty:

$(gh) \cdot x = g \cdot (h \cdot x)$ ,
$e \cdot x = x$ , gdzie $e$ oznacza element neutralny w $G$ .

Zbiór $X$ nazywa się wtedy (lewostronnym) $G$ -zbiorem, co formalnie można oznaczać parą uporządkowaną $(X, G)$ , a o grupie $G$ mówi się, że działa na $X$ (z lewej strony).

[edytuj] Homomorfizm w grupę symetryczną

Powyższe dwa aksjomaty gwarantują, że dla każdego $g \in G$ funkcja przekształcająca $x \in X$ w $g \cdot x$ jest bijekcją $\varphi_g$ zbioru $X$ . Jeżeli nie prowadzi to do nieporozumień, wyznaczaną jednoznacznie przez element $g \in G$ bijekcję $\varphi_g(x)$ oznacza się niekiedy symbolem $g (x)$ . Dlatego też działanie grupy może być zdefiniowane jako homomorfizm grupowy $\varphi$ z $G$ w grupę symetryczną $\operatorname{Sym}(X)$ wszystkich bijekcji $X$ dany wzorem $\varphi(g) = \varphi_g$ . Z tego też powodu dowolny homomorfizm $G \to \operatorname{Sym}(X)$ można nazywać działaniem grupy na zbiorze.

Działanie to przypisuje każdemu elementowi grupy permutację $X$ w taki sposób, że

permutacją $X$ odpowiadającą elementowi neutralnemu $G$ jest odwzorowanie tożsamościowe $X$ ;
permutacją $X$ odpowiadającą iloczynowi $g h$ dwóch elementów tej grupy jest złożenie permutacji przypisanych do $g$ oraz $h$ .

Ponieważ każdy element w $G$ reprezentowany jest jako permutacja, działanie grupy nazywa się także reprezentacją permutacyjną.

[edytuj] Działanie lewo- i prawostronne

Analogicznie można zdefiniować prawostronne działanie grupy $G$ na $X$ jako funkcję $X \times G \to X$ spełniającą aksjomaty

$x \cdot (gh) = (x \cdot g) \cdot h$ ;
$x \cdot e = x$ .

Różnicą między działaniami lewostronnym i prawostronnym jest kolejność w jakiej iloczyn $g h$ działa na $x$ . W działaniu lewostronnym najpierw działa $h$ , a potem $g$ , zaś w prawostronnym wpierw działa $g$ , a następnie $h$ . Działanie lewostronne może być otrzymane z prawostronnego za pomocą złożenia z operacją odwracania z grupy. Jeżeli $p$ jest działaniem prawostronnym, to

$l\colon G \times X \to X; (g, x) \mapsto p(x, g^{-1})$

jest działaniem lewostronnym, ponieważ

$\begin{align} l(gh, x) & = p(x, (gh)^{-1}) = x \cdot (h^{-1} g^{-1}) \\ & = (x\cdot h^{-1}) \cdot g^{-1} = l(h, x) \cdot g^{-1} = l(g, l(h, x)) \end{align}$

oraz

$l(e, x) = p(x, e^{-1}) = x \cdot e = x$ .

Podobnie można przekształcić każde działanie lewostronne w prawostronne. Stąd w dalszej części rozważane będą wyłącznie lewostronne działania grupy, ponieważ działania prawostronne nie nic dodają.

[edytuj] Przykłady

Działanie trywialne dowolnej grupy $G$ jest określone jako $g \cdot x = x$ dla wszystkich $g \in G$ oraz wszystkich $x \in X$ ; tj. cała grupa $G$ indukuje permutację tożsamościową na $X$ .
Jeżeli $X$ jest niepustym zbiorem, a $G = \operatorname{Sym}(X)$ , to odwzorowanie $\operatorname{Sym}(X) \times X \to X$ dane wzorem $(\sigma, x) = \sigma \cdot x$ jest działaniem grupy na zbiorze. Zapis $σ(x)$ wydaje się tym bardziej naturalny, ponieważ działaniu temu odpowiada homomorfizm identycznościowy; jest to „największe” działanie grupy na tym zbiorze, gdyż składa się z wszystkich jego permutacji. W szczególności grupa symetryczna $\operatorname{S}_n$ i jej podgrupy działają na zbiorze skończonym $\{1, 2, \dots, n\}$ permutując jego elementy.
Grupa symetrii dowolnego obiektu geometrycznego działa na zbiorze jego punktów, w szczególności grupa symetrii wielościanu działa na jego zbiorze wierzchołków (a także na zbiorze jego ścian).

[edytuj] Stabilizator, orbita, punkt stały

Nazwy te nawiązują do intuicji astronomicznych/geometrycznych dotyczących badania ruchów. Stabilizator elementu należącego do zbioru to zbiór elementów grupy, które nie „poruszają” zbioru, stąd stabilizator całego zbioru to te elementy, które „nie poruszają” elementów zbioru (stabilizują je). Inną nazwą stabilizatora jest grupa izotropii (isos – równy, jednakowy, trópos – zwrot, obrót). Punkty stałe to punkty, które nie są „poruszane” przez żaden element grupy, czyli stabilizowane przez całą grupę.

Orbita to zbiór punktów, do których można przejść z danego punktu przy działaniu grupy. Same orbity są rozłączne, a punkty mogą przechodzić wyłącznie na punkty należące do tej samej orbity (każdy punkt należy do pewnej orbity). Jeżeli działanie wyróżnia na zbiorze tylko jedną orbitę (dowolny punkt może przejść na każdy inny), to działanie nazywa się wiernym lub efektywnym; jest to równoważne temu, że wyłącznie element neutralny grupy stabilizuje zbiór. Ta dwoista charakteryzacja nie jest przypadkiem: stabilizator i orbity są ze sobą ściśle powiązane.

[edytuj] Definicje

Niech grupa $G$ działa na zbiorze $X$ oraz $x \in X$ . Zapis działania $g \cdot x$ zostanie zarzucony na rzecz $g (x)$ , co uwydatni sens oznaczeń poszczególnych obiektów.

Zbiór

$G(x) = \{g(x) \colon\, g\in G\}$

nazywa się orbitą elementu (wyznaczaną przez element) $x$ ; czasami oznacza się go również po prostu $G x$ (w nawiązaniu do oznaczenia działania jako $g x$ ).

Zbiór wszystkich orbit w $X$ ze względu na działanie grupy $G$ zapisuje się symbolem $X / G$ i nazywa ilorazem działania; w kontekście geometrycznym obiekt ten może być nazywany przestrzenią orbit.

Zbiór

$G_x = \{g \in G\colon\, g(x) = x\}$

nazywa się stabilizatorem bądź grupą izotropii elementu $x$ , który oznacza się również symbolem $\operatorname{Stab}(x)$ . Zbiór wszystkich stabilizatorów elementów zbioru $X$ nazywa się stabilizatorem (zbioru) bądź grupą izotropii (zbioru) i oznacza $G X$ lub $\operatorname{Stab}(X)$ .

Punkt $x$ nazywa się punktem stałym, jeżeli spełnia on warunek

G (x) = {x}

, czyli

g (x) = x

dla każdego $g\in G$ ,

co jest równoważne

G x = G

Zbiór punktów stałych wyznaczanych przez element $g$ oznacza się $X g$ , a zbiór wszystkich punktów stałych jest zapisywany jako $X G$ .

[edytuj] Własności

Orbity

Własności grupy gwarantują, że zbiór orbit w $X$ tworzy podział tego zbioru ze względu na działanie grupy $G$ . Relacja równoważności wyznaczająca ten podział dana jest wzorem

$x \sim y \iff \exists_{g \in G}\; g(x) = y$ ,

a orbity są klasami abstrakcji tej relacji, a więc dwa elementy są uważane za równoważne wtedy i tylko wtedy, gdy oba wyznaczają tę samą orbitę (leżą w jednej orbicie), tzn. $G (x) = G (y)$ .

Stabilizatory

Stabilizator $G x$ punktu $x$ jest podgrupą w $G$ . Wynika to z faktu, iż wraz ze stałą na pewnym punkcie bijekcją wyznaczaną przez dany element do stabilizatora należy bijekcja do niej odwrotna, która również jest stała na pewnym punkcie oraz tego, iż złożenie dwóch bijekcji stałych na danym punkcie również jest stałe na tym punkcie. Zwykle nie jest to jednak podgrupa normalna. Grupa $G$ działa na $X$ w sposób wolny wtedy i tylko wtedy, gdy wszystkie stabilizatory są trywialne.

Stabilizator $\operatorname{Stab}(X)$ całego zbioru to przecięcie wszystkich stabilizatorów elementów tego zbioru, gdyż przecięcie podgrup danej grupy również jest jej podgrupą. Tłumaczy to nazwę „grupa izotropii”.

Stabilizator zbioru $X$ jest w istocie jądrem homomorfizmu $\varphi$ , ponieważ jest to zbiór $\{g \in G\colon\, \forall_{x \in X}\; g(x) = x\}$ , a nadużywając notacji: $\{g \in G\colon\, g = \operatorname{id}\}$ , inaczej są to te elementy grupy $g$ , które wyznaczają przekształcenia tożsamościowe na zbiorze $X$ , tzn. $\varphi_g = \operatorname{id}$ , czyli $g \mapsto \operatorname{id}$ , co odpowiada definicji jądra $\varphi$ . Wynika stąd, że stabilizator zbioru jest nawet podgrupą normalną w $G$ .

[edytuj] Twierdzenie

Niech będzie dane dla ustalonego $x \in X$ przekształcenie $G \to X$ dane wzorem $g \mapsto g(x)$ . Obrazem tego odwzorowania jest orbita wyznaczana przez punkt $x$ , a przeciwobraz jest zbiorem wszystkich warstw lewostronnych stabilizatora $G x$ . Zwykłe twierdzenie o ilorazie teorii grup daje naturalną bijekcję między grupą ilorazową $G / G x$ a $G (x)$ . Bijekcja ta dana jest wzorem $hG_x \mapsto h(x)$ . Wynik ten znany jest w literaturze angielskiej jako „twierdzenie o orbitach i stabilizatorach” (ang. orbit-stabilizer theorem) lub „twierdzenie o klasyfikacji G-orbit” (ang. classification of G-orbits).

[edytuj] Wnioski

Zliczanie elementów

Powyższe twierdzenie wraz z twierdzeniem Lagrange'a daje

| G (x) | = [G : G x] = | G | / | G x |

Dla $G$ i $X$ są skończonych dodatkowo zachodzi

| G (x) | = [G : G x]

Wynik ten stosuje się szczególnie często podczas zliczania elementów zbioru.

Sprzężenie stabilizatorów

Należy zauważyć, że jeżeli dwa elementy $x, y$ należą do tej samej orbity, to ich podgrupy stabilizujące $G x, G y$ są izomorficzne (lub sprzężone). Dokładniej: jeśli $y = g (x)$ , to $G y = g G x g - 1$ . O punktach mających sprzężone podgrupy stabilizujące mówi się, że mają ten sam typ orbity.

Lemat Burnside'a

Wynikiem blisko związanym z powyższym twierdzeniem jest lemat Burnside'a:

$\left|X/G\right|=\frac{1}{\left|G\right|}\sum_{g\in G}\left|X^g\right|$ ,

gdzie $X g$ to zbiór punktów stałych wyznaczanych przez element $g$ . Z wyniku tego korzysta się głównie, gdy tak $G$ jak i $X$ są skończone, można go wówczas interpretować następująco: liczba orbit jest równa średniej liczbie punktów stałych przypadających na jeden element grupy.

Zbiór różnic formalnych skończonych $G$ -zbiorów tworzy pierścień nazywany pierścieniem Burnside'a, gdzie dodawanie odpowiada sumie rozłącznej, a mnożenie iloczynowi kartezjańskiemu.

[edytuj] Rodzaje

Grupa $G$ działa na zbiorze $X$ :

przechodnio lub tranzytywnie, jeżeli dla dowolnych punktów istnieje element taki, że y = g(x), czyli zbiór zawiera wyłącznie jedną orbitę.
- ściśle przechodnio (tranzytywnie), jeżeli wspomniane $g$ jest dokładnie jedno; jest to równoważne niżej zdefiniowanej regularności.
n-przechodnio (n-tranzytywnie), jeżeli dla dowolnych parami różnych i parami różnych istnieje takie g(x_k) = y_k dla . Działanie 2-przechodnie (2-tranzytywne) nazywa się czasami dwukrotnie przechodnim (tranzytywnym), 3-przechodnie (3-tranzytywne) – potrójnie przechodnim (tranzytywnym) itd.
- ściśle n-przechodnim (tranzytywnym), jeśli istnieje dokładnie jedno takie $g$ .
wiernie bądź efektywnie, jeżeli dla dowolnych dwóch różnych $g, h \in G$ istnieje $x \in X$ taki, że $g(x) \ne h(x)$ ; równoważnie: jeżeli dla dowolnego $e \ne g \in G$ istnieje $x \in X$ taki, że $g(x) \ne x$ ; intuicyjnie: różne elementy $G$ indukują różne permutacje $X$ .
wolne, jeżeli dla dowolnych dwóch różnych $g, h \in G$ i wszystkich $x \in X$ zachodzi $g(x) \ne h(x)$ ; równoważnie, jeżeli $g (x) = x$ dla pewnego $x$ , to $g = e$ .
regularne, jeżeli jest zarazem przechodnie i wolne; jest to równoważne warunkowi, iż dla każdych dwóch $x, y \in X$ istnieje dokładnie jedno $g \in G$ takie, że $g (x) = y$ . W tym przypadku o $X$ mówi się, że jest główną przestrzenią jednorodną lub że jest $G$ -torsorem.
lokalnie wolne, jeżeli $G$ jest grupą topologiczną i istnieje otoczenie $U$ elementu $e \in G$ takie, że ograniczenie działania do $U$ jest wolne; to znaczy, jeżeli $g (x) = x$ dla pewnego $x$ i pewnego $g \in U$ , to $g = e$ .

Każde działanie wolne na niepustym zbiorze jest wierne. Grupa działa wiernie na $X$ wtedy i tylko wtedy, gdy jego stabilizator jest trywialny, tzn. homomorfizm $G \to \operatorname{Sym}(X)$ opisujący działanie ma trywialne jądro, czyli jest monomorfizmem (zanurzeniem). Stąd przy wiernym działaniu grupa $G$ jest izomorficzna z grupą permutacji w $X$ ; w szczególności $G$ jest izomorficzna z własnym obrazem w $\operatorname{Sym}(X)$ .

Jeżeli $G$ nie działa wiernie na $X$ , można w łatwy sposób zmodyfikować grupę tak, by uzyskać działanie wierne. Jeżeli zdefiniuje się

$N = \{g \in G\colon g(x) = x\quad \forall_{x \in X}\}$ ,

to będzie to podgrupa normalna w $G$ ; rzeczywiście, jest to jądro homomorfizmu $G \to \operatorname{Sym}(X)$ . Grupa ilorazowa $G / N$ działa wiernie na $X$ wg wzoru $(g N)(x) = g (x)$ . Pierwotne działanie $G$ na $X$ jest wierne wtedy i tylko wtedy, gdy $N = {e}$ .

[edytuj] G-izomorfizm

Niech $X, Y$ będą $G$ -zbiorami. Jeżeli istnieje bijekcja $f\colon X \to Y$ taka, że

$f\left(g \cdot x\right) = g \cdot f(x)$ dla wszystkich $x \in X$ oraz $g \in G$ ,

to o wspomnianych zbiorach mówi się, że są $G$ -izomorficzne.

[edytuj] Zastosowania

[edytuj] Reprezentacja grupy

Zobacz więcej w osobnym artykule: reprezentacja grupy.

Niech $K$ będzie ciałem i $n\in\mathbb{N}$ . Macierz $A\in K^n_n$ wyznacza przekształcenie liniowe przestrzeni liniowej $K n$ w siebie. Pełną grupę liniową $\operatorname{GL}(n,K)$ można traktować zatem jako grupę przekształceń zbioru $K$ . Każdy homomorfizm $\varphi\colon G\to \operatorname{GL}(n,K)$ wyznacza działanie grupy $G$ na przestrzeni $K n$ . Działania te nazywamy reprezentacjami grupy $G$ w przestrzeni $K n$ . Jeśli $\varphi$ jest różnowartościowy, to reprezentację nazywamy wierną.

[edytuj] Działania grupy na sobie

Zobacz więcej w osobnych artykułach: klasa sprzężoności, centralizator i normalizator.

Działanie dowolnej grupy $G$ na sobie przez mnożenie z lewej strony jest regularne, a więc i wierne. Każda grupa może być więc zanurzona w grupie symetrycznej własnych elementów $\operatorname{Sym}(G)$ . Jest to wynik znany jako twierdzenie Cayleya.

Innym ważnym działaniem grupy na sobie, bardzo pomocnym podczas badania jej struktury, jest działanie poprzez tzw. automorfizmy wewnętrzne (sprzężenia), określone wzorem

$g \cdot x = gxg^{-1}$ .

Automorfizm $a x (g) = g x g - 1$ zapisywany jest też często jako $x g$ , gdyż zachowuje się on, zgodnie ze swoim oznaczeniem, tak jak potęga.

Orbitami tego działania są zbiory $x^G = \{x^g\colon\, g\in G\}$ nazywane klasami sprzężoności (klasami elementów sprzężonych), natomiast stabilizator $G_x = \{g \in G\colon\, gxg^{-1} = x\}$ nazywa się centralizatorem elementu $x$ i oznacza $C G (x)$ lub krótko: $Z (x)$ ; są to wszystkie elementy grupy $G$ przemienne z elementem $x$ . Stabilizator $C G (G)$ całego zbioru nazywa się centrum grupy i oznacza się symbolem $Z (X)$ ; są to te elementy, które są przemienne z dowolnym elementem grupy.

[edytuj] Równanie klas

Niech $G$ będzie grupą skończoną działającą na zbiorze skończonym $X$ , a $x_1, \ldots, x_n$ będą reprezentantami wszystkich orbit w zbiorze $X$ . Ponieważ zbiór $X$ rozpada się na rozłączne orbity:

$X = \bigcup_{i=1}^n~G_{x_i}$ ,

to prawdą jest, iż moc zbioru $X$ jest równa sumie mocy poszczególnych orbit, czyli sumie indeksów stabilizatorów w grupie (zob. wniosek):

$|X| = \sum_{i=1}^n~[G \colon G_{x_i}]$ .

Równanie to nazywa się często równaniem klas, można je wyprowadzić wprost z twierdzenia o stabilizatorach i orbitach. Równanie klas jest narzędziem dowodzenia wielu twierdzeń w teorii grup skończonych. Można je wykorzystać także w dowodzie twierdzenia Cauchy'ego i twierdzenia Sylowa (zob. zastosowania równania dla klas sprzężoności).

[edytuj] Bibliografia

A. Bojanowska, P. Traczyk, Algebra I, Skrypt WMIM, 2005.
Cz. Bagiński, Wstęp do teorii grup, SCRIPT, 2005, ISBN 83-904564-9-4
Andrzej Białynicki-Birula: Zarys algebry. Warszawa: PWN, 1987.

[edytuj] Zobacz też