就行了看看生成元的定义,i可以通过普通乘法形成群,生成元没有要求有逆元,但可以重复出现。2.注意性质:(i1,i2,i3,...,ik)=(i1,i2)(i1,i3)...(i1,ik)并且(i1,i2,...,ik)^k=(i1,i2,...,ik)如果k是奇数,即置换(i1,i2,...,ik)分解为对换有(k-1)个【(i1,i2)(i1,i3)...(i1,ik)共(k-1)个】{N+0;N+1;N+2},当然你也可以构造函数,然后利用同态基本定理证明。4.由K的定义,任意的k∈K都有kH=Hk∴如果K是群,则H是K的正规子群。下面证明K是群:取a,b∈K,即aH=Ha,bH=hB,由于a,b都是群G的元。于是(ab)H=a(bH)=a(Hb)=(aH)b=(Ha)b=H(ab)成立,即ab∈K,而且G的幺元e显然也属于K,因为aH=Ha,等式左右均乘a的逆元得:Ha^(-1)=a^(-1)H,所以a^(-1)∈K,K有逆元。 于是K是群。即得。