5.9 环与域.ppt

5.9 环与域 1.环的定义 定义5-9.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,+,?>是一个环。 注:在环中a的加法逆元a-1记为-a,a+(-b)可写为a-b。 环与域 例1.1)<I,+,?>是一个环。 2)<Nk,+k,?k>是一个环。 证:①<Nk,+k>是一个阿贝尔群,0是加法幺元。 ②<Nk,?k>是一个半群。 ③?a,b,c?Nk a?k(b+kc)=a?k((b+c)mod k) =(a?(b+c))mod k=(a?b+a?c)mod k =(a?b)mod k+k(a?c)mod k =(a?kb)+k(a?kc) 3)<An,+,?>是一个环,其中An表示实数集R上n?n方阵集合， 零阵是环的加法幺元,单位矩阵是环的乘法幺元。 4)实系数多项式对于多项式加法,乘法是一个环。 环 2.环的性质 定理5-9.1: 设<A，+，?>是一个环,?a,b,c?A,[a+(-b)]简记a-b， 1)环的加法幺元必为环的乘法零元， 即 ??a=a??=?。 证: a ?? =a?(?+?)=a??+a??,由消去律可得： a??=?。 类似可证?=??a。 2)(-a)?b=a?(-b)=-(a ? b) 证:(-a)?b+a?b=((-a)+a)?b=??a=? ， ?(-a)?b=-(a?b)。类似可证a?(-b)=-(a ? b)。 3) (-a)?(-b)=a?b 证:(-a)?(-b)=-a?(-b)=a?b（利用2）的结果） 4) a?(b-c)=a?b-a?c 证:a?(b-c)=a?(b+(-c))=a?b+a?(-c)=a?b+(-(a?c))=a?b-a?c 5) (b-c)a=ba-ca（类似4）的证明） 环 3.零因子环 定义:<A,+,?>是一个环,若?a,b?A,使得a?0,b?0, 且a?b=0成立,则称<A,+,?>是零因子环,a,b称为 零因子,没有零因子的环称为无零因子环。 (无零因子： ?a,b?A,a?0,b?0,则必有a·b ?0) 例:<An , + , ?>是零因子环,An是n?n方阵。 环 定理5-9.2:环<A,+,?>是无零因子环,当且仅当<A,?>满足可约律。 证:必要性: ?a,b,c?A ,a? ?. 设<R,+,?>无零因子,若ab=ac， ?ab-ac=?, a(b-c)=? . 因为<R,+,?>无零因子. ?b-c=? ?b=c。 充分性:设<A,?>满足可约律,设?a?A, a??，ab=?， 则 a?b=a??，由可约律 b=? ?无零因子。 ?<A,+,?>是无零因子环。 环 4.整环 定义5-9.2: 给定环<R,+,?>,若<R,?>是可交换的,则称<R,+,?>为交换环。 给定环<R,+,?>,若<R,?>含幺元,则称<R,+,?>为含幺环。 定义5-9.3: 给定环<R,+,?>,若<R,?>是可交换的、含幺元、无零因子环,则 称<R,+,?>为整环。 例2.1)<I,+,?>是整环。 2)<N4,+4,?4>不是整环。 域 1.域的定义 定义5-9.4:若代数系统<F,+,?>具有性质： 1)|F|>1， 2)<F,+>,<F-{0},?>均是阿贝尔群， 3)乘法对加法可分配，则称它是域。 2.域的举例 1)I为整数集，<I,+,?>不是域， 2)<Q,+,?>是一个域,其中Q为有理数集合。 <R,+,?>是一个域，其中R为实数集合。 <C,+,?>是一个域，其中C为复数集合。 域 3)Nk={0,1,?,k-1},<Nk,+k,?k>是一个域,当且仅当k是质数. 证:必要性:（反证法） 设<Nk,+k,?k>是一个域,若k不是质数 i)k=1,则|N1|=1不是域 ii)k=ab,则a?kb=0,a,b是零因子,故 <Nk,+k,?k>不是域,矛盾。 充分性:若k为质数,须证<Nk,+k,?k>是一个域。