如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
所有数学表达式都有几何含义吗？无理数是否真的存在？
这个代数题怎么解？
母函数都是用幂级数吗？三角级数可以构造母函数吗？
这个问题怎么做?最后怎么解出多项式？
分析学在其他数学分支中能发挥多大的作用？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
交换环的子环是否一定是交换环？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
对于抽象代数中的这个互素后的怎么证明比较合适?
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？如何证明每一个有穷的偏序都可以延拓成一个线序？
环中不可逆元一定是零因子嘛？
原命题与逆否命题真假性一定相同吗？
行列式的本质是什么？
以π指代圆周率是偶然的约定俗成还是特别的另有深意？
如何证明不等式（来自小蓝本）?
如何证明dimQ（R）=dimQ（C）？
等词是否可以用属于来定义？
为什么A的行列式不等于0 A满秩?
勒让德多项式的意义？
怎么学习算法信息论?
如果你来讲物理类《线性代数》课程，你会如何设计？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
当今世界数学已经发展到本科生难以理解的地步了吗？
零测集的子集是否可测？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
如何证明哈代不等式?
为什么部分大一学生认为线性代数听不懂？
李代数为何要满足 Jacobi Identity？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
这个线性代数题应该怎么做？
能不能定义一个数 I，与 0 的乘积等于 1？
李代数(Lie algebra)有哪些应用？
负数与负数相乘为什么会得正？
代数、几何能否联系一起？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
以「Q.E.D」收尾证明语段，是什么梗？
如何看待全民代数几何的现象？
这样的数学归纳法是否成立？