离散数学：2.群

13.1 半群、拟群与群

定义

半群：对于代数系统$[S;\ast ]$,当二元运算$\ast$是可结合的，则为半群

拟群：含单位元的半群

群：拟群中的每一个元素都有逆元

交换群：群中的二元运算满足交换律

总结，群的三个条件：

1. 二元运算，且满足结合律（半群)
2. 含有单位元(拟群)
3. 每一个元素都有逆元(群)
4. 二元运算满足交换律(交换群,$Abel$群)

设$[G;\cdot ]$为群，当$|G|=+\infty$，称为无限群；当$|G|=n<+\infty$时，为有限群，且群$G$的阶数为$n$

定理

计算规律

1. 半群G中n个元素$a_1{a}_2\dots a_n$连乘的积，经任意加括号其结果不变(P153,从后归纳)

2. G为群，$a_i\in G，i=1,\dots ,n$，则
   $$(a_1\dots a_n{)}^{-1}=a_n^{-1}\dots a_1^{-1}$$
   P153,用原式直接与等式右边相乘，再用结合律即得

3. 群有指数律 P154

4. G为交换群时，任意$a,b\in G$有$(ab{)}^n=a^n{b}^n$ （P154，分类讨论，n>0时可用递归）

5. 群G有消去律（P154，同乘逆元即得）

群的等价定义

1. 半群$\to$群的要求减半：存在左(右)单位元和左(右)逆元 （p154)

   利用左逆元，找到左逆元的逆元，左逆元到了右边，可证明左逆元也是右逆元

   右单位元:$ge=g(g^{\prime }g)=(g{g}^{\prime })g=g$ ，即左单位元也是右单位元

2. 半群G是群，当且仅当，对任意的$a,b\in G$，必存在$x,y\in G$，使$ax=b,ya=b$。(p155)

   令b=a，可以找到a的左单位元$e_a$，证明$e_a$为左单位元，再令b=$e_a$，则y是左逆元，由上一个定理可得

3. 有限半群G为群，当且仅当运算满足消去律(p155)

   由于满足消去率，对任意$g_1,g_2\in G，g_1\ne g_2$,对任意一个$g\in G，g_{1}g\ne g_{2}g$,由于G为有限群，可构造G到G的映射$g_{1}g$，它为双射，则说明任意$g^{\prime }\in G$，必存在$g$使$g_{1}g=g^{\prime }$，则相当于方程$gx=g^{\prime }$在G中有解，同理方程$yg=g^{\prime }$也有解，由上条定理可得G为群

13.2 变换群、置换群与循环群

克莱因四元群

图一 克莱因四元群

证明：不等边长方形所有对称的集合，关于合成$\circ$构成群

有3种堆成方式，绕a，绕b，关于中心c堆成。

​ 绕a转180°：$1\to 4,2\to 3,3\to 2,4\to 1,$记为$\alpha$

​ 绕b转180°：$1\to 2,2\to 1,3\to 4,4\to 3$,记为$\beta$

​ 关于c对称：$1\to 3,3\to 1,2\to 4,4\to 2$,记为$\gamma$

​ 初始状态:$1\to 1,2\to 2,3\to 3,4\to 4$,记为$e$

符合运算$\circ$表如下：

显然封闭，可结合，$e$是单位元，每个元素以自身为逆元，所以是群。

实际上，克莱因四元群是置换群。

13.2.1 变换群

变换：非空集合$S\to S$的一个双射(一一对应)，称为一一变换。以$S^S$表示$S$上所有映射全体组成的集合，$T(S)$表示所有$S$上一一变换组成的集合。则
S S = { f ∣ f : S → S } T ( S ) = { f ∣ f ∈ S S 且为一一对应 } S^S=\{f|f:S\rightarrow S\}\\ T(S)=\{f|f\in S^S 且为一一对应\} SS={f∣f:S→S}T(S)={f∣f∈SS且为一一对应}
变换群：设$G\subseteq T(S)$,$[G;\circ ]$为群时，称该群为变换群，其中$\circ$为一一变换的合成算法，并称为变换的乘法。

显然$T(S)$是一个变换群，注意变换群的逆元条件证明。

13.2.2 置换群

置换群：$设S\ne \varnothing ，|S|<+\infty ,S$上的一个一一变换称为置换，当$S$上的某些置换关于乘法运算构成群时，为置换群。

**n次对称群 **：若$|S|=n,$设 S = { 1 , 2 , ⋯   , n } S=\{1,2,\cdots,n\} S={1,2,⋯,n}，其置换全体组成的集合一般表示为$S_n$,可知$[S_n;\cdot ]$是一个置换群，被称为n次对称群

$S$上的置换群$\sigma \in S_n$,习惯写成：
$$\sigma =\left(\begin{array}{cccc}1& 2& \cdots & n\\ \sigma (1)& \sigma (2)& \cdots & \sigma (n)\end{array}\right)$$
或
$$\sigma =\left(\begin{array}{cccc}{i}_1& i_2& \cdots & i_n\\ \sigma (i_1)& \sigma (i_2)& \cdots & \sigma (i_n)\end{array}\right)$$
​ 顺序是无关紧要的，它表示在置换$\sigma$之下$i$的象为$\sigma (i)\in S$。

​ 容易证明恒等置换$e$为
$$e=\left(\begin{array}{cccc}1& 2& \cdots & n\\ 1& 2& \cdots & n\end{array}\right)$$
​ 上述置换$\sigma$的逆置换${\sigma }^{-1}$是
$${\sigma }^{-1}=\left(\begin{array}{cccc}\sigma (1)& \sigma (2)& \cdots & \sigma (n)\\ 1& 2& \cdots & n\end{array}\right)$$
显然n次对称群是一个有限群，$|S_n|=n!$

循环置换

​ 设$|S|=n,\sigma \in S_n$，形如
$$\sigma =\left(\begin{array}{ccccccc}{i}_1& i_2& \cdots & i_{d-1}& i_d& i_{d+1}& \cdots i_n\\ i_2& i_3& \cdots & i_d& i_1& i_{d+1}& \cdots i_n\end{array}\right)$$
​ 其中$2\le d\le n$，这种形式的置换叫做循环置换，称其循环长度为$d$。特别地，当$d=2$时被称为对换。

​ 上述$\sigma$又可写为$\sigma =(i_1\cdots i_d)$,意为$\sigma (i_j)=i_{j+1}$,在变换$\sigma$下的象是自身的元素不再写出。

​ 如果两个循环置换$A=(i_1,i_2,\cdots ,i_s)$和$B=(j_1,j_2,\cdots ,j_s)$满足$A\cap B=\varnothing$,称这两个循环置换不相交，或没有公共元。同时，认为单位置换和任何循环置换不相交。显然，不相交的两循环置换满足交换律。（但不是所有满足交换律的置换都不相交）

定理推论：

1.$S_n$中的任一个置换均可分解为不含公共元的若干个循环置换的乘积。（p158)

使用归纳法，将置换分为两部分，k和n-k，由归纳可得

2.任意一个置换可以分解为若干个对换的乘积

注意到$(i_1{i}_2\cdots i_d)=(i_1{i}_2)(i_2{i}_3)\cdots (i_{d-1}{i}_d)$

偶置换、奇置换：一个置换的对换分解式中，对换因子的个数是偶数时，称该置换为偶置换，否则，称为奇置换。

3.一个长度为$k$的循环置换，当$k$为奇数时，它是一个偶置换，否则为奇置换(奇偶性相反)

由2很容易得出

4.每个偶置换均可分解为若干个长度为3的循环置换的乘积，循环置换中含有公共元。

注意到$(ab)(cd)=(ab)(bc)(bc)(cd)=(abc)(bcd)$(从后往前算)

5.奇偶置换在置换的乘法运算后的奇偶性

$\cdot$	偶置换	奇置换
偶置换	偶	奇
奇置换	奇	偶

n次交待群：对称群$S_n$中所有偶置换(奇长度)组成的集合，记为$A_n$,关于置换的乘法构成群，称$[A_n;\cdot ]$为n次交待群，显然$S_n$中奇偶各占一半，则$A_n$的阶为$\lceil \frac{n!}{2}\rceil$

13.2.3 循环群

元素的阶：$G$为群，$a\in G,\exists k,l\in Z,k\ne l$,使$a^k=a^l$，则$a^{k-l}=e$,使$a^n=e$的最小正整数设为$n$,称$n$为元素$a$的阶；也可以称$a$为n阶元。如果$a$的任意两个幂都不相等，就称$a$为无限阶元或说$a$的阶是无限的。

定理1 阶整除

$G$为群，$a\in G$,阶为$n$，有$m\in Z,a^m=e$当且仅当$n|m$。

充分性是显然的，必要性可反证，如果不整除，则有比n更小的数。

循环群：群$G$,若有$a\in G,\forall g\in G,\exists k\in Z$,有$g=a^k$,就说群$G$可以由元素$a$生成，是循环群；$a$是它的一个生成元，将它表示成$G=(a)$。当$G$的阶有限时，称为有限循环群，否则称为无限循环群。

定理2 循环群同构

$G$为循环群，$a$为其一生成元，则$G$的结构完全由元素$a$的阶决定。(p162)

从同构意义上说，循环群只有两个，一个同构于加法群$[Z;+]$,另一个同构于同余加法群$[Z_n;\oplus ]$,分别证明同构即可，主要是通过生成元的生成元素不相等构造一一映射关系。
奇置换不满足封闭性，不构成群

13.3 子群、正规子群与商群

13.3.1 子群

子群：$[G;\cdot ]$为群，$H\subseteq G，H\ne \varnothing ,[H;\cdot ]$也为群时，称它为$G$的子群，若$H$为$G$的真子集，则称$H$为$G$的真子群。 G 、 { e } G、\{e\} G、{e}称为平凡子群，其余为非平凡子群

子群的判断：

定理3（封闭逆元）：$[G;\cdot ]$为群，$H\subseteq G$。$H$是$G$的子群，当且仅当(1)$\cdot$关于$H$封闭 (2)$\forall h\in H,h^{-1}\in H$(p163)

主要是充分性，由封闭和性质2可知，单位元e在H中，又由$H\subseteq G$，可知满足结合律，则H是群

定理4（$a{b}^{-1}$）：$[G;\cdot ]$为群，$H\subseteq G$。$H$是$G$的子群，当且仅当$\forall a,b\subseteq H,$有$a{b}^{-1}\subseteq H$。(p163)

也主要是充分性，结合律、单位元、逆元都是比较容易的，关于封闭性，即$\forall a,b\in H,ab\in H$,易知$b^{-1}\in H$,即得

定理5（有限群封闭）:$G$为群，$H\ne \varnothing ,H\subseteq G,|H|<+\infty$,则$H$为$G$的子群，当且仅当运算$\cdot$在$H$中满足封闭性(p163)

主要证明充分性，$\cdot$的结合律和消去律是显然满足的。利用$H$是有限集，则$\forall a\in H,\exists i,j\in Z,i\ne j$,有$a^i=a^j$，立即得到单位元和逆元

推论：$H$为$G$的子群时，$H$的单位元就是$G$的单位元，$a\in H$在$H$中的逆元就是它在$G$中的逆元$a^{-1}$(p163)

13.3.2 陪集

陪集：$H$为$G$的子群， 取$G$中一个固定元素$g$，用$g$与$H$中的每个元素进行乘法运算，将其结果组成一个集合，记为$gH$,即 g H = { g h ∣ h ∈ H } gH=\{gh|h\in H\} gH={gh∣h∈H}，称它为$H$的左陪集，同理定义 H g = { h g ∣ h ∈ H } Hg=\{hg|h\in H\} Hg={hg∣h∈H}为$H$的右陪集。

由定义可知$e\in G,$所以$H$也是一个陪集，在一般情况下$Hg\ne gH$

陪集的性质：

引理1 陪集大小与子集相同

$H\subseteq G$是子群且为有限阶，那么任一$g\in G$所构成的陪集$|gH|=|H|,|Hg|=|H|$(p166)

定义映射$\varphi :H\to Hg,$对$h\in H,$有$\varphi (h)=hg$，是一个一一映射。该引理的结论可扩展到无限阶。

引理2 陪集要么相等，要么不相交

$H$为$G$的子群，$g_1,g_2\in G$，两个右陪集$H{g}_1,H{g}_2$，则$H{g}_1=H{g}_2$或$H{g}_1\cap H{g}_2=\varnothing$(p166,较重要)

反证，假设有交集，则$h_1{g}_1=h_2{g}_2=g，g_1=h_1^{-1}{h}_2{g}_2$则$g_1=h_3{g}_2，h_3=h_1^{-1}{h}_2\in H$

$\forall h{g}_1\in H{g}_1$，有$h{g}_1=h(h_3{g}_2)=(h{h}_3)g_2\in H{g}_2$，则$H{g}_1\subseteq H{g}_2$,同理$H{g}_2\subseteq H{g}_1$，则$H{g}_1=H{g}_2$，矛盾

推论1 所有陪集构成一个划分

$H\subseteq G$是$G$的子群时，其所有右(左)陪集构成对集合$G$的一个划分，即$G=\bigcup _{g\in G}Hg$,其中$Hg\ne H{g}^{\prime }$时，$Hg\cap H{g}^{\prime }=\varnothing$

指数：$H$为$G$的子群，关于$H$的所有不同的左(右)陪集数叫做$H$在$G$中的指数。(一边的陪集数)

定理6 拉格朗日定理

$G$为有限群，$H$为其子群，则$H$的阶可以整除$G$的阶，其相除的商就是$H$在$G$中的指数$k$。(p166)
$$\begin{array}{rlrl}& G& =& \bigcup _{g\in G}Hg\\ & |G|& =& \sum _{g\in G}|Hg|=k|H|\\ & |G|/|H|& =& k\end{array}$$
拉格朗日定理只是$H$为$G$的子群的必要条件，而非充分条件。以4次交待群$A_4$为例，$A_4=4!/2=12$，但它没有6阶子群

推论1：$G$为有限群，其阶为素数$p$，则$G$是循环群(p167)

在G中任取一个不为单位元的元素g，由它可生成一个循环子群 H = ( g ) = { g 0 = e , g 1 , ⋯   , g k − 1 } , ∣ H ∣ = ∣ ( g ) ∣ = k H=(g)=\{g^0=e,g^1,\cdots,g^{k-1}\},|H|=|(g)|=k H=(g)={g0=e,g1,⋯,gk−1},∣H∣=∣(g)∣=k，可知$k||G|=k|p，k\ne 1$，易知$k=p$,则$(g)=G$

推论2： $G$中任意元素的阶整除群的阶

$\forall a\in G，H=(a)$,即$H$是$a$生成的循环子群，那么元素$a$的阶即为子群$H$的阶，已知$|H|||G|$，即得。

13.3.3 正规子群

正规子群：$H$为群$G$的子群，当$\forall g\in G,gH=Hg$,称$H$为$G$的正规子群，也可称为不变子群

易知，任意Abel群的子群都是正规的，而非交换群不一定是。

定理7 正规子群的判断

$H$是$G$的子群，它是正规的当且仅当$\forall g\in G,h\in H,$有$g^{-1}hg\in H$.(p167,莫名感觉像线代)

必要性：由正规可知，有$g{h}^{\prime }=hg$，则$h^{\prime }=g^{-1}g{h}^{\prime }=g^{-1}hg\in H$

充分性：$\forall h\in H$,有$ah=(ah{a}^{-1})a\in Ha$,则$aH\subseteq Ha$,同理$Ha\subseteq aH$

13.3.4 商群

商群：$G$为群，$H$为其正规子群，$G/H$为G关于$H$的商集合，$\square$为$G/H$上关于陪集的运算，则$[G/H;\square ]$是群，称为$G$关于$H$的商群。在$G$是有限阶的群时，$G/H$的阶必有限，且等于正规子群$H$在$G$中的指数$|G|/|H|$。

商集合：$G$为群，$H$为它的正规子群，$G/H$为所有不同的陪集组成的集合， G / H = { H g ∣ g ∈ G } G/H=\{Hg|g\in G\} G/H={Hg∣g∈G},称为$G$关于$H$的商集合。

定义一个$G/h$上的二元关系$\square$：对任意$Hg,H{g}^{\prime }\in G/H$
$$Hg\square H{g}^{\prime }=Hg{g}^{\prime }$$
引理1：如上定义的$G/H$上的二元关系与陪集代表元选取无关，即$\square$是$G/H$上的运算。(p167)

$\forall x^{\prime }\in Hx,y^{\prime }\in Hy,x^{\prime }{y}^{\prime }=x{h}_1^{\prime }y{h}_2^{\prime }=xy{h}_1^{\prime \prime }{h}_2^{\prime }(h_1^{\prime }y=y{h}_2^{\prime \prime })=xyh$,则$x^{\prime }{y}^{\prime }\in Hxy$,类似的有$xy\in H{x}^{\prime }{y}^{\prime }$，故$Hx\square Hy=Hxy=H{x}^{\prime }{y}^{\prime }=H{x}^{\prime }\square H{y}^{\prime }$,这里面的$x^{\prime }\in [x],y^{\prime }\in [y]$

引理2：$[G/H;\square ]$是群(p168)

结合律显然，$He$是单位元，逆元也是存在的

13.4 群的同态与同态基本定理

定理7 Cayley定理

任意有限群必同构于一个同阶的置换群(p168)

构造置换群 ∑ = { σ g ∣ g ∈ G , σ g : G → G } \sum=\{\sigma_g|g\in G,\sigma_g:G\rightarrow G\} ∑={σg​∣g∈G,σg​:G→G},其中${\sigma }_g(g^{\prime })=g{g}^{\prime }$，说明下${\sigma }_g$是一一对应(消去律),以及等式$\phi (g{g}^{\prime })={\sigma }_{g{g}^{\prime }}={\sigma }_g{\sigma }_{g^{\prime }}=\phi (g)\phi (g^{\prime })$即可

例：同阶的循环群是同构的（证明同构关键在于写出合适的同构映射）

证明：设(a),(b)是两个n阶循环群($n\le +\infty$)，定义映射$\phi :(a)\to b,\phi (a^k)=b^k$；由循环群的性质可知映射$\phi$是保持运算的，又由于两个循环群是同阶的，因此$\phi$是一一对应的。于是又$a\cong b$

同态核：$\phi$为群$G\to G^{\prime }$的同态映射(没要求一一对应)，$e,e^{\prime }$分别为$G,G^{\prime }$的单位元。集合 K = { x ∈ G ∣ φ ( x ) = e ′ } K=\{x\in G|\varphi(x)=e'\} K={x∈G∣φ(x)=e′}，称$K$为同态映射$\phi$的核，又称同态核，记为$Ker\phi$,简记为$K(\phi )$.(p169)

容易验证$K$时$G$的子群：

​ 显然又$|K|<+\infty$，且由同态映射可知$\phi (k_1{k}_2)=\phi (k_1)\phi (k_2)=e^{\prime }，k_1{k}_2\in K$，故$K$是封闭的，是子群

$K$也是$G$的正规子群：
$$\begin{array}{rl}\phi (g^{-1}kg)& =\phi (g^{-1})\phi (k)\phi (g)\\ & =\phi (g^{-1})e^{\prime }\phi (g)\\ & =\phi (g^{-1}g)\\ & =e\end{array}$$
对上述$g\in G,k\in K$均是任意的，故$K$是正规子群

自然同态：群$G$同态于它的任一商群$G/H$(p169)

定义映射：$f:G\to G/H,\forall g\in G,f(g)=gH$,显然满射，也满足$f(g{g}^{\prime })=g{g}^{\prime }H=gH\square g^{\prime }H=f(g)\square f(g^{\prime })$,所以$f$是同态映射，这个同态又称为自然同态

定理8 群同态定理

设$\phi$为群$G\to G^{\prime }$的同态映射，$K$为同态核，$\phi (G)\subseteq G^{\prime }$为$G$在$\phi$下的象集，则$G/K\cong \phi (G)$。当$\phi$是满射，即$G$与$G^{\prime }$同态时，$G/K\cong G^{\prime }$.(p169)

定义映射$\Psi :G/K\to G^{\prime },\forall gk\in G/K,\Psi (gK)=\phi (g)$,接下来证明

1.$\Psi$是映射，即没有一对多，取相等的元素xK=yK，又$\Psi (xK)=\Psi (yK)$

2.$\Psi$是内射(一一对应)，取不同元素，得到的象不同

3.$\Psi$是满射，$\phi$是满射，则$\Psi$是满射，至此，证明了$\Psi$是一一对应

4.证明$\Psi (xK\square yK)=\Psi (xK)\Psi (yK)$

图二 群同态关系图