中文

虚二次域的一类四次扩张族中相对幂整基的计算

数论 2016-07-12 v1

摘要

MM为虚二次域,其整数环为ZM\mathbb{Z}_{M},令ξ\xi为多项式f(x)=x42cx3+2x2+2cx+1f\left( x\right) =x^{4}-2cx^{3}+2x^{2}+2cx+1的根,其中cZMc\in\mathbb{Z}_{M}c{0,±2}c\notin\left\{ 0,\pm2\right\}。我们考虑无限的八次域族Kc=M(ξ)K_{c}=M\left( \xi\right),其整数环为ZKc\mathbb{Z}_{K_{c}}。我们的目标是确定O=ZM[ξ]\mathcal{O=}\mathbb{Z}_{M}\left[ \xi\right] over ZM\mathbb{Z}_{M}的所有相对幂整基生成元。我们证明该问题可归约为求解相对佩尔方程组cV2(c+2)U2=2μ,  cZ2(c2)U2=2μ, cV^{2}-\left( c+2\right) U^{2}=-2\mu,\ \ cZ^{2}-\left( c-2\right) U^{2}=2\mu, 其中μ\muZM\mathbb{Z}_{M}中的单位。我们完全求解了该方程组,并发现O\mathcal{O} over ZM\mathbb{Z}_{M}的所有不等价幂整基生成元由α=ξ,\alpha=\xi, 2ξ2cξ2+ξ32\xi-2c\xi ^{2}+\xi^{3}给出,对于c159108\left\vert c\right\vert \geq159108c200|c|\leq200

关键词

引用

@article{arxiv.1607.03064,
  title  = {Computing relative power integral bases in a family of quartic extensions of imaginary quadratic fields},
  author = {Zrinka Franušić and Borka Jadrijević},
  journal= {arXiv preprint arXiv:1607.03064},
  year   = {2016}
}