An Entity of Type: Abstraction100002137, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
dbo: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)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 20901695 (xsd:integer)
dbo:wikiPageLength
  • 9318 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1045234946 (xsd:integer)
dbo:wikiPageWikiLink
dbp:align
  • right (en)
dbp:authorlink
  • Peter Roquette (en)
  • Shianghao Wang (en)
  • Wilhelm Grunwald (en)
dbp:b
  • s+1 (en)
dbp:first
  • Peter (en)
  • Wilhelm (en)
  • Shianghao (en)
dbp:last
  • Roquette (en)
  • Wang (en)
  • Grunwald (en)
dbp:loc
  • section 5.3 (en)
dbp:p
  • n (en)
dbp: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)
dbp:source
  • John Tate, quoted by (en)
dbp:width
  • 30.0
dbp:wikiPageUsesTemplate
dbp:year
  • 1933 (xsd:integer)
  • 1948 (xsd:integer)
  • 2005 (xsd:integer)
dcterms:subject
rdf:type
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)
rdfs:label
  • Théorème de Grunwald-Wang (fr)
  • Grunwald–Wang theorem (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License