抽象代数 01.03 子群与商群

http://www.icourses.cn 南开大学《抽象代数》

$\text{§1.3 子群与商群}$

抽象代数研究代数体系，常常通过子体系与商体系去研究，它们是子集合与商集合的推广，对群来说，就是子群与商群。
$定义1.3.1设H是群G的一个非空子集，如果H对于G的运算也构成群，$
$则称H为G的一个子群，记作H<G.$
$子群的运算与原群的运算一致，这一点是重要的。因此，子群H的幺元就是原群G的$
幺 元 e ， 子 群 H 中 任 一 元 a 的 逆 元 就 是 在 G 中 a 的 逆 元 a − 1 。 对 任 一 群 G ， H = { e } 与 H 幺元e，子群H中任一元a的逆元就是在G中a的逆元a^{-1}。对任一群G，H = \lbrace e \rbrace与 H 幺元e，子群H中任一元a的逆元就是在G中a的逆元a−1。对任一群G，H={e}与H
$=G都是G的子群，它们称为G的平凡子群，G的其它子群称为非平凡子群。$
例 1 { R + ; ⋅ } &lt; { R ∗ ; ⋅ } , 这 里 R + 表 示 全 体 正 实 数 . { { 1 , − 1 } ; ⋅ } &lt; { R ∗ ; ⋅ } . {\color{blue}例1 \quad} \lbrace \mathbb{R}^{+};\cdot \rbrace &lt; \lbrace \mathbb{R}^{*}; \cdot \rbrace, 这里\mathbb{R}^{+}表示全体正实数. \lbrace \lbrace 1, -1 \rbrace; \cdot \rbrace &lt; \lbrace \mathbb{R}^{*}; \cdot \rbrace. 例1{R+;⋅}<{R∗;⋅},这里R+表示全体正实数.{{1,−1};⋅}<{R∗;⋅}.
{ R + ; ⋅ } 不 是 { R ; + } 的 子 群 ， 虽 然 R + 是 R 的 子 集 合 . \lbrace \mathbb{R}^{+}; \cdot \rbrace 不是 \lbrace \mathbb{R}; + \rbrace 的子群，虽然 \mathbb{R}^{+}是 \mathbb{R}的子集合. {R+;⋅}不是{R;+}的子群，虽然R+是R的子集合.
例 2 设 V 是 数 域 P 上 的 n 维 线 性 空 间 ， S V 为 V 上 的 全 体 可 逆 变 换 ， 由 §1.2  例 6 知 { S V ; ⋅ } {\color{blue}例2 \quad}设V是数域 \mathbb{P} 上的n维线性空间，S_V为V上的全体可逆变换，由 \text{\S1.2 } 例6 知 \lbrace S_V; \cdot \rbrace 例2设V是数域P上的n维线性空间，SV​为V上的全体可逆变换，由§1.2 例6知{SV​;⋅}
$是群。现以GL(V)表示V上全体可逆线性变换的集合，以SL(V)表示V上全体行列$
$式为1的线性变换的集合，则GL(V)<S_V,SL(V)<S_V,SL(V)<GL(V)。我们称$
$GL(V)为V的一般线性群,称SL(V)为V的特殊线性群。$
$由于在n维线性空间中取定一组基后，V上的线性变换与P上的n阶方阵之间就建$
$立了一一对应的关系，所以，也常用G{L}_n(\mathbb{R})表示n阶实可逆方阵的集合关于矩阵$
$乘法构成的群，称为一般线性群，用S{L}_n(\mathbb{R})表示行列式为1的n阶实方阵关于矩阵$
$乘法构成的群，称为特殊实线性群。于是也有S{L}_n(\mathbb{R})<G{L}_n(\mathbb{R})。$
$定理1.3.1设H是群G的非空子集，则下面的条件是等价的:$
$①H<G;$
$②a,b\in H\Rightarrow ab\in H,a^{-1}\in H;$
$③a,b\in H\Rightarrow a{b}^{-1}\in H.$
$证：①\Rightarrow ②:因H是群，对运算封闭，故ab\in H，H中任一元a的逆也在H中。$
$又因H是G的子群，两者的运算是一致的，故a在H中的逆元就是a在G中的逆元$
$a^{-1}，所以a^{-1}\in H。$
$②\Rightarrow ③：据②有b\in H\Rightarrow b^{-1}\in H,又有a,b^{-1}\in H\Rightarrow a{b}^{-1}\in H。故③成立。$
$③\Rightarrow ①：已知H是群G的一个非空子集，下边我们从③按定义1.3.1去证明H<G。$
$即验证H对于G的运算也构成群。因H非空，故H中至少有元素a，而由③，$
$a,a\in H\Rightarrow a{a}^{-1}\in H，即e\in H，从而H中有幺元。又\forall b\in H，由③e,b\in H\Rightarrow$
$e{b}^{-1}\in H，即b^{-1}\in H，即H中任一元有逆元。又\forall a,b\in H，由③a,b^{-1}\in H\Rightarrow$
$a(b^{-1}{)}^{-1}\in H，即ab\in H，故H对运算封闭。又H\subseteq G，而G是群，运算满足$
$结合律，所以其子集H中元素的运算也满足结合律。$
$由以上四点据定义1.2.3知，H对于G的运算构成群。$
$我们常常用定理中的③去验证非空子集H是群G的子群。要注意的是，如果运算记作$
$加法，则③中的a{b}^{-1}\in H，应改为a+(-b)\in H或a-b\in H。$
$若子集H是有限的，则可有更简单的方法验证H是群G的子群。$
$命题1.3.2设H为群G的非空有限子集，则H<G⟺H对G中的运算封闭。$
$证：“\Rightarrow ”：据定义1.3.1立得。$
$“\Leftarrow ”：因G是群，故G中得运算满足结合律和左、右消去律。从而其子集H中的元$
$素对于G中的运算封闭，于是H对G中的运算构成有限半群，又满足左、右消去律。$
$据定理1.2.6，H对G中的运算是群，即H<G。$
$命题1.3.3若H_1,H_2均是群G的子群，则H_1\cap H_2<G。$
$证：因e\in H_1\cap H_2,故H_1\cap H_2是G的非空子集。\forall a,b\in H_1\cap H_2,则有$
$a,b\in H_1和a,b\in H_2,因H_1<G和H_2<G,据定理1.3.1有a{b}^{-1}\in H_1和$
$a{b}^{-1}\in H_2,从而有a{b}^{-1}\in H_1\cap H_2,再据定理1.3.1知H_1\cap H_2<G。$
用同样方法可证，群G的任意多个(可以是无穷多个)子群的交仍是子群。
$定义1.3.2设H是群G的一个子群，a\in G,则$
a H = { a h ∣ h ∈ H } , H a = { h a ∣ h ∈ H } \quad aH = \lbrace ah | h \in H \rbrace, Ha = \lbrace ha | h \in H \rbrace aH={ah∣h∈H},Ha={ha∣h∈H}
$分别称为以a为代表的H的左陪集，右陪集。$
$定理1.3.4设H是群G的子群，则由$
$aRb⟺a^{-1}b\in H$
$所确定的G中的关系R是一个等价关系，且a所在的等价类\bar{a}恰为以a为代表的H的$
左 陪 集 a H 。 故 H 的 全 体 左 陪 集 ( 重 复 的 只 取 一 个 ) 的 集 合 { a H } 是 G 的 一 个 分 类 。 {\color{green}左陪集 aH。故H的全体左陪集(重复的只取一个)的集合 \lbrace aH \rbrace 是G的一个分类。} 左陪集aH。故H的全体左陪集(重复的只取一个)的集合{aH}是G的一个分类。
$证：首先证明R是等价关系。给定G中的a和b后，我们可以唯一地确定a^{-1}b是不是$
$属于H，所以R是G的一个关系。$
$\forall a\in G,a^{-1}a=e\in H,故aRa。即R满足反身性。$
$又若aRb,即a^{-1}b\in H,因H是群，故(a^{-1}b{)}^{-1}\in H,即b^{-1}a\in H,因H是群，$
$故bRa,即R满足对称性。$
$又若aRb,bRc,则a^{-1}b\in H,b^{-1}c\in H,因H是群，(a^{-1}b)(b^{-1}c)\in H,即a^{-1}c\in H,$
$所以aRc,故R满足传递性。$
$据定义1.1.10，R是G的一个等价关系。$
$再证明\forall a\in G,\bar{a}=aH.\forall b\in \bar{a},有aRb,故a^{-1}b\in H,即有h\in H,使a^{-1}b=h,$
$即b=ah\in aH,故\bar{a}\subseteq aH,又\forall b\in aH,即有h\in H,使b=ah,故a^{-1}b=h\in H,$
$即b\in \bar{a},故aH\subseteq \bar{a}。于是\bar{a}=H。$
$据定理1.1.2知，上述等价关系决定集合G的一个分类，每一个类就是该等价关系下$
的 一 个 等 价 类 a ， 现 a ˉ = a H , 故 { a H } 是 G 的 一 个 分 类 。 的一个等价类a，现\bar a = aH,故\lbrace aH \rbrace 是G的一个分类。 的一个等价类a，现aˉ=aH,故{aH}是G的一个分类。
$推论1.3.5设H是群G的子群，a,b\in G,则aH=bH⟺a^{-1}b\in H.$
$定义1.3.3设H是群G的子群，G关于等价关系“aRb⟺a^{-1}b\in H”的商$
$集合G/R称为G对H的左商集,也称为G对H的左陪集空间,也记为G/H.$
$G/H的基数|G/H|称为H在G中的指数，记为[G:H]。$
$应该注意的是,以上叙述中都把群G中的运算记作乘法，并且省去了运算符。$
$如果群G中的运算记作加法，则以a为代表的H的左陪集应该记作a+H=$
{ a + h ∣ h ∈ H } , 导 出 G 对 H 的 左 陪 集 空 间 的 关 系 应 记 作 “ a R b &ThickSpace; ⟺ &ThickSpace; b − a ∈ H ” {\color{#112288}\lbrace a+h | h \in H \rbrace,导出G对H的左陪集空间的关系应记作“aRb \iff b-a \in H”} {a+h∣h∈H},导出G对H的左陪集空间的关系应记作“aRb⟺b−a∈H”
$例4[\mathbb{Z}:m\mathbb{Z}]=m,这里m\in \mathbb{N}.$
$由例3知，m\mathbb{Z}<\mathbb{Z}.于是可以考虑\mathbb{Z}对m\mathbb{Z}的左陪集空间.我们有$
$\mathbb{Z}=(0+m\mathbb{Z})\cup (1+m\mathbb{Z})\cup \cdots \cup ((m-1)+m\mathbb{Z})$
$=\bar{0}\cup \bar{1}\cup \cdots \cup \overline{(m-1)}$
$上述第一个等式把整数加群\mathbb{Z}表成了m个左陪集的并，第二个等式则把\mathbb{Z}表成了m个$
$等价类的并。故[\mathbb{Z}:m\mathbb{Z}]=m.$
$定理1.3.6(Lagrange定理)设G是有限群，H<G,则有$
$|G|=[G:H]\cdot |H|。$
$从而子群H的阶是群G的阶的因子。$
$证:首先，H的任一左陪集aH中的元素个数，都等于H中的元素个数|H|。事实上，$
$\varphi :h\to ah,\forall h\in H$
$是H到aH的双射。$
$其次，根据定理1.3.4，G可以表为H的全体左陪集不相交的并，再据定义1.3.3，这$
$些左陪集的个数是[G:H]，从而G中有[G:H]\cdot |H|个元素，即|G|=[G:H]\cdot |H|。$
$推论1.3.7设G是有限群，K<G,H<K,则有$
$[G:H]=[G:K]\cdot [K:H]。$
$证:据定理1.3.5有$
$|G|=[G:K]\cdot |K|=[G:K]\cdot [K:H]\cdot |H|,$
$|G|=[G:H]\cdot |H|.$
$于是$
$[G:H]\cdot |H|=[G:K]\cdot [K:H]\cdot |H|.$
$约去等号两边的|H|,便完成证明。$
过去我们从“群是有结构的集合”自然想到，群G的子群个数比子集个数会少得多；现在我们知道，群G的子群的阶是|G|的因子，而子集则没有这一要求，所以又一次看出，子群的数目比子集少得多。
从左、右陪集的定义知道，一般地，没有
$aH=Ha,\forall a\in G,$
如果群G的某个子群H有上述性质，则将连带产生许多很好的性质，并可由此导出商群的概念。具有这种性质的子群H，我们将称为G的正规子群。但是，我们更愿意用另一种形式来定义“正规子群”，因为它比较容易用来检验G的一个子群H是不是正规子群。
$定义1.3.4设G是群，H<G,如果有$
$gh{g}^{-1}\in H,\forall g\in G,\forall h\in H,$
$则称H为G的一个正规子群，记为H⊲G.$
$例5平凡子群均是正规子群。$
$例6可换群的任何子群都是正规子群。$
$例7SL(V)⊲GL(V)。$
下面的定理给出正规子群的几个充要条件，也说明了正规子群的形式上不同的定义的等价性。
$定理1.3.8设G是群,H<G,则下边的条件是等价的：$
$①H⊲G；$
$②gH=Hg,\forall g\in G;$
$③g_{1}H\cdot g_{2}H=g_1{g}_{2}H,\forall g_1,g_2\in G。$
这 里 g 1 H ⋅ g 2 H = { g 1 h 1 g 2 h 2 ∣ h 1 , h 2 ∈ H } 。 {\color{green}这里g_1H \cdot g_2H = \lbrace g_1h_1g_2h_2 | h_1, h_2 \in H \rbrace。} 这里g1​H⋅g2​H={g1​h1​g2​h2​∣h1​,h2​∈H}。
$证：①\Rightarrow ②:因H⊲G,故\forall g\in G,\forall h\in H,有$
$gh=gh{g}^{-1}g\in Hg;hg=g{g}^{-1}hg\in gH.故gH=Hg.$
$②\Rightarrow ③:\forall g_1,g_2\in G,考虑g_{1}H\cdot g_{2}H中的任一元素g_1{h}_1{g}_2{h}_2,h_1,h_2\in H,$
$由②有h_1{g}_2\in H{g}_2=g_{2}H,故有h_3\in H,使h_1{g}_2=g_2{h}_3。$
$故g_1{h}_1{g}_2{h}_2=g_1{g}_2{h}_3{h}_2\in g_1{g}_{2}H,从而g_{1}H\cdot g_{2}H\subseteq g_1{g}_{2}H.$
$又g_1{g}_{2}H的任一元g_1{g}_{2}h=g_{1}e{g}_{2}h\in g_{1}H\cdot g_{2}H,从而g_1{g}_{2}H\subseteq g_{1}H\cdot g_{2}H.$
$故g_{1}H\cdot g_{2}H=g_1{g}_{2}H,\forall g_1,g_2\in G.$
$③\Rightarrow ①:已知H<G,现\forall g\in G,\forall h\in H,由③有gh{g}^{-1}=gh{g}^{-1}e\in gH\cdot g^{-1}H$
$=g{g}^{-1}H=eH=H,据定义1.3.4知H⊲G.$
一般地，子群H的两个左陪集的乘积不一定仍是左陪集，但由定义1.3.8知，当H是G的正规子群的时候，两个左陪集的乘积一定是左陪集，并且乘积的代表元就是原来两个左陪集代表元的乘积。
$定理1.3.9设G是群，H<G,R是G中由“aRb⟺a^{-1}b\in H”定义的关系，则$
$R是G中的同余关系⟺H⊲G.$
$此时，商集合G/R对同余关系R导出的运算也构成一个群，称为G对H的商群$
$，记为G/H。$
$证:“\Leftarrow ”：定理1.3.4已经告诉我们，上述R是G中的一个等价关系。$
$现设a_{1}R{b}_1,a_{2}R{b}_2,去证a_1{a}_{2}R{b}_1{b}_2。即要证(a_1{a}_2{)}^{-1}(b_1{b}_2)\in H,因$
$(a_1{a}_2{)}^{-1}(b_1{b}_2)=a_2^{-1}(a_1^{-1}{b}_1)a_2{a}_2^{-1}{b}_2,$
$而a_1^{-1}{b}_1\in H,a_2^{-1}{b}_2\in H及由H⊲G知a_2^{-1}(a_1^{-1}{b}_1)a_2\in H,$
$故(a_1{a}_2{)}^{-1}(b_1{b}_2)\in H.据定义1.1.15知,R关于群G中的运算是同余关系。$
$“\Rightarrow ”：现设R是G中的同余关系，去证H⊲G.已知H<G,下\forall g\in G,$
$\forall h\in H,证明gh{g}^{-1}\in H.因为g^{-1}(gh)=h\in H.故gR(gh).又有g^{-1}R{g}^{-1}.$
$再据R是G中的同余关系知,g{g}^{-1}R(gh)g^{-1},即eRgh{g}^{-1},按R的定义,$
$e^{-1}gh{g}^{-1}\in H,这就是gh{g}^{-1}\in H.$
$事实上，这充要条件也可以从\text{§1.1}最后两个自然段关于同余关系导出商集合中$
$的一个运算，以及定理1.3.7中①⟺③，很简单地得出来。此时，\text{§1.1}中的$
$\bar{a}\bar{\circ }\bar{b}=\overline{(a\circ b)},\forall a,b\in A.$
$就是$
$aH\cdot bH=(a\cdot b)H,\forall a,b\in G,$
$即\forall aH,bH\in G/R,aH\cdot bH=(a\cdot b)H.$
$从而这就是在左陪集空间(左商集)中定义的二元运算。这一运算满足结合律，$
$因为\forall aH,bH,cH\in G/R,有$
$(aH\cdot bH)\cdot cH=abH\cdot cH=(abc)H=aH\cdot (bc)H=aH\cdot (bH\cdot cH)$
$这一运算有左幺元eH,因为\forall aH\in G/R,有$
$eH\cdot aH=(ea)H=aH.$
$G/R中任一元aH有左逆元a^{-1}H,因为$
$a^{-1}H\cdot aH=(a^{-1}a)H=eH.$
$所以商集合G/R对于同余关系R导出的运算也构成一个群，我们称之为G对H的$
$商群，记为G/H。商群中的幺元eH常常记为H。$
要注意的是，只有对G中的正规子群H，才能谈论商群；对一般的子群不能谈商群，只能谈左陪集空间(左商集)。
例 8 由 于 平 凡 子 群 都 是 正 规 子 群 ， 故 有 商 群 G / { e } 和 G / G , 事 实 上 ， {\color{blue}例8\quad}由于平凡子群都是正规子群，故有商群G/ \lbrace e \rbrace 和G/G,事实上， 例8由于平凡子群都是正规子群，故有商群G/{e}和G/G,事实上，
G / { e } 的 结 构 与 G 是 一 样 的 ， 而 G / G 中 只 有 一 个 元 素 G . G/ \lbrace e \rbrace 的结构与G是一样的，而G/G中只有一个元素G. G/{e}的结构与G是一样的，而G/G中只有一个元素G.
例 9 由 于 整 数 加 群 { Z ; + } 是 可 换 群 ， 故 其 任 一 子 群 m Z 是 Z 的 正 规 子 群 ， {\color{blue}例9\quad}由于整数加群 \lbrace \mathbb{Z}; + \rbrace 是可换群，故其任一子群 m \mathbb{Z} 是 Z的正规子群， 例9由于整数加群{Z;+}是可换群，故其任一子群mZ是Z的正规子群，
$所以有商群\mathbb{Z}/m\mathbb{Z}.据例4知$
Z / m Z = { 0 ˉ , 1 ˉ , ⋯ &ThinSpace; , ( m − 1 ) ‾ } . \qquad \mathbb{Z} / m \mathbb{Z} = \lbrace \bar 0, \bar 1, \cdots, \overline{(m-1)} \rbrace. Z/mZ={0ˉ,1ˉ,⋯,(m−1)​}.
$注意到\mathbb{Z}中的运算是加法，所以商群中的运算通常记为加法，$
$于是\overline{r_1}+\overline{r_2}=\overline{r_1+r_2}=\overline{r},其中r是这样得到的：$
$r_1+r_2=qm+r,0\le r<m.$
$这个群通常简记为{\mathbb{Z}}_m,称为模m的剩余类加群。$