离散数学(第16-17章)陈瑜.ppt

计算机科学与工程学院 陈瑜 Email：yuchen@scu.edu.cn * 第16章： 环和域 16.1 环的定义及其性质 环和域 前面讨论了具有一个二元运算的代数系统——半群、含幺半群、群、子群。 下面讨论具有两个二元运算的代数系统。给定两个代数系统A,+，A,*可将它们组合成一个具有两个二元运算的代数系统A,+,*,而这两个二元运算符+和*之间是有联系的。 环,域，特别是有限域是纠错码理论的基础。 环 Ring 定义16-1.1 一个代数系统R,+, * ，如果满足： （1）R，+是阿贝尔群； （2）R, * 是半群； （3）乘法*在加法+上可分配。即对任意a，b，c ? R有 a*(b+c)=（a*b）+（a*c） (b+c)*a=（b*a）+（c*a) 则称R,+, *是一个环。 例16.1 在加法和乘法作用下，整数、实数、有理数、偶数和复数都能构成环。 Z,+, × R,+, × Q,+, × E,+, × C,+, × +可以交换，0是+的幺元， i的逆为-i；+, ×可结合, ×对+可分配 例16.2 设Zk表示整数集Z上的模k剩余类集合，即: Zk={[0]，[1]，[2]，…，[k-