Ê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
Séances de cours associées (20)
Nombres réels : Ensembles et opérations
Couvre les bases des nombres réels et de la théorie des ensembles, y compris les sous-ensembles, les intersections, les syndicats et les opérations des ensembles.
Nombres de complexes : Introduction et opérations
Introduit des nombres complexes et leurs formes, y compris des formes cartésiennes, polaires et exponentielles, et explique comment trouver l'argument d'un nombre complexe.
Abstraction de données : nombres rationnels
Couvre l'abstraction de données en nombres rationnels, y compris la vue du client, l'auto-référence, les conditions préalables, les assertions, les constructeurs et les marqueurs de fin.
Publications associées (41)
Personnes associées (8)
Unités associées (2)
Concepts associés (25)
Dernier théorème de Fermat
En mathématiques, et plus précisément en théorie des nombres, le dernier théorème de Fermat, ou grand théorème de Fermat, ou depuis sa démonstration théorème de Fermat-Wiles, s'énonce comme suit : Énoncé par Pierre de Fermat d'une manière similaire dans une note marginale de son exemplaire d'un livre de Diophante, il a cependant attendu plus de trois siècles une preuve publiée et validée, établie par le mathématicien britannique Andrew Wiles en 1994.
Diophantine geometry
In mathematics, Diophantine geometry is the study of Diophantine equations by means of powerful methods in algebraic geometry. By the 20th century it became clear for some mathematicians that methods of algebraic geometry are ideal tools to study these equations. Diophantine geometry is part of the broader field of arithmetic geometry. Four theorems in Diophantine geometry which are of fundamental importance include: Mordell–Weil theorem Roth's theorem Siegel's theorem Faltings's theorem Serge Lang published a book Diophantine Geometry in the area in 1962, and by this book he coined the term "Diophantine Geometry".
Fermat curve
In mathematics, the Fermat curve is the algebraic curve in the complex projective plane defined in homogeneous coordinates (X:Y:Z) by the Fermat equation Therefore, in terms of the affine plane its equation is An integer solution to the Fermat equation would correspond to a nonzero rational number solution to the affine equation, and vice versa. But by Fermat's Last Theorem it is now known that (for n > 2) there are no nontrivial integer solutions to the Fermat equation; therefore, the Fermat curve has no nontrivial rational points.