版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、1,群的概念,定义 设G是一个非空集合, “”是G是上的一个代数运算, 即 对所有的a, bG, 有abG. 如果G的运算还满足: (G1)结合律:即对所有的a, b, cG, 有 (ab)c=a(bc)(G2) G中存在元素e, 使得对每个aG, 有 ea=ae=a (G3) 对G中每个元素a, 存在元素bG, 使得 ab=ba=e. 则称G关于运算“”构成一个群(group), 记为(G, ).,2,注1: (G2)中的元素e 称为群G的单位元(unit element)或恒等元(identity). 群G的单位元是唯一的. 注2: (G3)中的元素b称为元素a的逆元(inverse).元
2、素a的逆元是唯一的,记为a-1. 即有aa-1=a-1a=e,3,有限群,交换群 如果群G的运算还满足: (G4)交换律:即对所有的a, bG, 有ab=ba. 则称G是一个交换群(commutative group),或阿贝尔群(abelian group). G中元素的个数称为群G的阶(order), 记为|G|. 如果|G|是有限数,则称G是有限群(finite group), 否则称G是无限群(infinite group). 例: 整数加群(Z,+); 有理数加群(Q,+); 实数加群(R,+); 复数加群(C,+). 令Q*=Q-0, (Q*, )是群; Q+=qQ| q0, (Q
3、+, )是群.,4,群的概念 例1 设G=1, -1, i, -i, 则(G, ) 是一个有限交换群.,5,例2 设mZ+, Zm=0,1, m-1, 则(Zm, ) 是一个有限交换群. 称为模m剩余类加群. 单位元是e=0; aZm的逆元a-1= m-a. 特别地: 取m=5, 有Z5=0,1,2,3,4,6,有时把交换群(G, )记为(G, +), 称为“加群”. 把运算“”称为“加” 法, 运算结果记为: ab= a+b,称为a与b的“和”; 单位元称为“零元”, 记为“0”; aG的逆元称为G的负元,记为: “- a”, 即有a+(-a)= 0.,7,例1 G=1, -1, i, -i
4、, (G, *)是一个有限交换群. 可记为: (G, *)= (G, +), 运算式为: 1+(-1)=-1, 1+i=i, 1+(-i)=-i, (-1)+i=-i, (-1)+(-i)=i, i+(-i)=1, 1+1=1 请问零元是?利用 a+ee+a=a 试求 (-i)+(-i), i+i, (-1)+(-1).,8,例2 加群: (Z5,)=(Z5,+), 其中Z5=0,1,2,3,4. 零元0=0,负元为:,9,群的概念 有时把群(G, )记为(G, ), 称为“ 乘群”. 把运算“”称为“乘” 法, 运算结果记为: ab= ab, 称为a与b的“积”; 运算符号通常省略, 简记为
5、: ab=ab=ab. 单位元记为: e=1.,10,例3 设mZ+, Zm=0,1, m-1, 则(Zm, )不是一个群.元素0无逆元! 0?=1 找不到这样的元素! 例4 设mZ+是素数, Zm*= 1,2,m-1, 则 (Zm*, )是一个有限交换群. 单位元: e=1; aZm的逆元a-1: aa-1=1 (mod m).,11,特别地: 取m=5, 有Z5*=1,2,3,4, 111 mod 5 所以1的逆元素是1 求出其他元素的逆元素,12,元素a的逆元,13,群的幂 设(G, )是一个群, nZ+, aG的n次幂为: an = aaa (n个a) a0 =e, a-n =(a-1
6、)n. 指数法则: 设a,bG, n, mZ,则有 (1) anam= an+m; (2) (an)m =anm; (3) 如果G是一个交换群, 则(ab)n= anbn.,14,加群的倍数 设(G, +)是一个加群, nZ+, aG的n倍为: na= a+a+a (n个a) 0a =0, (-n)a =n(-a). 倍数法则: 设a,bG, n, mZ,则有 (1)na +ma =(n+m)a; (2) m(na) =(nm)a; (3) n(a+b) =na+nb.,15,群元素的阶 设G是一个群, e是G的单位元, aG, 如果存在正整数r, 使得ar=e,则称a是有限阶的, 否则称a是
7、无限阶的. 如果a是有限阶的, 则把满足ar=e的最小正整数r称为a的阶(order),记为ord a=r. 如果a是无限阶的, 则记ord a =.,16,计算群(Z5*, )每个元素的阶, Z5*=1,2,3,4. 解:对于a=2, 有 21=2, 22=22=4, 23=222=8=3, 24=2222=16=1. ord 2=4. 下面,请求出各元素的阶,17,元素a的阶如下,18,例7 计算群(Z6, )每个元素的阶, Z6=0,1,2,3,4,5. 解:对于a=2, 有 12=2, 22=22=4, 32=222=6=0. ord 2=3.,19,设G是一个群, 如果存在aG, 使
8、得 G=a1, a2,=, 则称G是一个循环群(cyclic group), 并称a是的一个生成元(generator). 如果G是一个n阶循环群, 则 G=a1, a2,an=. 提示:计算时请从a1开始,20,如果G是一个n阶循环群, 且元素aG 的阶= 群G的阶, 则a是G的一个生成元. 例8 设mZ+, Zm=0,1, m-1, 则(Zm, ) 是m阶循环群.1是一个生成元.,21,特别地: 取m=6, Z6=0,1,2,3,4,5的生成元有: 1, 5. 15=5, 25=10=4, 35=15=3, 45=20=2, 55=25=1, 65=30=0. Z6=0,1,2,3,4,5
9、=65, 55, 45, 35, 25, 15. 注意: 循环群的生成元不是唯一的!,22,循环群 定理 设p是素数, 则(Zp*, )是p-1阶循环群. Zp*的生成元a称为Z的一个模p元根(primitive root).,23,群(Z5*, )是4阶循环群, Z5*=1,2,3,4. 生成元有: 2, 3. 解 对于a=2, 有 21=2, 22=22=4, 23=222=8=3, 24=2222=16=1. Z5*=1,2,3,4=24, 21, 23, 22. 请验证生成元3的情形,24,对于a=3, 有 31=3, 32=4, 33=2, 34=1. Z5*=1,2,3,4=34,
10、 33, 31, 32.,25,循环群 定理设G是一个n阶循环群, 则G恰有(n)个生成元. 如果a是G的一个生成元, 则ar也是G的生成元的充分必要条件是:gcd(n, r)=1.,26,例10 求(Z12, )的全部生成元. 提示:1是一个生成元.,27,解:1是一个生成元. 满足gcd(12, r)=1的r : 1, 5, 7, 11. Z12的生成元有: 11=1, 51=5, 71=7, 111=11.,28,求出循环群(Zp, )和(Zp*, )的全部生成元. 从每个群中取出一个生成元,把该群中的全部元素表示成生成元的倍数(或方幂)的形式. 其中 (1) p=7; (2) p=13
11、.,29,阿贝尔小传,阿贝尔(N. H. Abel)1802年8月5日出生于挪威. 16岁开始学习牛顿、欧拉、拉格朗日和高斯的经典数学著作. 19岁时,他解决了一个让一些著名数学家烦脑了数百年的难题. 他证明了虽然一元二次、三次甚至四次方程都有求根公式, 但是对于一般的五次方程却不存在这样的求根公式. 他对于五次方程求解问题的解决为近世代数的创立做出了基础性的工作.,30,此外, 阿贝尔还在椭圆函数论、椭圆积分、阿贝尔积分和无穷级数等方面做出过杰出的贡献. 1829年4月6日, 阿贝尔死于肺结核, 年仅27岁. 1872年, 若尔当(C.Jordan)引入了阿贝尔群这一术语, 以纪念这位英年早
12、逝的天才数学家.,31,有限环,定义 设R是一个非空集合. 如果在R上定义了两个代数运算, “+”(称为加法)和“” (称为乘法), 并且满足: (R1) (R, +)构成一个交换群; (R2) 乘法结合律: 即对所有的a, b, cR, 有 (ab)c=a(bc); (R3) 乘法对加法的分配律:即对所有的a, b, cR, 有 a(b+c)=ab+ac, (b+c)a=ba+ca, 则称R关于运算“+”和“”构成一个环(ring), 记为(R,+, ).,32,注1: (R, +)是一个交换群, 称为R的加法群. 环R的加法单位元称为环的零元,记为0. 环R的元素a的加法逆元称为a负元,
13、记为-a. 注2: 如果环R的乘法还满足交换律, 则称R为交换环.,33,注3: 如果环R中存在元素e, 使对任意的aR, 有 ae=ea=a, 则称R是一个有单位元的环, 并称e是R的乘法单位元(unit). 如果环R有单位元, 则R的单位元是唯一的. 环R的乘法单位元记为e或1.,34,注4: 设环R有单位元e, aR, 如果存在 bR,使ab=ba=e, 则称a是R的一个可逆元(invertible element),并称b是a的逆元(inverseelement), 记为b=a-1. 一个环中, 可能有些元素有逆元, 而其它元素没有逆元.,35,例4.1.2.1 整数环(Z, +, )
14、; 有理数环(Q,+, ); 实数环(R,+, ); 复数环(C,+,). 例4.1.2.2 设mZ+, Zm=0,1, m-1, 则(Zm, , ) 是一个有单位元的交换环. 称为模m剩余类环(residue class ring).,36,有限域,定义 设(F,+, )是一个环. 如果F有乘法单位元10的, 且每个非零元都是可逆的, 则称(F,+, ) 是一个域(field). 进一步, 如果F是有限集,则称(F,+, ) 是一个有限域(finite field), 也称为伽罗华域(Galois field).,37,例 有理数域(Q,+, ); 实数域(R,+, ); 复数域(C,+,
15、). 例4.1.2.2 设pZ+是素数, Zp=0,1, p-1, 则(Zp, , ) 是一个有限域.,38,定理 (1) 每个有限域的阶一定是素数的幂: pn. 含有pn个元素的有限域记为GF(pn). (2) 任给素数p 和正整数n, 一定存在阶为pn的有限域. (3) 同阶的有限域是同构的. (4) 令GF(pn)*表示GF(pn)的全体非零元的集合, 则GF(pn)*关于乘法是一个pn-1阶循环群.,39,含有pn个元素的有限域只有一个. 当n=1时, GF(p)=(Zp, , )=Fp 称为素域.,40,伽罗瓦(. Galois), 法国数学家, 1811年10月25日出生于巴黎.
16、16岁开始自学勒让德、拉格朗日、高斯和柯西等大师的经典数学著作和论文. 18岁时, 他完成了第一篇代数方程的重要论文. 在1828年到1830年之间, 他得到了后来被称为“伽罗瓦理论”的重要结论. 1832年5月30日,伽罗瓦由于政治和爱情的纠葛在决斗中被人射中,次日不幸去世,死时不满21岁.,41,伽罗瓦提出的“伽罗瓦域”、“伽罗瓦群”和“伽罗瓦理论” 是近世代数所研究的重要课题, 他的工作是19世纪数学中最杰出的成就之一.伽罗瓦理论是代数学发展中的一个里程碑. 伽罗瓦生前并未获得应有的荣誉, 他投出的研究论文未被接受发表. 直到1846年, 著名数学家刘维尔解读了伽罗瓦的研究手稿, 给出了注释, 才在纯粹与应用数学上发表.,42,多项式环与有限域,多项式环的基本性质 设F是一个有限域, 表达式 f(x)=anxn+ an-1xn-1+a1x+a0 (aiF, i=0,1, n-1) 称为有限域F上的一个多项(polynomial), x称为未定元(indeterminate).,43,多项式的次数(degree): 如果an0,则称f(x)的次数为n, 记为: deg(f(x)=n, deg(0)= -. 首一多项式(monic polynomial
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 综合消费受托支付合同(2篇)
- 银行贷款进货合同(2篇)
- 2024-2025学年初中同步测控优化设计物理八年级下册配人教版第11章 第4节 机械能及其转化含答案
- 荷花 作文 课件
- 西京学院《中国文化经典选读》2022-2023学年第一学期期末试卷
- 西京学院《土木工程施工技术与组织》2022-2023学年第一学期期末试卷
- 西京学院《建筑工程计量与计价》2022-2023学年第一学期期末试卷
- 西京学院《非线性编辑》2022-2023学年第一学期期末试卷
- 西京学院《大数据存储与管理技术》2023-2024学年期末试卷
- 西华师范大学《学科课程标准与教材研究》2021-2022学年第一学期期末试卷
- 《2021国标暖通图集资料》14K117-3 锥形风帽
- 幕墙竣工验收自评报告7页
- 机动车维修企业安全生产标准化考评方法和考评实施细则(完整版)
- 外研版小学英语外研版(一起)五上Module 10《Unit 1 You should tidy your toys》ppt课件2
- 江西省职业培训补贴范围及标准-江西省职业技能鉴定指导中心
- 七年级生物上册(济南版)知识点归纳
- 应急联防联动协议
- 财务会计职业生涯人物访谈报告
- (完整版)电渣压力焊施工施工工艺
- D600变频器说明书
- 上海英皇明星城初步设计(图文)
评论
0/150
提交评论