如何证明Q[³√5]是域？ 第1页
1
145986 网友的相关建议:
记 ，显然有 有幺元且是 环.
那接下来只需要证明 ， 有乘法逆元即可，这可以直接待定系数得到.
接下来提供一个更代数的解法：
显然有 .
其中 是 在 上的极小多项式.
由于 是有单位元的交换环，故它是域等价于 是主理想.
也就等价于 为 上的不可约多项式 ( 的性质).
不难得到
那么不可约是显然的（艾森斯坦判别法取 即可）.
1
相关话题
高等代数中线性变换的核的基怎么求？学数学有点钻牛角尖，总是怀疑书中推导的严谨性，各位有什么好办法吗？
当今世界数学已经发展到本科生难以理解的地步了吗？
不使用范畴论，如何刻画一个线性映射是“自然”的？
为什么需要证明「1+1=2」？
如何确定下面三角恒等式中的系数？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
可交换矩阵的求法有几种？
5⁴³²¹ 与 4⁵³²¹ 哪个更大？
负数与负数相乘为什么会得正？
前一个讨论
关于化学有什么表情包？
下一个讨论
什么是波函数？
相关的话题
如何更加系统地学习代数？有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
［代数学］矩阵的概念最多可以推广到什么代数结构上？
如何证明这个高等代数问题？
分析学在其他数学分支中能发挥多大的作用？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
线性代数里的合同关系在空间中代表了什么呢？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
[-5e^(2i*π)+1*3]/2=1*4这一串有什么特殊意义吗？
关于整矩阵的一道题怎么解?
从数学原理上说一说，葛立恒数、tree(3) 等数为什么那么大？
如何理解数学证明中的容易验证？
矩阵的指数函数到底说的是个啥？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
莱布尼茨的普遍语言是否可以实现？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
一个一般的二次型等于0，这个方程应该如何求通解？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
网络上哪有数理逻辑的课程?
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
有限维线性空间的有限是怎么理解？
用人话来解释下模空间是啥？
学数学有点钻牛角尖，总是怀疑书中推导的严谨性，各位有什么好办法吗？
平面几何用代数法解几何的原理是什么？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
为什么大学数学主要学习代数，而不是几何呢？
矩阵的指数函数到底说的是个啥？
为什么不能用 0 做除数？
n整除Phi(p^n-1)，怎么证明？