离散数学及其应用-傅彦-第13章 群.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 定理13.6.1（续） 充分性： ?a*h∈aH，因a*h*a-1∈H，所以，存在h1∈H，使得 a*h*a-1 = h1，于是 a*h = h1*a， 从而aH? Ha。 又?h*a∈Ha，则 a-1*h*(a-1)-1 = a-1*h*a∈H， * 定理13.6.1（续） 所以，存在h2∈H，使得 a-1*h*a = h2，于是 h*a = a*h2， 从而Ha ? aH。故对 ?a∈G，都有aH = Ha。即H是G的正规子群。 推论13.6.1 交换群的任何子群是正规子群。 * 作业 P296： 31、35、36、39 36:8080/lssx/ * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例13.4.2（续） 则对m∈n，有 m = 1m = (at)m = atm(tn∈Z)， 故a是生成元。 因此a是生成元的充要条件是(a, n) = 1。 群