关于二次整环性质的讨论.docVIP

【标题】关于二次整环性质的讨论 【作者】周 娟 【关键词】二次整环??最大公因子??不可约元??主理想环 【指导老师】杨 红 【专业】数学与应用数学 【正文】1?引言 ????数学作为一门基础学科，向来被认为是基础的基础，它主要研究数量关系与空间形式。进入?世纪，数学如何发挥它应有的作用，以支持和促进科技和经济的发展。而群、环、域等基本概念和基本理论是近世代数（或抽象代数）的分支，而著有“数学皇后”的数论是在?世纪中处于最活跃的数学前沿。是因为数论的研究对象之根本，方法之优美，问题之神奇，意境之深远。正是如此，许多数学家们都很广泛的使用了群、环、域、理想等概念来应用于抽象数学。??高斯（?，?）研究了?的二次型（也即是相当于二次域），并引入了同余的概念，进而阿贝尔从代数方程的解法到群论的思想中都对群、环、的知识有所提及。到了?世纪末，德国的数学家戴德金、韦伯（?，?）和希伯尔等人通过对分散出现的具体研究对象，抽象出它们的共同特征，进行统一的公理化处理，使得群、环、域、模以及代数等相关概念进一步深化。而?年德国女数学家诺特（?、?）发表了《整环的理想论》。[2]从此在公理化的基础上建立了一般的理想论，也因此成为交换代数的里程碑。??对于群、环、整环?、二次整环的概念及理论在一些教科书和资料里虽有所提及，而从古到今，也有许多数学爱好者做了一些研究和发表。但对于目前来说，整环、二次整环的定义和性质来说几乎没有什么总结性的文章出现。因此在这里就针对这个问题进行讨论。即不妨对群、环的性质做一个系统的总结，从而推出整环的基本定义及其性质，以及在二次整环中是否存在任意的两个元素，它们的最大公因子一定存在。2?预备知识对于二次整环的定义及其性质的讨论，以及在二次整环中是否存在任意的两个元素，它们的最大公因子一定存在的问题，我们先来看一下有关的群、环的定义及其基本的性质。[1]设G是一个非空集合，如果在G上定义了一个代数运算，称为乘法，记作?，（或称加法，记作?）而且她适合以下条件，那么G就称为一个群。⑴.对于G中的任意元素?，有?????结合律?⑵.在G中有一个元素?，它对G中任意的元素a?，有??，⑶.对于G中任一元素?都存在G中一个元素?，使得?根据群的定义，我们不难看出群就是一个集合G，其中元素之间可以进行一种运算及其逆运算，更确切的说，群G就是一个集合，其中元素之间定义了有某一个二元运算（记为*）。从而，可以推出群的一些简单的基本性质:?(存在可逆元)?如果?，则?;(存在单位元?)对所有的?∈G，有?。那么?成立G中唯一的元素?具有的性质??，对所有的?∈G，即是存在唯一的单位元。证明：假设有?∈G，它们都具有满足群的定义和性质，于是????????????????这就证明了这种元素只有一个。群G具有的性质?，对所有的?∈G的唯一的元素e，则称之为群G的单位元素，显然，在通常的乘法的情况下，1就是它的单位元素，而在通常的加法的情况下，那么0就是单位元素?了。因此在群的性质的推导中，不难推出群的可逆元也是唯一的，即存在唯一的可逆元。而在方程中也存在唯一的解，对于G中两个任意的元素所组合的方程。对于群G中任一元素?有唯一元素?使?证明：假设在有一个元素c也具有同样的性质，即有：?于是???这就证明了唯一性。对于元素a，唯一的性质??的元素?称为a的逆元素，记为?。如果运算写成加法时，?的逆元素就可以记为-?，称为?的负元素，由唯一性不难看出，?成立。对于群G中任意元素?、?，方程ax=b在G中有唯一解证明：显然成立，?是方程?的解，因而方程?有解，要证明它有唯一解，则假设?是方程的两个解，于是有：?????????????????两边左乘?，即得：??????????????????这就证明了解的唯一性。同样的可以证明，在群G中方程?也有唯一的解。由上面的证明不难看出，在群中有?，可以推知：?，而群的定义中结合律表明，群中任意三个元素?的乘积与作运算的顺序无关，因而可以写成??。这里就不做过多的叙述了。群是具有一个代数运算的代数结构，那么，关于具有两个代数运算的代数结构是什么样的机构呢？即我们下面要叙述的环类结构。[1]?设L是一个非空集合，在?上定义了两个代数运算。一个叫加法，记为?；一个叫乘法，记为?。如果具有性质：⑴?对于加法成一交换群⑵?乘法的结合律：对所有的?∈??，?⑶?乘法对加法的分配律：对所有的?∈???????????????????????????????????????????????那么，??就称为一个环。环是一个元素之间有加法、乘法的集合且集合关于两个运算是封闭的,更确切的说,环?就是其元素之间有两个运算,那是分