如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
有限群的群行列式因式分解后，各因式的次数是否与重数相等？伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
为什么实对称矩阵一定可以正交对角化？
负数与负数相乘为什么会得正？
如何理解代数中的极限和余极限？
矩阵特征值与矩阵本身的关系是什么？
量子力学的Dirac符号系统优越性在哪，为什么不使用张量作为量子力学的数学语言基础？
根号素数的有限组合是否一定是无理数?
这一个高等代数的题如何证明?
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
如何证明Q[³√5]是域？如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
这个矩阵怎么求啊?求各位大佬解答？
为什么实系数多项式方程的虚数解总是成对出现？
行列式的本质是什么？
怎么证明方程 x^4＋4x^3－3x^2－x＝0 有 4 个实根？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
如何理解抽象代数的用途？
极小多项式有什么几何含义，怎么形象的理解这个概念？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
有哪些不易察觉的错误证明？
有哪些比较好的数学分析和高等代数的公开课（数学系）？
为什么数学定义一般采用如下形式：X has property P, if（条件），而不是 iff？
由AB＝BA＝O可以得出什么结论？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
哈密尔顿-凯莱定理的本质是什么？
为什么大学数学主要学习代数，而不是几何呢？
有人在p-adic数域Qp上研究过类似球堆积这样的几何数论问题吗？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
负数与负数相乘为什么会得正？
如何证明这个群论问题？
如何证明这个高等代数问题？
如何看待全民代数几何的现象？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
σ-代数为什么叫代数？它有代数结构吗？
若零向量没有方向，那它还是向量吗？
全体自然数的发散级数和等于负十二分之一代表了什么？隐藏了一个天大的秘密吗？
有限维线性空间的有限是怎么理解？