The characterization of cyclic cubic fields with power integral bases (Q1984262): Difference between revisions

An algebraic number field \(K\) is said to be monogenic if its ring of integers is of the form \(\mathbb{Z+\alpha Z}+\cdots +\alpha^{\deg (K)-1}\mathbb{Z}\) for some \(\alpha \in \) \(K\). While quadratic fields are always monogenic, this is no longer the case for normal cubic fields. In the paper under review, the authors provide various necessary and sufficient conditions for monogenity of cyclic cubic fields. Mainly, they show that a monogenic normal cubic field is a simplest cubic field \(K_{t}\) defined by a Shanks' polynomial \(x^{3}-tx^{2}-(t+3)x-1\) for some \(t\in \mathbb{Z}\), and they give equivalent conditions for the monogenity of these cyclic cubic fields \(K_{t}\). For example, Corollary 1.3 says that \(K_{t}\) is monogenic if and only if \(((t^{2}+3t+9)/\sqrt{\operatorname{disc}(K_{t})})\in \mathbb{N}^{3}\) or \(t\in \{-1,0,1,2,3,5,12,54,66,1259,2389\}\). Some results of this article are covered by those of [\textit{M.-N. Gras}, Ann. Sci. Univ. Besançon, III. Sér., Math. 6, 26 p. (1973; Zbl 0287.12009)], but expressed in more explicit forms.