Kummer's lemma for some cyclotomic fields
type: Item
instance of: scholarly article
title: Kummer's lemma for some cyclotomic fields
zbMATH Open document ID: 0974.11039
author: Tsutomu Shimada
published in: Tokyo Journal of Mathematics
publication date: 2001-12-13T00:00:00Z
review text: Let \(K_f\) denote the cyclotomic field with conductor \(f\) and let \(p\) be an odd prime. When is a unit \(\epsilon\in K_f\) a \(p\)th power in \(K_f\)? If \(f=p\), the following condition guarantees that this is the case: \(\epsilon\) is congruent to a rational integer mod \(p^{M+1}\), where \(M\) is the highest exponent of \(p\) occurring in the prime factorizations of the numbers \(L_p(1,\chi)\) for even nonprincipal characters \(\chi\) of \(K_p\). Here \(L_p(s,\chi)\) denotes the \(p\)-adic \(L\)-function. This result was proved by L. C. Washington; it is a generalization of a classical theorem, known as Kummer's lemma (in which \(M=0\), that is, \(p\) is regular). In a subsequent article [J. Number Theory 40, 165-173 (1992; Zbl 0746.11043)] \textit{L. C. Washington} provided an extension of his result to the case \(f=p^n\), \(n\geq 1\). The present author finds another extension. He takes \(f=mp\), where \(p\) does not divide \(m\varphi (m)\) and \(p\) is congruent to 1 modulo the exponent of Gal\((K_m/\mathbb{Q})\) (\(\varphi\) denotes Euler's function). His proof uses the same idea but requires a more elaborate calculation. A crucial ingredient is the well-known explicit expression for \(L_p(1,\chi)\).
Mathematics Subject Classification ID: 11R18
Mathematics Subject Classification ID: 11R27
Mathematics Subject Classification ID: 11R42
zbMATH DE Number: 1130814
zbMATH Keywords: cyclotomic field
zbMATH Keywords: Kummer's lemma
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.3836/tjm/1270042115
OpenAlex ID: W1969573472
Wikidata QID: Q124799888
DOI: 10.3836/TJM/1270042115
Recommended article: Kummer's lemma for prime power cyclotomic fields
Recommended article: Kummer's lemma for $ℤ_p$-extensions over totally real number fields
Recommended article: On the Kummer-Leopoldt constant of a number field
Recommended article: Some remarks on Leopoldt's conjecture
Recommended article: Determination of conductors from Galois module structure
Recommended article: On Jacobi sums in Q(ζp)
Recommended article: Kummer's and Iwasawa's Version of Leopoldt's Conjecture
Recommended article: On a new type of \(L\)-function for algebraic curves over finite fields
Recommended article: Q4724724
Recommended article: On the Euler Kronecker Constant of a Cyclotomic Field, II
description: scientific article; zbMATH DE number 1130814