近世代数论文.docVIP

欧氏环的研究 摘 要 欧氏环在不同书中常有不同的定义方法,本文给出了几种欧氏环的定义,证明了欧氏环中最大公因式的存在性,并且导出了其类似于整数的最大公因数的性质. 关键词 欧氏环;主理想;唯一分解环;相伴元;单位 中图分类号 O153 1 基本定义与引理 设是一个环, 表示的全体非零元素作成的集合,用表示全体非负整数作成的集合. 定义1[1] 设是一个有单位元且无零因子的环.如果 (1) 有一个到的映射; (2) 对中任意元素及,有元素,,使 ,, 则称是一个对映射来说的欧氏环.只要存在这样一个映射,就说是欧氏环. 定义2[2] 设是一个有单位元、可换且无零因子的环.如果 (1) 有一个到的映射; (2) 对中任意元素及,有元素,,使 ,或, 则称是一个对映射来说的欧氏环.只要存在这样一个映射,就说是欧氏环. 定义3[3] 设是一个有单位元且无零因子的可换环.如果 (1) 有一个到的映射; (2) 对中任意元素及,有元素,,使 ,或; (3)对中任意非零元素,都有 , 则称是一个对映射来说的欧氏环.只要存在这样一个映射,就说是欧氏环. 定义4[4] 设是一个有单位元且无零因子的可换环.如果 (1) 有一个到的映射,而且,当且仅当如果; (2) 对中任意元素及,有元素,,使 ,; (3)对中任意非零元素,都有 ; 则称是一个对映射来说的欧氏环.只要存在这样一个映射,就说是欧氏环. 定义5[5] 设是整环,若 (1) 存在一个由到非负整数集的映射; (2) 使 ,或; 则称是一个欧氏环. 定义6[2] 一个整环叫做欧氏环,假如 : (1) 从到非负整数集合的映射存在; (2) 都有,使得,其中或 (叫做带余除法) 引理1 设是一个欧氏环,如果,使得,那么整除的每一个元. 证明 因为,使得.取,若;则 ;若,则由定义6可知,,使得,其中或;否则,这是一个矛盾,从而,于是整除的任意一个元. 推论1 若是一个欧氏环,并且是使的的一元,那么. 推论2 若是一个欧氏环,并且是使的的一元,那么是的可逆元(单位). 证明 由推论1知 .因为,所以使得,即是可逆的. 引理2 设是欧氏环,如果中有,那么. 证明 设与的一个最大公因式为,记为.因为 ,所以;另一方面,对即因为是与的一个最大公因式,所以这样也是的一个值,即从而. 2 主要结论 定理1[3] 设是一个欧氏环,那么对来说,存在与的最大公因式,并且使得. 证明 若有一个为0,不妨假定那么是与的一个最大公因式,即.若都不为0,由欧氏环的定义5知,使得则有下列诸等式: 若,则,使得; 若,则,使得; 若,则同样可以继续考虑, ; . 这个过程称之为辗转相除法.在此过程中一定存在,否则任何,这时得到以下不等式链:,其中是一个有限正整数,有使得,由引理1得知整除的每一元,所以,从而 ,与任何矛盾.于是辗转相除法过程中有一等式中,有.再由引理2, ,有即是与的一个最大公因式,这样就证明了在欧氏环中最大公因式的存在性. 即最后可以消去所有,所以. 推论3 是欧氏环的两元,那么使得. 证明 先证充分性可由定理1直接得出. 再证必要性. 设使得因为对,所以. 定理2[6] 若欧氏环中,则对,都有. 证明 因为,所以1是的最大公因式.所以使得对都有,由此可知与相同公因式,从而. 推论4 在欧氏环中若,则,. 证明 因为,且由定理2可知, . 同理可得. 推论5 欧氏环中若,那么. 证明 由定理2得即,. 同样可得 . 3 应用举例 例1[5] 证明：Gauss整数环是一个欧氏环. 证明 显然是复数域的一个子环,且,于是是一个整环.令 , , 其中是的模,则是一个到的映射. 下面证明：,,,使 ,或. 设,其中.现取分别是与最接近的整数,令,,则 , 于是 其中.因为所以.若, 则 因此,是欧氏环. 例2[5] 设整环中任意两个元的最大公因子都存在,是中个不全为零的元,若,证明：是的最大公因子互素. 证明 若是的最大公因子,由及是中个不全为零的元可得.现设是的一个公因子,则是的公因子,从而,于是,即是单位.因此互素. 反之,令是的最大公因子,则.又因为是的最大公因子,所以,即,于是= .又由可得.而,于是,即是的一个公因子.因为互素,所以是一个单位,于是,因此也是的最大公因子. 4 总结 总之,一个欧氏环中既可以明确地看到最大公因式的存在性,又可以给出具体求法,另外欧氏环中讨论问题比较方便,其很有实用性的特殊主理想环,又是一个唯一分解环. 参 考 文 献 [1] N.Jaeobson.Basie Algebra.W.H.Freeman and Company,1974. [2] 张禾瑞.近世代数基础[M].北京:高等教育出版社,197