如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
如何让一个 5 岁小孩听懂什么是选择公理？何为分析方法、代数方法、几何方法、拓扑方法？
如何理解矩阵相乘的几何意义或现实意义？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
如何理解矩阵相乘的几何意义或现实意义？
历史上，近世代数中环和域的概念是怎样逐步建立的？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?(G/H)×H是否同构于G？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
有人在p-adic数域Qp上研究过类似球堆积这样的几何数论问题吗？
这个矩阵怎么求啊?求各位大佬解答？
学习数论图论有必要先学抽代和高代吗？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
对任意多项式P_m(x)，是否一定存在Qn(x)，使P_m(x)Q_n(x)=Ax^(m+n)+B？
为什么四则运算规定 × / 的优先级比 + - 高？
什么是实数？
这个用数分积分可以说明吗？不用高代上正定矩阵的?
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
用人话来解释下模空间是啥？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
设H包含n个非零复数，关于复数乘法组成n阶群，证明H＝{n个n次单位根}，怎么证明呢，谢谢大家了？
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
据说是北大某年大一高代的最后一题？虽然很难，但就是想知道解答过程，还请会的大佬可怜可怜我这弱渣吧 ？
如何理解代数中的极限和余极限？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
如何证明Q[³√5]是域？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
数学上有「从理论上根本无法证明」的东西么？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
如何正确理解群论中的同态基本定理？
为什么四则运算规定 × / 的优先级比 + - 高？
为什么数学里非要写「当且仅当」，而不是「仅当」？
这个矩阵的秩如何证明？
行列式的本质是什么？
如何证明这个高等代数问题？