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 for all but finitely many primes of K. For example, 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.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Théorème de Grunwald-Wang (fr)
- Grunwald–Wang theorem (en)
|
| rdfs:comment
| - 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 for all but finitely many primes of K. For example, 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. (en)
- En théorie algébrique des nombres, le théorème de Grunwald-Wang est un exemple de principe local-global, selon lequel — hormis dans certains cas précisément identifiés — un élément d'un corps de nombres K est une puissance n-ième dans K si c'est une puissance n-ième dans le complété Kp pour presque tout idéal premier p de OK (c'est-à-dire pour tous sauf un nombre fini). Par exemple, un rationnel est le carré d'un rationnel si c'est le carré d'un nombre p-adique pour presque tout nombre premier p. (fr)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| align
| |
| authorlink
| - Peter Roquette (en)
- Shianghao Wang (en)
- Wilhelm Grunwald (en)
|
| b
| |
| first
| - Peter (en)
- Wilhelm (en)
- Shianghao (en)
|
| last
| - Roquette (en)
- Wang (en)
- Grunwald (en)
|
| p
| |
| quote
| - 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. (en)
|
| source
| - John Tate, quoted by (en)
|
| width
| |
| year
| |
| loc
| |
| has abstract
| - 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 for all but finitely many primes of K. For example, 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, but there was a mistake in this original version that was found and corrected by Shianghao Wang. 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. (en)
- En théorie algébrique des nombres, le théorème de Grunwald-Wang est un exemple de principe local-global, selon lequel — hormis dans certains cas précisément identifiés — un élément d'un corps de nombres K est une puissance n-ième dans K si c'est une puissance n-ième dans le complété Kp pour presque tout idéal premier p de OK (c'est-à-dire pour tous sauf un nombre fini). Par exemple, un rationnel est le carré d'un rationnel si c'est le carré d'un nombre p-adique pour presque tout nombre premier p. Il a été introduit par (de) en 1933, mais une erreur dans cette première version fut détectée et corrigée par (en) en 1948. (fr)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)