Ê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
Point rationnel
Résumé
En théorie des nombres et géométrie algébrique, les points rationnels d'une variété algébrique définie sur un corps sont, lorsque X est définie par un système d'équations polynomiales, les solutions dans k de ce système.
Soit une variété algébrique définie sur un corps . Un point est appelé un point rationnel si le corps résiduel de X en x est égal à . Cela revient à dire que les coordonnées du point dans une carte locale affine appartiennent toutes à . Lorsque la variété algébrique est déduite d'un système d'équations polynômiales homogène ou affine, les points rationnels correspondent aux solutions du système dans .
L'ensemble des points rationnels de est noté .
Sur un corps de base algébriquement clos, tous les points (fermés) sont rationnels. Dans le cas contraire, peut très bien être vide sans que le soit.
Une partie importante de la géométrie arithmétique concerne l'étude des points rationnels des variétés algébriques définies sur un corps de nombres.
L'ensemble des points rationnels d'un espace affine s'identifie à . De même l'ensemble des points rationnels d'un espace projectif (comme variété algébrique) s'identifie à l'espace projectif .
Si X est la courbe algébrique projective définie par l'équation dans Q, où p est un nombre premier impair, les points rationnels X(Q) correspondent aux solutions homogènes de l'équation de Fermat d'exposant . Le point est un point rationnel (sur Q), par contre le point où est une racine primitive p-ième de l'unité, n'est pas rationnel.
La courbe affine x + y + 1 = 0 sur R n'a pas de points rationnels.
La conjecture de Mordell, démontrée par Gerd Faltings, dit que pour toute courbe projective non-singulière de genre au moins deux, définie sur un corps de nombres, admet au plus un nombre fini de points rationnels.
Le théorème de Mordell-Weil, généralisé par Lang et Néron, dit que pour toute variété abélienne A sur un corps K de type fini sur Q ou un corps fini, l'ensemble des points rationnels A(K) est un groupe abélien de type fini.
§ "Points rationnels" de l'article : Va
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
Cours associés (3)
MATH-494: Topics in arithmetic geometry
P-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applic
MATH-101(e): Analysis I
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
CS-210: Functional programming
Understanding of the principles and applications of functional programming, the fundamental models of program
execution, application of fundamental methods of program composition, meta-programming thr