《离散数学Algebraicstructure》-公开课件（设计）.pptVIP

* 零因子环 定义: A,+,?是一个环,若?a,b?A,a?0,b?0,但a?b=0成立,称A,+,?是零因子环,a,b称为零因子,无零因子的环称为无零因子环。(无零因子： ?a,b?A,a?0,b?0,则必有a·b ?0) 说明：0仅表示零因子 例:An , + , ?是零因子环,An是n?n方阵。 * 无零因子环的性质 定理5-9.2: 环A,+,?是无零因子环,当且仅当A,?满足可约律。 证明:?a,b,c?A ,a?0,b?0. 必要性:设R,+,?无零因子,若ab=ac， ?ab-ac=?, a(b-c)=? 因为R,+,?无零因子. ?b-c=? ?b=c。 充分性:设A,?满足可约律,设?a?A a?? ，ab=?， 则 a?b=a??，由可约律 b=? ?无零因子。 ?A,+,?是无零因子环。 * 整环 定义5-9.2: 给定环R,+,?,若R,?是可交换的,称R,+,?为交换环。 给定环R,+,?,若R,?含幺元,称R,+,?为含幺环。 定义5-9.3: 给定环R,+,?,若R,?是可交换的、含幺元、无零因子,则称R,+,?为整环。 例. 1)I,+,?是整环。 2)N4,+4,?4不是整环。 * 域 定义5-9.4