离散数学第7章 群环与域.ppt

说明任何群都存在正规子群。 群的非平凡子群，有的是正规子群，有的不是。 【例7.9】证明阿贝尔群的子群都是正规子群。 证明：设?G,*?是阿贝尔群，?H,*?是?G,*?的子群。?a?G， aH=?a*h| h?H?=?h*a| h?H?=Ha 所以，?H,*?是?G,*?的正规子群。 定理7.5.1 设?H,*?是群?G,*?的子群，则下列命题等价。 ⑴ ?H,*?是?G,*?的正规子群。 ⑵ ?g?G，有gH=Hg。 ⑶ ?g?G，有H=g–1Hg，其中，g–1Hg=?g–1*h*g|h?H ?。 ⑷ ?g?G, ?h?H，有g–1*h*g?H。 证明：⑴与⑵的等价性是显然的。 证⑵与⑶的等价性，先由⑵推⑶。 若?g?G，有gH=Hg，则?h?H，有g*h?gH=Hg，所以 g*h?Hg。于是存在h1?H，使得g*h=h1*g， 于是h=g–1*h1*g?g–1Hg。这样便有H?g–1Hg。 ?g–1*h*g?g–1Hg，其中h?H，h*g?Hg，由Hg=gH知，?h1?H使得h*g=g*h1，从而有g–1*h*g=h1?H，即g–1*h*g?H。这就证明了g–1Hg?H 由此得知，?g?G，有g–1Hg=H。 由⑶推⑵。若?g?G, ?h?H，有g –1*h*g?H，则?h?H，存在h1?H，使得h1=g–1*h*g，于是h*g=g*h1?gH。由于h是H中的任意元素，所以Hg?gH。 同理可证gH?Hg，即 gH=Hg。 ⑶与⑷的等价性是显然的，证明从略。 利用定理7.5.1可判别子群H是否是正规子群。尤其该定理的结论⑷，它把判断H是否是正规子群归结到计算元素 g–1hg是否在H中，这样有时是很方便的。下面再看几个应用定理7.5.1来判断H是否是正规子群的例子。 【例7.10】设G是全体n×n实可逆矩阵关于矩阵乘法的群，令G中全体行列式为1的矩阵集合H=?X|X?G, |X|=1?，证明H是G的正规子群。 证明：这是因为?A?G, ?X?H，有 所以A–1XA?H，即H是G的正规子群。 【例7.11】设?N,*?是?G,*?的正规子群，?H,*?是?G,*?的子群，证明： ⑴?NH,*?是?G,*?的子群， 其中，NH=?n*h|?n?N, h?H? ⑵若?H,*?是?G,*?的正规子群，则?NH,*?是?G,*?的正规子群。 证明：⑴显然，NH是G的非空子集。?a,b?NH，设a=n1*h1, b=n2 * h2，这里n1,n2?N, h1,h2?H。则 a * b–1=n1*h1* (n2*h2)–1=n1*h1*(h2–1*n2–1)=n1*(h1*h2–1)*n2–1 由?H,*?是?G,*?的子群得h=h1*h2–1?H。又由?N,*?是?G,*?的正规子群，知h*n2–1?hN=Nh，于是有n?N，使h*n2–1=n*h。故 a*b–1=n1*(h1*n2–1)=n1*(n*h)=(n1*n)*h?NH 由于群的判别条件知，?NH,*?是?G,*?的子群。 ⑵若?H,*?也是?G,*?的正规子群，则?a?G, ?n*h?NH，有 a–1*(n*h)*a=a–1*n* (a*a–1)*h*a=(a–1*n*a)*(a–1*h*a) 由于?H,*?是?G,*?的正规子群，?N,*?是?G,*?的正规子群，则有a–1*n*a?N, a–1*h*a?H。于是 a–1*(n*h)*a=(a–1*n*a)*(a–1*h*a)?NH 由定理7.5.1得，?NH,*?也是?G,*?的正规子群。 返回章目录 7.6 同态和同构 7.6.1代数系统的同态和同构 定义7.6.1 设A,*和B,°是两个代数系统，*和°分别是A和B上的二元运算， f是从a到B的一个映射，?a1,a2?a有 f (a1*a2)＝f (a1)°f (a2) 则称f为由代数系统A,*到B,°的一个同态映射，简称同态；称代数系统A,*与B,°同态，记作A,* ~ B,°。把f(A),°称为A,*的同态像。其中