如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
数学教材的题做多少合适？如何看待几何数论（geometry of numbers）这一数论分支？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
所有数学表达式都有几何含义吗？
如何证明悬链线图像是双曲余弦？
为什么大学数学主要学习代数，而不是几何呢？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
二次型的惯性定理中「惯性」是什么意思？
n整除Phi(p^n-1)，怎么证明？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？这个命题是错的吗？
如何证明Q[³√5]是域？
为什么实对称矩阵一定可以正交对角化？
关于整矩阵的一道题怎么解?
数字上加一横是什么意思？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
证明角的三分之一，怎么证明？
求指教一道数列方程组问题如何做？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
复数是否包含实数？
叶戈罗夫定理的逆定理该怎么证明？
莱布尼茨的普遍语言是否可以实现？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
如何证明Q[³√5]是域？
哈密尔顿-凯莱定理的本质是什么？
与1相邻的实数存在吗？
一个范畴问题?
如何证明Q[³√5]是域？
综合除法的数学依据是什么？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
想请问平坦模、投射模这些的几何意义是什么，感觉atiyah这本书的定义有些干巴巴的.......？
哈密尔顿-凯莱定理的本质是什么？
如何学习高等代数？高等代数注重定理证明吗？学习数分需要会各种证明，高代也这样吗？高代注重计算吗？
行列式等于 0，就一定有两行或两列相等吗？
如何证明这个群论问题？
这个矩阵的秩如何证明？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
如图，这道题中的隐函数为什么可以设y=tx？