D	L	M	M	J	V	S
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31

Arithmétique des polynômes

(Redirigé depuis Polynôme irréductible)

En algèbre, l'arithmétique des polynômes décrit les propriétés des polynômes qui peuvent se déduire de l'arithmétique et qui sont un peu analogues à celles des nombres entiers. Par exemple, l'anneau des polynômes K[X] à une indéterminée X et à coefficients dans un corps commutatif K dispose d'une division euclidienne. Si le lecteur n'est pas familier avec les structures de corps et d'anneau, il peut considérer K comme une lettre symbolisant l'ensemble des nombres réels ou complexes. La division euclidienne est à l'origine des théorèmes clés de l'arithmétique élémentaire. Il en est de même pour l'arithmétique des polynômes. On démontre de la même manière l'identité de Bézout, le lemme d'Euclide ou un équivalent duthéorème fondamental de l'arithmétique, les polynômes irréductibles et unitaires prenant alors la place des nombres premiers.

Ces résultats ne s'appliquent plus de la même manière si les coefficients sont choisis dans un ensemble A comme celui des nombres entiers, où les éléments ne sont pas toujours inversibles pour la multiplication. L'étude de cette configuration demande l'usage d'un attirail d'outils mathématiques plus puissants. Ils permettent de montrer que si l'identité de Bézout n'est plus vérifiée, un équivalent du théorème fondamental de l'arithmétique reste encore valable. Cette propriété reste vraie si l'anneau comporte plusieurs indéterminées. Autrement dit, si A est un anneau factoriel, l'anneau des polynômes à coefficients dans A est aussi factoriel, quel que soit le nombre d'indéterminées. Dans certains cas, l'anneau A n'est pas factoriel mais juste noethérien. À condition que l'anneau des polynômes ne contienne qu'un nombre fini d'indéterminées, il est aussi noethérien.

Ces différents résultats sont à l'origine de théorèmes fondateurs de diverses branches de l'algèbre. La théorie de Galois s'appuie sur la structure euclidienne de K[X], la théorie algébrique des nombres fait usage du caractère factoriel et noethérien d'un anneau de polynômes à une ou plusieurs indéterminées sur un anneau factoriel. Enfin, des théorèmes comme celui de la base de Hilbert ou le Nullstellensatz, essentiels en géométrie algébrique, sont des conséquences directes de l'arithmétique des polynômes.

Sommaire

[masquer]

Corps commutatif [modifier]

Dans le reste de l'article K désigne un corps commutatif. Ce corps peut être égal à Q celui des nombres rationnels, R celui des réels ou C pour les complexes, ou encore un corps fini. Dans ce paragraphe tous les polynômes sont en une indéterminée et à coefficients dans K, l'anneau de ces polynômes est noté K[X]. L'anneau K[X] possède une division euclidienne (cf l'article Division d'un polynôme) et comme pour tout anneau euclidien, les conséquences sont multiples. Elles sont exactement semblables à celle traitées dans l'article arithmétique élémentaire, qui traite de l'arithmétique des nombres entiers.

Il est possible d'exprimer ces résultats sous deux formes, la première et la plus simple est celle utilisé dans l'article arithmétique élémentaire. La deuxième, emploie le vocabulaire de lathéorie des anneaux, c'est-à-dire des termes comme idéal, idéal principal, premier ou encore maximal. L'article explicite les résultats dans les deux langages.

Identité de Bézout [modifier]

Suivre le plan de l'article Arithmétique élémentaire, suppose dans une premier temps de s'intéresser aux sous-ensembles de K[X] non vide et stable pour l'addition et la soustraction. Pour que les conséquences soient aussi riche que dans l'article sur les entiers, il est nécessaire d'ajouter la stabilité de l'ensemble par multiplication par un polynôme quelconque. On obtient le résultat suivant :

Sous-ensemble stable — Un sous-ensemble M non vide de K[X] est stable par addition, soustraction et multiplication par un polynôme quelconque si, et seulement si, il existe un polynôme m tel que M soit l'ensemble des multiples de m.

En termes de théorie des anneaux, ce résultat indique que K[X] est un anneau principal, ce qui est le cas de tout anneau euclidien. La démonstration se trouve dans l'article Anneau euclidien.

La conséquence directe est :

Identité de Bézout — Soit P et Q deux polynômes, P et Q sont premiers entre eux si, et seulement si, il existe deux polynômes M et N tel que :

$Pcdot M + Qcdot N = 1$

Il devient nécessaire de définir l'expression polynômes premiers entre eux. Deux polynômes sont premiers entre eux lorsque les seuls polynômes qui les divisent tous les deux sont les polynômes constants non nuls. Cette définition est très proche de celle des entiers qui sont premiers entre eux lorsque les seuls diviseurs communs sont 1 et -1, c'est-à-dire les éléments inversibles de l'anneau.

Dans le vocabulaire des anneaux, l'identité se traduit un peu différemment. Soit A et B deux idéaux de K[X], si l'intersection de A et de B est égal au produit des idéaux A.B (ce qui est l'équivalent de l'expression premiers entre eux), alors l'idéal A + B est égal à K[X].

[Dérouler]

Démonstrations

Polynôme irréductible [modifier]

Continuer l'analogie avec l'arithmétique élémentaire demande à ce niveau de disposer d'un équivalent des nombres premiers. Dans Z, un nombre premier n'est divisible que par 1, -1 ou le produit d'un de ces deux éléments et de lui-même. Cependant ces nombres ne sont que qualifiés d'irréductibles. Pour qu'ils soient déclarés premiers il faut en plus qu'ils soient positifs. Ce qui caractérise un nombre premier, ce sont ces multiples, or 2 et -2 ont le même ensemble de multiples, ce qui forme une classe d'équivalence dont la relation R est définie par : a et équivalent à b lorsque a et b possèdent le même ensemble de multiples. Dans le cas général, deux éléments d'un anneau a et b sont équivalents, ou encore ont le même ensemble de multiples, s'il existe un élément c inversible pour la multiplication, tel que a.c = b. Dans Z, les deux seuls éléments inversibles sont 1 et -1. On dit qu'ils sont éléments du groupe des unités et les éléments inversibles sont dits des unités. La relation d'équivalence est étudiée dans l'article Groupe des unités. Dans le cas des polynômes :

Groupe des unités de K[X] — Le groupe des unités de K[X] est formé par les polynômes constants non nuls.

On en déduit une définition pour les polynômes, presque équivalente à celle des nombres premiers :

Polynôme irréductible — Un polynôme est dit irréductible lorsqu'il n'est pas inversible et que ses diviseurs sont, soit des polynômes constants inversibles, soit le produit de lui-même par un polynôme constant.

On dispose, par exemple de la proposition :

Polynôme du premier degré — Un polynôme du premier degré est toujours irréductible.

Pour exprimer l'équivalent théorème fondamental de l'arithmétique, il est important de choisir un unique nombre premier dans chaque classe d'équivalence, pour la relation R, de nombres irréductibles. Dans Z, il suffit d'indiquer qu'un nombre irréductible est dit premier s'il est positif, car chaque classe d'équivalence contient deux éléments : a et son opposé -a. La même relation d'équivalence dans K[X] existe et la classe d'équivalence d'un polynôme P est l'ensemble des polynômes k.P si k décrit tous les éléments de K non nuls. Pour exprimer l'équivalent du théorème fondamental de l'arithmétique, on choisit généralement l'élément de la classe qui est unitaire, c'est-à-dire celui dont le coefficient du monôme dominant (celui du plus haut degré) est égal à 1. Dans chaque classe d'équivalence de polynôme irréductible, il n'existe en effet qu'un unique polynôme unitaire.

[Dérouler]

Démonstrations

Théorème fondamental de l'arithmétique [modifier]

Article détaillé : théorème fondamental de l'arithmétique.

Avant d'énoncer le théorème fondamental, un premier lemme est utile :

Lemme d'Euclide — Soit P un polynôme irréductible et A, B deux polynômes. Si le produit des deux polynômes A.B est un multiple de P, alors soit A soit B est un multiple de P.

En termes d'anneau, ce résultat s'exprime comme par : Si un idéal premier I contient le produit de deux idéaux A et B il est contient soit A soit B , proposition toujours vraie dans unanneau principal (cf l'article Idéal premier).

On obtient finalement le théorème suivant :

Décomposition en facteurs irréductibles — Un polynôme non nul se décompose de manière unique, à l'ordre près, en un produit comportant un polynôme constant et des polynômes unitaires irréductibles.

Autrement dit, en termes d'anneau, K[X] est factoriel, car tout anneau principal est factoriel (cf l'article Anneau factoriel).

[Dérouler]

Démonstrations

Arithmétique modulaire [modifier]

Article détaillé : Arithmétique modulaire.

Une structure digne d'intérêt sur les entiers est celle du quotient Z/nZ. Un élément de ce quotient est représenté par un reste de division euclidienne d'un entier quelconque par n, on trouve toujours un représentant unique d'une congruence modulo n dans les entiers positifs strictement plus petit que n. Si p est un entier irréductible (c'est-à-dire un nombre premier ou son opposé), la structure Z/pZ est un corps, autrement dit, tout élément non nul de Z/pZ est inversible.

Soit P un polynôme irréductible, il est tentant de considérer les polynômes de K[X] modulo P. On obtient une structure avec une addition et une multiplication, qui vérifie toutes les propriétés d'un anneau commutatif unitaire, exactement comme celle décrite dans l'article Congruence sur les entiers. On dispose encore de la propriété :

Congruence sur K[X] modulo un polynôme irréductible — Si P est un polynôme irréductible de K[X], toute congruence modulo P non nul possède un inverse pour la multiplication.

Notons L la structure des congruences sur les polynômes de K[X] modulo P. Comme tout élément différent de 0 est inversible pour la multiplication, on dit que c'est un corps. Il est appelé le corps de rupture de K. Ce corps dispose d'une propriété remarquable :

Corps de congruence, vu comme un espace vectoriel — Le corps L dispose d'une structure de K espace vectoriel de dimension le degré de P.

[Dérouler]

Démonstrations

Usages de l'arithmétique de K[X] [modifier]

Extension finie de R [modifier]

Article détaillé : Théorème fondamental de l'algèbre.

Le corps des complexes C peut être vu comme un espace vectoriel de dimension 2, sur R. On peut se demander s'il existe d'autres corps commutatifs contenant R. Il existe par exemple le corps des fractions rationnelles à coefficients dans R. Mais, à la différence de C, vu comme un espace vectoriel sur R, le corps des fractions n'est pas de dimension finie. Un corps commutatif contenant R et espace vectoriel de dimension finie est dit une extension finie de R. L'arithmétique des polynômes à coefficients dans R permet d'établir le résultat suivant :

Extension finie de R — Il n'existe que deux extensions finies de R : R et C, à un isomorphisme près.

L'expression un isomorphisme près signifie que si L est une extension finie de R, alors soit L est égal à R soit L est une copie de C et il existe une bijection φ de C dans L tel que l'image de R soit R et que l'addition et la multiplication soit respectées par φ, autrement dit :

$forall a,b in mathbb C quad varphi (a+b) = varphi(a) + varphi(b) quadtext{et}quad varphi(acdot b) = varphi(a)cdot varphi(b)$

Ce qui signifie que φ(a) est une autre manière de noter a, mais que les opérations restent strictement les mêmes.

[Dérouler]

Démonstration

Équation algébrique [modifier]

Article détaillé : Corps de décomposition.

L'arithmétique modulaire sur les polynômes apporte la structure de base d'une des branches de la théorie des équations, dont l'unique objet est la résolution des équations polynômiale. Soit P un polynôme à coefficients dans un corps K de degré supérieur ou égal à 1, on recherche un corps L contenant les racines de P.

Corps de décomposition — Il existe un corps L, contenant K dimension finie et contenant toutes les racines de P.

La plus petite extension vérifiant cette propriété est appelé corps de décomposition du polynôme P. Ce corps est un des ingrédients utilisé dans le cadre de la théorie de Galois pour déterminer exactement quelle équation polynômiale est résoluble par radicaux (cf l'article Théorème d'Abel (algèbre)).

[Dérouler]

Démonstration

Corps fini [modifier]

Article détaillé : corps fini.

Les congruences sur les anneaux sont la méthode principale d'étude des corps finis. Pour l'illustrer, considérons un nombre premier p strictement supérieur à 2 et recherchons un corps fini à p² éléments. On considère dans un premier temps le corps F_p à p éléments, isomorphe à Z/pZ. Dans ce corps, la fonction polynôme, qui à x associe x², n'est pas injective car x et -x ont la même image. Une application d'un ensemble fini dans lui-même qui n'est pas injective n'est pas surjective, et il existe une valeur a de F_p tel que le polynôme P_a égal à X² - asoit irréductible.

Les congruences des polynômes de F_p modulo P_a forment un corps car P_a est irréductible. Si χ représente la classe de X modulo P_a, comme toute congruence possède comme représentant un polynôme de degré inférieur ou égal à 1, tout élément du corps des congruences est de la forme a + b.χ, avec a et b élément de F_p. On obtient bien un corps à p²éléments.

L'article détaillé montre qu'il n'existe pas d'autres corps à p² éléments à un isomorphisme près. Cette méthode se généralise et permet de construire tous les corps finis.

Anneau factoriel [modifier]

Dans ce paragraphe A désigne un anneau factoriel, c'est-à-dire aussi non nul, commutatif unitaire et intègre. L'article Construction de l'anneau des polynômes montre que A[X] est toujours commutatif unitaire et intègre, cependant il n'est euclidien que si A est un corps (cf l'article Division d'un polynôme).

Lemme de Gauss [modifier]

Article détaillé : Lemme de Gauss (polynômes).

Cette fois ci, le groupe des unités de A[X] est plus restreint, il ne contient que les polynômes constants dont la constante est inversible dans A. Ainsi dans Z[X], l'anneau des polynômes à coefficients entiers les deux seuls polynômes inversibles sont 1 et -1. Dans ce cas, un polynôme constant non nul n'est pas nécessairement irréductible et le polynôme 6n'est plus irréductible car il est égal à 2x3. Pour cette raison, on dit qu'un polynôme est primitif lorsque ses coefficients sont premiers entre eux dans leur ensemble. Comme A est un anneau commutatif unitaire et intègre, il est possible de construire son corps des fractions K, de la même manière que l'on construit Q le corps des fractions des entiers naturels. Un polynôme P de A[X] peut aussi être considéré comme un polynôme à coefficients dans K.

On dispose d'une première propriété, appelée lemme de Gauss uniquement dans le cas où l'anneau est égal à Z, mais vraie dans tous les anneaux factoriels :

Lemme de Gauss — Un polynôme de A[X] est irréductible si, et seulement si, il est primitif et irréductible dans K[X].

Pour montrer qu'un polynôme est irréductible dans Z[X], il suffit de vérifier que ses différents coefficients ne comportent aucun facteur commun et qu'il est irréductible dans Q[X].

Les démonstrations sont proposées dans l'article Anneau factoriel.

Théorème [modifier]

Article détaillé : Anneau factoriel.

Une conséquence de ce lemme est le théorème :

Anneau factoriel — L'anneau A[X] est factoriel.

L'équivalent du théorème fondamental de l'arithmétique est encore valable, au même titre que le lemme d'Euclide, mais l'identité de Bézout n'est plus vraie et l'anneau des polynômes n'est pas principal. Pour s'en rendre compte, on peut, par exemple considérer l'idéal engendré par l'indéterminée X et a, un élément non inversible de l'anneau A, il n'est pas principal. En conséquence, il n'existe pas de polynômes N et M de A[X] tel que N.X + a.M soit égal au polynôme constant 1, même si a et X sont deux polynômes premiers entre eux. Comme l'anneau n'est pas principal, il ne peut exister de division euclidienne.

Les démonstrations sont proposées dans l'article détaillé.

Usages de l'arithmétique de A[X] [modifier]

Ces propriétés permettent parfois d'étudier la décomposition en facteurs premiers dans Q[X]. C'est le cas pour l'étude du polynôme cyclotomique, le lemme de Gauss permet de montrer que les facteurs irréductibles sont à coefficients dans Z, il devient possible de quotienter Z, l'anneau des coefficients, par p.Z où p est un nombre premier, et de conclure sur l'expression exacte des facteurs irréductibles des polynômes de la forme Xⁿ - 1. Le lemme de Gauss peut être aussi utilisé pour démontrer le critère d'Eisenstein sur les polynômes à coefficients dans Z.

Une autre conséquence influe sur l'étude de la géométrie algébrique. Cette branche des mathématiques porte sur l'étude des variétés définies comme intersections des racines d'une famille (P_k) de polynômes en un nombre fini d'indéterminées sur un corps K. L'anneau K[X₁, X₂] est isomorphe à l'anneau de polynômes en une indéterminée à coefficients dans K[X₁], qui est factoriel. Il est donc factoriel et une récurrence montre que K[X₁, ..., X_n] l'est aussi.

Une variété algébrique peut encore être vue comme l'ensemble des points qui s'annulent sur l'idéal engendré la famille (P_k). Le caractère factoriel de l'anneau offre immédiatement des théorèmes sur les idéaux de l'anneau, offrant ainsi deux axes d'analyse, géométrique en étudiant la variété et algébrique en étudiant l'idéal. Le théorème de la base de Hilbert et leNullstellensatz sont deux résultats géométriques sur les variétés qui découlent de l'étude de la structure des idéaux.

Voir aussi [modifier]

Liens externes [modifier]

B. Parisse Arithmétique des polynomes: Bézout et applications Institut Fourier (CNRS UMR 5582)
C. Antonini J. F. Quint P. Borgnat J. Bérard E. Lebeau E. Souche A. Château O. Teytaud Polynômes à une indéterminée par les mathématiques.net
B. Ycart Arithmétique des polynômes Laboratoire Jean Kuntzmann

Références [modifier]

Serge Lang, Algèbre, Dunod, 2004, 926 p. (ISBN 2100079808)[détail des éditions]

P. Tauvel Algèbre Agrégation, Licence 3e année Dunod (2005) (ISBN 2100494120)

D. Perrin Cours d'algèbre Ellipses Marketing (1998) (ISBN 2729855521)

Portail des mathématiques

Catégorie : Polynôme | [+]

Source : http://fr.wikipedia.org/wiki/Polyn%C3%B4me_irr%C3%A9ducti...

Anneau quotient

Ne doit pas être confondu avec Anneau de fractions.

En mathématiques, un anneau quotient est l'ensemble quotient d'un anneau donné par un de ses idéaux.

Sommaire

[masquer]

Définition [modifier]

Soient A un anneau et I un idéal bilatère de A. On définit la relation d'équivalence R suivante :

$forall (x,y)in A^2, xRy Leftrightarrow (x-y)in I$

Deux éléments de A sont ainsi en relation si leur différence appartient à l'idéal I, c’est-à-dire si ces deux éléments sont congrus modulo I.

L'ensemble quotient A_/R, que l'on note alors A/I, muni des opérations induites

(x + I) + (y + I) = x + y + I

et

$(x+I)times (y+I) = (xcdot y)+I$

est un anneau, nommé anneau quotient de A par I.

Exemples [modifier]

Si I = A, A / I = A / A est l'anneau trivial {0}.
Si I = {0}, A / I = A / {0} est isomorphe à A.
Si A = Z (l'anneau des entiers) et I = n Z pour un certain entier n, l'anneau quotient A / I est l'anneau Z / n Z. Cette structure est le fondement de l'arithmétique modulaire.

Propriétés [modifier]

L'application p : A → A/I définie par p(x) = x + I est un homomorphisme surjectif d'anneau dont le noyau est l'idéal I.

Soit A un anneau commutatif :

Par définition, I est un idéal premier si A / I est intègre. On en déduit que I est premier si et seulement si c'est un idéal propre (i.e. différent de A) vérifiant : si un produit d'éléments deA appartient à I alors au moins l'un des facteurs appartient à I.
I est un idéal maximal si et seulement si A / I est un corps
Si f est un morphisme d'anneaux de A vers B, notons I = ker f son noyau. Alors f se factorise en un morphisme injectif $bar f : A/I to B$ défini par $bar f(x+I)=f(x)$ .

Utilisations [modifier]

Théorie algébrique des nombres [modifier]

Les anneaux quotients sont utilisés dans de nombreuses branches des mathématiques. Les exemples sont fréquents en théorie algébrique des nombres, par exemple pour résoudre deséquations diophantiennes. C'est-à-dire des équations à coefficients dans l'anneau Z des entiers naturels dont les solutions recherchées sont entières.

L'identité de Bézout peut être vue comme une équation diophantienne de degré un, c'est-à-dire qu'elle correspond à un polynôme de degré un. Elle peut prendre la forme suivante :

$acdot x + bcdot y = 1quadtext{avec}quad a,b in mathbb Z$

Une solution peut être vue comme l'inverse de a dans l'anneau quotient Z / b Z. Ainsi, il existe des solutions si et seulement si la classe de a est un élément inversible de l'anneau quotient, i. e. si et seulement si a premier avec b. Les valeurs possibles de x sont éléments de l'inverse de la classe de a.

Les équations diophantiennes polynomiales d'ordre deux utilisent aussi la structure d'anneau quotient. Un exemple est un cas particulier de l'équation de Pell-Fermat :

$x^2 - ncdot y^2 = pm 1;$

Ici, n désigne un entier sans facteur carré. La méthode chakravala correspond à un algorithme simple de détermination d'une solution. Pour montrer sa convergence, on utilise l'anneau des nombres de la forme a + b $\sqrt n$ où a et b désignent des entiers. Le fait de montrer que tous les anneaux quotients sont de cardinal fini est une étape clé de la démonstration.

Cette équation est analogue à la suivante :

$x^2 + ncdot y^2 = p ;$

Ici n est toujours un entier sans facteur carré et p désigne un nombre premier. L'usage d'un bon anneau A d'entiers quadratiques, c'est-à-dire de nombres de la forme a + b.i.√n où idésigne l'imaginaire pur et l'étude des anneaux quotients de la forme A/J où J est un idéal maximal permet de résoudre l'équation. Des exemples sont donnés dans l'article Entier quadratique.

Théorie de Galois [modifier]

La théorie de Galois fait aussi un large usage des anneaux quotients. Soient K un corps commutatif et K[X] l'anneau des polynômes à coefficients dans K. Un des nombreux objectifs de la théorie est l'étude de l'équation polynomiale P(X) = 0. Si P est un polynôme irréductible, on recherche des solutions dans une extension algébrique L de K. Un cas particulier largement utilisé est K[X]/(P), l'anneau des polynômes quotienté par l'idéal engendré par P(X). Comme P(X) est irréductible, l'idéal engendré par P(X) est maximal, l'anneau quotient est bien un corps.

Cette technique permet de construire tous les corps finis. Soit L un corps fini, il existe toujours p un nombre premier et n un entier positif tel que le cardinal de L soit égal à pⁿ. La valeurp correspond à la caractéristique de K.

Portail des mathématiques

Catégorie : Idéal | [+]

Source : http://fr.wikipedia.org/wiki/Anneau_quotient

Géométrie et Théorie des Modèles

Institutions organisatrices : Université Paris Pierre et Marie Curie / Ecole normale supérieure
Organisé par : Zoé Chatzidakis et François Loeser
Lieu habituel : ENS / IHP / Chevaleret

Site internet : http://www.logique.jussieu.fr/~zoe/GTM/

Séances à venir

$Puce_sous_titre$ 19/11/2010 : Chloe Perin (Strasbourg) Homogeneite du groupe libre
$Puce_sous_titre$ 19/11/2010 : Elisabeth Bouscaren (Orsay) Varietes semi-abeliennes sur un corps separablement clos non parfait: derivations de Hasse, sous groupes divisibles maximaux, suites exactes, rangs au sens de la theorie des modeles
$Puce_sous_titre$ 19/11/2010 : Fabrice Orgogozo (Ecole Polytechnique) Ultraproduits de groupes de cohomologie modulo l et majoration uniforme des nombres de Betti de varietes algebriques

Séances passées

$Puce_sous_titre$ 29/01/2010 : Guillaume Rond (Marseille) Approximation des solutions holomorphes d'un système d'équations analytique réelles
$Puce_sous_titre$ 29/01/2010 : Françoise Point (FRNS - Mons) Anneaux de différence et modules valués
$Puce_sous_titre$ 29/01/2010 : Raf Cluckers (CNRS - Lille) Real subanalytic functions, their logarithms, and Lebesgue integration
$Puce_sous_titre$ 05/03/2010 : Immanuel Halupczok (Münster) Introduction to imaginaries and generalized imaginaries
$Puce_sous_titre$ 05/03/2010 : Gregory Ginot (ENS-UPMC) n-stacks and quotient
$Puce_sous_titre$ 05/03/2010 : David Evans (U. East Anglia) Generalized imaginaries, groupoids and amalgamation properties
$Puce_sous_titre$ 05/03/2010 : Bertrand Toen (Montpellier) Algebraic n-stacks
$Puce_sous_titre$ 09/04/2010 : Olivier Le Gal (Chambéry) Indépendance analytique de séries formelles par des méthodes résurgentes
$Puce_sous_titre$ 09/04/2010 : Jean-Philippe Rolin (Dijon) Resommation, quasianalyticité et o-minimalité pour les systèmes différentiels
$Puce_sous_titre$ 09/04/2010 : Patrick Speissegger (McMaster) O-minimality and Hilbert's 16th problem
$Puce_sous_titre$ 28/05/2010 : François Lucas (Angers) Autour de la conjecture de Pierce-Birkhoff
$Puce_sous_titre$ 28/05/2010 : Deirdre Haskell (McMaster) Quantifier elimination for theories of valued fields with restricted analytic functions
$Puce_sous_titre$ 28/05/2010 : Pierre Simon (Orsay) Stabilité dans les théories NIP (à l'aide de mesures)
$Puce_sous_titre$ 02/07/2010 : Itai Ben Yaacov (Lyon 1) Quelques proprietes modele-theoriques des corps values complets
$Puce_sous_titre$ 02/07/2010 : Yaacov Peterzil (Haifa) O-minimal ingredients in proofs of arithmetical conjectures
$Puce_sous_titre$ 15/10/2010 : Jonathan Kirby (U. East Anglia) Finitely Presented Exponential Fields
$Puce_sous_titre$ 15/10/2010 : Romain Tessera (ENS Lyon) Une notion de complexité pour les espaces métriques et applications en topologie
$Puce_sous_titre$ 15/10/2010 : David Burguet (ENS Cachan) Le lemme algebrique de Yomdin-Gromov
Source : http://www.math.ens.fr/-Seminaires-?id_seminaire=8

On the propagation of oceanic waves driven by a strong macroscopic flow

Isabelle Gallagher ¹, Thierry Paul ², Laure Saint-Raymond ³

(19/11/2010)

In this work we study oceanic waves in a shallow water flow subject to strong wind forcing and rotation, and linearized around a inhomogeneous (non zonal) stationary profile. This extends the study~cite{CGPS}, where the profile was assumed to be zonal only and where explicit calculations were made possible due to the 1D setting. Here the diagonalization of the system, which allows to identify Rossby and Poincaré waves, is proved by an abstract semi-classical approach. The dispersion of Poincaré waves is also obtained by a more abstract and more robust method using Mourre estimates. Only some partial results however are obtained concerning the Rossby propagation, as the two dimensional setting complicates very much the study of the dynamical system.

1 :	Institut de Mathématiques de Jussieu (IMJ)

	CNRS : UMR7586 – Université Pierre et Marie Curie - Paris VI – Université Paris-Diderot - Paris VII

2 :	Centre de Mathématiques Laurent Schwartz (CMLS-EcolePolytechnique)

	CNRS : UMR7640 – Polytechnique - X

3 :	Département de Mathématiques et Applications (DMA)

	CNRS : UMR8553 – Ecole Normale Supérieure de Paris - ENS Paris

Domaine

:

Mathématiques/Equations aux dérivées partielles

Mots Clés : Semiclassical analysis – microlocal analysis – Mourre estimates – Geophysical flows

Liste des fichiers attachés à ce document :

PDF

intro-mourrehal.pdf

(277.5 KB)

PS

intro-mourrehal.ps

(668.1 KB)


hal-00537772, version 1
http://hal.archives-ouvertes.fr/hal-00537772/fr/
oai:hal.archives-ouvertes.fr:hal-00537772
Contributeur : Isabelle Gallagher <Isabelle.Gallagher@math.jussieu.fr>
Soumis le : Vendredi 19 Novembre 2010, 11:42:57
Dernière modification le : Vendredi 19 Novembre 2010, 15:17:56 Source : http://hal.archives-ouvertes.fr/index.php?halsid=fle4h1gj...

Entiers p-adiques

L’anneau Zp des entiers p-adiques est une sorte de limite (« limite

projective ») des Z/prZ quand r ! +1. Pr´ecis´ement :

Un entier p-adique est une suite (ai )i2N avec ai 2 Z/piZ

telle que si i j alors aj a pour classe ai modulo pi . (La

donn´ee de chaque ai d´etermine donc tous les pr´ec´edents.)

En particulier, l’´ecriture en base p de ai comporte i chiffres

qui sont les i derniers chiffres de tous les aj ult´erieurs. On

peut donc voir un entier p-adique comme une ´ecriture en

base p « infinie `a gauche ». Les op´erations sur cette ´ecriture

se font exactement de la mˆeme fa¸con que sur les entiers.

Exemple : . . . 1100110011001101 est un entier

Source : http://www.math.ens.fr/~madore/mpri2006/mpri2006-2.pdf

Anneau Z/nZ

En mathématiques, et plus particulièrement en algèbre, Z/nZ est un cas particulier d'anneau, correspondant au calcul modulaire sur les restes des entiers dans la division par n.

Tout anneau unitaire contient soit un sous-anneau isomorphe à Z/nZ soit à Z l'anneau des entiers.

Cet anneau joue un rôle particulier en arithmétique, il est en effet l'outil de base de l'arithmétique modulaire.

L'article Congruence sur les entiers traite le même sujet avec une approche plus didactique et moins exhaustive, tandis que l'article Arithmétique modulaire traite de l'histoire de ce concept, des outils utilisés ainsi que de ses applications.

Sommaire

[masquer]

Construction de Z/nZ [modifier]

Idéaux de Z [modifier]

Article détaillé : Idéal.

La division euclidienne dans Z montre que cet ensemble est un anneau euclidien, en conséquence Z est un anneau principal. Cela signifie que pour tout idéal I de Z, il existe un entier ntel que I est égal à nZ. Comme les idéaux nZ et -nZ sont confondus, il est toujours possible de choisir n positif. Dans toute la suite de l'article n désigne un entier positif.

Anneau quotient [modifier]

Article détaillé : Anneau quotient.

La construction de Z/nZ correspond à la construction générale des anneaux quotients. Ici la relation d'équivalence correspond à la classique congruence sur les entiers. Un élément deZ/nZ est la classe des éléments ayant tous le même reste par la division euclidienne par n.

Un élément est identifié par un membre de sa classe, souvent l'entier compris entre 0 et n - 1. Il est parfois noté $scriptstyledot a$ ou $scriptstylebar a$ , ainsi dans Z/6Z, $scriptstylebar 2$ désigne la classe contenant les éléments 2, 8, 14 etc... Quand il n'existe pas d'ambigüité, on utilise simplement la lettre a.

Les éléments de Z/nZ sont appelés classes modulo n ou résidu.

Propriétés [modifier]

Propriétés élémentaires [modifier]

Article détaillé : Anneau (mathématiques).

La théorie des anneaux permet directement de démontrer certaines propriétés de l'anneau.

L'anneau Z/nZ est unitaire.

C'est une conséquence directe du fait que Z l'est.

L'anneau Z/nZ est principal et de Bézout.

Un anneau est principal si et seulement si tous ses ideaux sont principaux. Si un anneau est principal, son quotient par un idéal est aussi principal, or Z est un anneau principal. En pratique et comme pour Z, tous les sous-groupes additifs et tous les sous-anneaux sont aussi des idéaux principaux. Si m est un diviseur de n alors il existe un unique ideal de Z/nZisomorphe à Z/mZ, ce résultat est une conséquence directe de la troisième proposition du paragraphe Théorème fondamental de l'article groupe cyclique.

Un anneau est dit de Bézout si et seulement si pour tout élément a et b n'ayant comme diviseurs communs que les éléments inversibles, il existe deux éléments α et β tel que α.a + β.b= 1. Z/nZ est un anneau de Bézout car tout anneau principal l'est.

Si n n'est pas premier, alors l'anneau Z/nZ n'est pas intègre, il n'est donc ni euclidien ni factoriel.

Structure additive [modifier]

Article détaillé : Groupe cyclique.

La structure du groupe (Z/nZ) est celle d'un groupe monogène, c'est-à-dire engendré par un unique élément. Si n est égal à 0 on obtient un groupe isomorphe à Z et à n'importe quel groupe monogène d'ordre infini.

Si n est différent de 0, alors le groupe est cyclique, sa structure est explicitée dans l'article détaillé.

Théorème chinois [modifier]

Article détaillé : Théorème des restes chinois.

La logique du théorème chinois s'applique encore, ainsi les propriétés du paragraphe Théorème chinois de l'article Groupe cyclique s'appliquent encore. Il suffit pour les vérifier de valider que le morphisme de groupe utilisé est aussi un morphisme d'anneau.

Soit u et v deux entiers premiers entre eux, alors l'anneau Z/u.vZ est isomorphe au produit des anneaux d'ordre Z/uZ et Z/vZ.

Note : Si u et v ne sont pas premiers entre eux, alors l'anneau produit ne contient pas d'élément d'ordre supérieur au ppcm de u et de v. Cet anneau n'est donc pas isomorphe à l'anneauZ/u.vZ.

Cette proposition entraîne une décomposition unique de Z/nZ en facteurs premiers. Le théorème fondamental de l'arithmétique montre que n se décompose de la manière unique suivante:

$n = prod_{i=1}^k p_i^{alpha_i};$

Ou (p_i) est une famille de k nombres premiers tous distincts et α_i des entiers supérieurs ou égaux à un. Les puissances des nombres premiers du produit sont tous premiers entre eux. Une simple récurrence montre :

Z/nZ se décompose de manière unique en un produit de d'anneaux quotients de Z de cardinal une puissance d'un nombre premier.

Cas où Z/nZ est un corps [modifier]

Article détaillé : Corps (mathématiques).

Z/nZ est un corps si et seulement si n est un nombre premier.

En effet, cette proposition est une conséquence directe de l'identité de Bézout. Supposons n premier, alors si a est un entier premier avec n, c'est-à-dire non multiple de n, il existe deux entiers b et c tel que :

$ab + nc = 1;$

Ce qui signifie que la classe de a est inversible d'inverse la classe de b.

Réciproquement si n n'est pas premier, il existe deux entiers a et b différents de n et de 1 tel que leur produit est égal à n. La classe de a ainsi que la classe de b sont des diviseurs de zéro, ce qui n'existe pas dans un corps.

Caractéristique d'un anneau [modifier]

Article détaillé : Caractéristique d'un anneau.

Soit A un anneau unitaire, il existe un unique morphisme d'anneau φ de Z dans A qui à 1_Z associe 1_A. Soit n l'entier positif tel que le noyau de φ soit égal à nZ. La décomposition canonique de φ (cf le paragraphe Morphisme d'anneau de l'article Idéal) montre qu'il existe un sous-anneau de A isomorphe à Z/nZ.

L'entier n est appelé caractéristique de l'anneau A.

Ainsi, tout anneau unitaire contient un sous-anneau isomorphe soit à Z dans le cas où n est égal à 0, soit à Z/nZ. C'est une des raisons qui rend cette famille d'anneau intéressante.

Groupe des unités [modifier]

Article détaillé : Groupe des unités.

Le groupe des unités d'un anneau correspond au groupe multiplicatif formé des éléments inversibles. De tels éléments sont appelés unité.

Soit m un entier, sa classe est une unité si et seulement si m est premier avec n.

Si m est premier avec n alors il est inversible, sinon soit d un diviseur commun différent de un, soit k l'entier tel que d.k = n, le fait que m.k soit un multiple de n montre que m est un diviseur de zéro et donc est non inversible.

L'ordre du groupe des unités est égal à φ(n) si φ désigne la fonction indicatrice d'Euler.

Un élément du groupe additif Z/nZ est générateur si et seulement s'il est premier avec n, car son ordre est alors égal à n. Or le paragraphe Indicatrice d'Euler de l'article Groupe cycliquemontre que le nombre d'éléments générateurs est égal à φ(n).

Cas où n est premier [modifier]

Article détaillé : exposant d'un groupe.

Dans le cas où n est premier c'est-à-dire si l'anneau est un corps, la structure est la suivante :

Si n est un nombre premier, le groupe des unités du corps Z/nZ est un groupe cyclique d'ordre n - 1.

En effet, tout élément autre que celui nul est inversible, l'ordre du groupe multiplicatif est donc n - 1. Le groupe multiplicatif est naturellement fini, il admet un exposant e, l'exposant est leplus petit commun multiple des ordres des différents éléments du groupe multiplicatif. Considérons le polynôme de Z/nZ[X] suivant : X^e - 1. Il admet pour racines tous les éléments du groupe multiplicatif donc n - 1 racines différentes. Or tout polynôme à coefficients dans un corps possède un degré supérieur ou égal à son nombre de racines. On en déduit que e est supérieur ou égal à n - 1. Le théorème de Lagrange, qui a pour corollaire le fait que l'ordre d'un élément est un diviseur de l'ordre du groupe, montre que e est égal à n - 1.

Pour conclure il suffit de constater que tout groupe abélien fini possède un élément d'ordre l'exposant, cette propriété est démontrée dans l'article détaillé. Le groupe multiplicatif possède un élément d'ordre le cardinal du groupe et qui est donc primitif, ce qui montre que le groupe est cyclique et termine la démonstration.

Remarque : un raisonnement de cette nature montre que tout groupe multiplicatif fini d'un corps commutatif est aussi cyclique.

Cas où n n'est pas premier [modifier]

Dans le cas où n n'est pas premier, la structure est naturellement celle d'un groupe abélien fini elle correspond donc à un produit de groupes cycliques d'après le théorème de Kronecker. La structure est plus complexe que celle du cas précédent, plusieurs propositions sont nécessaires pour l'expliciter.

Soit n et m deux entiers premiers entre eux, le groupe des unités de Z/n.mZ est isomorphe au produit direct des groupes des unités de Z/nZ et de Z/mZ.

C'est une conséquence du théorème chinois.

Le théorème fondamental de l'arithmétique limite alors l'étude au cas ou n est égal à p^r avec p un nombre premier et r un entier strictement positif. Deux configurations se présentent :

Si p est égal à deux et r supérieur ou égal à trois, le groupe des unités est le produit direct d'un groupe d'ordre deux engendré par la classe de -1 et d'un groupe cyclique engendré par la classe de 5.

Si p est différent de deux, alors le groupe des unités est cyclique.

Tous les cas ne sont pas traités, il reste celui ou p est égal à deux et r est égal à un ou deux. Cependant ces cas sont triviaux, le groupe contient un ou deux éléments et par conséquent est cyclique.

[Dérouler]

Démonstration

Voir aussi [modifier]

Liens externes [modifier]

(fr) Entiers modulaires par David A. Madore
(fr) Arithmétique modulaire par B. Perrin Riou
(fr) Z/nZ sur les mathématiques.net

Références [modifier]

Serge Lang, Algèbre [détail des éditions]

Portail des mathématiques

Catégories : Arithmétique modulaire | Anneau | [+]

Source : http://fr.wikipedia.org/wiki/Anneau_Z/nZ

Catégorie:Arithmétique modulaire

Arborescence de l'informatique ↑ · ↓
Catégorie mère - Projet - Portail - Café

Arborescence des mathématiques ↑ · ↓
Catégorie mère - Projet - Portail - Café

Article principal : Arithmétique modulaire

Wikimedia Commons propose des documents multimédia libres sur Arithmétique modulaire.

Sous-catégories

Cette catégorie comprend les 3 sous-catégories suivantes.

Articles dans la catégorie « Arithmétique modulaire »

Outils : Arborescence de la catégorie (graphique)
Recherches : Recherche interne • avec CatScan (requêtes simples)

Cette catégorie contient les 47 pages suivantes.

A

C

D

E

F

F (suite)

Fraction unitaire

I

L

M

N

O

Ordre multiplicatif

P

Q

Théorème des quatre carrés de Lagrange

R

S

Système modulaire de représentation

T

Catégories : Théorie algébrique des nombres | Calcul numérique

Source : http://fr.wikipedia.org/wiki/Cat%C3%A9gorie:Arithm%C3%A9t...

Dernier théorème de Fermat

(Redirigé depuis Théorème de Wiles)

Travail de Diophante traduit du grec en latin par Claude-Gaspard Bachet de Méziriac. Cette édition du livre a été publiée en 1621. La page 85 contient le problème II.VIII de Diophante, et est la page sur laquelle Pierre de Fermat écrivit que la marge était trop petite pour contenir la démonstration.

Andrew Wiles

En mathématiques, le dernier théorème de Fermat, ou théorème de Fermat-Wiles, est un théorème de la théorie des nombres qui s'énonce comme suit :

Théorème — Il n'existe pas de nombres entiers non nuls $x$ , $y$ et $z$ tels que :

$x^n+y^n=z^n ,$

dès que $n$ est un entier strictement supérieur à 2.

Pour les valeurs de $n$ inférieures ou égales à 2, il existe une infinité de solutions. Le cas $n = 1$ est évident. Le cas $n = 2$ admet notamment la solution classique 3² + 4² = 5². De manière générale, toutes les solutions pour $n = 2$ sont données par : x=2kml, y=k(m²-l²), z=k(m²+l²), où les nombres k, l et m satisfont les conditions: k entier, m>l, m et l de parités différentes. On appelle parfois ces entiers les triplets pythagoriciens. Cependant, dès que $n$ est supérieur à deux, ce n'est plus possible.

Le théorème doit son nom à Pierre de Fermat qui écrivit en marge d'une traduction de l'Arithmetica de Diophante, à la suite de l'énoncé de ce problème¹ :

« ... J’ai trouvé une merveilleuse démonstration de cette proposition, mais la marge est trop étroite pour la contenir. »

Après avoir été l'objet de fiévreuses recherches pendant près de 350 ans, n'aboutissant qu'à des résultats partiels, le théorème a finalement été démontré en 1993 par le mathématicien Andrew Wiles, en faisant appel à des outils très puissants de théorie des nombres : Wiles a prouvé un cas particulier de la conjecture de Shimura-Taniyama-Weil, dont on savait depuis quelque temps déjà, via les travaux de Yves Hellegouarch, Gerhard Frey, Jean-Pierre Serre et Ken Ribet, qu'elle impliquait le théorème. La démonstration fait appel aux formes modulaires, aux représentations galoisiennes, à la cohomologie galoisienne, aux représentations automorphes, à la formule des traces…

La plupart des mathématiciens estiment aujourd'hui que Fermat s'est probablement trompé en croyant avoir démontré saconjecture. Cependant, rien n'interdit de penser qu'il a découvert une méthode ne faisant appel qu'aux mathématiques de son époque. Certes l'espoir qu'existe une méthode de cette nature est minime ; mais certains continuent à espérer qu'on parvienne un jour à en découvrir une.

Sommaire

[masquer]

Méthode de la démonstration [modifier]

La démonstration d'Andrew Wiles s'appuie sur de nombreux travaux antérieurs et peut se résumer comme suit :

Associer aux solutions de l'équation de Fermat une courbe elliptique particulière (Frey, reprenant des idées d'Hellegouarch),
Démontrer que la courbe de Frey-Hellegouarch ne peut pas être paramétrée par des fonctions modulaires (Ribet, démontrant une conjecture de Serre),
Démontrer que toute courbe elliptique – ou une classe suffisamment importante pour contenir celle de Frey-Hellegouarch – est paramétrée par des fonctions modulaires : C'est la conjecture de Shimura-Taniyama-Weil, si importante en théorie des nombres.

La contradiction qui en résulte montre que l'équation de Fermat ne peut avoir de solutions.

Les courbes elliptiques [modifier]

Une courbe elliptique est une courbe d'équation de la forme :

y 2 + a x y + b y = x 3 + c x 2 + d x + e

Les coefficients a, b, c, d et e sont des éléments du corps sur lequel est définie la courbe. Pour qu'une telle courbe soit effectivement une courbe elliptique, il faut que la courbe ainsi définie ne soit pas singulière, c’est-à-dire qu'elle n'ait ni point de rebroussement, ni point double. Cette dernière condition s'exprime par le fait qu'un certain polynôme sur les coefficients, analogue à un discriminant, ne s'annule pas.

Si l'on prend l'exemple du corps des réels, alors l'équation d'une courbe elliptique définie sur le corps des nombres réels peut être mise sous une forme plus simple (dite équation de Weierstrass) :

y 2 = x 3 + a x + b

.

Le discriminant de cette courbe est $δ = - 16(4 a 3 + 27 b 2)$ . S'il est non nul, la courbe est non-singulière, et donc est vraiment une courbe elliptique.

La courbe de Frey-Hellegouarch [modifier]

En 1984, Gerhard Frey, en reprenant des idées plus anciennes de Yves Hellegouarch, démontra que les solutions de l'équation de Fermat pour $n > 2$ , permettaient de définir des courbes elliptiques semi-stables aux propriétés étranges ; ce sont les courbes d'équation :

y 2 = x (x + A n)(x - B n)

,

où $A n + B n = C n$ est un contrexemple au théorème de Fermat.

Pour conclure, il suffit de montrer que la courbe elliptique ainsi définie a des propriétés trop bizarres pour pouvoir exister.

Comme dans d'autres situations en mathématiques, le fait d'intégrer le problème de Fermat dans un cadre apparemment beaucoup plus difficile constitue quand même une avancée, parce qu'on dispose alors de tout un outillage développé pour ce cadre.

La démonstration de Kenneth Ribet [modifier]

En 1986, après pratiquement deux ans d'effort, l'Américain Kenneth Ribet réussit à démontrer une grande partie de la conjecture epsilon de Jean-Pierre Serre, dont une des conséquences est que la courbe de Frey-Hellegouarch n'est pas paramétrable par des fonctions modulaires.

Il ne restait plus qu'à démontrer la conjecture de Shimura-Taniyama-Weil : « Toute courbe elliptique est paramétrable par des fonctions modulaires ».

Conjecture de Shimura-Taniyama-Weil [modifier]

La conjecture de Shimura-Taniyama-Weil précise que les courbes elliptiques peuvent toujours être associées (ou paramétrées ou dérivent) à des fonctions spéciales dites modulaires (généralisation des fonctions trigonométriques).

Pour démontrer cette conjecture, Andrew Wiles utilisa les notions mathématiques suivantes :

La démonstration complète pour les courbes elliptiques semi-stables a été publiée en 1995 dans Annals of Mathematics.

Remarques [modifier]

Ce théorème n'a aucune application en soi : c'est par les idées qu'il a fallu mettre en œuvre pour le démontrer, par les outils qui ont été mis en place pour ce faire, qu'il prend une telle valeur. L'article Démonstrations du dernier théorème de Fermat montre quelques exemples d'outils découverts et utilisés pour la résolution de ce problème.

On peut également comprendre ce théorème graphiquement en considérant la courbe d'équation : $x n + y n = 1$ . Si $n > 2$ , alors cette courbe ne passe par aucun point à coordonnées rationnelles non nulles.

L'usage voulant qu'on donne à un théorème le nom de celui qui en a apporté la démonstration, l'appellation de « théorème de Fermat » ne se justifie pas à proprement parler. Il faudrait parler soit d'une « conjecture de Fermat », soit du « théorème de Wiles ».

Ce théorème n'a pas vraiment de relation avec le théorème de Pythagore. L'objet du théorème de Pythagore est de donner une caractérisation géométrique des triangles pythagoriciens, c'est-à-dire dont les longueurs des côtés forment un triplet pythagoricien, ces triplets étant eux-mêmes les solutions de l'équation de Fermat dans le cas n = 2. L'analogie avec le théorème de Fermat est donc la question de l'existence de triplets pythagoriciens, et la question de leur interprétation géométrique est nettement une autre question. Néanmoins, Fermat s'est évidemment inspiré de la notion de triplet pythagoricien : sa conjecture est en effet notée en marge d'un exposé de Diophante sur les triplets pythagoriciens.

Notes [modifier]

↑ La note de Fermat est écrite en latin :

« Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos ejusdem nominis fas est dividere : cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet »

. Attention, il existe une deuxième version de ce texte, sensiblement différente, que l'on peut trouver page 61 de la réédition de 1670 de l’ARITHMETICA, réédition supervisée par le fils de Fermat :

« CVbum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos Ch generaliter nullam in infinitum vltra quadratum potestatem in duos eius-dem nominis fas est diuidere cuius rei demontrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet. »

La traduction en est donc forcément différente et les codes et doubles sens de l'original apparaissent.

Bibliographie [modifier]

(en) Wiles, Andrew (1995). Modular elliptic curves and Fermat's last theorem, Annals of Mathematics (141) (3), 443-551
Simon Singh, Le Dernier Théorème de Fermat, (ISBN 978-201278921-0)
Un livre de vulgarisation qui prend le dernier théorème de Fermat pour présenter la théorie des nombres.
Un documentaire télévisé de vulgarisation de ce même Simon Singh
Yves Hellegouarch, Invitation aux mathématiques de Fermat-Wiles [détail des éditions]
Guillermo Martínez, Mathématique du crime

Articles connexes [modifier]

Démonstrations du dernier théorème de Fermat (pour $n = 3,4,5$ ).

Portail des mathématiques

Catégories : Équation diophantienne | Théorème d'algèbre | Arithmétique modulaire | [+]

Source : http://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Wiles

Théorème de Wolstenholme

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Théorème de Wolstenholme :

Si $, p geq 5$ est premier, alors le numérateur de $1 + frac {1}{2} + frac {1}{3} + ... + frac {1}{p-1}$ est multiple de $, p^2$ ,

et le numérateur de $1 + frac {1}{2^2} + frac {1}{3^2} + ... + frac {1}{(p-1)^2}$ est multiple de $, p$ .

Portail des mathématiques

Catégories : Théorème de mathématiques | Fraction | [+]

Source : http://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Wolste...

Liste des théorèmes

Liste des théorèmes par ordre alphabétique.

Pour l'établissement de l'ordre alphabétique, il a été convenu ce qui suit :

Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité.
Si le nom du théorème ne comprend pas de nom de mathématiciens ni de physiciens, on se base sur le premier substantif (nom commun ou adjectif) apparaissant en dehors du mot théorème.

Sommaire :	Haut - A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A [modifier]

B [modifier]

C [modifier]

D [modifier]

E [modifier]

F [modifier]

G [modifier]

H [modifier]

I [modifier]

J [modifier]

K [modifier]

L [modifier]

M [modifier]

N [modifier]

O [modifier]

P [modifier]

Q [modifier]

R [modifier]

S [modifier]

T [modifier]

U [modifier]

V [modifier]

W [modifier]

X [modifier]

Théorème de Xian tu

Y [modifier]

Théorème de Yasser

Z [modifier]

Portail des mathématiques

Catégories : Théorème | Liste en rapport avec les mathématiques | [+]

Source : http://fr.wikipedia.org/wiki/Liste_des_th%C3%A9or%C3%A8mes

Mordell Curve

An elliptic curve of the form for an integer. This equation has a finite number of solutions in integers for all nonzero . If is a solution, it therefore follows that is as well.

Uspensky and Heaslet (1939) give elementary solutions for , , and 2, and then give , , , and 1 as exercises. Euler found that the only integer solutions to the particular case (a special case of Catalan's conjecture) are , , and . This can be proved using Skolem's method, using the Thue equation , using 2-descent to show that the elliptic curve has rank 0, and so on. It is given as exercise 6b in Uspensky and Heaslet (1939, p. 413), and proofs published by Wakulicz (1957), Mordell (1969, p. 126), Sierpiński and Schinzel (1988, pp. 75-80), and Metsaenkylae (2003).

Solutions of the Mordell curve with are summarized in the table below for small .

	solutions
1	(, 0), (0, 1), (2, 3)
2	(, 1)
3	(1, 2)
4	(0, 2)
5	(, 2)
6	none
7	none
8	(, 0), (1, 3), (2, 4), (46, 312)
9	(, 1), (0, 3), (3, 6), (6, 15), (40, 253)
10	(, 3)

Values of such that the Mordell curve has no integer solutions are given by 6, 7, 11, 13, 14, 20, 21, 23, 29, 32, 34, 39, 42, ... (Sloane's A054504; Apostol 1976, p. 192).