近世代数-群论基础二

近世代数-群论基础二

子群与陪集

设$G$按运算$\circ$形成群，$H$为群$G$的非空子集。若$H$按照运算$\circ$ （在笛卡尔集$H\times H$上限制）也形成群，则称$H$为$G$的子群；记为$H\le G$.

笛卡尔集

$A,B$均为集合，$A\times B$为$A$和$B$的笛卡尔积，是所有有序偶$(a,b)$的集合，其中$a$是来自$A$的元素，$b$是来自$B$的元素

A × B = { ( a , b ) ∣ a ∈ A 且 b ∈ B } A\times B=\{(a,b)|a\in A且b\in B\} A×B={(a,b)∣a∈A且b∈B}，此时$A\times B$所形成的集合称为笛卡尔集

而这里引用笛卡尔集$H\times H$的写法是为了说明在群的通过运算得到的结果在封闭空间$H$内的性质

---

子群与群的关系

设$H$为群$G$的子群，则$H$的单位元$e_H$就是$G$的单位元$e$

证明
$$\begin{gathered} e_H{e}_H=e_H=e{e}_H \\ \Rightarrow e_H=e \end{gathered}$$
$a\in H$在$H$中的逆元$a_H^{-1}$就是$a$在$G$中的逆元$a^{-1}$

定理4.1 （子群判别定理） 设$H$为群$G$的非空子集，则以下性质等价

$(i)H\le G$

$(ii)$$H$对乘法封闭，对求逆也封闭（当$a\in H$时，必有$a^{-1}\in H$）

$(iii)$$H$对右除法封闭（当$a,b\in H$时，$a{b}^{-1}\in H$）

证明：其中$(i)\Rightarrow (ii)\Rightarrow (iii)$显然

$(iii)\Rightarrow (i)$ 任取$a\in H$，由已知得$e=a{a}^{-1}\in H且a^{-1}=e{a}^{-1}\in H$.（单位元$e\in H$ 且 $H$对求逆封闭）取$h\in H$，则$ha=h(a^{-1}{)}^{-1}\in H$.（$H$对乘法封闭）

综上，要验证群$G$得某个子集$H$为$G$的子群，一般先验证$e\in H$，再验证$H$对右除法封闭

例子，${\mathbb{Q}}^{\ast }\le {\mathbb{R}}^{\ast }\le {\mathbb{C}}^{\ast }$，$S{L}_n(\mathbb{R})\le G{L}_n(\mathbb{R})$

${\mathbb{Q}}^{\ast }$：非零有理数构成的群；${\mathbb{R}}^{\ast }$：非零实数构成的群；${\mathbb{C}}^{\ast }$：非零无理数构成的群

定理4.2 群$G$的若干个子群的交也是$G$的子群

群的子集的乘积

设$G$为群，对于$X,Y\subseteq G$，定义
X − 1 = { x − 1 : x ∈ X } , X Y = { x y : x ∈ X 且 y ∈ Y } X^{-1}=\{x^{-1}:x\in X\},XY=\{xy:x\in X且y\in Y\}\\ X−1={x−1:x∈X},XY={xy:x∈X且y∈Y}
对于$X,Y,Z\subseteq G$时$(X^{-1}{)}^{-1}=X$且$(XY)Z=X(YZ)$

设$H\le G$.
∵ H 对 求 逆 元 封 闭 ∴ H = H − 1 ∵ H = { h e : h ∈ H } ⊆ H H ⊆ H ∴ H H = H \begin{aligned} &\because H对求逆元封闭\\ &\therefore H=H^{-1}\\ &\because H=\{he:h\in H\}\subseteq HH \subseteq H\\ &\therefore HH = H \end{aligned} ​∵H对求逆元封闭∴H=H−1∵H={he:h∈H}⊆HH⊆H∴HH=H​
定理4.3 设$H$与$K$都是群$G$的子群，则
$$HK\le G⟺HK=KH$$
证明

$\Rightarrow$（充分性证明）：$KH=K^{-1}{H}^{-1}=(HK{)}^{-1}=HK$

$\Leftarrow$（必要性证明）：$e=ee\in HK$.（单位元$e\in HK$）；
$$(HK)(HK{)}^{-1}=HK{K}^{-1}{H}^{-1}=HKH=H(HK)=HHK=HK$$
（$HK$对右除法封闭）

子集的陪集（陪集本身不是$G$的子群）

设$G$为群，$H\le G$，对于$a\in G$
a H = { a h : h ∈ H } , H a = { h a : h ∈ H } aH=\{ah:h\in H\},Ha=\{ha:h\in H\} aH={ah:h∈H},Ha={ha:h∈H}
称$aH$为$a$所在的$H$的左陪集，$Ha$为$a$所在的$H$的右陪集

对于$h\in H$，令$f(h)=ah$，易知，$f$是$H$到$aH$的单射。由于$f$又是$H$到$aH$的满射，有结论$|aH|=|H|$；同理$|Ha|=|H|$

PS：$|aH|=|H|$是集$aH$与集$H$的基数相同，也即是两个集合的元素之间可以一一对应

陪集相等的条件

设$H\le G,h\in G$.由$H$的可除性条件
$$hH=H⟺h\in H⟺Hh=H$$
（对于$h$相等的情况下，要使得陪集相等，需要$h\in H$）

对于$a,b\in G$，
$$\begin{gathered} aH=bH⟺b^{-1}aH=H⟺b^{-1}a\in H \\ Ha=Hb⟺Ha{b}^{-1}=H⟺a{b}^{-1}\in H \end{gathered}$$
若$x\in aH\cap bH$，则$a^{-1}x\in H且b^{-1}x\in H$，从而$aH=xH=bH$

类似地，$Ha\cap Hb\ne \varnothing \Rightarrow Ha=Hb$

（对于两个不同的子陪集，无公共元素）

子群的指标

定理4.4 设$H$为群$G$的子群，则
∣ { a H : a ∈ G } ∣ = ∣ { H a : a ∈ G } ∣ |\{aH:a\in G\}|=|\{Ha:a\in G\}| ∣{aH:a∈G}∣=∣{Ha:a∈G}∣

（$H$在$G$中的左陪集的个数与右陪集的个数相等）

证明：定义 S = { a H : a ∈ G } S=\{aH:a\in G\} S={aH:a∈G}到 T = { H a : a ∈ G } T=\{Ha:a\in G\} T={Ha:a∈G}的映射$f$为双射（一一对应的关系）

当$H\le G$时， ∣ { a H : a ∈ G } ∣ = ∣ { H a : a ∈ G } ∣ |\{aH:a\in G\}|=|\{Ha:a\in G\}| ∣{aH:a∈G}∣=∣{Ha:a∈G}∣叫作$H$在$G$中的指标，记为$[G:H]$

陪集分解

设$H\le G$，$H$在$G$中所有不同的左陪集两两不相交，它们的并为$G$；把$G$写作不同的$H$左陪集的并叫做$G$按子群$H$进行左陪集分解（同理右陪集分解）

定理4.5 拉格朗日定理 设$H$为有限群$G$的子群，则$|H|$整除$|G|$，且$[G:H]=\frac{|G|}{|H|}$

证明：
$$\begin{array}{rl}& 设[G:H]=k,将G按H进行左陪集分解\\ & 故G=a_{1}H\cup \cdots \cup a_{k}H\\ & \because a_{i}H之间两两不相交且|a_{i}H|=|H|\\ & \therefore |G|=k|H|\end{array}$$

子群指标的性质与应用

子群指标的基本性质

定理 5.1 设$k\le H\le G$，且$[G:H]$与$[H:K]$有穷，则
$$[G:H][H:K]=[G:K]$$
定理 5.2 设$H$与$K$都是群$G$的子群，则
∣ { H g : g ∈ G 且 H g ⊆ H K } ∣ = [ K : H ∩ K ] |\{Hg:g\in G且Hg\subseteq HK\}|=[K:H\cap K] ∣{Hg:g∈G且Hg⊆HK}∣=[K:H∩K]
特别地，$[G:H]$有穷时，$[K:H\cap K]$也有穷，且
$$[K:H\cap K]\le [G:H]$$
定理 5.3（庞加莱Poincare定理） 若$H_1,\cdots ,H_n$ 都是群$G$的指标有穷的子群，则$H_1\cap \cdots \cap H_n$ 在$G$中指标也有穷，且
$$[G:\underset{i=1}{\bigcap ^n}{H}_i]⩽\stackrel{n}{\prod _{i=1}}[G:H_i]$$
定理 5.4 设$G$为$n$阶群，则对任何$a\in G$有$a^n=e$

---

欧拉函数$\varphi (m)$阶群$U_m$

设$m$为正整数，
U m = { a ‾ = a + m Z : a ∈ Z , g c d ( a , m ) = 1 } U_m=\{\overline{a}=a+m\mathbb{Z}:a\in \mathbb{Z},gcd(a,m)=1\} Um​={a=a+mZ:a∈Z,gcd(a,m)=1}
按剩余类的乘法形成交换半群，且$|U_m|=\varphi (m)$

半群：在集合中，任意$x,y$经过一元运算$x\circ y$得到的结果依然是在该集合内的，且满足结合律

Euler定理 $a^{\varphi (m)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$（$gcd(a,m)=1$）

证明：

U m = { a ‾ = a + m Z : a ∈ Z , g c d ( a , m ) = 1 } U_m=\{\overline{a}=a+m\mathbb{Z}:a\in \mathbb{Z},gcd(a,m)=1\} Um​={a=a+mZ:a∈Z,gcd(a,m)=1}为$\varphi (m)$阶Abel群。任意与$m$互素的整数$a$，由于$\overline{a}\in U_m$，有${\overline{a}}^{\varphi (m)}=\overline{1}$（$n$阶群的任一个元素的$n$次方等于单位元）；于是
$$\overline{a^{\varphi (n)}}=\overline{1}\Rightarrow a^{\varphi (m)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$$
费马小定理 设$p$为素数，则对任何$a\in \mathbb{Z}$有$a^p\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p)$或者表示为$a^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

元素的阶与循环群

群中元素的阶 设$a$为群$G$的元素。如果有正整数$n$使得$a^n=e$，则称最小的这样的正整数$n$为$a$的阶，用$o(a)$表示$a$的阶（$o(a)$可能为无穷）

• 当$o(a)$无穷时，$a^i$，$a^j$ 两两不同；证明，当$k,m\in \mathbb{Z}$

$$a^k=a^m⟺a^{k-m}=e⟺a^{|k-m|}=e⟺k=m$$

• 当$o(a)=n$时，

假设群$G$中元$a$的阶为$n$；对于$k,m\in \mathbb{Z}$，写作$k-m=nq+r$（其中$q,r\in \mathbb{Z}$且$0⩽r⩽n-1$），则
$$\begin{gathered} a^k=a^m\Rightarrow a^{k-m}=e⟺(a^n{)}^q\cdot a^r=a^r=e \\ ⟺r=0\Rightarrow k\equiv m(\mathrm{m}\mathrm{o}\mathrm{d}n) \end{gathered}$$
特别地，$a^k=e=a^0$当且仅当$n|k$

$o(a^m)$与$o(a)$的关系

定理6.1 设群$G$中元$a$的阶为正整数$n$（$o(a)=n$），则对任何$m\in \mathbb{Z}$有$o(a^m)=\frac{n}{gcd(m,n)}$

证明

当对于整数$k$使得$a^{mk}=e$
$$\begin{array}{rl}& (a^m{)}^k=a^{mk}=e\\ & ⟺n|mk\\ & ⟺\frac{n}{(m,n)}|\frac{m}{(m,n)}k\\ & ⟺\frac{n}{(m,n)}|k\end{array}$$
循环群

对于群$G$的非空子集$X$，由$X$生成的$G$的子群
$$<X>=\bigcap _{X\subseteq H⩽G}H$$
以上是包含$X$的$G$的最小子群，可知
< X > = { x 1 m 1 ⋯ x k m k : k ∈ Z + , x 1 , ⋯   , x k ∈ X 且 m 1 , ⋯   , m k ∈ Z } <X>=\{x_1^{m_1}\cdots x_k^{m_k}:k\in \mathbb{Z}^{+},x_1,\cdots,x_k\in X且m_1,\cdots,m_k\in\mathbb{Z} \} <X>={x1m1​​⋯xkmk​​:k∈Z+,x1​,⋯,xk​∈X且m1​,⋯,mk​∈Z}
X = { a 1 , ⋯   , a n } X=\{a_1,\cdots,a_n\} X={a1​,⋯,an​}时可用$<a_1,\cdots ,a_n>$表示$<X>$

群$G$为循环群，指存在$a\in G$使得 G = < a > = { a m : m ∈ Z } G=<a>=\{a^m:m\in\mathbb{Z}\} G=<a>={am:m∈Z}，这样的$a$叫做循环群$G$的生成元

循环群的例子

若$G=<a>$为无穷循环群，则$o(a)$为无穷且各$a^k$（$k\in \mathbb{Z}$）两两不同

• 任给正整数$m$，加法群$m\mathbb{Z}$为无穷循环群，$m$为其生成元。特别地，整数加群$\mathbb{Z}$是由$1$生成地无穷循环群（$m$取$1$时）
• 如果$G=<a>$为有限循环群，则$o(a)$是个正整数$n$，且$G$恰有$n$个不同元$a^r$（$r=0,\cdots ,n-1$）
• 任给正整数$n$，乘法群

C n = { z ∈ C : z n = 1 } = { e 2 π i r n : r = 0 , ⋯   , n − 1 } C_n=\{z\in\mathbb{C}:z^n=1 \}=\{e^{2\pi i\frac{r}{n}}:r=0,\cdots,n-1 \} Cn​={z∈C:zn=1}={e2πinr​:r=0,⋯,n−1}

为$n$阶循环群，$e^{2\pi \frac{i}{n}}$为生成元；$\mathbb{C}$为复数集合

引理 6.1 循环群的子群仍为循环群

证明：

设$H⩽G=<a>$，若 H = { e } H=\{e\} H={e}，则显然$H=<e>$;

当$H$中有非单位元，于是有正整数$n$使得$a^n\in H$，

令 d = m i n { n ∈ Z + : a n ∈ H } d=min\{n\in\mathbb{Z}^+:a^n\in H\} d=min{n∈Z+:an∈H}，则$<a^d>\subseteq H$

又$H\subseteq G ={a^m:m\in\mathbb{Z}} $

若$a^m\in H$且$m=dq+r$（其中$q,r\in \mathbb{Z}$且$0⩽r<d$）则$a^r=a^m(a^d{)}^{-q}\in H$，从而$r=0,a^m=a^{dq}\in <a^d>$

定理 6.2 无穷循环群$G=<a>$的所有不同子群为
$$H_n=<a^n>(n=0,1,2,\cdots )$$
其中$H_1,H_2,H_3,\cdots$均为无穷循环群

证明：

$n=0$时， H 0 = { e } H_0=\{e \} H0​={e}为$G$的一阶循环子群；

又$a^k$两两不同，$n\in {\mathbb{Z}}^{+}$时$H_n$为$G$的无穷循环子群

$\therefore H_n(n=0,1,2,\cdots )$ 两两不同， m i n { k ∈ Z + : a k ∈ H n } = n ( n = 1 , 2 , 3 , … ) min\{k\in \mathbb{Z}^+ :a^k\in H_n\}=n(n=1,2,3,…) min{k∈Z+:ak∈Hn​}=n(n=1,2,3,…)

任给$H⩽G$，由引理6.1有$m\in \mathbb{Z}$使得$H=<a^m>$；令$n=|m|$，则$H=<a^m>=H_n$

定理 6.3 设$G=<a>$为$n$阶循环群，$d$为正整数；$d$不整除于$n$时，$G$无$d$阶子群，$d|n$时$H_d=<a^{\frac{n}{d}}>$为$G$唯一的$d$阶子群

定理 6.4 设$G$为$p^n$阶群，这里$p$为素数且$n\in {\mathbb{Z}}^{+}$，则$G$必含$p$阶元

证明：

任取$a\in G$，依拉格朗日定理，$o(a)=|<a>|$整除$|G|=p^n$.于是$1⩽m⩽n$使得$o(a)=p^m$，显然$a^{p^{m-1}}$的阶为$p$

定理4.5 拉格朗日定理 设$H$为有限群$G$的子群，则$|H|$整除$|G|$，且$[G:H]=\frac{|G|}{|H|}$

推论 6.1 素数阶群必为循环群

$Reference$

近世代数_中国大学MOOC(慕课) (icourse163.org)