离散数学 教学课件 作者 赵一鸣 阚海斌 吴永辉 dshu8n.pptVIP

* * * * * * * * * * * * * * * * * * * * [S;*]是一个代数系统,*为定义在S上的二元运算,若满足: (1)对任意的a,b,c?S有a*(b*c)=(a*b)*c(结合律); (2)存在e?S,使a*e=e*a=a(单位元); (3)对任意的a?S,存在a-1?S,使得 a*a-1=a-1*a=e 则称 [S;*]为群。 第十四章 环 环的英文为Ring，用Ring的起始字母R表示环,即今后出现的R表示环,除非特别说明，R不再表示实数集。 一、环的定义 代数系统[R;+,*],其中+和*为定义在R上的二元运算,满足下述条件, (1)[R;+]为Abel群 (2)[R;*]为半群 (3)*满足分配律: a*(b+c)=(a*b)+(a*c), (b+c)*a=(b*a)+(c*a) 则称[R;+,*]为环。 §1 环的定义与性质 (1)[R;+]中的运算+是一般的运算记号，而不是普通的加法运算。 (2) [R;+]中的单位元通常用0表示，但这也仅是记号，而不是实数0。 (3) [R;+]中a逆元通常用-a表示，同样也是记号。 (4) 0是+的单位元 (5) -a是a关于+的逆元。 (6)a关于+运算n次a+a+?+a通常记为na 例：S??,[P(S);?,∩] ?满足结合律 ?的单位元是?, 对任意A?S,