Abstract : The p-adic Kummer--Leopoldt constant kappa_K of a number field K is (assuming the Leopoldt conjecture) the least integer c such that for all n >> 0, any global unit of K, which is locally a p^(n+c)th power at the p-places, is necessarily the p^nth power of a global unit of K. This constant has been computed by Assim & Nguyen Quang Do using Iwasawa's techniques, after intricate studies and calculations by many authors. We give an elementary p-adic proof and an improvement of these results, then a class field theory interpretation of kappa_K. We give some applications (including generalizations of Kummer's lemma on regular pth cyclotomic fields) and a natural definition of the normalized p-adic regulator for any K and any p≥2. This is done without analytical computations, using only class field theory and especially the properties of the so-called p-torsion group T_K of Abelian p-ramification theory over K.
Keywords :
Type de document :
Pré-publication, Document de travail
To appear in International Journal of Number Theory'' (2018). 2017

Littérature citée [18 références]

https://hal.archives-ouvertes.fr/hal-01444560
Contributeur : Georges Gras <>
Soumis le : vendredi 31 mars 2017 - 14:07:48
Dernière modification le : mardi 4 avril 2017 - 01:02:34
Document(s) archivé(s) le : samedi 1 juillet 2017 - 13:28:23

### Fichiers

Kummer-Leopoldt.HAL.pdf
Fichiers produits par l'(les) auteur(s)

### Identifiants

• HAL Id : hal-01444560, version 2
• ARXIV : 1701.06857

### Citation

Georges Gras. The p-adic Kummer-Leopoldt constant -- Normalized p-adic regulator. To appear in International Journal of Number Theory'' (2018). 2017. 〈hal-01444560v2〉

Consultations de
la notice

## 72

Téléchargements du document
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8664469718933105, "perplexity": 6657.284921266064}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2017-39/segments/1505818696677.93/warc/CC-MAIN-20170926175208-20170926195208-00609.warc.gz"}