在数学,更具体地说是在数论,一个代数数是一个复数这是一个根多项式的具有理性的系数。非代数的实数或复数称为超越数.
几千年来,人们一直在研究代数数的实例,作为二次方程式。它们间接出现在卡克拉夫拉方法始于11世纪。在15世纪,他们兴起于寻找解决方案立方体的和四次方程然而,直到代数数出现并试图求解时,才对代数数的性质进行深入研究费马最后定理.
随后产生的代数数理论构成了现代数学的基础代数数论代数数论现在是一个巨大的领域,也是当前的研究之一,但迄今为止,在物理世界中几乎没有应用。
替代性特征
通过乘以系数的分母的最小公倍数,可以将每个具有有理系数的多项式转换为具有整数系数的多项式。因此,术语“代数数”也可以定义为复数这是一个根多项式的具有整数系数。如果是代数数x个可以写为一元多项式具有整数系数,即超前系数是1,那么x个被称为代数整数.
基数
代数数包括所有有理数,而有理数和代数数都是可数的.
代数性质
代数数构成领域; 事实上,它们是最小的代数闭域特征为0。[1]
次数和定义多项式
让
是不同于的代数数
The度属于
根据定义,是多项式的最低阶
有理系数,其中
有一种独特的一元论的次数多项式d日有一作为根。它是定义多项式(或最小多项式)的一.
示例
- 有理数是代数和次数
有理数一具有定义多项式
所有非有理代数数的度数都大于
请注意,有真实的无理数非代数的(即超越的),例如圆周率和e(电子).
是一个2次代数数,实际上是一个代数整数。它是不合理的,因此必须具有大于1的度。因为它是多项式的根
,等级为2级,并且
是其定义多项式。
- 假想单位
是2次代数整数,具有定义多项式
.
- 这个黄金比率,
,也是一个2次代数数(实际上是一个整数!),定义了多项式
.
- 如果
是一个有理数,那么
是代数次数n个,具有定义多项式
。当一是一个整数。
通过子域的代数数
复数域
是一个线性空间在有理数域上
在本节中,线性空间是指
超过
和依据代数我们指的是在乘法下闭合的线性空间,它具有
作为其元素。复数的以下属性
相当于:
是代数次数![{\displaystyle\\leq n;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b89e34fb6b91a1c4af48503dee79f9d504c805e9)
属于线性维代数![{\显示样式\\leq n.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12b76b1e8eedf6b19e72da1dbcdae3e52ae1cad2)
事实上,当第一个条件成立时
线性生成第二个条件所需的代数。如果第二个条件成立,那么
元素
是线性相关的(超过理性)。
实际上,每个有限维代数
是场诱导的,除法为等式
![{\显示样式a{0}\cdotz^{n}+\点+a{n-1}\cdot z+a{n}\=\0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe169040deee3443d06856a69b52c017dc470d58)
哪里
由
你很快就会得到一个等式:
![{\显示样式z^{-1}\=\b_{0}\cdot z^{n-1}+\cdots+b_{n-1{}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f411d7c08651027350d44c47f61cf166f8365352)
现在,一个瞬间的反思
定理反向度
任何代数数
等于数字的度数
自身。
两个代数数的和与积
让
和
其中
是场的有限线性基
分别。让
是生成的最小代数
然后
线性生成
![{\显示样式{a\cdot b:a\\land\b\ b\}}中的a\](https://wikimedia.org/api/rest_v1/media/math/render/svg/671ca754910843da4131e198b14edcc8f8b1fb63)
因此,这三个代数的线性维数(超过有理数)满足不等式:
![{\displaystyle\dim({\mathcal{D}})\\leq\\dim(})\cdot\dim([2])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbfd5a69c3edf9db7e0a2c00e44d7d6433267d1f)
现在,让我们
是任意代数次数
分别是。它们属于各自的m维和n维代数。总和和乘积
属于由上述两个代数的并集生成的代数。生成代数的维数不大于
它包含
以及所有线性组合
具有有理系数
这证明:
定理两个代数次数的和和乘积米和n个分别是不大于的代数次数米•n个对于两个代数数的有理系数的线性组合也是如此。
作为上述定理的推论,结合上一节,我们得出:
定理代数数构成一个域。
笔记
- ↑ 如果字段中1+1=0,则特征称为2;如果1+1+1=0,则该特征称为3和forth。如果没有
这样,添加1
倍数为0,我们说特征为0。具有正特征的字段不必是有限的。