On the existence of Minkowski units in totally real cyclic fields. (English) Zbl 1089.11062

The following result is proved: Let \(K\) be a totally real, cyclic number field of degree \(n=6, 10\) or \(14\). Then \(K\) has a Minkowski unit if and only if all the norm maps from the unit group of \(K\) to the unit group of any subfield of \(K\) are surjective. For this purpose, the author considers a totally real, cyclic number field \(K\) of composite degree \(n\) and investigates “structured” \(O\)-modules for \[ O = \mathbb Z [x] \Bigm/ \Bigl( \frac {x^n-1}{x-1} \Bigr), \] which reflect in some way the Galois module structure of the torsion free part of the unit group, \(U_K = E_K /\{\pm 1\}\), of \(K\): If \(K\) has a Minkowski unit then \(U_K\) is a structured \(O\)-module and isomorphic to \(O\). Propositions 4.1, 4.2 and 5.2 give criteria when structured \(O\)-modules are isomorphic for the case that \(n\) is the product of two primes. Specializing these ideas for \(n=6, 10\) and \(14\) proves the main result.


11R27 Units and factorization
Full Text: DOI Numdam Numdam EuDML


[1] L. Bouvier, J. PayanModules sur certains anneaux de Dedekind. J. Reine Angew. Math. 274/275 (1975), 278-286. · Zbl 0309.12006
[2] R. KučeraOn bases of the Stickelberger ideal and of the group of circular units of a cyclotomic field. J. Number Theory 40 (1992), 284-316. · Zbl 0744.11052
[3] F. MarkoOn the existence of \(p\)-units and Minkowski units in totally real cyclic fields. Abh. Math. Sem. Univ. Hamburg 66 (1996), 89-111. · Zbl 0869.11087
[4] N. MoserUnités et nombre de classes d’une extension Galoisienne diédrale de \(\mathbb{Q}\). Abh. Math. Sem. Univ. Hamburg 48 (1979), 54-75. · Zbl 0387.12005
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.