如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
为什么数学里非要写「当且仅当」，而不是「仅当」？为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
n - r = 基础解系的个数，这是为什么？
该n元不等式如何解？（张端阳的题）?
如何简单清晰地解释哥德尔不完备定理？
为什么矩阵行秩等于列秩？
实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
线性映射为什么那么重要？
如何确定下面三角恒等式中的系数？
负数与负数相乘为什么会得正？
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
请问“重根按重数计算”如何理解呢？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
如何证明下面的群是奇数阶Abel群？
如何证明哈代不等式?
交换环的所有零因子和 0 组成的集合是一个理想吗？
如何证明这个整系数线性方程组解的估计？
数学书上这种是什么字体，以及应该如何手写？
哈密尔顿-凯莱定理的本质是什么？
如何证明n是2的幂?
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
如何证明n是2的幂?
为什么逻辑学的排中律不是任何条件下都可使用的?
设A是一个3阶行列式，aij=1或-1，1≤i，j≤3，如何证明det（A）≤4？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
为何乘法比加法具有运算优先权？或者说加减乘除的本质是什么？
逻辑学中，前提为假而命题为真的推论如何解释？
对任意多项式P_m(x)，是否一定存在Qn(x)，使P_m(x)Q_n(x)=Ax^(m+n)+B？
微分几何中为什么定义指数映射？
行列式等于 0，就一定有两行或两列相等吗？
这个矩阵的秩如何证明?
关于p进数域？
如何证明下面的近世代数问题？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
如何理解群表现？
减一个负数，为什么是加这个数的相反数呢？