近世代数课件--正规子群-(精品课件).pptVIP

数学与计算科学学院 数学与计算科学学院 * 数学与计算科学学院 7.5 正规子群、商群与群的同态基本定理 定义7.5.1 设H为群( G, °)的一个子群，若对任意的 a ∈G，都有 aH=Ha ，则称 H为 G 的正规子群（或不变子群）。 若G 为交换群，则G 的每个子群都是G 的正规子群；反之，由aH=Ha，不能说明元素a与H中的每个元素都可交换。 一般的群G ，至少有两个正规子群，一个是G的最小子群{ e }，另一个是G的最大子群G自身。这两个子群称为平凡的正规子群。 * 数学与计算科学学院 例7.5.1 设( G, °)是一个群，令 Cg={ c |c ∈ G, c °g = g °c, ?g ∈ G }， 则Cg是G的正规子群。 证 由 e ∈ Cg知， Cg是G的非空子集。 对a, b ∈ Cg, g ∈ G, 因(a°b)°g=a°(b°g)=a°(g°b)=(a°g)°b=(g°a)°b=g°(a°b)， 又 a-1°g = (g-1°a)-1= (a°g-1)-1= g°a-1，所以 a°b, a-1 ∈ Cg， 故Cg是G的子群。 对a ∈ G，由于 aCg={ a°c |c ∈ Cg }={ c°a |c ∈ Cg } = Cga , 因此Cg是G的正规子群。 * 数学与计算科学学院 例7