离散数学第16-17章陈瑜.pptVIP

计算机科学与工程学院 陈瑜 Email：chenyu.inbox@ * 第16章： 环和域 16.1 环的定义及其性质 环和域 前面讨论了具有一个二元运算的代数系统——半群、含幺半群、群、子群。 下面讨论具有两个二元运算的代数系统。给定两个代数系统A,+，A,*可将它们组合成一个具有两个二元运算的代数系统A,+,*,而这两个二元运算符+和*之间是有联系的。 环,域，特别是有限域是纠错码理论的基础。 环 Ring 定义16.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-1]} Zk ，?是群（剩余类加群）， Zk ，?是半群（剩余类乘半群）， ∵ 对? [i]，[j]，[k]? Zk 有[i]?（[j]?[k]）=[i(j+k)]=[ij+ik] =[ij]?[ik] =([i]?[j])?([i]?[k]） ∴ Zk ，?，?是环，称为（模k）剩余类环。 特别， k=2时，称为布尔环。 例16.2 设Zk表示整数集Z上的模k剩余类集合，即: Zk={[0]，[1]，[2]，…，[k-1]} Zk ，?是群（剩余类加群）， Zk ，?是半群（剩余类乘半群）， ∵ 对? [i]，[j]，[k]? Zk 有[i]?（[j]?[k]）=[i(j+k)]=[ij+ik] =[ij]?[ik] =([i]?[j])?([i]?[k]） ∴ Zk ，?，?是环，称为（模k）剩余类环。 特别， k=2时，称为布尔环。 例16.2 设Zk表示整数集Z上的模k剩余类集合，即: Zk={[0]，[1]，[2]，…，[k-1]} Zk ，?是群（剩余类加群）， Zk ，?是半群（剩余类乘半群）， ∵ 对? [i]，[j]，[k]? Zk 有[i]?（[j]?[k]）=[i(j+k)]=[ij+ik] =[ij]?[ik] =([i]?[j])?([i]?[k]） ∴ Zk ，?，?是环，称为（模k）剩余类环。 特别， k=2时，称为布尔环。 定义16.2设R,+,*是环，a,b∈R。如果a≠θ且b≠θ,而a*b=θ，则称a和b是R中的零因子。 例16-3 模m剩余类环Zm, ?，? 没有零因子当且仅当m是素数。因为当m是合数时，必有a≥2,b≥2使m=ab，从而[a]?[b]=[m]=[0],而且[a]和[b]都是零因子。当m是素数时，不存在a≥2和b≥2使m=ab，因而无零因子。 定义16.2设R,+,*是环，a,b∈R。如果a≠θ且b≠θ,而a*b=θ，则称a和b是R中的零因子。 例16.3 模m剩余类环Zm, ?，? 没有零因子当且仅当m是素数。因为当m是合数时，必有a≥2,b≥2使m=ab，从而[a]?[b]=[m]=[0],而且[a]和[b]都是零因子。当m是素数时，不存在a≥2和b≥2使m=ab，因而无零因子。 16.2 整环与域 特殊环 定义16.3 设R,+, * 是一个环: 如果R, *是可交换的，称R,+, *是交换环； 如果R, *是含幺半群，称R,+, *是含幺环； 如果对于R中某些非零元素a≠θ、b≠θ,能使a*b=θ,称R,+, *是含零因子环；a、b称为零因子； 如果R,+, *是可交换的、含幺、而无零因子，则称它是整环。 例16.4 （同前例16.3） 证明（模k）剩余类环Zk ，?，?无零因子当且仅当k是素数。 证明： ∵当k是合数时，必有a≥2、b≥2，使得 k=ab，从而[a]?[b]=[k]=[0]，即[a]、[b]都是零因子。 又 ∵当k是素数时，不存在a≥2、b≥2，使得 k=ab，从而无零因子。 ∴ 结论成立。 定理16.3 设R