定理141:[R计+米为环,则对任ab∈R, 有 (1)a*0=0*a=0 冷(2)a*(-b)=(-a)*b=(a+b) 冷(3)(-a)*(-b)=a*b 冷(4如果环有单位元,则(1)*a=a, (5如果环有单位元,则(-1)米(-1)=
❖ 定理14.1：[R;+,*]为环,则对任a,bR, 有: ❖ (1)a*0=0*a=0 ❖ (2)a*(-b)=(-a)*b=-(a*b) ❖ (3)(-a)*(-b)=a*b ❖ (4)如果环有单位元，则(-1)*a=-a, ❖ (5)如果环有单位元，则(-1)*(-1)=1
关于第1个运算的单位元0在第2个运算* 下,对任意a∈R,有a*0=0米=0。即0为*的 零元 称关于第个运算的单位元为环的零元。 如果环是有单位元的环,则将关于第2个 运算的单位元称为环的单位元。 说明:关于环的修饰都是对第二个运算 而言
❖ 关于第1个运算的单位元0在第2个运算* 下，对任意aR,有a*0=0*a=0。即0为*的 零元。 ❖ 称关于第1个运算的单位元为环的零元。 ❖ 如果环是有单位元的环，则将关于第2个 运算的单位元称为环的单位元。 ❖ 说明：关于环的修饰都是对第二个运算 而言
[M22(Z);+,灯]是有单位元的环。 b 2(Z)= a,b,c,d∈z} C 环的零元是(0)2×,23(1 环的单位元是 0 ≠(0) ≠(0 00 2×2 0 10Y/00 但 =(O)22环的零因子 00八0
[M2,2(Z);+,]是有单位元的环。 ❖ 环的零元是(0)2,2 , ❖ 环的单位元是 ( ) { | , , , } 2,2 a b c d Z c d a b M Z = 1 1 ( )2 2 0 0 0 1 0 ( )2 2 0 0 1 0 0 ( ) 0 2 2 0 1 0 0 0 0 1 0 = 但 环的零因子
定义143:R;+米为环,a,b∈R,a0,b≠0,但 a*b=0,则称为R的一个左零因子b为R的 个右零因子统称a,b为R的零因子。 R;+,*]为有单位元环,且有: 1)*满足交换律。 (2)R中没有零因子,即如果a*b=0,则a=0或 b=0, 就称R为磬环。 IP(S):,∩和[M;+,×都不是整环 「Z;+,×是整环
定义14.3：[R;+,*]为环,a,bR,a0,b0,但 a*b=0，则称a为R的一个左零因子,b为R的 一个右零因子,统称a,b为R的零因子。 [R;+,*]为有单位元环, 且有: (1)*满足交换律。 (2)R中没有零因子, 即如果a*b=0,则a=0或 b=0, 就称R为整环。 [P(S);,∩]和[M;+,]都不是整环 [Z;+,]是整环
定义:对于环[R;+,],对任意a,b,c∈R,a≠0, 当a米b=a*c,必有b=c,则称环满足消去律。 ◆定理:[R;+,*是无零因子环当且仅当[R;+,*] 满足消去律。 证明:1.[R;+,*]是无零因子环,要导出[R;+,*]满足消 去律即对任意a,b,c∈R,a≠0,当a=a*,必有b=c 因为0=(a*b)+((a米b))=(a*b)+(-(a米C) (a*b)+(a*(-c)=a*(b+(-c)) 这里利用了定理1412)a*(b)=(-a)*=-(a*b) 因为是无零因子环,且a≠0,所以有b+(-c)=0,因此b=c 2.[R;+,*]满足消去律,导出[R;+,*]是无零因子环 若存在a,b∈R,a≠0,b≠:0,而a+b=0,则a*b=a*0 因为a≠0,所以由消去律得b=0,矛盾
❖ 定义：对于环[R;+,*]，对任意a,b,cR,a0, 当a*b=a*c,必有b=c，则称环满足消去律。 ❖ 定理：[R;+,*]是无零因子环当且仅当[R;+,*] 满足消去律。 证明:1.[R;+,*]是无零因子环,要导出[R;+,*]满足消 去律.即对任意a,b,cR,a0,当a*b=a*c,必有b=c. 因为0=(a*b)+(-(a*b))=(a*b)+(-(a*c)) =(a*b)+(a*(-c))=a*(b+(-c)) 这里利用了定理14.1(2)a*(-b)=(-a)*b=-(a*b) 因为是无零因子环,且a0,所以有b+(-c)=0,因此b=c. 2.[R;+,*]满足消去律,导出[R;+,*]是无零因子环. 若存在a,bR,a0,b0,而a*b=0,则a*b=a*0, 因为a0,所以由消去律得b=0,矛盾