代数数论
已经有账户了?<一个href="//www.parkandroid.com/account/login/?next=/wiki/algebraic-number-theory/" class="ax-click" data-ax-id="clicked_signup_modal_login" data-ax-type="link">日志在这里。一个>
与…有关。。。
代数<一个href="//www.parkandroid.com/wiki/number-theory/" class="wiki_link" title="数论gydF4y2Ba" target="_blank">数论一个>是根的研究吗<一个href="//www.parkandroid.com/wiki/polynomials/" class="wiki_link" title="多项式gydF4y2Ba" target="_blank">多项式一个>有理数或积分系数。这些数存在于代数结构中,具有许多类似的性质<一个href="//www.parkandroid.com/wiki/integers/" class="wiki_link" title="整数gydF4y2Ba" target="_blank">整数一个>.
gydF4y2Ba创造这门学科的历史动机是为了解决丢番图方程,最著名的是费马方程<一个href="//www.parkandroid.com/wiki/fermats-last-theorem/" class="wiki_link" title="著名猜想gydF4y2Ba" target="_blank">著名猜想一个>,这最终被怀尔斯等人在20世纪90年代证实:
如果
主要思想是,一个表达式像
gydF4y2Ba讽刺的是,许多人的努力
代数数与代数整数
第一步是描述复数的特征
一个复数
2 是一个代数整数,因为它是多项式的根
f (x)=x2−2.3.21 是一个代数数,因为它是多项式的根
f (x)=x3.−21.它不是一个代数整数,尽管这不是很明显。的<一个href="//www.parkandroid.com/wiki/primitive-roots-of-unity/" class="wiki_link" title="根的团结gydF4y2Ba" target="_blank">原始的
n th根的团结一个> ζn=e2π我/n=因为n2π+我罪n2π是一个代数整数。π不是一个代数数。这一点并不明显——这是由林德曼在1882年证明的。非代数的数被称为<一个href="//www.parkandroid.com/wiki/transcedental-number/" class="wiki_link" title="先验的gydF4y2Ba" target="_blank">先验的一个>,而证明一个数是超越的通常是相当困难的。
越来越清楚的是,代数数论处理
最小多项式
任何代数数(或代数整数)
的
回想一下,一个
让
α 是一个代数数,令f (x)是它的最小多项式。那么以下是正确的:如果 g (α)=0和g (x)有有理数吗f (x)∣∣g(x).f(x)是 不可约 ,即不能分解为两个阶数较小有理系数的多项式的乘积:f (x)=一个(x)b(x)与度(一个),度(b)<度(f).如果 g (α)=0,g (x)是带有理数的,和g (x)是不可约的,那么g (x)=f(x).f是否有整数系数当且仅当 是一个代数整数。α
第一个陈述是标准的应用<一个href="//www.parkandroid.com/wiki/division-algorithm/" class="wiki_link" title="辗转相除法gydF4y2Ba" target="_blank">辗转相除法一个>对多项式:让
g (x)=f(x)问(x)+r(x)与度 (r)<度(f)或r (x)=0.然后代入α 给了r (α)=0,这与最小值相矛盾f 除非r (x)=0. 所以r (x)=0和f (x)∣∣g(x).对于第二个表述,if
f (x)=一个(x)b(x),我们可以假设一个 和b 是monic(通过与适当的有理数相乘);然后0 =f(α)=一个(α)b(α),所以α 两者都是根吗一个 或b ,这与的极小性相矛盾f .第三个陈述由第一个陈述引出:since
f (x)∣∣g(x)和g 是不可简化的吗f 和g 肯定是一样的,所以g 是一个常数乘以f .但它们都是monic,所以常数一定是1 .(这表明最小多项式是唯一的。)第四项就没那么简单了;如果
f 是整数系数吗α 是一个代数整数,但另一个方向需要做功。如果α 是一个代数整数,那么就有一个monic多项式g (x)它的系数是整数α 是一个根。然后f (x)∣∣g(x)由(1)f (x)h(x)=g(x)对于某个多项式h 使用rational系数。我们的想法就是要证明这一点f (和h )实际上是整数系数;这是一个特例<一个href="//www.parkandroid.com/wiki/gauss-lemma/" class="wiki_link" title="高斯引理gydF4y2Ba" target="_blank">高斯引理一个>.□
3.21 不是代数整数,因为它的最小多项式是
x 3.−21,它没有整数系数。( 要知道这是它的最小多项式,请注意x 3.−21是不可约的,因为它没有有理根。) ζn是一个代数整数,因为它是根
x n−1.但是,如果n ≥2,这不是的最小多项式ζ n,因为它不是不可简化的( 它可以被x −1).的最小多项式ζ n被称为n th割圆多项式一个> Φn(x),它有许多有趣的性质。
的
学位 代数数的α 是它的最小多项式的次数。
的程度
2 是2 .的程度3. 21 是3. .的程度
ζ n,表示的是n th割圆多项式,ϕ (n),在那里ϕ 是<一个href="//www.parkandroid.com/wiki/eulers-totient-function/" class="wiki_link" title="欧拉totient函数gydF4y2Ba" target="_blank">欧拉totient函数一个>.例如,ζ 5是…的根x −1x5−1=x4+x3.+x2+x+1,它可以被证明是不可约的<一个href="//www.parkandroid.com/wiki/eisensteins-irreducibility-criterion/" class="wiki_link" title="艾森斯坦的不可约性标准gydF4y2Ba" target="_blank">艾森斯坦的不可约性标准一个>(详见维基百科)。因此ζ 5是4 .
整数环
代数数集和代数整数集具有一些有用的结构。例如,它们在加法和乘法下是封闭的:
让
为了讨论这个定理,需要介绍一些术语:
让
gydF4y2Ba定义
引理:
- 如果
α 是代数数吗问 (α)等于所有表达式的集合一个 0+一个1α+⋯+一个d−1αd−1,在哪里d =度(α)和一个 我是理性的。( 在线性代数中,问 (α)是一个<一个href="//www.parkandroid.com/wiki/vector-space/" class="wiki_link" title="向量空间gydF4y2Ba" target="_blank">向量空间一个>在问 尺寸d .)- 如果
α 是代数整数吗Z [α]等于所有表达式的集合一个 0+一个1α+⋯+一个d−1αd−1,在哪里一个 我都是整数。( 用…的语言<一个href="//www.parkandroid.com/wiki/group-theory-introduction/" class="wiki_link" title="群理论gydF4y2Ba" target="_blank">群理论一个>,Z [α]是一个有限生成的阿贝尔群 .)
重点是,更高的
α 可以用最小多项式“约简”;自α d+cd−1αd−1+⋯+c0=0对于一些系数c 我,α d的低次幂的线性组合α . 类似地,这也可以用于α d+1,αd+2,等等。□
问(3.21 )是一组表达式的形式吗
一个 +b3.21 +c3.41 ,因为3. 81 =21能被吸收进一个 学期3. 161 =213.21 能被吸收进b Term,等等。Z[ζ5]是一组表达式的形式吗
一个 0+一个1ζ5+一个2ζ52+一个3.ζ53.,那里的一个 我是整数,因为ζ 54=−ζ53.−ζ52−ζ5−1以及更高的幂ζ 5类似地,可以简化为较低功率的线性组合。
定理的证明使用了一些<一个href="//www.parkandroid.com/wiki/linear-algebra/" class="wiki_link" title="线性代数gydF4y2Ba" target="_blank">线性代数一个>为了明确地找到多项式
求的最小多项式
gydF4y2Ba考虑权力
α0α1α2α3.α4=1+02 +03. +06 =0+12 +13. +06 =5+02 +03. +26 =0+112 +93. +06 =49+02 +03. +206 .
设这些幂的线性组合等于
唯一因子分解
一个很好的性质
求所有的整数解
gydF4y2Ba写
gydF4y2Ba现在假设
gydF4y2Ba所以这两个因素是相对的质数;因此它们都是立方体,因为它们的乘积是。
gydF4y2Ba写
上面的论点有一个极其微妙的意义。这似乎也适用于类似的方程
求所有的整数解
gydF4y2Ba按照上面的例子进行相同的操作。得到
这个论点肯定有问题,因为
gydF4y2Ba问题是
和
gydF4y2Ba另一方面,第一个例子确实提供了正确的证据,因为
现在,你可能会想:“为什么?
代数数论中的环和理想
布景
gydF4y2Ba结果是唯一分解可以在较弱的意义上恢复到环上
一个
据说理想是
注意,理想在加法下是封闭的,在乘法下是“吞食”的
理想的是
推导欧几里得环的唯一分解性质的推理链如下所示:
每个欧几里德环都是主理想环。
证明在欧几里得环中,有一种大小感(因为除法所得的余数必须“小于”商)。给出一个理想的
现在,
所以
显示,
回到费马猜想
如果
这种分解可以以某种类似于示例的方式使用
gydF4y2Ba不幸的是,我们知道有无限多个不规则素数,甚至不知道是否有无限多个正则素数!(启发法表明,大约61%的素数是正则的。)
gydF4y2Ba虽然这种费马猜想的方法被证明是一条死胡同,但它帮助创建的理论是现代数学的胜利。