Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Principe local-global
Résumé
In mathematics, Helmut Hasse's local–global principle, also known as the Hasse principle, is the idea that one can find an integer solution to an equation by using the Chinese remainder theorem to piece together solutions modulo powers of each different prime number. This is handled by examining the equation in the completions of the rational numbers: the real numbers and the p-adic numbers. A more formal version of the Hasse principle states that certain types of equations have a rational solution if and only if they have a solution in the real numbers and in the p-adic numbers for each prime p.
Given a polynomial equation with rational coefficients, if it has a rational solution, then this also yields a real solution and a p-adic solution, as the rationals embed in the reals and p-adics: a global solution yields local solutions at each prime. The Hasse principle asks when the reverse can be done, or rather, asks what the obstruction is: when can you patch together solutions over the reals and p-adics to yield a solution over the rationals: when can local solutions be joined to form a global solution?
One can ask this for other rings or fields: integers, for instance, or number fields. For number fields, rather than reals and p-adics, one uses complex embeddings and -adics, for prime ideals .
The Hasse–Minkowski theorem states that the local–global principle holds for the problem of representing 0 by quadratic forms over the rational numbers (which is Minkowski's result); and more generally over any number field (as proved by Hasse), when one uses all the appropriate local field necessary conditions. Hasse's theorem on cyclic extensions states that the local–global principle applies to the condition of being a relative norm for a cyclic extension of number fields.
A counterexample by Ernst S. Selmer shows that the Hasse–Minkowski theorem cannot be extended to forms of degree 3: The cubic equation 3x3 + 4y3 + 5z3 = 0 has a solution in real numbers, and in all p-adic fields, but it has no nontrivial solution in which x, y, and z are all rational numbers.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique