如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
怎么用一句话证明 det(M1 M2)＝det(M1)det(M2)？有哪些不借助变换群的观点就很难解答的欧氏几何问题？
这个命题是错的吗？
什么是实数？
i 的平方为什么等于 -1？
原命题与逆否命题真假性一定相同吗？
设H包含n个非零复数，关于复数乘法组成n阶群，证明H＝{n个n次单位根}，怎么证明呢，谢谢大家了？
为什么不能用 0 做除数？
李代数为何要满足 Jacobi Identity？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
如何从数学角度证明魔方复原存在必可解策略？如何证明不等式（来自小蓝本）?
如何理解群表现？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
如何证明多项式 f(x)＝1＋x＋x²/2!＋x³/3!＋…＋x^n/n! 只有一个实数根？
如何理解矩阵相乘的几何意义或现实意义？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
当今世界数学已经发展到本科生难以理解的地步了吗？
有限维线性空间的有限是怎么理解？
怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
高等代数中线性变换的核的基怎么求？
怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
这个矩阵的秩如何证明？
这个恒等式咋来的？
如何证明下面的问题？
学习数论图论有必要先学抽代和高代吗？
有哪些不易察觉的错误证明？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
圆周率已被算到31.4万亿位，科学家如此执着，到底为了什么？
对于抽象代数中的这个互素后的怎么证明比较合适?
数学系大二如何弥补大一的差基础？
环中任何一个非空子集都可以生成理想吗？
逻辑学中，前提为假而命题为真的推论如何解释？
如何证明下面的群是奇数阶Abel群？
如此证明（0，1）=【0，1】，是否正确？
怎样普适地求此特殊非线性矩阵方程的解？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?