包含形如n次根号a 的最小数域的推广.pdfVIP

摘要：数域的扩充问题是代数数论的重要研究课题，和的最小数域问题已经完全被解决，

但是用基础数学的方法计算无理数的最小数域非常困难。

和

本文内容主要分为三部分：第一部分主要研究的最小数域问题，及其证明；第二部分写明本文所

用到的基本定义、性质及定理；第三部分主要研究包含形如的最小数域的推广，用基础数学的方法

证明其结论。关键词:数域;最小数域;无理数

一、引言代数数论的基本研究对象是代数数域，数域类群和类数的研究是代数数论的一个中心课

题，它的研究结果对于数在数域中的分解和运用具有重要的指导意义。现阶段而言，国内外的学术界

对数域在单纯地扩充数域方面的研究并没有很多，主要是针对以下几个方面做出研究。数域的扩充在

教学方面的作用：如王美香等人用数域扩充的方法证明了任意角不能三等分[1]；数域的理论应用方

面：在复变函数上的应用[8]，用一般数域筛选法解决整数因式分解的问题[9]；数域的理论研究方面：

如运用代数的方法给出了一些特殊三次域、四次域的整基[10]；数域的扩张：负数域的有限扩张[12]。

，包含

数域除有理数、实数域和复数域之外，还有很多别的数域。如包含的最小数域是

的最小数域是，我们随之往后继续推广，那包含无理数的最小数域应该是多少呢？

本文主要是运用矩阵和线性方程组的方法来研究包含无理数的最小数域，主要分为以下三个方面：（一）

用基础数学的方法论证包含和的最小数域；（二）阐明所需要运用的相关定理；（三）用矩阵和线性方程组的

方法来证明包含最小数域。用更为一般的方法来证明包含形如的最小数域，能被更多的人所理解。

1.1

1.2

二、所运用到的

相关定理及证明

本节主要探究数域和矩阵的一些基本性质且对其相应性质进行证明。

性质2.1有理数域Q是最小的数域证：F必有一个非零元素a由于F为运算封闭的数域所以a-a=0

属于F

a/a=1属于F

0和1都属于F那么1+1=2属于F1+2=3属于F

同理，自然数N都属于Fn=-n也属于F

所以整数集合Z都属于F那么，当m，n为整数时，m/n（有理数）也属于F则，所有的数域都包含有

理数域Q

综上所述，有理数域Q为最小的数域性质2.1得证。

定义2.2数域

设P是由一些复数组合的集合，其中包括0和1，如果P中任意两个数（这两个数也可以相同）

的和、差、积、商

（除数不为0）仍然是P中的数，那么P就成为一个数域。

定理2.3线性方程组有解的判定定理线性方程组有唯一解的充分必要条件为它的系数矩阵与增广矩阵

有相同的秩。

证明：设n元线性方程组的系数矩阵为A，增广矩阵为B

①必要性：反证法：设r（A）r（B），则B的行阶梯型矩阵中最后一个非零行对应0=1产生矛

盾；

②充分性：将B化为行阶梯型矩阵，设r（A）=r（B）=r（rn），则B的行阶梯型矩阵中含有r个

非零行，

把这r个非零行的第一个非零元所对应的未知量作为非自由未知量，其余n-r个作为自由未知量，

并令n-r个自由未知量全取0，即可得到方程组的唯一解。证毕。

三、包含形如的最小数域的推广

四、总结与展望

4.1总结

数域的扩充是代数数论的重要研究课题，本文的内容主要是探究包含形如的最小数域的推广。

本文主要用基础数学的方法——矩阵和线性方程组来证明，本文最主要的一个亮点是把矩阵和线性方

程组的知识结合起来，来

证明数域对于除法封闭，更好的开拓人的思维，使这个结论更加简单易懂。

4.2展望

数域的扩充问题本身是一个比较复杂的问题，本文只是研究了单个的无理数，其中α为有理

数，n为整数。

当α为无理数时，n为有理数时；当α为无理数，n为无理数时等等，它们的最小数域应该是什么

样的？我们可以用怎样的基础数学的方法来证明？将是我们将来进一步研究的方向，