如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
G是一个单群，H<G,[G:H]<=4,证|G|<=3?为什么实系数多项式方程的虚数解总是成对出现？
何为分析方法、代数方法、几何方法、拓扑方法？
如何理解抽象代数的用途？
红绿蓝三色是（唯一的）正交基吗？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
所有集合的势都可比较大小吗？为什么？
对任意多项式P_m(x)，是否一定存在Qn(x)，使P_m(x)Q_n(x)=Ax^(m+n)+B？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
一个多项式在满足什么条件时可以因式分解？能否给出证明（证法随意）?
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
对于抽象代数中的这个互素后的怎么证明比较合适?这个用数分积分可以说明吗？不用高代上正定矩阵的?
怎样普适地求此特殊非线性矩阵方程的解？
如何更加系统地学习代数？
这个组合恒等式怎么代数证明？
［代数学］矩阵的概念最多可以推广到什么代数结构上？
有哪些看起来高大上实际上非常容易证明的数学命题？
数学或者自然科学中有哪些理论技巧一经提出就大大化简了过去某些问题很困难繁琐的解答？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
如何证明每一个有穷的偏序都可以延拓成一个线序？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
如果使 1÷0 有意义，那么应该等于多少？
以「Q.E.D」收尾证明语段，是什么梗？
超越函数能因式分解吗？
为何要引入同伦群，同伦群可以解决什么问题？
对于抽象代数中的这个互素后的怎么证明比较合适?
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
李代数为何要满足 Jacobi Identity？
如何理解有限单群分类定理？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
为什么数学中一定要强调加法交换律？
如果换一种几何，圆周率的值会变么？
如何理解矩阵相乘的几何意义或现实意义？
高等代数中线性变换的核的基怎么求？