论扩域中的四种代数运算

来源: 发布时间:2019-08-02 09:47:46

  摘要:在高等代数中已然对域的概念有了初步介绍,域即是对加、减、乘、除四则运算全部封闭的集合,这仅是一种表面定义,本文从更深一层次对域的概念进行了更加详细的界定,从而让读者能够对域的概念有深入了解,本文另外也对扩域的概念进行了阐述,并深度剖析相关扩域典型问题以加深读者对域以及扩域的理解与掌握.

  关键词:扩域;代数元;极小多项式;主理想

  中图分类号:O13 文献标识码:C

  域和扩域的概念皆为高等数学中比较抽象难懂的概念,较之于初等数学中的一些简单数学知识,域和扩域的概念才算涉及到数学界真正的前沿,但是由于数域的定义未免太过于广泛,所以我们在高等数学中很少用到有关数域的定义,倒是数域的一些子集例如有理数域,复数域,实数域和代数数域反倒经常被提及或使用.而扩域指的是在数域的基础上,通过某些特别规定的法则所构建出来的一种新的域,即称之为扩域.例如在域的基础上添加单个元素所构成的域即称为单扩域.下面即先介绍域和扩域的定义,之后再在实例中展开论述.

  1域的定义

  在抽象代数中,交换除环即为域,在域中元素之间是可交换的,而且每个元素都存在可逆元,当然域首先得是一个环.

  2扩域的定义

  一个域A是域B的扩域的充要条件是域B是域A的子域. 众所周知,实数域完全是在有理数域的基础上通过某种方式建立起来的,而复数域是在实数域的基础上通过某种方式建立起来的,所以我们发现探讨域的方法就是先从一个既定的域A出发,再在域A的基础上构建我们想要的域B.扩域大致可分为两种,一种是单扩域,一种是代数扩域.文章主要介绍单扩域,至于代数扩域会在今后进一步阐述.

  3 域与扩域的四种代数运算

  例1 证明:我们不妨令 是域 作成的一个扩域,并且还有 .现在来证明 是 上的一个代数元,而且还有 成立.

  证明:对于 ,我们知道此式为 的一个不等于零的多项式,除此之外我们还有结论 ,从而我们可以很容易得到结论: 一定为 上的一个代数元. 另一方面由于 含有 和 , 从而我们可以很容易得到结论: .从另外一个层面来说,因为 是含有 和 的一个 的子域,并且我们还知道 是含有 和 的一个 的最小子域,从而我们可以容易得到结论: .综合以上两个方面我们可以得到结论: .证毕!

  例2 不妨令 是有理数域,复数 和 在 上的极小多项式各是什么?另外, 和 是否同构?

  解答:我们可以显然发现 ,因而我们有结论: .而我们可以发现另一方面: (1)

  而且 (2)

  从而我们可以得到结论: .根据此我们可以得到结论: ,从而可以得到结论: (3)

  另一方面, 上的一次多项式 很明显是不能满足条件 的,从而可得 在 上的极小多项式绝不可能是一次的,可是另一方面 上的二次多项式 是完全满足条件 的,从而我们可以得到结论: 在 上的极小多项式一定为多项式 .与此同时另一方面, 在 上的极小多项式绝对不可能为一次的. 理由是: ,根据于此,我们就可以轻松得出: 在 上的极小多项式毫无疑问是 .

  例3 求证元素 在域 上的极小多项式为 .

  证明:我们不妨令 为 中一切满足条件 的多项式 作成的集合.我们知道 ,从而得到结论 不能是空的.我们不妨假设 并且 ,上面这个结论完全可以使得我们轻松地得到另外一个结论: (1)

  (2)

  从而我们可以得到结论: 为 的一个理想,可是另一方面由于 为一个主理想环,从而我们可得结论: .另一方面我们根据条件 ,从而我们可得结论 一定不是0理想但是 .我们完全可以假设 的最高系数为1,可是另一方面 中所有 都是完全可以整除于 的,从而我们可得结论为: 一定为 中的多项式,而且这个多项式的次数肯定很低,从而我们可以说这个多项式一定是元素 在域 上的极小多项式. 另一方面我们根据条件 ,但是我们知道 是不可约的事实,所以我们完全可以得到结论为: ,其中条件 ,可是另一方面我们知道多项式 和 的最高系数完全一致为1,综上所述我们可得最终结论为: ,而且还有结论是多项式 一定毫无疑问为元素 在域 上的最小多项式.

  参考文献:

  [1]朱仁芝,刘磊,江涌,陶涛.平面基域分划的一种新算法 [J].计算机工程与应用,1998,12(10):34-35.

  [2]彭国华.Kummer函数域的理想类群(英文) [J].四川大学学报(自然科学版),1999,16(04):95-96.

  [3]张贤科.实二次域理想类群的子群的决定 [J].科学通报,1991,31(24):64-65.

  [4]刘通.实六次循环数域的类数同余公式 [J].中国科学(A辑),1999,(02):23-24.

  [5]贾志成,赵晓群.关于1,4,9拟循环数开方规律 [J].燕山大学学报,2001,(01):78-80.

京ICP备19010415号  版权所有:科技风杂志社官网  未经本刊授权不得转载本站文章