代数数论

✍ dations ◷ 2025-09-02 13:01:59 #代数数论
在数学中,代数数论是数论的一支,其中我们将“数”的概念延伸,以解决具体的数论问题。我们在代数数论中考虑代数数,这类数是有理系数多项式的根。与此相关的概念是数域,这是有理数域的有限扩张。在此框架下能推广整数为代数整数,并研究一个数域里的代数整数。代数整数在加法、减法与乘法下构成一个环,但整数的许多性质并不能推广到一般数域里的代数整数上,其中一个例子是素约数分解的唯一性(又称算术基本定理),这是十九世纪数学家试图证明费马大定理时遇到的主要阻碍,然而代数数论的应用不仅止于此。数学中一些较深入的理论有助于让我们了解代数数与代数整数的性质——包括伽罗瓦理论、伽罗瓦上同调、类域论、表示理论与L-函数的相关理论等等。数论中的许多问题可借由“模 p”(其中 p 为素数)来研究。这套技术导向p进数的建构,而p进数是局部域的例子;局部域的研究运用了一些研究数域时的相同方法,但是通常更容易处理。一般数域上的陈述常与各个局部域上的相应陈述有关,例如哈瑟原理:“一个有理系数二次方程在有理数域上有解,当且仅当它在实数上及在每个素数 p 之 p进数域上有解”。这类结果往往被称作局部-整体原理,其中“局部”意指局部域,而“整体”意指数域。代数数域K的整数环OK的元素的素分解和整数环Z的素数分解有不同之处,不是每个OK的元素都唯一分解。虽然OK元素的唯一分解束在某些情况下可能成立,如高斯整环,但在其它情况下可能会失败, 如二次域Z 中,6就不是唯一分解|: 6 = 2 ⋅ 3 = ( 1 + − 5 ) ⋅ ( 1 − − 5 ) . {displaystyle 6=2cdot 3=(1+{sqrt {-5}})cdot (1-{sqrt {-5}}).}OK的理想类群是一个整数环OK的元素是否唯一因子分解的度量,特别是当整数环OK理想类群是平凡群时,当且仅当O为唯一分解整环。0的唯一因子分解和OK素理想间关系。OK元素的唯一分解可能成立:这时OK的理想的唯一分解成素理想(即它是一个戴德金整环)。这使得在研究OK的素理想尤其重要。从另方面,从整数环Z更改为代数数域K的整数环OK后,整数环Z中素数就能生成Z素理想(其实,Z的每一个素理想(p)的形式是:pZ)可同一素数在O中可能不再生成素理想,例如,在高斯整环中,理想2Z不再是素理想:但理想3Z是一个素理想。高斯整环唯一因子分解完整的答案使用费尔马大定理,其结果为:得出这种简单的结果对更一般的整数环来说是代数数论的基本问题。当代数数域K是有理数Q的阿贝尔扩张时(即有交换伽罗瓦群的扩张)类域论实现了这一目标。(根据类域论,因K为有理域Q时OK才有唯一分解,以下K=Q,注意有理域Q和有理数域不同,实域R和实数域不同)在OK素理想的概念的一个重要的推广是理想论,也叫赋值论,这两种方法之间的关系如下:运算为通常的绝对值函数|·|,映射有理域Q→实域R的,令绝对值函数|·|p: 定义称为p-adic绝对赋值,p∈Z中的素数。由奥斯特洛夫斯基的定理,所有p-adic绝对赋值对Q是等价类,p-adic绝对赋值可看成类似通常素数。更普遍的,代数数域K的绝对赋值称为一个素点。K中素元分两类:像p-adic绝对赋值|·|p这种等价类是有限的,被称为有限素元(有限素点)。而通过复域C的模|·|方式定义的素元可看成复域C一个无限子集,被称为无限素元(或无限素点)。因此,一般表示Q的素元集合为{2,3,5,7,...,∞},在这种情况下|·|∞是有理域Q的素元(素点)。K的无限素元可有嵌入同态K→C(即非零的环同态,从K到C)。具体来说,可把嵌入分成两个不相交的子集,那些像在R中算一个子集S1,其余的为另一子集S2。S1的每个嵌入σ:K→R,对应唯一一个和通常绝对值一样的绝对赋值;这种方式产生的一个素元的被称为一个实素元(或实素点)。S2的一个嵌入τ:是K→C不包含在R中的的像,可以形成另一个唯一的嵌入τ,称为共轭嵌入,组成的复共轭映射为τ的C→C.而此绝对赋值为复数的模:|z| = |z| 。这样的素元叫一个复素元(或复素点)。这样无限素元的集合的描述如下:每个无限素元对应到一个唯一的嵌入σ:K→R,或一对共轭嵌入τ,τ:K→C.实素点素数表示为r1 ,复素点表示为r2,嵌入ķ→C的总数为r1+2r2,(事实上,等于K/ Q的扩张次数:)。算术基本定理说明Z环的乘法结构为:每一个非零整数可以表为唯一的若干素数次幂和±1乘。这对OK的理想的唯一分解对一部分理想正确,不能全正确是因为±1,因为整数1和-1是Z环的可逆元(即单位,两者组成一个乘法群叫单位群,记为Z×,是个2阶循环群)。更普遍的是,在OK的形式下全部素元乘法可逆组成一个乘法群,记为O×,群素元称为OK的单位,这个群比2阶循环群Z×阶大。由狄利克雷单位定理可得:单位群是交换群。更确切的有伽罗瓦模形式:有限循环群即为K的单位群O×。OK单元群的阶大小,OK的格结构,在类数公式可以看出。在素点w对数域K完备化给出了一个完全域。如果赋值是阿基米德赋值,得到R或C,都是完全域。如果非阿基米德赋值,则是有理素元的离散赋值,得到有限扩张Kw / Qp: :这离散赋值域也是一个完全域,且是有限剩余域。局部方法简化了域的算术,能局部研究问题。例如克罗内克韦伯定理,可以轻松地从局部状态进行。局部域的研究背后的哲学,主要是出于几何方法。在代数几何,可通过对极大理想的点集局部化的变量研究入手。而全局信息,可通过局部化综合在一起得出。在代数数论,局部研究问题是主要方法之一,通过在数域代数中对整数环的素元入手,再对分式域研究得出全局信息。理想类群阶的有限性问题。代数数论一个经典结论是:代数数域的理想类群阶有限。 理想类群阶大小叫类数,常记为h。

相关

  • 耳(耳朵)是动物接收并感知声波,识别方位维持身体平衡的器官,为动物提供听觉。耳可以是整个听觉系统的统称,亦可以仅指露出在身体外的部分(外耳)。在大部分的哺乳类动物中,外露在身体
  • 巴鲁赫·斯宾诺莎斯宾诺莎(拉迪诺语:Baruch de Spinoza,拉丁语:Benedictus de Spinoza,1632年11月24日-1677年2月21日),西方近代哲学史重要的理性主义者,与笛卡尔和莱布尼茨齐名。斯宾诺莎的祖先是居
  • 集体协商集体协商是一个雇主和雇员团体之间敲定薪资范围、工作环境、福利及其它雇员权利的过程。雇员的权益通常由其所属的工会代表。通过集体协商,雇主会与雇员团体之间达成一个设定
  • 恶性疟Oscillaria malariae Laveran, 1881 Plasmodium malariae Marchiafava and Celli, 1885 Laverania malariae Feletti and Grassi, 1890 Ematozoo falciforme Antolisei and
  • bspan style=color:yellow;⑦/span/b约旦河西岸地区(阿拉伯语:الضفة الغربية‎,希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL"
  • Cesub2/subSsub3/sub三硫化二铈是铈的硫化物之一,化学式为Ce2S3。γ-Ce2S3是褐红色的固体,在掺有碱金属时,其颜色转变为橙色。三硫化二铈可以被强酸分解,放出硫化氢。
  • Sbsub2/subSsub5/sub五硫化二锑是一种锑和硫生成的化合物,不同于三硫化二锑,是一种非整比化合物,为深橙黄色粉末,不溶于水,常用于橡胶工业和制作兽药。可以用全硫代锑酸盐加酸来制备它。但是无法证明
  • 温德尔·斯坦利温德尔·梅雷迪思·斯坦利(英语:Wendell Meredith Stanley,1904年8月16日-1971年6月15日),出生于印第安纳州里奇维尔,美国化学家,1946年获诺贝尔化学奖。1901年:范托夫 | 1902年:费歇
  • 布伦特里布伦特里(英语:Braintree)是位于美国马萨诸塞州诺福克县的一个市镇。根据美国人口调查局2000年统计,共有人口33,828人,其中白人占93.96%、亚裔美国人占3.14%、非裔美国人占1.18%
  • delta cellD细胞(Delta cells,亦可写作δ-cells或D cells)是一类可以分泌体抑素(somatostatin)的内分泌腺上皮细胞。D在胃、肠道,以及胰岛中都有分布。在人的胰岛中,D细胞遍布整个胰岛。与之