×

On the units of unramified cyclic cubic extensions of some subfields of \(\mathbb Q\left(\sqrt d,\sqrt{-3}\right)\). (Sur les unités des extensions cubiques cycliques non ramifiées sur certains sous-corps de \(\mathbb Q\left(\sqrt d,\sqrt{-3}\right)\).) (French) Zbl 1187.11040

Let \(d\) be a positive square-free integer. This article concerns the global units in cubic Galois extensions of the field \(k\), where \(k\) is either \(\mathbb Q(\sqrt d)\) or \(\mathbb Q(\sqrt d,\sqrt{-3})\). To be more precise, let us first consider the case where \(k=\mathbb Q(\sqrt d)\). We take \(K\) to be a cubic Galois extension of \(k\) which is unramified over \(k\) and dihedral over \(\mathbb Q\). According to [N. Moser, Unités et nombre de classes d’une extension diédrale de \(\mathbb Q\), Journées Arithmétiques de Bordeaux, Astérisque 24–25, 29–35 (1975; Zbl 0313.12002)], the structure of the group of units in \(K\) can take one of five forms determined by certain unit and norm indices. The present article denotes these five structures \(\alpha,\beta,\gamma,\delta\) and \(\varepsilon\). The main result, Théorème 2.6, says that if the 3-class group of \(K\) is isomorphic to \(\mathbb Z/3\mathbb Z\times\mathbb Z/3\mathbb Z\), then in fact only two of the five structures are possible, those denoted \(\alpha\) and \(\delta\). It further states that, under these assumptions, \(\delta\) is equivalent to each of the (equivalent) statements
(i) The extension \(K/k\) admits a non-trivial strongly ambiguous ideal class.
(ii) \(K\) admits a Minkowski unit.
(We remark that there appears to be an error in the statement of Théorème 2.6, since it claims that only the structures \(\gamma\) and \(\delta\) are possible, whereas reading the rest of the paper and the proof of that theorem, it is clear that \(\gamma\) should be replaced by \(\alpha\).)
A number of computer-generated examples are given where \(K\) and \(k\) are made explicit and the isomorphism type \((\alpha\) or \(\delta)\) of the units in \(K\) determined. In particular, this allows one to read off fields \(K\) for which there exists a Minkowski unit. Attending to the case where \(k=\mathbb Q(\sqrt d,\sqrt{-3})\), the article again takes a cubic Galois extension of \(k\) which is unramified over \(k\) but this time dihedral over \(\mathbb Q(\sqrt{-3})\). Similar unit index equations to those in the case discussed above are derived, and the authors show that in this case there are four possibilities. Again, under a particular technical assumption, it is shown that only two of those possibilities can occur.

MSC:

11R27 Units and factorization
11R29 Class numbers, class groups, discriminants
11R37 Class field theory

Citations:

Zbl 0313.12002
PDFBibTeX XMLCite
Full Text: DOI Numdam EuDML

References:

[1] Azizi, A., Unités de certains corps de nombres imaginaires et abeliens sur \({{\mathbf{Q}}}.\), Ann.Sci.Math. Quebec, 23, 71-92 (1999) · Zbl 1041.11072
[2] Gerth, Frank III, Ranks of 3-class groups of non-Galois cubic fields, Acta Arith., 30, 4, 307-322 (1976) · Zbl 0297.12006
[3] Januzs, G. J., Algerbraic number fields (1992) · Zbl 0307.12001
[4] Kishi, Y.; Miyake, K., Parametrization of the quadratic fields whose class numbers are divisible by three, J. Number Theory, 80, 2, 209-217 (2000) · Zbl 0976.11050
[5] Lemmermeyer, F., Class Groups of dihedralExtansions, Math, Nacher, 278, 679-691 (2005) · Zbl 1067.11069
[6] Moser, N., Unités et nombre de classes d’une extension diédrale de \(\mathbf{Q} \), Société mathématique de France. Astérisque, 24-25 (1975) · Zbl 0313.12002
[7] Yoshiba, E., On the \(3-\) class field tower of some biquadratic fields, Acta Arithmetica, 107.4, 327-336 (2003) · Zbl 1064.11074
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.