Simultaneous approximation in number fields
type: Item
instance of: scholarly article
title: Simultaneous approximation in number fields
zbMATH Open document ID: 0780.11060
DOI: 10.1007/BF01232039
author: Damien Roy
published in: Inventiones Mathematicae
publication date: 1993-06-29T00:00:00Z
full work available at URL: https://eudml.org/doc/144033
review text: Let \(k\) be a number field and let \(S\) be a non-empty finite set of places of \(k\). The theorem of independence of places shows that the diagonal embedding maps \(k\) to a dense subset of the product of its completions \(k_ v\) at the places \(v\) of \(S\). In particular, the multiplicative group \(k^ \times\) of \(k\) has a dense image in the product \(G\) of the multiplicative groups \(k_ v^ \times\) for all \(v\in S\). When \(S\) is the set \(S_ \infty\) of all archimedean places of \(k\), the group \(G\) is isomorphic to \((\mathbb{R} \otimes_ \mathbb{Q} k)^ \times\) and \textit{M. Waldschmidt} showed the existence of a finitely generated subgroup of \(k^ \times\) whose image is dense in \(G\) [Théorie des Nombres, Sémin. Delange-Pisot-Poitou, Paris 1980-81, Prog. Math. 22, 323-335 (1982; Zbl 0494.12007)]. The present paper shows more generally that if \(m\) denotes the smallest integer for which there exists a dense subgroup of \(G\) generated by \(m\) elements, then there exist \(m\) elements of \(k^ \times\) whose images in \(G\) generate a dense subgroup of \(G\). When \(S\subset S_ \infty\), the integer \(m(G)\) is \(| S|+1\) and this result answers a problem of \textit{J. J. Sansuc} [Théorie des Nombres, Sémin. Delange-Pisot-Poitou, Paris 1980-81, Prog. Math. 22, 253-271 (1982; Zbl 0506.14014)] about the smallest rank of a finitely generated dense subgroup of \((\mathbb{R}\otimes_ \mathbb{Q} k)^ \times\) inside \(k^ \times\). This rank is \(| S_ \infty|+1\). The proof relies on a transcendence result of \textit{M. Waldschmidt} [Invent. Math. 63, 97-127 (1981; Zbl 0454.10020)] and on a general fact about finitely generated subgroups of connected commutative real Lie groups.
reviewed by: Damien Roy
Mathematics Subject Classification ID: 11R99
Mathematics Subject Classification ID: 14G25
Mathematics Subject Classification ID: 22E15
Mathematics Subject Classification ID: 11J99
zbMATH DE Number: 220749
zbMATH Keywords: number field
zbMATH Keywords: places
zbMATH Keywords: independence of places
zbMATH Keywords: multiplicative groups
zbMATH Keywords: dense subgroup
MaRDI profile type: Publication
cites work: Sur une version algébrique de la notion de sous-groupe minimal relatif de ${\bbfR}\sp n$
cites work: Sous-groupes minimaux des groupes de Lie commutatifs réels, et applications arithmétiques
cites work: Transcendance et exponentielles en plusieurs variables
cites work: Q4203348
Recommended article: Unramified subextensions of ray class towers
Recommended article: Q4517567
Recommended article: Q5750944
Recommended article: Densité des points rationnels sur un groupe algébrique
Recommended article: Q3980359
Recommended article: Profinite commensurability of $S$-arithmetic groups
Recommended article: Finite subgroups of units of group algebras. I
Recommended article: Sous-groupes minimaux des groupes de Lie commutatifs réels, et applications arithmétiques
Recommended article: A note on generators for arithmetic subgroups of algebraic groups
Recommended article: On the Distribution of Norm Groups of Algebraic Number Fields
description: scientific article; zbMATH DE number 220749