如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？Z^n的所有子群怎么求？
如何直观地理解群论？
如何证明 不存在两个有理数a、b，使得 a＋√b=³√2？
为什么负负得正，正正不能得负？
这个矩阵的秩如何证明？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
请问陪集、左陪集、商群、正规子群该如何理解？
无理数是否真的存在？
1 不可以被 3 除尽，但为什么圆可以被三等分？
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
如何从数学角度证明魔方复原存在必可解策略？这个矩阵怎么求啊?求各位大佬解答？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
这句话对吗：平面直角坐标系中，在给定一个闭区间内存在一条可以被画出的曲线，此曲线定可以用某个函数表示？
在线性代数中如何用几何表示非方阵矩阵相乘？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
逻辑学中，前提为假而命题为真的推论如何解释？
一个UFD是PID的条件是什么?
分析学在其他数学分支中能发挥多大的作用？
比开方更高级的运算能否扩充复数域？
不使用范畴论，如何刻画一个线性映射是“自然”的？
零测集的子集是否可测？
n整除Phi(p^n-1)，怎么证明？
高等代数中线性变换的核的基怎么求？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
矩阵思维是什么意思？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
极小多项式有什么几何含义，怎么形象的理解这个概念？
如何证明 √2 + √3 + √5 是无理数？
所有的n阶反对称矩阵可以构成一个线性空间吗？
为什么7×5=5×7？
交换环的所有零因子和 0 组成的集合是一个理想吗？
4≤5，这个不等式是否正确？
高次韦达定理是什么？如何证明？