群论学习笔记
文章目錄
- 前言
- 群
- 基本定義:
- 子群
- 陪集
- 拉格朗日定理
- 正規(guī)子群
- 交換群
- 商群
- 階
- 置換
- 定義
- 置換的乘法
- 循環(huán)
- 置換群
- 群作用
- 等價(jià)類
- 不動(dòng)點(diǎn)
- Burnside引理
- 內(nèi)容
- 證明
- 法1 軌道-穩(wěn)定子定理
- 法2
- Polya 定理
所謂群論,就是對群體行為問題的討論。
(逃)
前言
個(gè)人學(xué)起來比較困難的一部分。
主要的難點(diǎn)在于抽象,常常會(huì)陷入虛空…
但當(dāng)發(fā)現(xiàn)理論推出來的花里胡哨的東西和事實(shí)相符時(shí)還是挺爽的。
行文中如果有錯(cuò)誤或者不嚴(yán)謹(jǐn)?shù)牡胤?#xff0c;歡迎指正,感謝。
沒怎么看懂但也許有用的網(wǎng)站
群
基本定義:
群是由非空集合 GGG 和關(guān)于 GGG 的二元運(yùn)算 ?\cdot? 組成的代數(shù)結(jié)構(gòu),滿足如下性質(zhì):
子群
對于一個(gè)群 (G,×)(G,\times)(G,×),若 HHH 為 GGG 的一個(gè)子集,且 (H,×)(H,\times)(H,×) 也構(gòu)成一個(gè)群,則稱 (H,×)(H,\times)(H,×) 為 (G,×)(G,\times)(G,×) 的一個(gè)子群。記為 H≤GH\le GH≤G。
GGG 和 {e}\{e\}{e} 稱為 GGG 的兩個(gè)平凡子群。
子群檢驗(yàn)法:H≤G??h,g∈H,h?g?1∈HH\le G\Leftrightarrow \forall h,g\in H,h\cdot g^{-1}\in HH≤G??h,g∈H,h?g?1∈H。
陪集
若 H≤G,g∈GH\le G,g\in GH≤G,g∈G,則稱 Hg={h?g,h∈H}Hg=\{h\cdot g,h\in H\}Hg={h?g,h∈H} 為 HHH 在 GGG 內(nèi)關(guān)于 ggg 的右陪集(左陪集就是在左邊,同理)
陪集具有如下性質(zhì):
因?yàn)閷τ?h1,h2∈H,h1≠h2h1,h2\in H,h1\ne h2h1,h2∈H,h1?=h2,都有 g?h1≠g?h2g\cdot h1\ne g\cdot h2g?h1?=g?h2。
因?yàn)?e∈He\in He∈H。
左往右:由于性質(zhì)二,g∈Hgg\in Hgg∈Hg;若 g?Hg\notin Hg∈/?H,不可能有 Hg=HHg=HHg=H。
右往左:由于封閉性,HgHgHg 不可能取到 HHH 之外的元素;對于 ?h1∈H\forall h1\in H?h1∈H,設(shè) h1?g?1=h2∈Hh1\cdot g^{-1}=h2\in Hh1?g?1=h2∈H。則有 h1=h2?gh1=h2\cdot gh1=h2?g,所以 h1∈Hgh1\in Hgh1∈Hg。
左往右:因?yàn)??h1∈H,?h2∈H,h1?a=h2?b\forall h1\in H,\exist h2\in H,h1\cdot a=h2\cdot b?h1∈H,?h2∈H,h1?a=h2?b,也就有 a?b?1=h2?h1?1a\cdot b^{-1}=h2\cdot h1^{-1}a?b?1=h2?h1?1,而 h2?h1?1∈Hh2\cdot h1^{-1}\in Hh2?h1?1∈H。
右往左:?h1∈H,h1?a∈Ha,?h2=h1?(a?b?1)∈H→h1?a=h2?b,h2?b∈Hb\forall h1\in H,h1\cdot a\in Ha,\exist h2=h1\cdot(a\cdot b^{-1})\in H\to h1\cdot a=h2\cdot b,h2\cdot b\in Hb?h1∈H,h1?a∈Ha,?h2=h1?(a?b?1)∈H→h1?a=h2?b,h2?b∈Hb。(其實(shí)就是左往右反過來推)
Ha∩Hb≠?→?h1,h2∈H,h1?a=h2?b→a?b?1=h2?h1?1∈H→Ha=HbHa\cap Hb\ne \emptyset\to\exist h1,h2\in H,h1\cdot a=h2\cdot b\to a\cdot b^{-1}=h2\cdot h1^{-1}\in H\to Ha=HbHa∩Hb?=?→?h1,h2∈H,h1?a=h2?b→a?b?1=h2?h1?1∈H→Ha=Hb
由于封閉性,不可能取到 GGG 之外的元素。
由于 e∈He\in He∈H,ggg 取遍 GGG 的所有元素就可以保證 GGG 的所有元素都被取到。
拉格朗日定理
H≤G?∣H∣H\le G\Rightarrow |H|H≤G?∣H∣ 整除 ∣G∣|G|∣G∣。
結(jié)合陪集的性質(zhì)即可得。由性質(zhì) 1,5,61,5,61,5,6,HHH 所有本質(zhì)不同的陪集互不相交,大小均為 ∣H∣|H|∣H∣,共同組成了 GGG。∣G∣∣H∣\dfrac{|G|}{|H|}∣H∣∣G∣? 也就是 HHH 本質(zhì)不同陪集的數(shù)量。
正規(guī)子群
若 H≤GH\le GH≤G,且 ?a∈G,aH=Ha\forall a\in G,aH=Ha?a∈G,aH=Ha,則稱 HHH 是 GGG 的正規(guī)子群。平凡子群總是正規(guī)子群。
交換群
又稱為阿貝爾群,簡單說就是在滿足群基本性質(zhì)的基礎(chǔ)上,運(yùn)算又滿足交換律的群。
交換群的所有子群都是正規(guī)子群。
商群
設(shè) HHH 是 GGG 的正規(guī)子群,定義 G/H={gH,g∈G}G/H=\{gH,g\in G\}G/H={gH,g∈G}。
商群可以理解為一種劃分,由拉格朗日定理,G/HG/HG/H 由 ∣G∣∣H∣\dfrac{|G|}{|H|}∣H∣∣G∣? 個(gè)大小為 ∣H∣|H|∣H∣,互不相交的群組成。
階
群 GGG 中元素 xxx 的階等于最小的正整數(shù) ddd,使得 xd=ex^d=exd=e,有限群中元素的階一定存在。
有限群的階定義為群內(nèi)元素的個(gè)數(shù),無限群的階規(guī)定為 000。
階的一些性質(zhì):
構(gòu)造一個(gè) GGG 的子群 H={e,x,x2,...,xd?1}H=\{e,x,x^2,...,x^{d-1}\}H={e,x,x2,...,xd?1},∣H∣=d|H|=d∣H∣=d,由拉格朗日定理 ddd 整除 ∣G∣|G|∣G∣。
由條件有 as=b?ta^s=b^{-t}as=b?t,同時(shí) mmm 次方:b?tm=asm=(am)s=eb^{-tm}=a^{sm}=(a^{m})^s=eb?tm=asm=(am)s=e,由于 gcd?(m,n)=1\gcd(m,n)=1gcd(m,n)=1,就有 b?t=eb^{-t}=eb?t=e,即 bt=eb^t=ebt=e。as=ea^s=eas=e 同理。
設(shè) gcd?(d1,d2)=d\gcd(d1,d2)=dgcd(d1,d2)=d??紤]元素 g1d?g2g1^d\cdot g2g1d?g2。其中 g1dg1^dg1d 和 g2g2g2 的階數(shù)互質(zhì)。由性質(zhì)二,g1d?g2g1^d\cdot g2g1d?g2 的階數(shù)就是 d1d×d2=lcm(d1,d2)\dfrac{d1}ze8trgl8bvbq\times d2=lcm(d1,d2)dd1?×d2=lcm(d1,d2)。
置換
定義
有限集合到自身的雙射(即一一對應(yīng))稱為置換。
可以表示為:(1,2,3,…,na1,a2,a3,…,an)\begin{pmatrix}1,2,3,\dots,n\\a_1,a_2,a_3,\dots,a_n\end{pmatrix}(1,2,3,…,na1?,a2?,a3?,…,an??),表示把第 aia_iai? 個(gè)元素映射到位置 iii。在第一行為 1,2,3...1,2,3...1,2,3... 時(shí),可以省去第一行。
置換 fff 作用與狀態(tài) aaa,寫作 f?af*af?a。(這個(gè)寫法似乎各處并不一樣)
例:
(3,2,1,4)?(a,b,c,d)=(c,b,a,d)(3,2,1,4)*(a,b,c,d)=(c,b,a,d)(3,2,1,4)?(a,b,c,d)=(c,b,a,d)
置換的乘法
定義 f1?f2f1*f2f1?f2 表示先進(jìn)行 f2f2f2,再進(jìn)行 f1f1f1。
(a1,a2,...,an)?(b1,b2,...,bn)=(ba1,ba2,...,ban)(a_1,a_2,...,a_n)*(b_1,b_2,...,b_n)=(b_{a_1},b_{a_2},...,b_{a_n})(a1?,a2?,...,an?)?(b1?,b2?,...,bn?)=(ba1??,ba2??,...,ban??)
例:
(3,2,1,4)?(2,1,3,4)=(3,1,2,4)(3,2,1,4)*(2,1,3,4)=(3,1,2,4)(3,2,1,4)?(2,1,3,4)=(3,1,2,4)
循環(huán)
如果一個(gè)置換形如 (a1,a2,a3,...,an?1,ana2,a3,a4,...,an,a1)\begin{pmatrix}a_1,a_2,a_3,...,a_{n-1},a_n\\a_2,a_3,a_4,...,a_n,a_1\end{pmatrix}(a1?,a2?,a3?,...,an?1?,an?a2?,a3?,a4?,...,an?,a1??),則稱其為一個(gè)循環(huán)。
如果兩個(gè)循環(huán)不包含相同元素,則稱它們?yōu)?strong>不相交的。
任何置換都由若干個(gè)不相交置換的乘積。
置換群
元素個(gè)數(shù)為 nnn 的所有排列的集合 NNN 與置換乘法組成一個(gè)群 (N,?)(N,*)(N,?)。
其子群稱為置換群。
其中的單位元又叫做恒等置換 III。
群作用
對于一個(gè)群 (G,?)(G,*)(G,?) 和集合 NNN,給出一個(gè)二元函數(shù) φ(g,n)\varphi(g,n)φ(g,n),滿足如下性質(zhì):
則稱群 GGG 作用于集合 NNN。
(如果你沒明白這個(gè)定義想干什么,可以把 GGG 想成置換群,把 NNN 想成狀態(tài))
等價(jià)類
若一個(gè)狀態(tài)可以通過置換群內(nèi)的某個(gè)置換到達(dá)另一個(gè)狀態(tài),則稱它們屬于同一個(gè)等價(jià)類(也就是本質(zhì)相同)。
不動(dòng)點(diǎn)
若 f?x=xf*x=xf?x=x,則稱 xxx 為 fff 的一個(gè)不動(dòng)點(diǎn)。
Burnside引理
重頭戲來勒!
內(nèi)容
對于作用于集合 XXX 的群 GGG。
設(shè) X/GX/GX/G 為在 GGG 作用下等價(jià)類的集合。(這里雖然并不滿足商群的定義,但是寫成形式化語言后長的非常像,即 {Gx,x∈X}\{Gx,x\in X\}{Gx,x∈X})
則有:
∣X/G∣=1∣G∣∑g∈G∣Xg∣|X/G|=\frac{1}{|G|}\sum_{g\in G}|X^g|∣X/G∣=∣G∣1?g∈G∑?∣Xg∣
其中 Xg={x∣g?x=x,x∈X}X^g=\{x|g*x=x,x\in X\}Xg={x∣g?x=x,x∈X}
證明
法1 軌道-穩(wěn)定子定理
對于一個(gè)置換群 GGG 和狀態(tài) xxx,定義 G(x)={g?x,g∈G}G(x)=\{g*x,g\in G\}G(x)={g?x,g∈G} 為 xxx 的軌道(其實(shí)就是等價(jià)類),Gx={g∣g?x=x,g∈G}G^x=\{g|g*x=x,g\in G\}Gx={g∣g?x=x,g∈G} 為 xxx 的穩(wěn)定子(其實(shí)就是不動(dòng)點(diǎn))。
軌道-穩(wěn)定子定理:∣G∣=∣Gx∣∣G(x)∣|G|=|G^x||G(x)|∣G∣=∣Gx∣∣G(x)∣
證明:
首先,GxG^xGx 是一個(gè) GGG 的子群,我們按照定義逐條驗(yàn)證:
既然是子群,根據(jù)拉格朗日定理,就有:
∣G∣=∣Gx∣∣G:Gx∣|G|=|G^x||G:G^x|∣G∣=∣Gx∣∣G:Gx∣
其中 ∣G:Gx∣|G:G^x|∣G:Gx∣ 表示 GxG^xGx 在 GGG 中本質(zhì)不同的陪集數(shù)量。
那么現(xiàn)在只需要證明 ∣G:Gx∣=∣G(x)∣|G:G^x|=|G(x)|∣G:Gx∣=∣G(x)∣。
嘗試在 GxG^xGx 的陪集和 xxx 的軌道之間建立雙射關(guān)系。
所以我們得到,如果軌道相同則陪集相同,如果陪集相同則軌道相同,建立起了雙射關(guān)系,命題得證。
有了軌道-穩(wěn)定子定理,證明 Burnside 引理就不難了。
∑g∈GXg=∑x∈XGx=∑x∈X∣G∣∣G(x)∣=∣G∣∑x∈X1G(x)=∣G∣∑Y∈X/G∑x∈Y1∣Y∣=∣G∣∑Y∈X/G1=∣G∣∣X/G∣\sum_{g\in G}X^g=\sum_{x\in X}G^x\\=\sum_{x\in X}\frac{|G|}{|G(x)|}\\=|G|\sum_{x\in X}\frac{1}{G(x)}\\=|G|\sum_{Y\in X/G}\sum_{x\in Y}\frac{1}{|Y|}\\=|G|\sum_{Y\in X/G}1\\=|G||X/G|g∈G∑?Xg=x∈X∑?Gx=x∈X∑?∣G(x)∣∣G∣?=∣G∣x∈X∑?G(x)1?=∣G∣Y∈X/G∑?x∈Y∑?∣Y∣1?=∣G∣Y∈X/G∑?1=∣G∣∣X/G∣
得證。
法2
一本通上的魔法操作。
被中間一大堆莫名其妙啰哩啰嗦的過程以及橫空出世的“顯然”整蒙了好久
但看明白了確實(shí)還是挺優(yōu)雅的。
考慮一個(gè)大小為 kkk 的等價(jià)類 SSS。
從里面任選一個(gè)狀態(tài) a1a_1a1?。
那么設(shè) g1g_1g1? 為滿足 g1?a1=a1g_1*a_1=a_1g1??a1?=a1? 的任意一個(gè)置換。(必然存在,至少可以是恒等置換 III)
那么對于 SSS 中任意元素 aia_iai?,設(shè) fif_ifi? 為滿足 fi?a1=aif_i*a_1=a_ifi??a1?=ai? 的任意一個(gè)置換,那么 Wi={g∣g?a1=ai,g∈G}W_i=\{g|g*a_1=a_i,g\in G\}Wi?={g∣g?a1?=ai?,g∈G} 也就可以寫成 {fi,fi?g1,fi?g12,...,fi?g1d?1}\{f_i,f_i*g_1,f_i*g_1^2,...,f_i*g_1^{d-1}\}{fi?,fi??g1?,fi??g12?,...,fi??g1d?1?},其中 ddd 為 g1g_1g1? 的階數(shù)。
那么可以看出,所有的 ∣Wi∣|W_i|∣Wi?∣ 都是相等的,且由于 WiW_iWi? 必然互不相交,并集為全集,就有 ∣W1∣=∣W2∣=...=∣Wk∣=∣G∣k|W_1|=|W_2|=...=|W_k|=\dfrac{|G|}{k}∣W1?∣=∣W2?∣=...=∣Wk?∣=k∣G∣?。
也就是說,對于 SSS 中每個(gè)元素 aia_iai?,Gai={g∣g?ai=ai,g∈G}G^{a_i}=\{g|g*a_i=a_i,g\in G\}Gai?={g∣g?ai?=ai?,g∈G} 的大小均為 ∣G∣k\dfrac{|G|}{k}k∣G∣?,SSS 中一共有 kkk 個(gè)元素,那么總共就貢獻(xiàn)了 ∣G∣|G|∣G∣ 個(gè)不動(dòng)點(diǎn)。
每個(gè)等價(jià)類都貢獻(xiàn) ∣G∣|G|∣G∣ 個(gè)不動(dòng)點(diǎn),那么 Burnside 引理中的式子也就自然可得了。
Polya 定理
個(gè)人感覺 Polya 定理根本不配叫個(gè)定理
Burnside 給了我們計(jì)算本質(zhì)不同方案的公式:
∣X/G∣=1∣G∣∑g∈G∣Xg∣|X/G|=\frac{1}{|G|}\sum_{g\in G}|X^g|∣X/G∣=∣G∣1?g∈G∑?∣Xg∣
而 Polya 的用途就是快速計(jì)算 Burnside 的式子。
關(guān)鍵就是計(jì)算這個(gè) ∣Xg∣|X^g|∣Xg∣。
以染色問題為例,假設(shè)每個(gè)點(diǎn)可以染 mmm 中顏色,或者說,a1...na_{1...n}a1...n? 都可以在 [1,m][1,m][1,m] 中取值。
對于一個(gè)置換 ggg,設(shè)其循環(huán)的個(gè)數(shù)為 c(g)c(g)c(g),要想成為不動(dòng)點(diǎn),顯然每個(gè)循環(huán)的顏色必須相同,而不同循環(huán)的顏色相互獨(dú)立,因此不動(dòng)點(diǎn)個(gè)數(shù)為 mc(g)m^{c(g)}mc(g)。
那么 Burnside 的式子也就可以寫為:
∣X/G∣=1∣G∣∑g∈Gmc(g)|X/G|=\frac{1}{|G|}\sum_{g\in G}m^{c(g)}∣X/G∣=∣G∣1?g∈G∑?mc(g)
然后嘞?
沒了。
沒了?
沒了!
Polya 就這?
Polya 就這!
你上你也行
個(gè)人實(shí)在感覺這個(gè)東西和 Burnside 引理放在一起是對 Burnside 的侮辱…
也可能是我對 Polya 的理解還不太到位吧。
總結(jié)
- 上一篇: 如何在微信上制作美篇
- 下一篇: 中国用爆破炸中国最大爆破