The Generating Degree of Cp

Alexandru, Victor ; Popescu, Nicolae ; Zaharescu, Alexandru

Canadian mathematical bulletin, Tome 44 (2001) no. 1, pp. 3-11

Résumé

The generating degree $\text{g}\deg \left( A \right)$ of a topological commutative ring $A$ with char $A\,=\,0$ is the cardinality of the smallest subset $M$ of $A$ for which the subring $\mathbb{Z}\left[ M \right]$ is dense in $A$ . For a prime number $p$ , ${{\mathbb{C}}_{p}}$ denotes the topological completion of an algebraic closure of the field ${{\mathbb{Q}}_{p}}$ of $p$ -adic numbers. We prove that $\text{g}\deg \left( {{\mathbb{C}}_{p}} \right)\,=\,1$ , i.e., there exists $t$ in ${{\mathbb{C}}_{p}}$ such that $\mathbb{Z}\left[ t \right]$ is dense in ${{\mathbb{C}}_{p}}$ . We also compute $\text{gdeg}\left( A\left( U \right) \right)$ where $A\left( U \right)$ is the ring of rigid analytic functions defined on a ball $U$ in ${{\mathbb{C}}_{p}}$ . If $U$ is a closed ball then $\text{gdeg}\left( A\left( U \right) \right)\,=\,2$ while if $U$ is an open ball then $\text{gdeg}\left( A\left( U \right) \right)$ is infinite. We show more generally that $\text{gdeg}\left( A\left( U \right) \right)$ is finite for any affinoid $U$ in ${{\mathbb{P}}^{1}}\left( {{\mathbb{C}}_{p}} \right)$ and $\text{gdeg}\left( A\left( U \right) \right)$ is infinite for any wide open subset $U$ of ${{\mathbb{P}}^{1}}\left( {{\mathbb{C}}_{p}} \right)$ .

Détail

DOI : 10.4153/CMB-2001-001-1

Mots-clés : 11S99

Bibliographie

[A-P-Z] [A-P-Z] Alexandru, V., Popescu, N. and Zaharescu, A., On the closed subfields of C . J. Number Theory (2) 68 (1998), 131–150. Google Scholar

[A] [A] Ax, J., Zeros of Polynomials Over Local Fields. The Galois Action. J. Algebra 15 (1970), 417–428. Google Scholar

[C-G] [C-G] Coates, J. and Greenberg, R., Kummer Theory of Abelian Varieties. Invent.Math. (1–3) 126 (1996), 129–174. Google Scholar

[Co] [Co] Coleman, R., Dilogarithms, regulators and p-adic L-functions. Invent.Math. (2) 69 (1982), 171–208. Google Scholar

[Fo] [Fo] Fontaine, J.-M., Sur certains types de représentations p-adiques du groupe de Galois d’un corps local; construction d’un anneau de Barsotti-Tate. Ann. of Math. 115 (1982), 529–577. Google Scholar

[F-C] [F-C] Fontaine, J.-M., Le corps des périodes p-adiques (avec une appendice par P. Colmez). Astérisque 223 (1994), 59–111. Google Scholar

[F-P] [F-P] Fresnel, J. and van der Put, M., Géometrie Analytique Rigide et Applications. Birkhäuser, 1981. Google Scholar

[I-Z1] [I-Z1] Iovita, A. and Zaharescu, A., Completions of r.a.t-Valued fields of Rational Functions. J. Number Theory, (2) 50 (1995), 202–205. Google Scholar

[I-Z2] [I-Z2] Iovita, A. and Zaharescu, A., Galois theory of B+ dR. Compositio Math., to appear. Google Scholar

[I-Z3] [I-Z3] Iovita, A. and Zaharescu, A., Generating elements for B+ dR. Preprint. Google Scholar

[L] [L] Lang, S., Cyclotomic fields. Graduate Texts in Math. 59, Springer-Verlag, New York-Heidelberg, 1978. Google Scholar

[P-Z] [P-Z] Popescu, N. and Zaharescu, A., On the Structure of Irreducible Polynomials Over Local Fields. J. Number Theory (1) 52 (1995), 98–118. Google Scholar

[S] [S] Sen, S., On Automorphisms of local fields. Ann.Math. 90 (1969), 33–46. Google Scholar

[Se] [Se] Serre, J. P., Corps Locaux. Hermann, Paris, 1962. Google Scholar

[T] [T] Tate, J., p-Divisible Groups. Proceedings of a Conference on Local Fields at Driebergen, 1967, 158–183. Google Scholar