Daniel A. Marcus, Number Fields(数域), third edition, Springer-Verlag, 1977
二月 07, 2023
代數整數, 各种各样的数基本n, displaystyle, mathbb, subseteq, mathbb, subseteq, mathbb, subseteq, mathbb, subseteq, mathbb, 正數, displaystyle, mathbb, 自然数, displaystyle, mathbb, 正整數, displaystyle, mathbb, 小数有限小数无限小数循环小数有理数, displaystyle, mathbb, 代數數, displaystyle, mathbb, 实. 各种各样的数基本N Z Q R C displaystyle mathbb N subseteq mathbb Z subseteq mathbb Q subseteq mathbb R subseteq mathbb C 正數 R displaystyle mathbb R 自然数 N displaystyle mathbb N 正整數 Z displaystyle mathbb Z 小数有限小数无限小数循环小数有理数 Q displaystyle mathbb Q 代數數 A displaystyle mathbb A 实数 R displaystyle mathbb R 複數 C displaystyle mathbb C 高斯整數 Z i displaystyle mathbb Z i 负数 R displaystyle mathbb R 整数 Z displaystyle mathbb Z 负整數 Z displaystyle mathbb Z 分數單位分數二进分数規矩數無理數超越數虚数 I displaystyle mathbb I 二次无理数艾森斯坦整数 Z w displaystyle mathbb Z omega 延伸二元数四元數 H displaystyle mathbb H 八元数 O displaystyle mathbb O 十六元數 S displaystyle mathbb S 超實數 R displaystyle mathbb R 大實數上超實數 雙曲複數雙複數複四元數共四元數 英语 Dual quaternion 超复数超數超現實數其他質數 P displaystyle mathbb P 可計算數基數阿列夫數同餘整數數列公稱值 規矩數可定義數序数超限数p 進數數學常數 圓周率 p 3 14159265 displaystyle pi 3 14159265 自然對數的底 e 2 718281828 displaystyle e 2 718281828 虛數單位 i 1 displaystyle i sqrt 1 無窮大 displaystyle infty 查论编在數學裡 代數整數 algebraic integer 是複數中的一类 一个複数a是代数整数当且仅当它是某个個整系數的首一多項式P x displaystyle P x 的根 其中首一 英文 monic 意謂最高冪次項的系數是1 因此 所有代數整數都是代數數 但並非所有代數數都是代數整數 所有代数整数构成一个环 通常记作A displaystyle mathbb A 如果P x displaystyle P x 是整係數本原多項式 即系數的最大公因数是1的多项式 但非首一多項式 則P displaystyle P 的根都不是代數整數 目录 1 定义 2 例子 3 性质 4 參見 5 参考来源定义 编辑以下是代数整数四种相互等价的定义 设K 为代数数域 有理数域Q displaystyle mathbb Q 的有限扩张 根据本原元定理 K 可以写成K Q 8 displaystyle K mathbb Q theta 的形式 其中8 C displaystyle theta in mathbb C 是某个代数数 设有a K displaystyle alpha in K 则a 是代数整数当且仅当以下命题之一成立 存在整系数多项式 P X m a 1 X m 1 a m 1 X a m Z X displaystyle P X m a 1 X m 1 cdots a m 1 X a m in mathbb Z X 使得P a 0 displaystyle P alpha 0 a 在Q displaystyle mathbb Q 上的极小首一多项式是整系数多项式 Z a displaystyle mathbb Z alpha 是有限生成的Z displaystyle mathbb Z 模 存在有限生成的Z displaystyle mathbb Z 子模 M C displaystyle M subset mathbb C 使得a M M displaystyle alpha M subseteq M 例子 编辑有理数域Q displaystyle mathbb Q 中的代数整数就是整数 换句话说 A displaystyle mathbb A 和Q displaystyle mathbb Q 交集是整数环Z displaystyle mathbb Z 这可以用整系数多项式的一个简单性质证明 如果一个整系数多项式P x a 0 a 1 x a m x m displaystyle P x a 0 a 1 x cdots a m x m 有一个根是有理数 r p q displaystyle scriptstyle r frac p q 其中p q是互素的整数 那么必然有 分母q 整除a m displaystyle a m 以及分子p 整除a 0 displaystyle a 0 因此 由于代数整数是某个首一多项式的根 如果它是有理数 那么它的分母整除多项式的最高冪次項 也就是说整除1 所以这个有理数的分母是1 即是说它是整数 反过来 所有的整数n都是整系数首一多项式x n displaystyle displaystyle x n 的根 所以是代数整数 一个给定的代数数域K displaystyle mathbb K 与A displaystyle mathbb A 的交集称为这个数域的 代数 整数环 记作O K displaystyle mathcal O K 这个整数环中的代数整数不再只是整数 比如说 给定一个数域 K Q 2 displaystyle mathbb K mathbb Q sqrt 2 那么对应的整数环中不仅有整数 还有2 displaystyle sqrt 2 因为2 displaystyle sqrt 2 是首一多项式x 2 2 displaystyle scriptstyle x 2 2 的根 2 2 displaystyle scriptstyle frac sqrt 2 2 不是代数整数 这是因为2 2 displaystyle scriptstyle frac sqrt 2 2 在有理数域上的最小多项式是2 x 2 1 displaystyle scriptstyle 2x 2 1 不是一个首一多项式 1 5 2 displaystyle scriptstyle frac 1 sqrt 5 2 是一个代数整数 它是多项式x 2 x 1 displaystyle scriptstyle x 2 x 1 的根 一般来说 如果整数d displaystyle scriptstyle d 除以4余1 那么1 d 2 displaystyle scriptstyle frac 1 sqrt d 2 也是代数整数 因为它是多项式x 2 x d 1 4 displaystyle scriptstyle x 2 x frac d 1 4 的根 给定素数p p 次单位根z p displaystyle zeta p 也是一个代数整数 因为是首一多项式x p 1 0 displaystyle displaystyle x p 1 0 的根 实际上 p 次分圆域Q z p displaystyle mathbb Q zeta p 的整数环就是Z z p displaystyle mathbb Z zeta p 性质 编辑兩個代數整數的和是一個代數整數 他們的差及積也是 這時它們滿足的首一多項式可以用結式表達 但他們的商就不一定是代數整數 一個以代數整數為系數的首一多項式的根也是代數整數 換句話說 代數整數構成一個環 並且在任何代數擴張下是整閉的 任何從整數出發 透過和 積與开方得到的數都是代數整數 但並非所有代數整數都可依此構造 例如 大多數的五次代數整數都無法透過這種方式構造 代數整數是裴蜀整环 參見 编辑整性 高斯整數 艾森斯坦整數 單位根 狄利克雷單位理論 基本单位 数论 参考来源 编辑Daniel A Marcus Number Fields 数域 third edition Springer Verlag 1977 取自 https zh wikipedia org w index php title 代數整數 amp oldid 67654772, 维基百科,wiki,书籍,书籍,图书馆,