【2017年整理】离散数学环与域.pptVIP

*;*;*;§6.1 定义及基本性质 (1) ;*;*;*;*;*;*;*;*;§6.1 定义及基本性质 (4) ;*;*;*;*;*;（1）封闭，{a}+{a,b}={b} , … 可结合， ({a}+{a,b})+{c}={a}+({a,b}+{c}) , … 可交换, {a}+{a,b}={a,b}+{a} , … 单位元， ? 逆元，{a}+{a}= ?,{a}自身为逆元, … P(s), +是abel群 （2） P(s),?是半群， ?可结合 ({a} ? {a,b}) ?{a,b,c}={a} ?({a,b} ?{a,b,c}) (3)?对+可分配 {a} ?({b}+{a,b})={a} ?{b}+{a} ?{a,b};例3：证明任一环的同态象也是一环。;;*;§6.1 定义及基本性质 (6) ;*;例3：全体整数按普通加法和普通乘法构成有单位元的环。全体偶数按普通加法和普通乘法构成环，但无单位元。 摸m的全体剩余类构成什么环？ ;设A为有１的环，a∈A，如果a在〈A，· 〉中有逆元，则称a为A中的可逆元．并把a在半群〈A，· 〉中的逆元，称为a在环A中的逆元，用a -1表示． 有１的环A中所有可逆元在乘法运算下构成一个群（？），该群记为A*，并称为环A的乘法群. ;*;§6.2