如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
如何证明有理数加法群不是有限生成群？自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
数学系课程中，《解析几何》到底有什么用？
线性代数里的合同关系在空间中代表了什么呢？
交换环的子环是否一定是交换环？
能不能定义一个数 I，与 0 的乘积等于 1？
与1相邻的实数存在吗？
如何证明悬链线图像是双曲余弦？
如何证明Q[³√5]是域？
为什么数学里非要写「当且仅当」，而不是「仅当」？
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？这道线代题该怎么做？
如何证明这个关于良序集的命题？
为什么实系数多项式方程的虚数解总是成对出现？
能不能定义一个数 I，与 0 的乘积等于 1？
高等代数证明和结论记不住怎么办？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？
如何学习高等代数？高等代数注重定理证明吗？学习数分需要会各种证明，高代也这样吗？高代注重计算吗？
环中不可逆元一定是零因子嘛？
哈密尔顿-凯莱定理的本质是什么？
高斯素数有类似于素数定理的分布律吗？
(G/H)×H是否同构于G？
所有集合的势都可比较大小吗？为什么？
数学中有哪些看起来很不可思议的知识？
零测集的子集是否可测？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
为何乘法比加法具有运算优先权？或者说加减乘除的本质是什么？
i 的平方为什么等于 -1？
如何看待全民代数几何的现象？
不使用范畴论，如何刻画一个线性映射是“自然”的？
数学或者自然科学中有哪些理论技巧一经提出就大大化简了过去某些问题很困难繁琐的解答？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
不使用范畴论，如何刻画一个线性映射是“自然”的？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
历史上，近世代数中环和域的概念是怎样逐步建立的？
不使用范畴论，如何刻画一个线性映射是“自然”的？
如此证明（0，1）=【0，1】，是否正确？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？