Gauss整数环及其推广.doc

目 录 摘要 1 关键词 1 Abstract. 1 Key words 1 引言 1 1 高斯整数环及其商环的定义 1 定义1.1 Gauss整数环的定义 1 定义1.2商环的定义 1 定义1.3范数的定义, 1 定义1.4素元的定义 2 2 有关高斯整数环的一些引理 2 引理2.1. 2 引理2.2 2 引理2.3 2 引理2.4 2 3 高斯整数环及其商环的性质 3 性质3.1 3 性质3.2 3 性质3.3 3 性质3.4 3 性质3.5 3 性质3.6 4 4 Gauss整数环的一些定理 4 4.1Gauss整数环素元的判定条件 4 4.2Gauss整数环的欧氏环性 5 4.3. 5 5 高斯整数环的性质和定理的实际应用 6 6 结束语 8 致谢 8 参考文献 8 Gauss整数环及其推广 数学与应用数学专业学生 颜双喜 指导老师 李荣 摘要：高斯整数环是近世代数中极为重要的一个概念，本文探讨了Gauss 整数环及其商环的定义和一些性质, 引入素元定义，并探讨Gauss整数环中素元的性质.证明了Gauss整数环是欧氏环和通过构造一个映射证明 ,并给出适当例题. 关键词：高斯整数环 商环 素元 Gaussian integer ring and promotion of it Pure and Applied Mathematics Yan Shuangxi Tutor Li Rong Abstract：Gaussian?integer?ring is an extremely important concept in modern algebra. This paper discusses definition and of Gaussian?integer ring and Quotient ring. It also introduces the concept of Prime element, explores its properties in Gaussian?integer?ring and proves that Gaussian?integer ring is a Euclidean ring .Through a mapping, it proves and provides some?examples. Key words：Gaussian?integer?ring; Quotient ring,Prime element 引言：1801年, 高斯出版了著作《算术研究》, 深入研究二元二次型的整数解问题(其中，，， 均为整数).以方程为例, 他把此方程写成的形式, 其中.高斯研究形如的数(其中和是整数), 这种数现在称为高斯整数.高斯整数所成的集合中可以进行加减乘运算, 这是一个交换环, 称为高斯整数环. 1 高斯整数环及其商环的定义 定义1.1　设为整数集, 定义, 则是一个环, 称为高斯整数环. 定义1.2　设是的一个主理想, 称Z[ i] 的模N 的剩余类为商环, 记为. 定义1.3　设, 定义为中元素的范数. 显然, 为非负整数,且有,. 定义1.4　设, 如果既不是的零元, 也不是单位, 并且只有平凡因子, 称是中的素元. 2 有关高斯整数环的一些引理 引理2.1　若.为一单位, 则有, 使得. 引理2.2 设是的素元, 则 是一个域. 引理2.3 设是整数环上的一元多项式, 的元的最高系数是的一个单位. 那么的任意多项式, 其中,或者的次数小于的次数. 引理2.4 设的子环, 其中, 并且时, , 则： (1)当时, 是的理想当且仅当； (2)当时,是的理想当且仅当,，. 3 高斯整数环及其商环的性质 性质3.1 若，是素元,且 则 应用反证法．不难看出结论是显然的. 性质3.2 的单位(可逆元)是， 可逆，则 两边取模得到 由于，，故，于是 ，或，或，或 即的单位(可逆元)是. 是欧氏环,因而是主理想环和唯一分解环 [3]中.中的素元当且仅当是不可约元. 证明 设为中的不可约元，并有（），由命题2知： ，使得令,因为是Z[i]的不可约元，故中必有一个是单位. 若是单位，则即 若是单位，由故可设 ，于是则，由 于|及|，所以|,因此是中的素元. 反之，设是z[i]的素元，若,则有|或|,不妨设|，可设,故，由是无零因子环，所以有，即得是单位，故是不可约的. 性质3.5 设，如果是z中的素数，则是Z[i]的素元；若是Z[i]中的素元则也是中的素元. 证明　设,由是中的素数，若是中的可约元，可设，，均不是中的单位，由均不为1，与是中的素数矛盾，所以是中的不可约元， 由命题3知是中的素元. 设，则 由可约可知