代数数论
维基百科,自由的 encyclopedia
在数学中,代数数论(英语:Algebraic number theory)是数论的一支,在这个数学分支中,“数”的概念延伸到代数数上,以解决具体的数论问题。这类数是有理系数多项式的根。与此相关的概念是数域,这是有理数域的有限扩张。依照同样的动机,整数可以被推广为为代数整数,然后研究一个数域里的代数整数。
代数整数在加法、减法与乘法下构成一个环,但整数的许多性质并不能推广到一般数域里的代数整数上,其中一个例子是素因数分解的唯一性(又称算术基本定理),这是十九世纪数学家试图证明费马大定理时遇到的主要阻碍,然而代数数论的应用不仅止于此。数学中一些较深入的理论有助于让我们了解代数数与代数整数的性质——包括伽罗瓦理论、伽罗瓦上同调、类域论、群表示论与L-函数的相关理论等等。
数论中的许多问题可借由“模 p”(其中 p 为素数)来研究。这套技术导向p进数的建构,而p进数是局部域的例子;局部域的研究运用了一些研究数域时的相同方法,但是通常更容易处理。各个局部域上性质时常可以上升到整体数域上性质,例如哈瑟原理:
“一个有理系数二次方程在有理数域上有解,若且唯若它在实数上及在每个素数 p 之 p进数域上有解”。
这类结果往往被称作局部-整体原理,其中“局部”意指局部域,而“整体”意指数域。