A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

217 personne(s) sur le site en ce moment

E. Cartan

Les maths pour l'agreg

A lire

Articles

Math/Infos

Récréation
A télécharger

Télécharger

Théorème de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

Idéaux, anneaux quotients

suivant: Décomposition d'un homomorphisme d'anneaux monter: Anneaux précédent: Définitions Index

Idéaux, anneaux quotients

Définition [Idéal à gauche, idéal à droite] On se donne $(A,+,\times)$ un anneau et une partie non vide de .
est un idéal à gauche (resp. à droite) de $(A,+,\times)$ si
$\bullet$ est stable pour l'addition
$\bullet$ est inclus dans (resp. est inclus dans )

est un idéal (parfois on dit idéal bilatère) si est à la fois un idéal à gauche et un idéal à droite. et $\{0\}$ sont toujours des idéaux de ; on les appelle idéaux triviaux de . Les autres idéaux sont appelés idéaux non triviaux (on dit parfois aussi idéaux propres) de .

Exemples: Dans ${\cal M}_n(\mathbb{R})$ , l'ensemble des matrices à première colonne nulle est un idéal à gauche, l'ensemble des matrices à première ligne nulle est un idéal à droite.

Propriétés:
$\bullet$ Un idéal contenant ou toute autre unité de l'anneau est l'anneau tout entier.
$\bullet$ La réunion d'une suite croissante d'idéaux est un idéal.
$\bullet$ idéal de et idéal de ; alors $I \times J$ est un idéal de $A \times B$ .
$\bullet$ L'intersection d'une famille d'idéaux est un idéal.

Proposition $\bullet$ Le noyau d'un morphisme est un idéal.
$\bullet$ L'image réciproque d'un idéal par un morphisme est un idéal.
$\bullet$ L'image d'un idéal par un morphisme est un idéal de l'image de l'anneau (et pas nécessairement de l'anneau dans lequel l'image est incluse...).

Définition Une intersection d'idéaux étant un idéal, on peut définir l'idéal engendré par une partie de comme l'intersection de tous les idéaux contenant cette partie. C'est donc aussi le plus petit idéal contenant cette partie. On note l'idéal engendré par .

Définition On appelle idéal principal un idéal d'un anneau commutatif engendré un singleton $\{x\}$ . On note abusivement pour $(\{x\})$ .
On appelle anneau principal un anneau intègre tel que tout idéal est principal.
Un idéal d'un anneau commutatif est dit idéal maximal s'il est différent de l'anneau tout entier et si tout idéal incluant est égal à ou à l'anneau lui-même.
On appelle somme d'une famille d'idéaux $(I_k)_{k\in K}$ l'ensemble des $\sum_{i \in J} x_i$ avec fini inclus dans et $x_i \in I_i$ .
Un idéal est dit de type fini s'il est somme d'un nombre fini d'idéaux principaux.

Remarques:
$\bullet$ Un anneau principal est donc commutatif, non réduit à $\{0\}$ , sans diviseur de 0; et tout idéal de cet anneau est principal.
$\bullet$ On notera bien qu'un idéal maximal n'est pas un idéal qui est maximal... Il est en fait maximal parmi les idéaux propres.
$\bullet$ Dans un anneau commutatif , $(x)=\{x.a / a \in A\}$ .
$\bullet$ Une somme d'idéaux est un idéal.
$\bullet$ La somme des idéaux avec est l'idéal engendré par la famille des .

Nb: Un idéal de type fini est donc un idéal engendré par un nombre fini d'éléments.

Proposition Si et sont associés alors .
Dans un anneau intègre il y a réciproque.

Démonstration: Facile au vu de la dernière remarque. $\sqcap$ $\sqcup$

Il n'y a pas de réciproque dans le cas général !

Théorème [Théorème de Bezout] est supposé principal.

$\bullet$ un générateur de est un pgcd des .

$\bullet$ , diviseur commun des , est pgcd des si et seulement s'il existe une famille $({\lambda}_i)_{i\in [1,n]}$ tels que $d=\sum {\lambda}_i a_i$ (relation de Bezout).

$\bullet$ un générateur de $I=(a_1)\cap(a_2)\cap ... \cap (a_n)$ est un ppcm des .

Démonstration:

Le premier $\bullet$ est simple: un tel générateur doit nécessairement diviser tous les , et il doit nécessairement être dans l'idéal , et donc tout élément qui divise tous les , étant lui même un générateur de , doit diviser .

Le second $\bullet$ est une simple traduction du fait que soit bien dans et soit un générateur de .

Pour le troisième $\bullet$ , donnons-nous un tel générateur; il appartient à , et donc est un multiple de chaque ; et si est un autre multiple des , alors il est dans tous les , et donc appartient à , et donc est un multiple de . $\sqcap$ $\sqcup$

Dans $A=\mathbb{Z}$ ou $A=\mathbb{K}[X]$ avec $\mathbb{K}$ un corps, il est utile de disposer d'un algorithme pratique permettant de découvrir une relation de Bezout entre et si une telle relation existe. Pour cela, il suffit de constater que et ont même pgcd que et , pour tout dans , par exemple avec le quotient dans la division euclidienne de par . Si est divisible par , le pgcd de et est simplement ; sinon, on effectue une division euclidienne. Considérons un exemple pratique, cherchons le pgcd de et .

$\displaystyle 30 \not \vert 42$

$\displaystyle 42=1\times 30+12$

$\displaystyle 12 \not \vert 30$

$\displaystyle 30=2\times 12 +6$

$\displaystyle 12 \vert 6$ et $\displaystyle 12=2\times 6$

Donc

$\displaystyle 6=30-2\times 12=30 -2\times (42-30)=3\times 30 -2 \times 42$

ce qui est bien la relation de Bezout attendue. Cet algorithme est appelé algorithme d'Euclide.

Définition Un idéal est dit premier si et seulement si est intègre.
Un élément d'un anneau est dit premier si et seulement l'idéal engendré par cet élément est premier.

Proposition $\bullet$ Un idéal de est premier si et seulement s'il est différent de et si $a.b \in I$ implique $a\in I$ ou $b\in I$ .
$\bullet$ L'image réciproque d'un idéal premier par un homomorphisme d'anneaux est un idéal premier.

La première de ces deux propriétés est fondamentale car c'est généralement celle que l'on utilise pour montrer qu'un idéal est premier.

Proposition Un anneau commutatif est intègre si et seulement si est un idéal premier.

Démonstration:

idéal premier
si et seulement si
$a.b\in(0) \rightarrow a\in (0)$ ou $b\in (0)$

si et seulement si
$a.b=0 \rightarrow a=0$ ou

si et seulement si

intègre $\sqcap$ $\sqcup$

Lemme Soit un anneau. est un corps si et seulement si est non réduit à $\{0\}$ et ses seuls idéaux sont $\{0\}$ et .

Démonstration: $\bullet$ Supposons que les seuls idéaux de soient $\{0\}$ et .
Soit dans , $x \neq 0$ , est un idéal, autre que $\{0\}$ , donc il contient tout , donc en particulier il contient , donc il est inversible.
$\bullet$ Réciproquement si est un corps, alors soit non nul appartenant à un idéal , alors contient , donc $x.x^{-1}.A$ , donc . $\sqcap$ $\sqcup$

Proposition Dans un anneau principal, les idéaux premiers sont et , avec irréductible.

Démonstration: $\bullet$ Soit un idéal premier et $p\neq 0$ un élément de tel que . Supposons que . Alors $a.b \in (p)$ , et donc puisque est premier, $a \in (p)$ ou $b \in (p)$ ; on suppose $a \in (p)$ . Alors . On a alors , donc , or est intègre, donc , donc est une unité. $\sqcap$ $\sqcup$

Proposition Dans un anneau principal, pour tout irréductible, est un idéal maximal.

Démonstration: Soit , avec irréductible. Supposons $I \subset J$ , avec inclus dans . Alors , et . Mais étant irréductible, soit avec unité, soit est une unité. Dans le premier cas, , et dans le deuxième cas, . $\sqcap$ $\sqcup$