如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？如何看待几何数论（geometry of numbers）这一数论分支？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如何把微信群/QQ群构造成一个阿贝尔群？
如何从数学角度证明魔方复原存在必可解策略？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？
有哪些神奇的数学巧合？
微分几何中为什么定义指数映射？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
如何理解矩阵相乘的几何意义或现实意义？为什么实系数多项式方程的虚数解总是成对出现？
学习数论图论有必要先学抽代和高代吗？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
怎样普适地求此特殊非线性矩阵方程的解？
想请问平坦模、投射模这些的几何意义是什么，感觉atiyah这本书的定义有些干巴巴的.......？
加法交换律 a＋b＝b＋a 是怎么证明的？
负数与负数相乘为什么会得正？
减一个负数，为什么是加这个数的相反数呢？
关于p进数域？
数学书上这种是什么字体，以及应该如何手写？
高代，中间这一步是怎么来的呀?
如何证明下面的问题？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
如何证明矩阵为零矩阵？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
(G/H)×H是否同构于G？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
从正整数 1~N 中任意取两数 m、n，设 P 为 m/n 可约分的概率，问 N→∞ 时，P为多少？
南开数学专业考研指导？
这个线性代数题应该怎么做？
何为分析方法、代数方法、几何方法、拓扑方法？
怎么学习算法信息论?
如何确定下面三角恒等式中的系数？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
数学系课程中，《解析几何》到底有什么用？