数域上整体类域论的应用.docVIP

数域上的整体类域论 一 概述 本文主要阐述Magma程序中关于代数数论中经典理论类域论的方面的程序. 主要内容来自悉尼大学Claus Fieker教授写的Applications of the Class Field Theory of Global Fields. 本文假设读者已经熟悉Magma的基本应用. 整体类域论提供了代数数域的有限abelian扩张的一种描述. 我们用Magma将这个过程完整描述出来, 给学习和使用类域论的读者提供参考. 二 建立数域 一个数域是有理数域Q的一个有限扩张. 让我们首先来建立一个代数数域. 一个代数数域是一个有理数域的有限扩张, 因此我们首先定义有理数域. Q:=Rational(); 其次, 一个代数数域需要有一个多项式不可约来定义, 因此我们先定义多项式环. Qtt:=PolynomialRing(Q); 现在我们来定义代数数域Q(25^(1/3)). Ka:=NumberField(t^3-25); 这样Ka就是我们要建立的代数数域了. 我们来试验一下. a^3; 25 a^23-25*a; 6103515625*a^2-25*a 我们会发现a=25^(1/3). 接下来的问题自然是如何求K的整舒环和整基了. Magma提供了现成的程序. Z_K:=RingOfIntegers(K); Basis(Z_