Grunwald-Wang theorem, an effective version

DOI10.1007/S11425-015-4977-5MaRDI QIDQ498141zbMATH OpenOpenAlexFDO

Authors Song Wang

Publication date 25 September 2015

Published in Science China. Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.0389

zbMATH Keywords

class field theory bound Grunwald-Wang theorem

Mathematics Subject Classification ID

Class field theory (11R37) Ordinary representations and characters (20C15)

Abstract: The main purpose of this note is to establish an effective version of the Grunwald--Wang Theorem, which asserts that given a family of local characters

c h i^{v}

of

K_{v}^{*}

of exponent

m

where

v i n S

for a finite set

S

of primes of

K

, there exists a global character

c h i

of the idele class group

C_{K}

of exponent

m

(unless some special case occurs, when it is

2 m

) whose component at

v

is

c h i^{v}

. The effectiveness problem for this theorem is to bound the norm

N (c h i)

of the conductor of

c h i

in terms of

K

,

m

,

S

and

N (c h i^{v})

. The Kummer case (when

K

contains

m u_{m}

) is easy since it is almost an application of the Chinese Remainder Theorem. In this note, we solve this problem completely in general case, and give three versions of bound, one is with GRH, and the other two are unconditional bounds. These effective results have some interesting applications in concrete situations. To give a simple example, if we fix

p

and

l

, one gets a good least upper bound for

N

such that

p

is not an

l

--th power mod

N

. One also gets the least upper bound for

N

such that

l^{r} m i d p h i (N)

and

p

is not an

l

--th power mod

N

. Some part of this note is adopted (with some revision) from my unpublished thesis (2001) (cite{Wang2001}).

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Grunwald-Wang theorem, an effective version

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q498141)