教材:《离散数学》第2版 屈婉玲 耿素云 张立昂 高等教育出版社
源文档高清截图在最后
10.2 子群与群的陪集分解
1、设群<G,>,群<H,>的集合H是G的非空子集(回忆:群是代数系统的一种,有时也分别用子代数系统和代数系统涉及的集合来简记子群和群)。如果H关于G中的运算构成群,就称H是G的子群,记作H ≤ G。如果H是G的子群且HG,则称H是G的真子群,记作H < G。
2、子群的判定定理一:设群G及其非空子集H。H是G的子群当且仅当:
(1)任意a,b∈H,都有ab∈H。(回忆:这里省略了运算符)
(2)任意a∈H,都有a-1∈H。
证明 必要性(左推右)是显然的。因为根据群的定义,群的运算必须是封闭的,且群的集合的每个元素都具有逆元。
下面证明充分性(右推左)。条件(1)和(2)分别已知群的运算封闭性、构成群的集合的每个元素都具有逆元。因为H是G的子群,也就是说H的参与运算的元素全部来自G。而G是一个群,也就是说群H的运算符合结合律(注意,子群和群的构成成分中,两个集合是包含关系,而运算的性质是完全相同的)。所以,只需证明H存在单位元,即e∈H。
因为H非空,所以设a∈H。由(2)知:a-1∈H。再由(1)知:aa-1∈H。即e∈H。证毕。
3、子群的判定定理二:设群G及其非空子集H。H是G的子群当且仅当:
(1)任意a、b∈H,都有ab-1∈H。
证明 必要性。任取a、b∈H,由于H是G的子群,必有b-1∈H。从而ab-1∈H。
充分性。因为H非空,所以设a∈H。根据(1),令b = a,就有aa-1∈H。即e∈H。任取a∈H。因为e∈H,所以ea-1∈H。即a-1∈H。任取a、b∈H,仿照刚才的证明(“任取a∈H。因为e∈H……”),有ab-1∈H,即b-1∈H。再由(1),得a(b-1)-1∈H,即ab∈H。单位元、逆元、结合律均予以证明,所以H是群。又H是G的非空子集,所以H是G的子群。
4、子群的判定定理三:设群G及其非空子集H。如果H是有穷集,则H是G的子群当且仅当:
(1)任意a,b∈H,都有ab∈H。
证明 必要性是显然的。为了证明充分性,结合判定定理一的证明过程,只需证明:对任意a∈H,都有a-1∈H。
任取a∈H。若a = e,则a-1 = e-1 = e∈H。若a≠e,令S = {a,a2,…