分裂域, 在抽象代数中, 一个系数域为k, displaystyle, mathbb, 的多项式p, displaystyle, 根域, 是k, displaystyle, mathbb, 最小, 的一个扩域l, displaystyle, mathbb, 使得在其中p, displaystyle, 可以被分解为一次因式x, displaystyle, 的乘积, 其中的r, displaystyle, 是l, displaystyle, mathbb, 中元素, 一个k, displaystyle, mathbb,. 在抽象代数中 一个系数域为K displaystyle mathbb K 的多项式P x displaystyle P x 的分裂域 根域 是K displaystyle mathbb K 的 最小 的一个扩域L displaystyle mathbb L 使得在其中P displaystyle P 可以被分解为一次因式x r i displaystyle x r i 的乘积 其中的r i displaystyle r i 是L displaystyle mathbb L 中元素 一个K displaystyle mathbb K 上的多项式并不一定只有一个分裂域 但它所有的分裂域都是同构的 在同构意义上 K displaystyle mathbb K 上的多项式的分裂域是唯一的 目录 1 术语与定义 2 例子 3 性质 4 参见 5 参考来源 6 外部链接术语与定义 编辑称一个系数域为K displaystyle mathbb K nbsp 的多项式 P x displaystyle P x nbsp 在K displaystyle mathbb K nbsp 的某个扩域L displaystyle mathbb L nbsp 中分裂 当且仅当这个多项式可以用这个域中的元素来分解 分裂 成最简单的一次因式的乘积 P i 0 k a i x i a k i 1 k x r i displaystyle P sum i 0 k a i x i a k prod i 1 k x r i nbsp 其中的a i K displaystyle a i in mathbb K nbsp r i L displaystyle r i in mathbb L nbsp 换句话来说 P displaystyle P nbsp 的根都在L displaystyle mathbb L nbsp 中 使得P displaystyle P nbsp 在其中分裂的扩域L displaystyle mathbb L nbsp 有很多 譬如对于某个使得P displaystyle P nbsp 分裂的的L displaystyle mathbb L nbsp 它任意的扩域L displaystyle mathbb L nbsp 也都满足 然而其中 最小 的域在同构意义上是唯一的 所谓的 最小 域 是指这样的一个扩域E displaystyle mathbb E nbsp 在E displaystyle mathbb E nbsp 里 P displaystyle P nbsp 可以分解为一次因式的乘积 在E displaystyle mathbb E nbsp 的任何真子域 不等于自身 里 P displaystyle P nbsp 都无法如此分解 这样的扩域称为P displaystyle P nbsp 在K displaystyle mathbb K nbsp 上的分裂域 例子 编辑如果K displaystyle mathbb K nbsp 是有理数域Q displaystyle mathbb Q nbsp 多项式为P x x 3 2 displaystyle P x x 3 2 nbsp 那么其分裂域L displaystyle mathbb L nbsp 可以是在Q displaystyle mathbb Q nbsp 中添加三次单位根w displaystyle omega nbsp 和2的立方根而得到的扩域 Q w 2 3 displaystyle mathbb Q omega sqrt 3 2 nbsp 因为这时P displaystyle P nbsp 可以写作 P x 2 3 x w 2 3 x w 2 2 3 displaystyle P x sqrt 3 2 x omega sqrt 3 2 x omega 2 sqrt 3 2 nbsp 同一个多项式在不同的域上的分裂域不一定相同 比如 多项式x 2 1 displaystyle x 2 1 nbsp 在实数域R上的分裂域是复数域C 多项式x 2 1 displaystyle x 2 1 nbsp 在准有限域GF7上的分裂域是GF72 多项式x 2 1 displaystyle x 2 1 nbsp 在准有限域GF7上的分裂域是GF7 因为在其上x 2 1 x 1 x 1 displaystyle x 2 1 x 1 x 1 nbsp 已经分解完毕 性质 编辑给定多项式P x displaystyle P x nbsp 在 K displaystyle mathbb K nbsp 上的分裂域E displaystyle mathbb E nbsp 假设在E displaystyle mathbb E nbsp 里P displaystyle P nbsp 分解为 P a i 1 k x r i displaystyle P a prod i 1 k x r i nbsp 那么E K r 1 r 2 r k displaystyle mathbb E mathbb K r 1 r 2 cdots r k nbsp 对于域K displaystyle mathbb K nbsp 的一个代数闭域扩域A displaystyle mathbb A nbsp 和K displaystyle mathbb K nbsp 上的一个多项式P displaystyle P nbsp 存在P displaystyle P nbsp 在K displaystyle mathbb K nbsp 上的唯一的一个分裂域L displaystyle mathbb L nbsp 使得K L A displaystyle mathbb K subset mathbb L subset mathbb A nbsp 对于K displaystyle mathbb K nbsp 的一个可分扩张K displaystyle mathbb K nbsp K displaystyle mathbb K nbsp 的伽罗瓦闭包是一个分裂域 也是K displaystyle mathbb K nbsp 的包含K displaystyle mathbb K nbsp 的一个 最小 的伽罗瓦扩张 这样的一个伽罗瓦闭包包含了K displaystyle mathbb K nbsp 中任意元素a displaystyle a nbsp 在K displaystyle mathbb K nbsp 上的极小多项式在K displaystyle mathbb K nbsp 上的分裂域 参见 编辑代数扩张 正规扩张 极小多项式 可分扩张参考来源 编辑Dummit David S and Foote Richard M 1999 Abstract Algebra 2nd ed New York John Wiley amp Sons Inc ISBN 0 471 36857 1 1 David A Cox Galois Theory 1st ed Wiley Interscience ISBN 0 471 43419 1 2 外部链接 编辑李華介 簡介Galois理論 页面存档备份 存于互联网档案馆 取自 https zh wikipedia org w index php title 分裂域 amp oldid 68714826, 维基百科,wiki,书籍,书籍,图书馆,