AlgèbreNotion · Glossaire
Bilatère
Un idéal bilatère (ou idéal bilatéral) d'un anneau A est un sous-ensemble I qui est à la fois un idéal à gauche et un idéal à droite, c'est-à-dire que pour tout a dans A et tout x dans I, on a ax et xa dans I. Dans un anneau commutatif, tout idéal est automatiquement bilatère. Les idéaux bilatères sont les noyaux des homomorphismes d'anneaux et permettent de former des anneaux quotients. Dans la théorie des anneaux non commutatifs, la distinction entre idéaux à gauche, à droite et bilatères est essentielle.
Sommaire
Ce que vous allez apprendre
- Reconnaître les deux conditions d'absorption d'un idéal bilatère.
- Vérifier ces conditions sur des matrices triangulaires supérieures.
- Relier les idéaux bilatères aux noyaux d'homomorphismes et aux anneaux quotients.
- Distinguer un idéal bilatère d'un idéal à gauche, d'un idéal à droite et d'un sous-anneau.
En clair
Imaginez un ensemble de matrices dans lequel on a isolé une famille particulière. Multiplier une matrice de cette famille par n'importe quelle matrice de l'ensemble ne doit pas la faire sortir de la famille, que la multiplication ait lieu à gauche ou à droite. Cette double stabilité caractérise l'idée bilatère.
Les deux côtés comptent, car leur ordre peut changer le résultat. Dans un anneau commutatif, l'ordre ne change rien : la stabilité d'un seul côté entraîne alors celle de l'autre.
Définition
Soit un anneau A. Un sous-ensemble I de A est un idéal bilatère, aussi appelé idéal bilatéral, lorsque I est un sous-groupe additif de A et qu'il absorbe la multiplication par les éléments de A des deux côtés. Autrement dit, pour tout élément a de A et tout élément x de I, les deux produits appartiennent encore à I.
La première condition d'absorption exprime la stabilité à gauche ; la seconde exprime la stabilité à droite. Si la multiplication dans A est commutative, elles sont équivalentes et tout idéal est bilatère. Pour tout homomorphisme d'anneaux, le noyau est un idéal bilatère. Réciproquement, tout idéal bilatère I est le noyau de la projection canonique de A vers l'anneau quotient A/I.
Un exemple, pas à pas
Considérons l'anneau A des matrices triangulaires supérieures 2 × 2 à coefficients réels. Le sous-ensemble I contient celles dont les deux coefficients diagonaux sont nuls. Prenons dans A une matrice M de coefficients a, c et d, et dans I une matrice N de coefficient b :
1. La somme de deux matrices de I et l'opposée d'une matrice de I gardent une diagonale nulle. Ainsi, I est un sous-groupe additif de A.
2. La multiplication à gauche donne :
3. La multiplication à droite donne :
Les deux produits ont encore une diagonale nulle, quels que soient les réels a, b, c et d. Ce contrôle, valable pour des matrices génériques, prouve que I est un idéal bilatère de A.
En pratique
Pour construire un anneau quotient A/I, on regroupe les éléments de A qui diffèrent d'un élément de I. Il faut que I soit bilatère : cette condition garantit que le produit des classes ne dépend pas des représentants choisis.
Pour étudier un homomorphisme d'anneaux, on cherche les éléments envoyés sur zéro. Leur ensemble est le noyau et forme automatiquement un idéal bilatère. Si l'on étudie seulement un module à gauche, un idéal à gauche peut suffire, mais il ne définit pas en général un quotient d'anneaux.
Dans un anneau commutatif, il est inutile de contrôler séparément les deux côtés. Dans un anneau de matrices, où l'ordre des facteurs peut modifier le produit, les deux vérifications redeviennent nécessaires.
À ne pas confondre
Idéal à gauche. Il exige seulement que tout produit d'un élément de l'anneau par un élément de l'idéal reste dans l'idéal. Si le produit dans l'ordre inverse peut en sortir, l'idéal n'est pas bilatère.
Idéal à droite. La stabilité demandée porte sur les produits où l'élément de l'idéal est placé à gauche. Un sous-ensemble stable dans ce sens, mais pas dans l'autre, n'est pas bilatère.
Sous-anneau. Un sous-anneau est stable pour les produits de ses propres éléments. Un idéal bilatère doit absorber aussi la multiplication par tout élément de l'anneau ambiant ; ce test supplémentaire sépare les deux notions.
Limites et pièges
Commutativité. Dans un anneau commutatif, parler d'idéal bilatère n'ajoute aucune condition : tout idéal l'est automatiquement. Il suffit alors de vérifier l'absorption d'un côté.
Idéaux triviaux. L'idéal nul et l'anneau entier sont toujours bilatères. Le mot « idéal » n'exclut donc pas nécessairement ces deux cas ; lorsque l'énoncé exige un idéal propre, l'anneau entier doit être écarté explicitement.
Une seule stabilité ne suffit pas. Dans un anneau non commutatif, constater que tous les produits d'un côté restent dans I ne permet aucune conclusion pour l'autre côté. Il faut effectuer les deux contrôles, avec le même anneau ambiant.
Absorption sans addition. Tester uniquement les produits laisse de côté une condition essentielle : I doit aussi être un sous-groupe pour l'addition. Sans stabilité par somme et par opposé, le sous-ensemble n'est pas un idéal.
Pour aller plus loin
L'étape suivante consiste à examiner l'anneau quotient. Cette construction montre concrètement pourquoi l'absorption des deux côtés est indispensable pour multiplier des classes sans ambiguïté.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres