English

On the monogenity of totally complex pure octic fields

Number Theory 2024-02-15 v1

Abstract

Let 0,1mZ0,1\ne m\in Z and α=m8\alpha=\sqrt[8]{m}. According to the results of I. Ga\'al and L. El Fadil, α\alpha generates a power integral basis in K=Q(α)K=Q(\alpha), if and only if mm is square-free and m≢1  (mod  4)m\not\equiv 1\;(\bmod\; 4). In the present paper we consider totally complex pure octic fields, that is the case m<0m<0, with mm satisfiying the above property. In this case (1,α,α2,,α7)(1,\alpha,\alpha^2,\ldots,\alpha^7) is an integral basis. Our purpose is to investigate whether KK admits any other generators of power integral bases, inequivalent to α\alpha. We present an efficient method to calculate generators of power integral bases in this type of fields with coefficients <10200<10^{200} in the above integral basis. We report on the results of our calculation for this type of fields with 0>m>50000>m>-5000, which yields 2024 fields.

Cite

@article{arxiv.2402.09293,
  title  = {On the monogenity of totally complex pure octic fields},
  author = {István Gaál},
  journal= {arXiv preprint arXiv:2402.09293},
  year   = {2024}
}
R2 v1 2026-06-28T14:48:35.683Z