172子群 ■子群定义 ■子群判别定理 重要子群的实例 生成子群 中心 正规化子 共轭子群 子群的交 子群格
1 17.2 子群 子群定义 子群判别定理 重要子群的实例 生成子群 中心 正规化子 共轭子群 子群的交 子群格
子群定义 定义设G为群,H是G的非空子集,若H关于G中运 算构成群,则称H为G的子群,记作HG. 如果子群H是G的真子集,则称为真子群,记作H<G 说明:子群H就是G的子代数 假若H的单位元为e,且x在H中相对e的逆元为x, e=x=xe→e=e xx=e=e=xx1→x2=x1
2 子群定义 定义 设G为群, H是G 的非空子集，若H 关于G 中运 算构成群，则称 H 为G 的子群，记作 H≤G. 如果子群H 是G 的真子集，则称为真子群，记作H<G. 说明：子群H 就是G 的子代数. 假若H 的单位元为 e’, 且 x 在H 中相对 e’ 的逆元为 x’, 则 xe’= x = xe ⇒ e’ = e xx’ = e’ = e = xx−1 ⇒ x’= x−1
子群判定定理 定理1G是群,H是G的非空子集,则 压G分Va,b∈H,mb∈H,b-l∈H 证:只证充分性 H非空,存在a属于H, 由条件2,a1属于H, 由条件1,有aa1属于H,即e属于H
3 子群判定定理一 定理 1 G 是群，H 是 G 的非空子集，则 H≤ G ⇔ ∀a,b ∈ H, ab ∈ H, b − 1 ∈ H 证：只证充分性 . H 非空，存在 a 属于 H， 由条件 2，a − 1属于 H， 由条件 1，有aa − 1属于 H, 即 e 属于 H
子群判定定理二和三 定理2G是群,H是G的非空子集,则 压G分Va,b∈H,ab-l∈H 证充分性.H≠团→玉b∈H b∈H→bb-1∈H→e∈H Va,a∈H→el∈H→l∈H Va,b,a,b∈H→a,b-l∈H →m(b-)1∈H→mb∈H 定理3G是群,H是G的有限非空子集,则 KGVa,b∈Hab∈H 证明见教科书
4 子群判定定理二和三 定理 2 G是群， H是 G的非空子集，则 H≤ G ⇔ ∀a,b ∈ H, ab − 1 ∈ H 证 充分性. H ≠ ∅ ⇒∃ b ∈ H b ∈ H ⇒ bb − 1 ∈ H ⇒ e ∈ H ∀ a, a ∈ H ⇒ ea − 1 ∈ H ⇒ a − 1 ∈ H ∀a,b, a,b ∈ H ⇒ a , b − 1 ∈ H ⇒ a ( b − 1 ) − 1 ∈ H ⇒ ab ∈ H 定理 3 G是群，H 是 G 的有限非空子集，则 H≤ G ⇔ ∀a,b ∈ H, ab ∈ H 证明见教科书
重要子群的实例 a生成的子群<m>={|k∈Z},a∈G B生成的子群<B>=∩{HHG,BCH},BG <B>={b“b2…bn|b1∈B,e1=土1,i=12,,n,n∈Z+} 中 C={a|a∈G,vx∈G(ax=xa)} a的正规化子Na)={x|x∈G,xa=ax},aeG H的正规化子NH={x|x∈G,xHx=H},H≤G 共轭子群xHx1={xhx|heH 其中HG,xeG 子群的交 H,K<G,则 (1)HnK≤G (2)压KsG兮 HckVKcH
5 重要子群的实例 a生成的子群 < a> = { a k | k ∈ Z } ， a ∈ G B生成的子群 <B> = ∩{ H | H≤ G, B ⊆H }, B ⊆ G <B> = 中心 C = { a | a ∈ G, ∀ x ∈ G (ax=xa) } a 的正规化子 N( a) = { x | x ∈ G, xa=ax }, a ∈ G H 的正规化子 N(H) = { x | x ∈ G, xHx− 1 =H }, H≤ G 共轭子群 xHx− 1 = { xhx −1 | h ∈ H } 其中 H≤ G, x ∈ G 子群的交 H, K≤ G, 则 (1) H∩ K≤ G (2) H∪ K≤ G ⇔ H⊆K∨K⊆H { ... | , 1, 1,2,..., , } 1 2 1 2 + b b b bi ∈ B ei = ± i = n n ∈ Z e n e e n