群在集合上的應用

置換表示

用簡單具體的置換群研究一般的抽象的有限群

設 $G$ 是一個群,X是一個集合, $S(X)$ 表示集合X上的變換群,即X上全體一一映射按照映射的合成構(gòu)成的群

若存在同態(tài) $\varphi:G\to S(X)$ ,即 $\forall g_1,g_2\in G$ ,有 $\varphi(g_1g_2)=\varphi(g_1)\circ \varphi(g_2)$ ,則 $\forall x\in X$ ,有 $\varphi(g_1g_2)(x)=[\varphi(g_1)\circ \varphi(g_2)](x)=\varphi(g_1)(\varphi(g_2)(x))$

若用 $\sigma_g$ 表示 $\varphi(g)$ ,則 $\sigma_{g_1g_2}(x)=(\sigma_{g_1}\circ\sigma_{g_2})(x)=(\sigma_{g_1}(\sigma_{g_2})(x))$

由 $\varphi$ 是同態(tài),把單位元映為單位元,令e為群G中的單位元,則 $\sigma_e=\varphi(e)$ 即為變換群 $S(X)$ 中的單位元,即X上的恒等映射,故 $\forall x\in X$ ,有 $\sigma_e(x)=x$

上述映射是 $G\times X$ 到X上的一個映射, $\forall g\in G,x\in X$ , $\exists !\varphi(g)(x)=\tau_g(x)\in X$ 滿足上面的公式,用 $g(x)$ 表示 $(g,x)$ 的像,可認為g(x)是群G中的元g對集合X中的元x作用的結(jié)果

群作用在集合上

定義：設G是群,X是一個集合,若存在一個映射 $\varphi:G\times X\to X$ ,將 $(g,x)\in G\times X$ 在 $\varphi$ 下的像記作 $g(x)$ ,滿足條件：

1.設e為G的單位元, $\forall x\in X$ ,有 $e(x)=x$

2. $\forall g_1,g_2\in G,x\in X$ ,有 $(g_1g_2)(x)=g_1(g_2(x))$

則稱群G作用在集合X上

軌道與傳遞

設群G在作用集合X上,則可誘導出集合X上的一個關系 $R=\{(x,y)\in X\times X|\exists g\in G使y=g(x)\}$ ,易證R為集合X上的等價關系,在該等價關系下,元 $x\in X$ 所在的等價類稱為軌道,記作 $O_x$

$O_x=\{y\in X|(x,y)\in R\}=\{g(x)|g\in G\}$

由等價關系的基本結(jié)果,集合X被劃分為若干個互不相交的軌道的并,若該等價關系只有一個軌道,則稱群G在集合X上的作用是傳遞的

例：

1.設 $G=S_3=\{(1),(12),(13),(23),(123),(132)\}$ , $H=\{(1),(123),(132)\}$ ,易知 $H\le S_3$ ,令 $X=\{gH|g\in G\}$ 為所有左陪集的集合

$(1)H=\{(1),(123),(132)\}$

$=(123)H=(132)H$

$(12)H=\{(12),(23),(13)\}$

$=(13)H=(23)H$

即 $X=\{(1)H,(12)H\}$ , $\forall g\in G,aH\in X$ ,定義 $g(aH)=(ga)H$ ,設e為G中的單位元, $\forall aH\in X=G/H$ ,有 $e(aH)=(ea)H=aH$ , $\forall g_1,g_2\in G,aH\in X=G/H$ ,由群的結(jié)合律, $(g_1g_2)(aH)=[(g_1g_2)a]H=[g_1(g_2a)]H=g_1[g_2(aH)]$

故群G作用在X上,用1表示(1)H,2表示(12)H,該映射如下

$\begin{array}{c|cc|cc|c} &(1)H&(12)H&1&2&S_2中元\\ \hline (1)&(1)H&(12)H&1&2&(1)\\ (12)&(12)H&(1)H&2&1&(12)\\ (13)&(12)H&(1)H&2&1&(12)\\ (23)&(12)H&(1)H&2&1&(12)\\ (123)&(1)H&(12)H&1&2&(1)\\ (132)&(1)H&(12)H&1&1&(1)\end{array}$

上表表明,G在集合X上的上述作用誘導出群G到群 $S_2=S(X)$ 上的一個同態(tài)

2.設群 $G=S_3=\{(1),(12),(13),(23),(123),(132)\}$ ,集合 $X=G=S_3$ , $\forall g\in G,x\in X$ ,定義 $g(x)=gxg^{-1}$

令e為群G的單位元,則 $\forall g_1,g_2\in G,x\in X$ ,有 $(g_1g_2)(x)=(g_1g_2)x(g_1g_2)^{-1}=(g_1g_2)x(g_2^{-1}g_1^{-1})=g_1(g_2xg_2^{-1})g_1^{-1}=g_1[g_2(x)]$

故群G作用在集合X上,這樣定義的作用對任意的G及集合X=G都成立,稱為共軛作用,X中的軌道稱為共軛類,該映射如下

$\begin{array}{c|cccccc}G\backslash X&(1)&(12)&(13)&(23)&(123)&(132)\\ \hline (1)&(1)&(12)&(13)&(23)&(123)&(132)\\ (12)&(1)&(12)&(23)&(13)&(132)&(123)\\ (13)&(1)&(23)&(13)&(12)&(132)&(123)\\ (23)&(1)&(13)&(12)&(23)&(132)&(123)\\ (123)&(1)&(23)&(12)&(13)&(123)&(132)\\ (132)&(1)&(13)&(23)&(12)&(123)&(132)\\ \hline\end{array}$

三個軌道： $O_{(1)}=\{(1)\}$ , $O_{(12)}=\{(12),(13),(23)\}$ , $O_{(123)}=\{(123),(132)\}$

3.設 $G=\{(1),(12),(345),(354),(12)(345),(12)(354)\}$ ,易證 $G\le S_5$ ,令 $X=\{1,2,3,4,5\}$ , $\forall \sigma=(345),x=4$ , $\sigma(4)=5$

易知群G作用在集合X上

兩個軌道： $O_1=\{1,2\}$ , $O_3=\{3,4,5\}$

穩(wěn)定子群

設群G作用在集合X上,設 $x\in X,g\in G$ ,若 $g(x)=x$ ,則稱x是g的不動點, $\forall x\in X$ ,定義集合 $Stab(x)=\{g\in G|(x)=x\}$

$\forall g_1,g_2\in Stab(x)$ ,有 $g_1(x)=x,g_2(x)=x$ ,故 $g_1g_2^{-1}(x)=g_1(g_2^{-1}(x))=g_1(x)=x$ ,即 $g_1g_2^{-1}\in Stab(x)$ ,故 $Stab(x)$ 是G的子群,稱為元x的穩(wěn)定子群

定理：設群G作用在集合X上,則 $\forall x\in X$ ,有 $|O_x|=[G:Stab(x)]$

證明：

$將G關于穩(wěn)定子群Stab(x)的左陪集的集合記作G/Stab(x)$

$即G/Stab(x)=\{gStab(x)|g\in G\}$

$定義從G/Stab(x)到O_x=\{g(x)|\in G\}的對應\varphi$

$\varphi(gStab(x))=g(x)$

$\because g_1Stab(x)=g_2Stab(x)\Leftrightarrow g_2^{-1}g_1\in Stab(x)$

$\Leftrightarrow (g_2^{-1}g_1)(x)=x$

$\Leftrightarrow g_1(x)=g_2(x)$

$\therefore \varphi的定義是良性的$

$且\varphi為單射$

$顯然\varphi為滿射$

$\therefore |O_x|=[G:Stab(x)]\qquad\mathcal{Q.E.D}$

幾何意義

$\forall x\in X$ ,

令 $O_x=\{g(x)|g\in G\}$

$=\{y_1=g_1(x),y_2=g_2(x),\cdots,y_s=g_s(x)\}$

為x所在的軌道,并假設 $O_x$ 為有限集

$Stab(x)\le G$ ,由子群的陪集分解

G可分解為若干互不相交的陪集的并

若陪集的代表元選擇為 $g_1,g_2,\cdots,g_s$ ,則

$G/Stab(x)=\{GStab(x)|g\in G\}$

$=\{g_1Stab(x),g_2Stab(x),\cdots,g_sStab(x)\}$

$\forall 1\le i\le s,g\in g_iStab(x)$ ,有 $g(x)=g_i(x)=y_i$

例：求正四面體 $A-BCD$ 的旋轉(zhuǎn)群G

注：旋轉(zhuǎn)置換,即以一個頂點到對面的垂線為旋轉(zhuǎn)軸,旋轉(zhuǎn)之后和原來的正四面體重合,從而是對四個頂點做置換,故G為 $S_4$ 的子群

解：

$令X=\{A,B,C,D\}$

$將其分別編號為1,2,3,4$

$將A保持不變的置換有三個$

$(1)恒等置換$

$(2)逆時針旋轉(zhuǎn)120°$

$即B\to C,C\to D,D\to B$

$(3)逆時針旋轉(zhuǎn)240°$

$即B\to D,D\to C,C\to B$

$即頂點A的穩(wěn)定子群為$

$Stab(A)=\{(1),(234),(243)\}$

$易知,G在X上的作用是傳遞的$

$即O_A=X=\{A,B,C,D\}$

$|O_A|=[G:Stab(A)]=4$

$\therefore |G|=[G:Stab(A)]\cdot |Stab(A)|=12$

$下求G$

$取g_1=\begin{pmatrix}1&2&3&4\\2&3&1&4\end{pmatrix}=(123)?$

$則g_1(A)=B$

$\therefore g_1Stab(A)=\{(123),(123)(234),(123)(243)\}$

$=\{(123),(12)(34),(124)\}$

$取g_2=\begin{pmatrix}1&2&3&4\\3&2&4&1\end{pmatrix}=(134)$

$\therefore g_2Stab(x)=\{(134),(134)(234),(134)(243)\}$

$=\{(134)(13)(24),(132)\}$

$取g_3=\begin{pmatrix}1&2&3&4\\4&2&1&3\end{pmatrix}=(143)$

$\therefore g_3Stab(x)=\{(143),(143)(234),(143)(243)\}$

$=\{(143),(142),(14)(23)\}$

$\therefore G=\{(1),(123),(132),(124),(142),(134),(143),(234),$

$(243),(12)(34),(13)(24),(14)(23)\}=A_4$

$A_4為S_4中所有偶置換所構(gòu)成的群$

$即為交錯群A_4?$

Burnside定理

定理：設G是有限群,X是有限集,群G作用在集合X上,令N表示軌道的個數(shù),則 $N={1\over |G|}\underset{g\in G}\sum |X^g|?$ ,其中 $X^g=\{x\in X|g(x)=x\}?$

證明：

$定義積集合G\times X上的函數(shù)f:\forall (g,x)\in G\times X$

$f(g,x)=\begin{cases}1\qquad g(x)=x\\0\qquad g(x)\neq x\end{cases}$

$由\underset{g\in G}\sum \underset{x\in X}\sum f(g,x)=\underset{x\in X}\sum \underset{g\in G}\sum f(g,x)$

$\underset{g\in G}\sum|X^g|=\underset{x\in X}\sum|Stab(x)|?$

$G為有限群,X為有限集$

$\therefore G作用在X上只有有限條軌道?$

$設為O_{x_1},O_{x_2},\cdots,O_{x_N}?$

$則\underset{g\in G}\sum|X^g|=\sum\limits_{i=1}^N \sum\limits_{x\in O_{x_i}}|Stab(x)|$

$又Stab(g(x))=gStab(x)g^{-1}$

$\therefore |Stab(g(x))=|Stab(x)|$

$即同一軌道中元的穩(wěn)定子群有相同的階$

$又|O_{x_i}=[G:Stab(x_i)]$

$\therefore \sum\limits_{x\in O_{x_i}}|Stab(x)|=|O_{x_i}|\cdot |Stab(x_i)|=|G|$

$\therefore \sum\limits_{g\in G}|X^g|=\sum\limits_{i=1}^N|G|=N\cdot |G|$

$\therefore N={1\over |G|}\underset{g\in G}\sum |X^g|\qquad\mathcal{Q.E.D}$

若將群G在集合X上的作用看作G到變換群 $S(X)$ 中的同態(tài)f,則核為

$Ker(f)=\{g\in G|f(g)=I_X\}$

$=\{g\in G|\forall x\in X有g(x)=x\}$

令 $\overline{G}=f(G)$ ,由同態(tài)基本定理, $G/Ker(f)\cong \overline{G}$

例：設G是群, $H\lhd G$ ,令 $X=\{gH|g\in G\}$ 為所有左陪集的集合, $\forall g\in G,aH\in X$ ,定義 $g(aH)=(ga)H$ ,將群G在X上的作用看作群同態(tài)f,則核為

$Ker(f)=\{g\in G|f(g)=I_X\}$

$=\{g\in G|\forall a\in G,g(aH)=(ga)H=aH\}$

$=\{g\in G|\forall a\in G,a^{-1}ga\in H\}$

$=\{g\in G|\forall a\in G,g\in aHa^{-1}\}$

$=\underset{a\in G}\bigcap aHa^{-1}$

色偷偷精品伊人,欧洲久久精品,欧美综合婷婷骚逼,国产AV主播,国产最新探花在线,九色在线视频一区,伊人大交九欧美,1769亚洲,黄色成人av

近世代數(shù)理論基礎16：群在集合上的應用

近世代數(shù)理論基礎16：群在集合上的應用

群在集合上的應用

置換表示

群作用在集合上

軌道與傳遞

穩(wěn)定子群

幾何意義

Burnside定理

相關閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容

色偷偷精品伊人,欧洲久久精品,欧美综合婷婷骚逼,国产AV主播,国产最新探花在线,九色在线视频一区,伊人大交九 欧美,1769亚洲,黄色成人av

近世代數(shù)理論基礎16：群在集合上的應用

群在集合上的應用

置換表示

群作用在集合上

軌道與傳遞

穩(wěn)定子群

幾何意義

Burnside定理

相關閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容

色偷偷精品伊人,欧洲久久精品,欧美综合婷婷骚逼,国产AV主播,国产最新探花在线,九色在线视频一区,伊人大交九欧美,1769亚洲,黄色成人av