离散数学代数结构-环域.PPT

* §6.1 定义及基本性质 例4：全体有理数按普通加法和普通乘法构成无零因子有乘法幺元的交换环，所以是整环。 全体实数、复数？ * * 整环: A,+是可交换群， A,*是半群，且有单位元，可交换，无零因子 （1）A={x|x=2n,n ?Z} A,+是可交换群（封闭、可结合、0、逆元存在、可交换） ； A,*是半群（封闭、可结合） 是环。 没有乘法单位元，不是整环。 （2）A={x|x=2n+1,n ?Z} A,+：封闭不满足、+不能构成群，不是整环。 例6： 在含幺环A,+,*中，群A,+的可交换性是不必要的。 证明：A,+,*是含幺环，则A,+是可交换群。且*有幺元 ?a，b? A， (a+b)*(1+1)=(a+b)*1+(a+b)*1=(a+b+a+b) (a+b)*(1+1)=a*(1+1)+b*(1+1)=a+a+b+b a+b+a+b=a+a+b+b 所以 b+a=a+b * 例7：s是集合，P(s)是幂集，在P(s)上定义二元运算?和*，则 P(s),+，? 不是整环。 A+B = { x | x?S?(x?A?x?B)?x?A?B} A?B = A?B 因为 S 是P(S), ? 中的单位元，并且S??， 若 S1是S的任意真子集，并且S1??，则S-S1?? 但是 S1 ? (S-S1)= ? 所以P(S), +，? 中含有零因子。 故 P(S), +，? 不是整环。 ?A ，B?P(s) * §6.2 整环、除环和域 (4) 6.2.3 除环、域 设 A,+,* 是一个含幺环，其单位元是e’，如果A-{e}??，并且 A-{e},*是一个群，则称它为除环，可交换的除环是域。 即A-{e},*是一个Abel群。 * §6.1 定义及基本性质 (1) 除环 假设 A,+,* 是一个代数系统，其中，? 和 * 都是集合 A 上的二元运算，如果满足： （1）A,+ 是交换群（Abel群）； （2）A-{e}, + 是群； （3） * 对+ 是可分配的； 则称 A,+,* 是一个除环。 * §6.1 定义及基本性质 (1) 域 假设 A,+,* 是一个代数系统，其中，? 和 * 都是集合 A 上的二元运算，如果满足： （1）A,+ 是交换群（Abel群）； （2）A-{e}, + 也是交换群（Abel群） ； （3） * 对+ 是可分配的； 则称 A,+,* 是一个域。 * * 解：域：A,+是Abel群， A-{e},*也是Abel群 (1)A={x|x?0,x ?Z} 没有加法逆元，所以不是域 * * 设P为素数，则代数系统 为域 证明:因为对任意的 有 有 满足分配率 所以 满足结合律。 又有 所以 满足交换律。 证明:因为对任意的 证明:因为对任意的 证明:因为对任意的 证明:因为对任意的 有 又有 * §6.2 整环、除环和域 (5) 6.2.3整环、域 域一定是整环，但整环不一定是域。 A,+,*是域。 则A,+ 是Abel群；A-{e},*也是Abel群；*对+可分配 是否满足构成整环的条件： A,+ 是Abel群； A，*是半群（封闭、可结合），且含幺元、无零因子、可交换。 A-{e},*是Abel群，所以A,*含幺元；且*可交换 A,*无零因子。 若存在零因子即a ?e,b ?e 但a*b=e， 则有a*b=e=a*e 由消去率的b=e(矛盾) 整环不一定是域。因为A-{e},*中不一定保证逆元存在 A-{e},*不一定构成Abel群。 §6.2 整环、除环和域 (5) 6.2.3整环、域 即：阶不小于2的有限整环必为域。 设 A,+,*是有限整环，并且|A| ? 2，则A,+,* 一定是域。 证明:要证明是域只需证明它的任意非零元素都有逆元。 ?a?A，a?e，由于整环中*有消去律可知，如果ai?aj， 则a*ai?a*aj , 所以有a*A=A（A是有限集） 所以必?ak?A 有a*ak=e’(*幺元) 即任何非零元的逆元都存在 A,*是Abel群。 * §5.4 循环群 例：设 G,* 是 n 阶循环群，其生成元为a, 设b=ak k是正整数， 求证：元素b的阶是 ，d是n与k的最大公约数。 证明：因为d是n与k的最大公约数，所以可以设定