• 454.00 KB
  • 2022-06-16 12:33:00 发布

最新大学课程近世代数-阿贝尔群和循环群、陪集与拉格朗日定理、同态同构学习讲义PPT课件

  • 17页
  • 当前文档由用户上传发布,收益归属用户
  1. 1、本文档共5页,可阅读全部内容。
  2. 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
  3. 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
  4. 文档侵权举报电话:19940600175。
大学课程近世代数-阿贝尔群和循环群、陪集与拉格朗日定理、同态同构学习讲义 定理1设是一个群,是阿贝尔群的充要条件是对任意的a,b∈G,有(a*b)*(a*b)=(a*a)*(b*b)。证明1)充分性设对任意的a,b∈G,有(a*b)*(a*b)=(a*a)*(b*b)因为a*(a*b)*b=(a*a)*(b*b)=(a*b)*(a*b)=a*(b*a)*b所以a-1*(a*(a*b)*b)*b-1=a-1*(a*(b*a)*b)*b-1即(a-1*a)*(a*b)*(b*b-1)=(a-1*a)*(b*a)*(b*b-1)即得a*b=b*a,因此是阿贝尔群。 拉格朗日定理设是群的一个子群,那么R={|a∈G,b∈G且a-1*b∈H}是G中的一个等价关系。对于a∈G,若记[a]R={x|x∈G且∈R}则[a]R=aH2)如果G是有限集,|G|=n,|H|=m,则m|n.(即m整除n)证明1)I:对于任一a∈G,必有a-1∈G,使a-1*a=e∈H,所以∈R,即R是自反的。II:对于任意a,b∈G,若∈R,则a-1*b∈H,因为H是G的子群,故(a-1*b)-1=b-1*a∈H,所以∈R,即R是对称的。III:对于任意a,b,c∈G,若∈R,∈R,则a-1*b∈H,b-1*c∈H,所以a-1*b*b-1*c=a-1*c∈H,故∈R,即R是传递的。 对于a∈G,我们有:b∈[a]R∈Ra-1*b∈Hb∈aH。因此[a]R=aH2)由于R是G中的一个等价关系,所以必定将G划分成不同的等价类[a1]R,[a2]R,…,[ak]R,使得又因为,H中任意两个不同的元素h1,h2,必有a*h1≠a*h2(a∈G),所以|aiH|=|H|=m,i=1,2,…,k。因此n=|G|===mk 推论1任何质数阶的群不可能有非平凡子群。推论2设是n阶有限群,那末对于任意的a∈G,a的阶必是n的因子且必有an=e,这里e是群中的幺元。如果n为质数,则必是循环群。证明见书P210例:见书P210例题1作业P211(3)(6) 5.8同态与同构1同态映射同态象定义设和<B,*>是两个代数系统,★和*分别是A和B上的二元(n元)运算,设f是从A到B的映射,使得对任意a1,a2∈A,有f(a1★a2)=f(a1)*f(a2)则称f为由到<B,*>的一个同态映射,称同态于<B,*>,记作A~B。把<f(A),*>称为的一个同态象。其中f(A)={x|x=f(a),a∈A}⊆B 例1、A=I,B={-1,0,1},f是A到B的映射,f(x)=sign(x),则sign是从的一个同态映射例2、和,x,y∈,则φ是从到的一个同态映射例3、上定义则φ是从上的同态映射。 2满同态单同态同构定义设f是由到<B,*>的一个同态,如果f是从A到B的一个满射,则f称为满同态;如果f是从A到B的一个入射,则f称为单一同态;如果f是从A到B的一个双射,则f称为同构映射,并称和<B,*>是同构的,记作AB。~=上例1,例2都是满同态,例3是同构例4,两个代数系统,f(x)=ax, f:的一个同态映射1)a∈I,f(I)I,因此f是的同态映射,自同态2)a=1,-1,f(I)=I,因此f是的同构映射,自同构3)a∈I,a≠0,f是单一同态。 定理1:f是从代数系统的同态映射,若是群,也是群。证明:1)f(A)B,f是从的同态映射。2)封闭,b1,b2∈f(A),b1*b2∈f(A)3)可结合4)f(e)是的幺元5)中每个元素有逆元定理2:G是代数系统的集合,则G中代数系统中的同构关系是等价关系。证明见书P216 3同余关系同余类定义是代数系统,R是A上的一个等价关系,1)如果当∈R,∈R,就有∈R,则称R是A上关于*的同余关系。2)由这个同余关系R将A划分成的等价类称为同余类。例5,代数系统,I上的关系R={|x≡y(mod3)},验证R是I上关于+的同余关系,求R的同余类。定理:设f是从的一个同态映射,如果A上定义的二元关系R为∈R当且仅当f(a1)=f(a2),那么R是A上的同余关系。证明见书P219 结束语谢谢大家聆听!!!17