百科问答小站 logo
百科问答小站 font logo



如何证明Q[³√5]是域? 第1页

  

user avatar   145986 网友的相关建议: 
      

记 ,显然有 有幺元且是 环.

那接下来只需要证明 , 有乘法逆元即可,这可以直接待定系数得到.

接下来提供一个更代数的解法:

显然有 .

其中 是 在 上的极小多项式.

由于 是有单位元的交换环,故它是域等价于 是主理想.

也就等价于 为 上的不可约多项式 ( 的性质).

不难得到

那么不可约是显然的(艾森斯坦判别法取 即可).




  

相关话题

  如何构造一个向量空间,它的元素是向量空间? 
  二次型的惯性定理中「惯性」是什么意思? 
  这个问题怎么做?最后怎么解出多项式? 
  多次试图学习抽象代数,但屡屡受挫,该怎么办? 
  交换环的子环是否一定是交换环? 
  伽罗瓦理论究竟讲了什么?为什么其中用到了群论的知识? 
  不使用范畴论,如何刻画一个线性映射是“自然”的? 
  有哪些不借助变换群的观点就很难解答的欧氏几何问题? 
  如何让一个 5 岁小孩听懂什么是选择公理? 
  如何证明Q[³√5]是域? 

前一个讨论
关于化学有什么表情包?
下一个讨论
什么是波函数?





© 2025-05-17 - tinynew.org. All Rights Reserved.
© 2025-05-17 - tinynew.org. 保留所有权利