# Grunwald–Wang theorem

Grunwald–Wang theorem In algebraic number theory, the Grunwald–Wang theorem is a local-global principle stating that—except in some precisely defined cases—an element x in a number field K is an nth power in K if it is an nth power in the completion {estilo de exibição K_{mathfrak {p}}} for all but finitely many primes {estilo de exibição {mathfrak {p}}} of K. Por exemplo, a rational number is a square of a rational number if it is a square of a p-adic number for almost all primes p. The Grunwald–Wang theorem is an example of a local-global principle.

It was introduced by Wilhelm Grunwald (1933), but there was a mistake in this original version that was found and corrected by Shianghao Wang (1948). The theorem considered by Grunwald and Wang was more general than the one stated above as they discussed the existence of cyclic extensions with certain local properties, and the statement about nth powers is a consequence of this.

Conteúdo 1 História 2 Wang's counter-example 2.1 An element that is an nth power almost everywhere locally but not everywhere locally 2.2 An element that is an nth power everywhere locally but not globally 3 A consequence of Wang's counter-example 4 Special fields 5 Declaração do teorema 6 Explanation of Wang's counter-example 7 Veja também 8 Notas 9 References History Some days later I was with Artin in his office when Wang appeared. He said he had a counterexample to a lemma which had been used in the proof. An hour or two later, he produced a counterexample to the theorem itself... Of course he [Artin] was astonished, as were all of us students, that a famous theorem with two published proofs, one of which we had all heard in the seminar without our noticing anything, could be wrong.

John Tate, quoted by Peter Roquette (2005, p.30) Grunwald (1933), a student of Helmut Hasse, gave an incorrect proof of the erroneous statement that an element in a number field is an nth power if it is an nth power locally almost everywhere. George Whaples (1942) gave another incorrect proof of this incorrect statement. However Wang (1948) discovered the following counter-example: 16 is a p-adic 8th power for all odd primes p, but is not a rational or 2-adic 8th power. In his doctoral thesis Wang (1950) written under Emil Artin, Wang gave and proved the correct formulation of Grunwald's assertion, by describing the rare cases when it fails. This result is what is now known as the Grunwald–Wang theorem. The history of Wang's counterexample is discussed by Peter Roquette (2005, section 5.3) Wang's counter-example Grunwald's original claim that an element that is an nth power almost everywhere locally is an nth power globally can fail in two distinct ways: the element can be an nth power almost everywhere locally but not everywhere locally, or it can be an nth power everywhere locally but not globally.

An element that is an nth power almost everywhere locally but not everywhere locally The element 16 in the rationals is an 8th power at all places except 2, but is not an 8th power in the 2-adic numbers.

É claro que 16 is not a 2-adic 8th power, and hence not a rational 8th power, since the 2-adic valuation of 16 é 4 which is not divisible by 8.

Geralmente, 16 is an 8th power in a field K if and only if the polynomial {estilo de exibição X^{8}-16} has a root in K. Write {estilo de exibição X^{8}-16=(X^{4}-4)(X^{4}+4)=(X^{2}-2)(X^{2}+2)(X^{2}-2X+2)(X^{2}+2X+2).} Desta forma, 16 is an 8th power in K if and only if 2, −2 or −1 is a square in K. Let p be any odd prime. It follows from the multiplicativity of the Legendre symbol that 2, −2 or −1 is a square modulo p. Por isso, by Hensel's lemma, 2, −2 or −1 is a square in {estilo de exibição mathbb {Q} _{p}} .

An element that is an nth power everywhere locally but not globally 16 is not an 8th power in {estilo de exibição mathbb {Q} ({quadrado {7}})} although it is an 8th power locally everywhere (ou seja. dentro {estilo de exibição mathbb {Q} _{p}({quadrado {7}})} for all p). This follows from the above and the equality {estilo de exibição mathbb {Q} _{2}({quadrado {7}})= mathbb {Q} _{2}({quadrado {-1}})} .

A consequence of Wang's counter-example Wang's counterexample has the following interesting consequence showing that one cannot always find a cyclic Galois extension of a given degree of a number field in which finitely many given prime places split in a specified way: There exists no cyclic degree 8 extension {displaystyle K/mathbb {Q} } in which the prime 2 is totally inert (ou seja, de tal modo que {estilo de exibição K_{2}/mathbb {Q} _{2}} is unramified of degree 8).

Special fields For any {displaystyle sgeq 2} deixar {estilo de exibição eta _{s}:=exp à esquerda({fratura {2pi eu}{2^{s}}}certo)+exp esquerda(-{fratura {2pi eu}{2^{s}}}certo)=2cos left({fratura {2pi }{2^{s}}}certo).} Note that the {estilo de exibição 2 ^{s}} th cyclotomic field is {estilo de exibição mathbb {Q} _{2^{s}}= mathbb {Q} (eu,e _{s}).} A field is called s-special if it contains {estilo de exibição eta _{s}} , but neither {estilo de exibição eu} , {estilo de exibição eta _{s+1}} nem {displaystyle ieta _{s+1}} .

Statement of the theorem Consider a number field K and a natural number n. Let S be a finite (possibly empty) set of primes of K and put {estilo de exibição K(n,S):={xin Kmid xin K_{mathfrak {p}}^{n}matemática { para todos } {mathfrak {p}}not in S}.} The Grunwald–Wang theorem says that {estilo de exibição K(n,S)=K^{n}} unless we are in the special case which occurs when the following two conditions both hold: {estilo de exibição K} is s-special with an {estilo de exibição s} de tal modo que {estilo de exibição 2 ^{s+1}} divides n. {estilo de exibição S} contains the special set {estilo de exibição S_{0}} consisting of those (necessarily 2-adic) primos {estilo de exibição {mathfrak {p}}} de tal modo que {estilo de exibição K_{mathfrak {p}}} is s-special.

In the special case the failure of the Hasse principle is finite of order 2: the kernel of {displaystyle K^{vezes }/K^{times n}to prod _{{mathfrak {p}}not in S}K_{mathfrak {p}}^{vezes }/K_{mathfrak {p}}^{times n}} is Z/2Z, generated by the element ηn s+1.

Explanation of Wang's counter-example The field of rational numbers {displaystyle K=mathbb {Q} } is 2-special since it contains {estilo de exibição eta _{2}=0} , but neither {estilo de exibição eu} , {estilo de exibição eta _{3}={quadrado {2}}} nem {displaystyle ieta _{3}={quadrado {-2}}} . The special set is {estilo de exibição S_{0}={2}} . Desta forma, the special case in the Grunwald–Wang theorem occurs when n is divisible by 8, and S contains 2. This explains Wang's counter-example and shows that it is minimal. It is also seen that an element in {estilo de exibição mathbb {Q} } is an nth power if it is a p-adic nth power for all p.

The field {displaystyle K=mathbb {Q} ({quadrado {7}})} is 2-special as well, but with {estilo de exibição S_{0}=conjunto vazio } . This explains the other counter-example above.[1] See also The Hasse norm theorem states that for cyclic extensions an element is a norm if it is a norm everywhere locally. Notes ^ See Chapter X of Artin–Tate. References Artin, Emil; Tate, John (1990), Class field theory, ISBN 978-0-8218-4426-7, MR 0223335 Grunwald, Guilherme (1933), "Ein allgemeiner Existenzsatz für algebraische Zahlkörper", Revista de matemática pura e aplicada, 169: 103–107 Roquette, Peter (2005), The Brauer-Hasse-Noether theorem in historical perspective (PDF), Schriften der Mathematisch-Naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften [Publications of the Mathematics and Natural Sciences Section of Heidelberg Academy of Sciences], volume. 15, Berlim, Nova york: Springer-Verlag, ISBN 978-3-540-23005-2 Wang, Shianghaw (1948), "A counter-example to Grunwald's theorem", Anais da Matemática, Segunda Série, 49: 1008–1009, doi:10.2307/1969410, ISSN 0003-486X, JSTOR 1969410, MR 0026992 Wang, Shianghaw (1950), "On Grunwald's theorem", Anais da Matemática, Segunda Série, 51: 471-484, doi:10.2307/1969335, ISSN 0003-486X, JSTOR 1969335, MR 0033801 Whaples, Jorge (1942), "Non-analytic class field theory and Grünwald's theorem", Revista de Matemática Duke, 9 (3): 455–473, doi:10.1215/s0012-7094-42-00935-9, ISSN 0012-7094, MR 0007010 Categorias: Teoria de campo de classeTeoremas em teoria algébrica dos números

Se você quiser conhecer outros artigos semelhantes a **Grunwald–Wang theorem** você pode visitar a categoria **Class field theory**.

Deixe uma resposta