[视频]【抽象代数】一个简单的三次代数数域的整基

方法/步骤

由于F是Q的三次扩域，a是一个三次代数整数，那么，1,a,a^2就是线性无关的。

我们先求出a^2的不可约多项式。

假设a的绝对共轭数包括：

a,a',a''

那么，a^2的绝对共轭数也与之对应。

并且根据根与系数的关系，可以写出一组初等对称式。

下面，具体给出计算1,a,a^2的判别式的步骤。

假设w,w',w''是由1,a,a^2导出的整基，那么我们可以写出w和w'，并确定出w''的可能的取值范围。

w''有五种可能，但是这五种可能取值，并不都是代数整数。

我们要选出一个代数整数。

先证明，a^2/2不是代数整数。

不过，第二种可能的取值，是一个代数整数。

因为它的不可约多项式是首一多项式。

于是，可以写出F的一组整基，并算出F的基数。

编辑于2019-01-11，内容仅供参考并受版权保护

经验备注

本文网址：https://www.5058.cn/article/af9f5a2d55928e43140a45ba.html