The p-adic Kummer–Leopoldt constant: Normalized p-adic regulator
The [Formula: see text]-adic Kummer–Leopoldt constant [Formula: see text] of a number field [Formula: see text] is (assuming the Leopoldt conjecture) the least integer [Formula: see text] such that for all [Formula: see text], any global unit of [Formula: see text], which is locally a [Formula: see text]th power at the [Formula: see text]-places, is necessarily the [Formula: see text]th power of a global unit of [Formula: see text]. This constant has been computed by Assim and Nguyen Quang Do using Iwasawa’s techniques, after intricate studies and calculations by many authors. We give an elementary [Formula: see text]-adic proof and an improvement of these results, then a class field theory interpretation of [Formula: see text]. We give some applications (including generalizations of Kummer’s lemma on regular [Formula: see text]th cyclotomic fields) and a natural definition of the normalized [Formula: see text]-adic regulator for any [Formula: see text] and any [Formula: see text]. This is done without analytical computations, using only class field theory and especially the properties of the so-called [Formula: see text]-torsion group [Formula: see text] of Abelian [Formula: see text]-ramification theory over [Formula: see text].