Élément premier

Élément premier

Idéal premier

Richard Dedekind 1831-1916 formalisateur du concept d'idéal

Un idéal premier est un concept associé à la théorie des anneaux en mathématiques et plus précisément en algèbre.

Un idéal d'un anneau commutatif unitaire est dit premier si, et seulement si, le quotient de l'anneau par cet idéal est intègre.

Cette définition permet de généraliser la notion de nombre premier à des anneaux différents de celui des entiers relatifs. Ils ont un rôle important, particulièrement en théorie algébrique des nombres et plus particulièrement en arithmétique modulaire.

Sommaire

Motivations

Ouvrage de Gauss sur l'arithmétique 1801

Arithmétique

En 1801 dans son livre Recherches arithmétiques Carl Friedrich Gauss développe des arithmétiques sur d'autres anneaux que celui des entiers relatifs. Il utilise particulièrement l'anneau des polynômes à coefficients dans un corps et l'ensemble des entiers qui portent son nom.

Ces anneaux contiennent des éléments ayant les mêmes propriétés que ceux des nombres premiers, les polynômes irréductibles ou les nombres premiers de Gauss. Cette approche est particulièrement fructueuse, elle permet par exemple de démontrer beaucoup plus simplement le théorème des deux carrés de Fermat ou une conjecture particulièrement difficile pour l'époque la loi de réciprocité quadratique.

Cette approche est généralisée aux entiers algébriques. En 1847 Gabriel Lamé (1795 1870) utilise une généralisation brutale et croit avoir démontré le grand théorème de Fermat. Ernst Kummer (1810 1893) montre que l'unicité associé au théorème de décomposition en facteurs premiers n'est plus assurée. Il développe les nombres complexes idéaux pour retrouver une unicité à travers un nouveau concept.

Ce concept ayant pour objectif de pallier les insuffisances des propriétés des nombres, est formalisé par la notion d'idéal, à la suite des travaux de Richard Dedekind (1831 1916). Il existe plusieurs propriétés pour caractériser les différents idéaux. Un idéal premier correspond au nombre premier. Dans les cas simples, où l'idéal est associé à un nombre, par exemple parce que l'anneau est principal ou factoriel, les notions coïncident. Les nombres premiers, définis usuellement par le fait que dans toute décomposition en deux facteurs, l'un au moins est un élément inversible, correspondent alors à un idéal premier. Dans les cas plus complexes, comme les anneaux de Dedekind, le concept d'idéal premier reste opérationnel, alors que celui de nombre premier perd largement sa puissance opératoire.

Géométrie algébrique

Exemple de variété algébrique

Une variété algébrique est l'objet de base de la géométrie algébrique. Elle correspond à une géométrie définie par des équations algébriques. Un des objets de la géométrie algébrique est le classement des différentes variétés. La notion d'idéal premier est à la base de ces classements.

De même qu'un polynôme peut être vu sous l'angle d'un idéal de l'anneau des polynômes, une variété algébrique peut être définie par l'idéal des polynômes qui s'annulent sur cette variété. Une variété est alors parfaitement classée par la données des idéaux premiers de polynômes qui s'annulent sur elle.

L'association de la géométrie et de l'arithmétique ouvre la voie à la démonstration de nombreux théorèmes. Elle est, par exemple, à la base de la démonstration du grand théorème de Fermat par Andrew Wiles en 1994.

Définition

Dans toute la suite de l'article, A désigne un anneau commutatif unitaire, a un élément de A et I un idéal de A.

  • Un idéal I de A est dit premier si, et seulement si, le quotient de A par I est intègre et qu'il est différent de l'anneau réduit à l'élément nul.

On peut exprimer cette définition à l'aide de la condition suivante : un idéal I de A est premier si et seulement si c'est un idéal propre (différent de A) et si

\forall x,y\in A \quad xy\in I \Rightarrow x\in I \text{ ou } y\in I

En effet x \in I dans A est équivalent à x = 0 dans le quotient A / I.

  • Un élément a de A est dit premier si, et seulement si l'idéal a.A est premier.

Cette définition généralise la notion de nombre premier, tout en conservant les propriétés. Ainsi si un élément p est premier, alors toute décomposition de p en deux facteurs contient un élément inversible.

Exemples

Entiers relatifs

Dans Z, un entier premier au sens de la définition précédente est un entier tel que Z/n Z soit intègre. Tout anneau de cardinal fini intègre est un corps. En conséquence soit n est un nombre premier au sens usuel, soit -n est un nombre premier.

La définition de l'article correspond à la définition usuelle aux inversibles près. En effet, par convention, un nombre premier est l'élément associé positif des générateurs de l'idéal. Cette convention permet une expression plus simple du théorème fondamental de l'arithmétique (cf l'article élément inversible).

Polynôme

Polynôme à coefficient dans un corps

Dans le cas où les polynômes sont à coefficient dans un corps, l'anneau est, comme précédemment euclidien, donc principal : tout idéal est composé des multiples d'un polynôme unitaire. Un polynôme est premier si, et seulement s'il est différent d'une constante et si toute décomposition en deux facteurs contient un élément inversible.

Cette définition est équivalente à celle d'élément irréductible. Cet état de fait est général dans les anneaux principaux. La tradition impose surtout de parler de polynôme irréductible.

Polynôme à coefficient dans Z

Si les coefficients du polynôme sont choisis dans Z, alors l'anneau des polynômes n'est plus principal. Par exemple, l'idéal I engendré par X et 2 n'est pas principal. Le quotient de Z[X] par I est un anneau à deux éléments donc intègre. Cet idéal est premier, mais n'est pas associé à un élément de l'anneau.

Entier de Gauss

Les entiers de Gauss forment un anneau euclidien. À chaque idéal correspond une classe d'association engendrant l'idéal, les notions d'idéaux et de nombres premiers de Gauss coïncident. Les éléments premiers s'appellent des nombres premiers de Gauss.

Propriétés

Lemme d'Euclide

La traduction du lemme d'Euclide est directe en termes d'idéal:

  • Un idéal I est premier si, et seulement si, la proposition suivante est vérifiée:
I\neq A \quad et \quad \forall a,b \in A \quad a.b\in I \quad \Rightarrow \quad  a\in I \mbox{ ou } b\in I

Cette proposition s'exprime aussi de la manière suivante :

  • Si un idéal premier I contient le produit de deux idéaux A et B, il contient soit A soit B.

Cette proposition est l'équivalent du lemme d'Euclide : si un nombre premier divise le produit a.b alors il divise soit a soit b.


Anneau principal

Si A est principal, un idéal premier ressemble à l'idée intuitive que l'on s'en fait. C'est par exemple de cas des entiers relatifs.

  • Si A est principal les propositions suivantes sont équivalentes :
  • (i) I est premier
  • (ii) I est engendré par un élément p différent d'une unité et qui, s'il divise un produit a.b, divise soit a soit b.
  • (iii) I est engendré par un élément p différent d'une unité et qui n'a d'autres diviseurs que lui-même et 1 aux éléments inversibles près
  • (iv) I est maximal.


Voir aussi

Liens externes

Références

S. Lang Algebre Dunod 2004
D. Perrin Cours d'algèbre Ellipse 1996
S. Mac Lane & G. Birkhoff ; Algèbre [détail des éditions]
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Id%C3%A9al premier ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Élément premier de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Élément irréductible — Primalité dans un anneau Sommaire 1 Introduction 2 Éléments premiers entre eux et élément irréductible 3 Éléments premiers entre eux au sens de Gauss (ou indissolubles) et élément premier …   Wikipédia en Français

  • Élément inversible — Groupe des unités En mathématiques, et plus particulièrement en algèbre, le groupe des unités est une notion de la théorie des anneaux. Il est constitué de l ensemble des éléments de l anneau ayant un inverse pour la deuxième loi. On l appelle… …   Wikipédia en Français

  • Élément classique — Quatre éléments Pour les articles homonymes, voir Élément. Les quatres éléments. Gravure de l ouvrage Daniel Stolz von Stolzenberg …   Wikipédia en Français

  • élément — [ elemɑ̃ ] n. m. • Xe; « doctrine » fin IXe; lat. elementum I ♦ Partie constitutive d une chose. 1 ♦ Chacune des choses dont la combinaison, la réunion forme une autre chose. ⇒ 2. composant, composante, ingrédient, morceau, partie. Les éléments d …   Encyclopédie Universelle

  • premier — premier, ière [ prəmje, jɛr ] adj. et n. • 1104; primer 980; lat. primarius, de primus I ♦ Adj. Qui vient avant les autres, dans un ordre (le plus souvent avant le nom, en épithète). 1 ♦ Qui est le plus ancien ou parmi les plus anciens dans le… …   Encyclopédie Universelle

  • Element (mathematiques) — Élément (mathématiques) Pour les articles homonymes, voir élément. En mathématiques, un ensemble est constitué d objets appelés éléments de cet ensemble, on dit également qu un tel objet appartient à l ensemble en question[Note 1]. On note x ∈ M… …   Wikipédia en Français

  • Element meta — Élément meta Un élément meta (ou métaélément, ou balise meta, ou meta tag par analogie avec l’anglais) est une information sur la nature et le contenu d’une page web, ajoutée dans l’en tête de la page au moyen de marqueurs HTML. L’élément meta… …   Wikipédia en Français

  • Element Of Crime — (Forbrydelsens element) est un film danois de Lars von Trier, sorti en 1984. Il s agit du premier volet de sa trilogie (les 2 autres volets étant: Epidemic et Europa). Sommaire 1 Synopsis 2 Fiche technique 3 Distribution …   Wikipédia en Français

  • Element of crime — (Forbrydelsens element) est un film danois de Lars von Trier, sorti en 1984. Il s agit du premier volet de sa trilogie (les 2 autres volets étant: Epidemic et Europa). Sommaire 1 Synopsis 2 Fiche technique 3 Distribution …   Wikipédia en Français

  • Element of Crime — (Forbrydelsens element) est un film danois de Lars von Trier, sorti en 1984. Il s agit du premier volet de sa trilogie Europe (les deux autres volets étant: Epidemic et Europa). Sommaire 1 Synopsis 2 Fiche technique 3 Distrib …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”