伽罗瓦理论的发展历史

网络安全依赖于两种技术。

一是传统意义上的存取控制和授权,如存取控制表技术、口令验证技术等;

二是利用密码技术实现对信息的加密、身份鉴别等。前者从理论和技术上是完全可以攻破的,而后者是有条件的,所以网络安全的核心仍将长期建立在密码学基础之上。椭圆曲线密码体制(ECC: Elliptic Curve Cryptosystem)的安全性依赖于椭圆曲线离散对数问题,是目前已知的公钥体制中强度最高的加密机制。考虑到实现难度以及加密效率,通常选择素域GF(p)、二进制域GF(2n)或最佳扩域(OEF:Optimal Extension Field)等有限域作为ECC的基域,作为实现ECC的先决条件,有限域运算己广泛应用于RSA、ElGamal等著名的公钥密码体制中,在编码理论以及多种签名算法中也大量的应用场景。

在抽象代数中,域是一种可进行加、减、乘和除运算的代数结构。域的概念是数域以及四则运算的推广。域是环的一种。域和一般环的区别在于域要求它的元素可以进行除法运算,这等价于每个非零的元素都要有乘法逆元。同时,在现代定义中,域中元素关于乘法是可交换的。简单来说,域是乘法可交换的除环。乘法非交换的除环则称为体,或者反称域。在过去的定义中,除环被称为“域”,而现代意义上的域被称为“交换域”,包含有限个元素的域被称为有限域。

实际上,域是一个可以在其上进行加、减、乘和除法运算而结果不会超出域的集合。如有理数集合、实数集合、复数集合都是域,但整数集合不是(很明显,使用除法得到的分数或小数已超出整数集合)。

如果域F只包含有限个元素,则称其为有限域。有限域中元素的个数称为有限域的阶。尽管存在有无限个元素的无限域,但只有有限域在密码编码学中得到了广泛的应用。每个有限域的阶必为素数的幂,即有限域的阶可表示为pⁿ(p是素数、n是正整数),该有限域通常称为Galois域(Galois Fields),记为GF(pⁿ)。

当n=1时,存在有限域GF(p),也称为素数域。在密码学中,最常用的域是阶为p的素数域GF(p)或阶为2m的GF(2m)域。

上述的Galois域就是伽罗瓦域,是由法国天才数学家埃瓦里斯特·伽罗瓦(Évariste Galois)于18世纪30年代研究代数方程根式求解问题时引出的。年轻的伽罗瓦是不世出的奇才,作为法国对函数论、方程式论和数论作出重要贡献的数学家,在他还只有十几岁的时候,就用群论彻底解决了根式求解代数方程的问题,并且由此发展了一整套关于群和域的理论,为了纪念他,人们称之为伽罗瓦理论。正是这套理论创立了抽象代数学,把代数学的研究推向了一个新的里程。正是这套理论为数学研究工作提供了新的数学工具——群论。它对数学分析、几何学的发展有很大影响,并标志着数学发展现代阶段的开始。

法国天才数学家埃瓦里斯特·伽罗瓦的一生

伽罗瓦的一生充满了传奇色彩。遗憾的是,当他在世时,他数学领域的研究成果并未被世人所认知。他曾向法兰西科学院呈送过3篇学术论文,均被退回或遗失:第一篇由于鉴定人柯西的因病缺席而被“遗忘“,第二篇因鉴定人傅立叶的不幸病逝而再次遗失,他第三次送交科学院的论文却又得到了泊松的评价——“完全不能理解”。他曾因与巴黎综合理工大学的主考官发生口角而丢掉了入职的机会,在父亲受到诽谤自杀后,他放弃投身于数学生涯,转而担任辅导教师,却因撰写反君主制的文章而被开除,并且因信仰共和体制而两次下狱。在路易·菲利普复辟的时期,他是一个激进的共和主义者,并因此被逮捕、坐牢。二十岁出狱后,

他在一次几近自杀式的决斗中逝世,引起后人种种揣测。

                                                                                伽罗瓦画像

伽罗瓦诞生在拿破仑帝国时代,经历了波旁王朝的复辟时期,又赶上路易·腓力浦朝代初期,他是共和派的秘密组织“人民之友”的成员,并发誓:“如果为了唤起人民需要我死,我愿意牺牲自己的生命”。

伽罗瓦敢于对政治上的动摇分子和两面派进行顽强的斗争,年轻热情的伽罗瓦对师范大学教育组织极为不满。由于他揭发了校长吉尼奥对法国七月革命政变的两面派行为,被吉尼奥的忠实朋友,皇家国民教育委员会顾问库申起草报告,皇家国民教育委员会1831年1月8日批准立即将伽罗瓦开除出师范大学。

1831年5月10日,伽罗瓦以“企图暗杀国王”的罪名被捕,1832年3月16日伽罗瓦获释后不久,年轻气盛的伽罗瓦为了一个舞女,卷入了一场他所谓的“爱情与荣誉”的决斗。伽罗瓦非常清楚对手的枪法很好,自己难以摆脱死亡的命运,所以连夜给朋友写信,仓促地把自己生平的数学研究心得扼要写出,并附以论文手稿。他不时的中断,在纸边空白处写上“我没有时间,我没有时间”,然后又接着写下一个极其潦草的大纲。他在天亮之前那最后几个小时写出的东西,为一个折磨了数学家们几个世纪的问题找到了真正的答案,并且开创了数学的一片新的天地。

伽罗瓦对自己的成果充满自信,他在给朋友舍瓦利叶的信中说:“我在分析方面做出了一些新发现。有些是关于方程论的;有些是关于整函数的……。公开请求雅可比或高斯,不是对这些定理的正确性,而是对这些定理的重要性发表意见。我希望将来有人发现,辨读这一堆写得很潦草的东西,对他们是有益的。满怀激情地拥抱你。E·伽罗瓦。”

第二天上午,在决斗场上,伽罗瓦被打穿了肠子。死之前,他对在他身边哭泣的弟弟说:“不要哭,我需要足够的勇气在20岁的时候死去”。他被埋葬在公墓的普通壕沟内,所以今天他的坟墓已无踪迹可寻。他不朽的纪念碑就是他的著作,由两篇被拒绝的论文和他在死前那个不眠之夜写下的潦草手稿组成。

历史学家们曾争论过这场决斗是一个悲惨爱情事件的结局,还是伽罗瓦因人生道路的艰难坎坷而选择结束生命的一种方式。但无论是哪一种,一位世界上最杰出的数学家在他20岁时以一场自杀式的决斗离开了这个世界,而他研究数学的时间只有仅仅五年,让人唏嘘。

死于决斗的数学天才伽罗瓦-人生的有限域相关推荐

  1. 天才数学家阿贝尔和伽罗瓦

    天才数学家阿贝尔和伽罗瓦 作者:提篮小卖 由于工作的缘故,时常会接触到一些研究数学的人.但不知什么缘故,常常 会觉得这些人多少都有些怪僻,而且是那种说不出怪在什么地方,但怎么瞅怎么 和别人不一样的怪法 ...

  2. 伽罗瓦死了,可是数学还活着

    "要是再没有好看的青春片,我就只能去看数学书了!" 昨天在地铁里听到有人这样说,我转头一看,是几个中学生,在那里嘻嘻哈哈地聊天. 我心想,你们以后就知道了,数学才是真正的青春标配呢 ...

  3. 群论奠基人—埃瓦伊斯特·伽罗瓦

    埃瓦伊斯特·伽罗瓦(Evariste Galois) 1811年10月25日生于法国巴黎附近的拉赖因堡:1832年5月31日卒于巴黎. 伽罗瓦的父亲N.G.伽罗瓦(Galois)是法国资产阶级革命的支 ...

  4. 埃瓦里斯特·伽罗瓦Évariste Galois

    埃瓦里斯特·伽罗瓦(Évariste Galois,1811年10月25日-1832年5月31日,法语发音[evaʀist galwa]),法国数学家,与尼尔斯·阿贝尔并称为现代群论的创始人.在一次几 ...

  5. 伽罗瓦(Evarist. Galois)与现代群论

    伽罗瓦也许是世界上生命最短的著名数学家,正是他给我们开辟了代数(Algebra)公理化的全新方向.以下是他的肖像: 伽罗瓦生于1811年10月25日,死于1832年5月31日.在年轻时代,伽罗瓦给出了 ...

  6. LFSR(斐波那契大战伽罗瓦)

    LFSR(斐波那契大战伽罗瓦) 线性反馈移位寄存器(LFSR):通常由移位寄存器和异或门逻辑组成.其主要应用在:伪随机数,伪噪声序列,计数器,BIST,数据的加密和CRC校验等. Part.1 线性反 ...

  7. 抽象解释-伽罗瓦连接证明数据流分析的安全性

    文章目录 前言 抽象解释 伽罗瓦连接(Galois Connection) 证明数据流分析的安全性 前言 视频:北大-软件分析-公开课 文档:课件 简单记录下. 抽象解释 在这之前,我们所有的静态分析 ...

  8. 伽罗瓦不是群论的奠基人

    国内文献(科普中国)把伽罗瓦说成是群论的发现者.奠基人.这不符合历史事实. 事实上,伽罗瓦的工作是利用置换群工具解决了多项式存在根式解的条件. The study ofgroups originall ...

  9. 线性反馈移位寄存器LFSR(斐波那契LFSR(多到一型)和伽罗瓦LFSR(一到多型)|verilog代码|Testbench|仿真结果)

    线性反馈移位寄存器LFSR 一.前言 二.LFSR简介 三.斐波那契LFSR和伽罗瓦LFSR 3.1 斐波那契LFSR 3.1.1 斐波那契LFSR 3.1.2 verilog代码 3.1.3 Tes ...

  10. 低阶有限群的伽罗瓦表示

    伽罗瓦反问题Galois inverse problem 问题:是否任意一个有限群都同构于一个有理系数多项式的伽罗瓦群? http://pari.math.u-bordeaux.fr/galpol/4 ...

最新文章

  1. Laravel核心解读--中间件(Middleware)
  2. C#:在u3d中操作sqlite的数据库
  3. 编译telepresence:fatal error: libavfilter/avfiltergraph.h: 没有那个文件或目录
  4. vc使用nmake时报错
  5. python下faker模块引入报错:Traceback (most recent call last) 解决办法
  6. 【三维CAD设计经验分享】CrownCAD设计:生成工程图
  7. 如何在Windows命令行(DOS界面)中调用 编译器 来编译C/C++源程序
  8. 年轻程序员如何快速成长
  9. MP4文件格式简要解析---代码解析
  10. GlobalSign即将停止签发SHA1代码签名证书
  11. 互联网公司最常见的面试算法题大集合!
  12. LeetCode 迷宫系列(0490, 0499, 0505)
  13. 计算机网络(第7版) - 第五章 运输层 - 习题
  14. Android apps浅析01-Amazed:一个简单但令人上瘾的加速度为基础的大理石指导游戏。...
  15. (MBI)Pt(acac)|(PBI)_2Pt|(t-BuPBIM)_2Pt铂配合物的空间构型
  16. php behaviors,YII框架行为behaviors用法示例
  17. QSPI Flash驱动代码分析 (QSPI控制器初始化)
  18. Win7下利用MinGW和Android NDK编译ffmpeg0.10(neon优化)
  19. Billboard介绍
  20. Carsim与不同版本MATLAB联合仿真设置——个人积累

热门文章

  1. 47. Element isSameNode() 方法
  2. APT攻防整理-常用CVE
  3. Redis学习笔记——简介及配置
  4. 【并行计算-CUDA开发】 NVIDIA Jetson TX1
  5. 白盒测试的学习之路----(五)TestNG的参数分离
  6. 2010-10-08在浏览器中兼容+jQuery3
  7. 周记 2015.04.11
  8. cocos2d-x开启Wifi
  9. 批处理(bat)中路径名称或者文件名称有空格怎么办?
  10. Boost Asio run() run_one() poll() poll_one()的区别