如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
高斯素数有类似于素数定理的分布律吗？
负数与负数相乘为什么会得正？
历史上，近世代数中环和域的概念是怎样逐步建立的？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
如何从数学角度证明魔方复原存在必可解策略？
高斯的博士论文是不是太简单了？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？剩余类环的所有理想怎么求？
为何要引入同伦群，同伦群可以解决什么问题？
为什么四则运算规定 × / 的优先级比 + - 高？
这个恒等式咋来的？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
这个矩阵的秩如何证明?
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
σ-代数为什么叫代数？它有代数结构吗？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
数学书上这种是什么字体，以及应该如何手写？
有哪些有趣的或者是反常识的数学问题？
如何证明这个高等代数问题？
如何证明有理数加法群不是有限生成群？
为什么7×5=5×7？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
怎么样通俗易懂地向小学生介绍群论的思想？
如何证明 √2 + √3 + √5 是无理数？
减一个负数，为什么是加这个数的相反数呢？
量子力学的Dirac符号系统优越性在哪，为什么不使用张量作为量子力学的数学语言基础？
如图题，如何不用“强拆”的方式证明？
为什么数学里非要写「当且仅当」，而不是「仅当」？
这个线性代数题应该怎么做？
环中不可逆元一定是零因子嘛？
这一个高等代数的题如何证明?
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
这种类型行列式的问题，该如何构造进行求解呢?
如何证明Q[³√5]是域？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？