Un article de Wikipédia, l'encyclopédie libre.
- Pour les articles homonymes, voir Idéal (homonymie).
En mathématique, un idéal est une structure algébrique définie dans un anneau. Les idéaux généralisent de façon féconde l'étude de la divisibilité pour les entiers. Il est ainsi possible d'énoncer des versions très générales de théorèmes d'arithmétique tels que le théorème des restes chinois ou le théorème fondamental de l'arithmétique, valables pour les idéaux. On peut aussi comparer cette notion à celle de sous-groupe distingué pour la structure algébrique de groupe en ce sens qu'elle permet de définir la notion d'anneau quotient.
|
Sommaire
- 1 Aspect historique
- 2 Définition
- 3 Opérations portant sur les idéaux
- 4 Radical d'un idéal d'un anneau commutatif
- 5 Idéaux particuliers
- 6 Autres types d'idéal
- 6.1 Idéal fractionnaire
- 6.2 Idéal sur une A-algèbre
- 6.3 Idéal d'un treillis
- 7 Sources
- 8 Voir aussi
|
Aspect historique
La théorie des idéaux est relativement récente puisque elle fut créée par Richard Dedekind vers la fin du XIXe siècle. À cette époque, une partie de la communauté mathématique s'intéresse aux nombres algébriques et plus particulièrement aux entiers algébriques.
La question est de savoir si les entiers algébriques se comportaient comme les entiers relatifs, en particulier concernant leur décomposition en facteurs premiers. Il semblait bien, dès le début du XIXe siècle, que cela n'était pas toujours le cas : 6 par exemple pouvant se décomposer dans l'anneau ![\mathbb Z[i\sqrt{5}]](http:/fr.wikipedia.org/math/8/9/2/8923e64786d52b7883b29a1c8847a327.png)
sous la forme 
ou sous la forme 
Ernst Kummer pressent alors que cela va dépendre des nombres en question et invente la notion de nombres complexes idéaux.
L'idée est de rendre unique la décomposition en facteurs premiers en ajoutant artificiellement d'autres nombres (de la même manière qu'on ajoute i aux nombres réels tel que i2 = − 1 afin de disposer de nombres aux carrés négatifs). Dans l'exemple ci-dessus, on va "inventer" quatre nombres "idéaux" a, b, c et d tels que :
Ainsi, 6 se décomposera alors de manière unique en :
C'est Dedekind en 1871 qui reprend la notion de nombre idéal de Kummer et qui crée la notion d'idéal dans un anneau. Il s'intéresse principalement aux anneaux d'entiers algébriques, c'est-à-dire à des anneaux commutatifs, unitaires et intègres. C'est dans ce domaine que se trouvent les résultats les plus intéressants sur les idéaux. Il crée sur l'ensemble des idéaux d'un anneau commutatif, unitaire et intègre des opérations semblables à l'addition et la multiplication dans les entiers relatifs.
La théorie des idéaux a permis une avancée significative dans l'algèbre générale, mais aussi dans l'étude des courbes algébriques (géométrie algébrique).
Définition
Une partie I d'un anneau A est un idéal à gauche de A si :
- I est un sous-groupe additif de A.
Le produit, à gauche, d'un élément de I par un élément de A appartient à I.
et est un idéal à droite de A si :
- I est un sous-groupe additif de A.
Le produit, à droite, d'un élément de I par un élément de A appartient à I.
Un idéal bilatère est un idéal à gauche et à droite. Dans un anneau commutatif, les notions d'idéal à droite, d'idéal à gauche et d'idéal bilatère se confondent et on parle alors simplement d'idéal.
Exemples:
- Pour tout entier relatif k,
est un idéal de 
.
- Si A est un anneau, {0} et A sont des idéaux triviaux de A. Ces idéaux sont d'un intérêt somme toute assez limité, c'est la raison pour laquelle on appellera idéal propre un idéal non trivial.
- Si A est un anneau unitaire et si I est un idéal contenant 1 alors I = A. Plus généralement, si I contient un élément inversible alors I = A
- Les seuls idéaux dans un corps K sont les idéaux triviaux
Opérations portant sur les idéaux
Somme : si I et J sont deux idéaux d'un anneau alors l'ensemble 
est un idéal.
Intersection : une intersection quelconque d'idéaux reste un idéal.
L'ensemble des idéaux de A muni de ces deux opérations forme alors un treillis.
Idéal engendré : la seconde loi permet de mettre en place cette notion. Si P est une partie d'un anneau , on appelle idéal engendré par P l'intersection de tous les idéaux de A contenant P.
- Exemples:
-
- Pour un anneau A, a∈A engendre l'idéal aA (par exemple n engendre
, idéal de 
)
- Pour I et J deux idéaux de A, l'idéal I + J est engendré par le sous-ensemble
de A.
Produit : si I et J sont deux idéaux d'un anneau, on appelle produit de I et J l'idéal 
engendré par tous les éléments de la forme xy où x appartient à I et y appartient à J. Et on a 
- Exemple : dans l'anneau , le produit des idéaux et
est l'idéal 
et ce dernier est inclus dans 
Anneau quotient : si I est un idéal bilatère, la relation 
est une relation d'équivalence compatible avec les deux lois de l'anneau. On peut alors créer, sur l'ensemble des classes 
une structure d'anneau appelé anneau quotient.
- Article détaillé : Anneau quotient
Radical d'un idéal d'un anneau commutatif
Si I est un idéal d'un anneau commutatif A, on appelle radical de I, noté 
, l'ensemble des éléments x de A tels qu'il existe un entier naturel n pour lequel 
. C'est un idéal de A.
- Exemple:
est le radical de 
Si A est un anneau commutatif, on a les propriétés suivantes
- Si de plus A est unitaire,
Idéaux particuliers
Idéal primaire: dans un anneau commutatif unitaire, I est un idéal primaire ssi pour tout a et b de A tel que 
, si 
alors, il existe un entier naturel n tel que 
Idéal premier: dans un anneau commutatif unitaire, I est un idéal premier ssi, I est différent de A et, pour tout a et b de A tel que , si alors 
.
- P est un idéal premier de A si et seulement si A / P est intègre.
Idéal décomposable : dans un anneau commutatif unitaire, I est décomposable ssi il est l'intersection finie d'idéaux primaires.
Idéal irréductible : dans un anneau commutatif unitaire, un idéal I est irréductible s'il ne peut pas s'écrire comme intersection de deux idéaux J et K différents de I.
Idéal maximal : Un idéal M est maximal ssi il existe exactement deux idéaux contenant M à savoir A et M lui même.
- Dans un anneau commutatif unitaire, un idéal maximal est nécessairement premier.
- l'idéal M est un idéal maximal de A si et seulement si A / M est un corps.
L'idéal engendré par a est par définition le plus petit idéal contenant a. On le note (a).
Idéal principal : Un idéal I d'un anneau A est principal s'il existe un élément a de A tel que I = (a).
- Un anneau intègre dont tous les idéaux sont principaux est dit anneau principal. Par exemple, ou l'anneau
![\mathbb K[X]](http:/fr.wikipedia.org/math/1/1/c/11cf18672fa8c102e5d2ec8bdfe203c8.png)
des polynômes sur un corps 
sont des anneaux principaux.
- article détaillé : idéal principal
Idéal radiciel : Idéal égal à son radical . C'est le cas par exemple de tout idéal premier dans un anneau commutatif unitaire.
Autres types d'idéal
Idéal fractionnaire
Idéal fractionnaire: si A est un anneau commutatif unitaire, les idéaux fractionnaires de A sont les A-module x − 1J où x est un élément régulier (i.e. non diviseur de zéro) de A et J un idéal quelconque de A. Précisément x − 1J est inclus dans 
le localisé de l'idéal J (vu en tant que A-module) en la partie multiplicative 
A.
En particulier, si A est un anneau intègre et si K est son corps des fractions, I est un idéal fractionnaire de A si I est un sous A-module de K et s'il existe un élément x non nul de A tel que xI 
A. (Pour faire le lien avec la définition générale ci-dessus, poser J=xI.)
- Exemple: Si n et p sont deux entiers , dans l'ensemble des rationnels, l'ensemble des éléments pouvant s'écrire
où 
est un idéal fractionnaire sur .
Sur l'ensemble des idéaux fractionnaires, on peut définir des intersections, des sommes et des produits. Un idéal fractionnaire I sera inversible ssi il existe un idéal fractionnaire J tel que I.J = A.
Un cas particulier important est celui où A est un anneau d'entiers algébriques d'une extension finie du corps 
. On arrive alors à montrer que l'ensemble des idéaux fractionnaires est un groupe pour l'opération produit. Il est intéressant de considérer le groupe quotient des idéaux fractionnaires modulo les idéaux principaux ; on obtient ainsi une mesure du défaut de principalité, par le groupe des classes d'idéaux. Un théorème affirme que ce groupe est fini.
Idéal sur une A-algèbre
I est un idéal d'une A-algèbre E ssi I est un idéal pour l'anneau E, stable pour la multiplication externe par des éléments de A (autrement dit, I est un idéal de l'anneau E mais aussi un sous-espace vectoriel de E).
Idéal d'un treillis
Si T est un treillis, I est un idéal de T ssi I est stable pour la loi 
et si pour tous éléments x de T et y de I l'élement x 
y appartient à J.
- Exemple : Si E est un ensemble et
. L'ensemble 
des parties de A est un idéal de 
Sources
- les-mathématiques.net
- Histoire des mathématiques, Jacques Bouveresse, Jean Itard, Emile Salé
- Petite encyclopédie des mathématiques, Küstner, Hellwitch, Kästner
- Dictionnaire des mathématiques modernes, Lucien Chambadal
Voir aussi
- Anneau
- Nilradical
- Théorème des zéros de Hilbert
| Articles de mathématiques en rapport avec l'algèbre commutative |
| Algèbre | Anneau commutatif | Anneau euclidien | Anneau factoriel | Anneau noethérien | Anneau principal | Annulateur | Bimodule | Corps des fractions | Dual d'un module | Facteur direct | Idéal | Longueur d'un module | Module | Module fidèle | Module libre | Module monogène | Module quotient | Module semi-simple | Produit tensoriel | Puissance extérieure |
| Modifier |
 |
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques. |
Voyageur - Dictionnaire et traducteur pour mobile. Essayer ici.
Pour Windows ou Vista. Simple/double clique/Ctrl+F10. Pour tout logiciel (word, excel, etc.). 
Une fenêtre (pop-into) d'information (contenu principal de Sensagent) est invoquée un double-clic sur n'importe quel mot de votre page web. LA fenêtre fournit des explications et des traductions contextuelles, c'est-à-dire sans obliger votre visiteur à quitter votre page web !
