Pourquoi l'annulation d'un produit implique sa symétrique dans les anneaux semi-premiers ?
Exploration de la propriété fondamentale \(aAb=0 \implies bAa=0\) et sa démonstration détaillée.
Les anneaux semi-premiers constituent une classe importante d'anneaux en algèbre abstraite, généralisant les anneaux intègres et les anneaux premiers. Ils possèdent des propriétés structurelles spécifiques, notamment en ce qui concerne leurs idéaux. Une propriété caractéristique et fondamentale de ces anneaux est une forme de symétrie liée à l'annulation de produits d'éléments médiatisés par l'anneau. Nous allons explorer et démontrer cette propriété ici.
Les Points Essentiels
- Définition Clé : Un anneau \(A\) est semi-premier si son seul idéal nilpotent est l'idéal nul \(\{0\}\), c'est-à-dire, si \(I\) est un idéal de \(A\) tel que \(I^2 = \{0\}\), alors \(I = \{0\}\).
- Propriété à Démontrer : Pour tous éléments \(a, b\) d'un anneau semi-premier \(A\), si l'ensemble \(aAb = \{axb \mid x \in A\}\) est égal à \(\{0\}\), alors l'ensemble \(bAa = \{bya \mid y \in A\}\) est aussi égal à \(\{0\}\).
- Importance : Cette propriété de symétrie est cruciale et caractérise la structure rigide des anneaux semi-premiers, empêchant certaines formes d'"annihilation" unilatérale.
Comprendre les Anneaux Semi-Premiers
Définitions et Concepts Fondamentaux
Avant de plonger dans la démonstration, rappelons quelques définitions essentielles.
Anneau
Un anneau \( (A, +, \cdot) \) est un ensemble \(A\) muni de deux lois de composition internes, l'addition (+) et la multiplication (\(\cdot\)), telles que :
- \( (A, +) \) est un groupe abélien (commutatif).
- La multiplication est associative.
- La multiplication est distributive par rapport à l'addition (à gauche et à droite).
L'anneau n'est pas nécessairement commutatif (i.e., \(ab\) n'est pas forcément égal à \(ba\)) et peut ou non posséder un élément neutre pour la multiplication (unité). Dans ce contexte, nous considérons un anneau \(A\) potentiellement non commutatif.
Idéal
Un sous-ensemble \(I\) de \(A\) est un idéal bilatère (ou simplement idéal) si :
- \( (I, +) \) est un sous-groupe de \( (A, +) \).
- Pour tout \(i \in I\) et tout \(a \in A\), \(ai \in I\) et \(ia \in I\). (Absorption à gauche et à droite)
Idéal Nilpotent
Un idéal \(I\) est dit nilpotent s'il existe un entier \(n \ge 1\) tel que \(I^n = \{0\}\), où \(I^n\) est l'ensemble des sommes finies de produits de \(n\) éléments de \(I\). En particulier, si \(I^2 = \{i_1 i_2 \mid i_1, i_2 \in I\text{'s sums}\} = \{0\}\), l'idéal est dit de carré nul.
Anneau Semi-Premier
Un anneau \(A\) est dit semi-premier si l'idéal nul \(\{0\}\) est un idéal semi-premier. Une définition équivalente, et souvent plus pratique, est la suivante :
Un anneau \(A\) est semi-premier si, pour tout idéal bilatère \(I\) de \(A\), la condition \(I^2 = \{0\}\) implique \(I = \{0\}\).
Autrement dit, un anneau semi-premier ne possède pas d'idéaux bilatères non nuls dont le carré soit nul. Cela implique une certaine "robustesse" de la structure multiplicative de l'anneau.
Représentation abstraite pouvant évoquer les structures mathématiques complexes.
La Démonstration : \(aAb=0 \implies bAa=0\)
Preuve Détaillée Étape par Étape
Soit \(A\) un anneau semi-premier et soient \(a, b \in A\). Nous supposons que \(aAb = \{0\}\), ce qui signifie que pour tout élément \(x \in A\), le produit \(axb\) est égal à l'élément nul de l'anneau.
\[ aAb = 0 \quad \iff \quad \forall x \in A, \; axb = 0 \]Nous voulons démontrer que cette condition implique \(bAa = \{0\}\), c'est-à-dire :
\[ \forall y \in A, \; bya = 0 \]Étape 1 : Considérer l'Idéal Généré par \(bAa\)
Considérons l'ensemble \(S = bAa = \{bya \mid y \in A\}\). Si nous pouvons montrer que l'idéal bilatère \(I\) engendré par \(S\) est l'idéal nul, alors \(S\) lui-même doit être \(\{0\}\), ce qui prouvera le résultat.
L'idéal bilatère engendré par \(S\) est l'ensemble des sommes finies d'éléments de la forme \(r(bys)t\) où \(r, s, t, y \in A\). Une notation courante pour cet idéal est \(A(bAa)A\). Pour simplifier, nous allons montrer une propriété clé qui implique \(I = \{0\}\).
Étape 2 : Utiliser l'Hypothèse \(aAb=0\)
Considérons le produit \( (bAa) A (bAa) \). Un élément générique de cet ensemble est de la forme \( (by_1a) z (by_2a) \) pour des éléments \(y_1, y_2, z \in A\).
Réécrivons ce produit en utilisant l'associativité de la multiplication dans l'anneau \(A\):
\[ (by_1a) z (by_2a) = b y_1 (a z b) y_2 a \]Maintenant, utilisons notre hypothèse de départ : \(aAb = \{0\}\). Puisque \(z \in A\), le terme \(azb\) est un élément de \(aAb\). Par conséquent, \(azb = 0\).
En substituant cela dans l'expression précédente, nous obtenons :
\[ b y_1 (a z b) y_2 a = b y_1 (0) y_2 a = 0 \]Ceci est vrai pour tous \(y_1, y_2, z \in A\). Par conséquent, nous avons montré que :
\[ (bAa) A (bAa) = \{0\} \]Étape 3 : Construire un Idéal de Carré Nul
Soit \(I\) l'idéal bilatère engendré par le *set* \(bAa\). Formellement, \(I\) est l'ensemble des sommes finies \(\sum_{i} r_i (b y_i a) t_i\) avec \(r_i, y_i, t_i \in A\). Une manière plus compacte de le décrire est \(I = A(bAa)A\).
Calculons le carré de cet idéal, \(I^2 = I \cdot I\). Par définition du produit d'idéaux, \(I^2\) est l'ensemble des sommes finies de produits \(uv\) où \(u, v \in I\). Il est suffisant de considérer les produits des générateurs.
Considérons \(I^2 = (A(bAa)A) (A(bAa)A)\). En utilisant l'associativité et la propriété d'absorption des idéaux, nous avons :
\[ I^2 \subseteq A (bAa) A (bAa) A \]D'après l'étape 2, nous savons que \( (bAa) A (bAa) = \{0\} \). En substituant ceci, nous obtenons :
\[ I^2 \subseteq A (0) A = \{0\} \]Donc, \(I^2 = \{0\}\).
Étape 4 : Appliquer la Définition d'Anneau Semi-Premier
Nous avons construit un idéal bilatère \(I = A(bAa)A\) tel que \(I^2 = \{0\}\). Puisque \(A\) est un anneau semi-premier, par définition, le seul idéal dont le carré est nul est l'idéal nul lui-même.
Par conséquent, nous devons avoir \(I = \{0\}\).
Étape 5 : Conclusion
L'idéal \(I = A(bAa)A\) contient l'ensemble \(S = bAa\). Comme \(I = \{0\}\), tous ses éléments sont nuls. En particulier, tous les éléments de la forme \(bya\) (pour \(y \in A\)) doivent être nuls.
Donc, \(bAa = \{0\}\).
Ceci achève la démonstration : dans un anneau semi-premier \(A\), si \(aAb = \{0\}\), alors \(bAa = \{0\}\).
Visualisation des Concepts
Mindmap des Idées Clés
La structure logique de la démonstration et les concepts impliqués peuvent être visualisés à l'aide de la mindmap suivante.
\(aAb=0 \implies bAa=0\)"] id1["Définition: Anneau Semi-Premier"] id1a["Aucun idéal bilatère \(I \neq \{0\}\) tel que \(I^2 = \{0\}\)"] id2["Hypothèse"] id2a["\(A\) est un anneau semi-premier"] id2b["\(a, b \in A\)"] id2c["\(aAb = \{0\}\) (i.e., \(axb=0\) pour tout \(x \in A\))"] id3["Objectif"] id3a["Montrer que \(bAa = \{0\}\) (i.e., \(bya=0\) pour tout \(y \in A\))"] id4["Étapes de la Preuve"] id4a["Considérer l'ensemble \(S = bAa\)"] id4b["Montrer que \((bAa) A (bAa) = \{0\}\)"] id4b1["Utiliser \(axb=0\) dans \((by_1a) z (by_2a) = b y_1 (azb) y_2 a\)"] id4c["Considérer l'idéal \(I = A(bAa)A\)"] id4d["Montrer que \(I^2 = \{0\}\)"] id4d1["\(I^2 \subseteq A (bAa) A (bAa) A = A(0)A = \{0\}\)"] id4e["Appliquer la définition d'anneau semi-premier"] id4e1["\(I^2 = \{0\} \implies I = \{0\}\)"] id4f["Conclure que \(bAa \subseteq I = \{0\}\)"]
Comparaison des Propriétés des Anneaux
Ce graphique radar compare conceptuellement les anneaux semi-premiers avec les anneaux premiers (une condition plus forte) et les anneaux commutatifs généraux sur certaines propriétés clés (échelle subjective de 1 à 10, où 10 indique la présence maximale de la propriété).
Le graphique illustre que les anneaux premiers et semi-premiers partagent la propriété d'absence d'idéaux nilpotents et la symétrie \(aAb=0 \implies bAa=0\). Cependant, les anneaux premiers sont plus restrictifs car ils n'ont pas de diviseurs de zéro (dans le cas commutatif ou pour des idéaux), tandis que les anneaux semi-premiers peuvent en avoir. Les anneaux semi-premiers représentent une classe plus générale que les anneaux premiers.
Comparaison: Anneaux Premiers vs Semi-Premiers
Distinctions Clés
Il est utile de distinguer clairement les anneaux semi-premiers des anneaux premiers, une classe d'anneaux étroitement liée mais plus restrictive.
| Propriété | Anneau Premier | Anneau Semi-Premier |
|---|---|---|
| Définition (Idéaux) | Pour tous idéaux \(I, J\), si \(IJ = \{0\}\), alors \(I = \{0\}\) ou \(J = \{0\}\). | Pour tout idéal \(I\), si \(I^2 = \{0\}\), alors \(I = \{0\}\). |
| Définition (Éléments) | Pour tous \(a, b \in A\), si \(aAb = \{0\}\), alors \(a=0\) ou \(b=0\). | Pour tous \(a, b \in A\), si \(aAb = \{0\}\), alors \(bAa = \{0\}\). |
| Idéaux Nilpotents | N'a pas d'idéaux nilpotents non nuls (car \(I^n=0 \implies I=0\)). | N'a pas d'idéaux nilpotents non nuls. |
| Diviseurs de Zéro (pour idéaux) | Ne contient pas d'idéaux non nuls \(I, J\) tels que \(IJ=0\). | Peut contenir des idéaux non nuls \(I, J\) tels que \(IJ=0\), mais pas \(I^2=0\) si \(I \neq 0\). |
| Relation | Tout anneau premier est semi-premier. | Un anneau semi-premier n'est pas nécessairement premier. (Ex: \( \mathbb{Z} \times \mathbb{Z} \) est semi-premier mais pas premier). |
La propriété \(aAb=0 \implies bAa=0\) que nous avons démontrée est donc valable pour les anneaux premiers (puisqu'ils sont semi-premiers), mais elle est moins informative dans ce cas, car l'hypothèse \(aAb=0\) (avec \(A\) premier) implique directement que \(a=0\) ou \(b=0\), ce qui rend trivialement \(bAa=0\).
Questions Fréquemment Posées (FAQ)
Qu'est-ce qu'un anneau premier exactement ?
Un anneau \(A\) (non nul) est dit premier si pour tous idéaux bilatères \(I, J\) de \(A\), la condition \(IJ = \{0\}\) (où \(IJ\) est l'idéal produit) implique que \(I = \{0\}\) ou \(J = \{0\}\). De manière équivalente, pour tous éléments \(a, b \in A\), si \(aAb = \{axb \mid x \in A\} = \{0\}\), alors \(a=0\) ou \(b=0\). Les anneaux intègres commutatifs sont des exemples d'anneaux premiers.
La réciproque est-elle vraie ? Si \(bAa=0\), cela implique-t-il \(aAb=0\) dans un anneau semi-premier ?
Oui, la propriété est symétrique. La démonstration est exactement la même en échangeant les rôles de \(a\) et \(b\). Si l'on suppose \(bAa = \{0\}\), on considère l'idéal \(J = A(aAb)A\). On montre que \( (aAb) A (aAb) = \{0\} \) en utilisant l'hypothèse \(bya=0\). Cela mène à \(J^2 = \{0\}\), et par semi-premièreté, \(J = \{0\}\), ce qui implique \(aAb = \{0\}\). Donc, dans un anneau semi-premier :
\[ aAb = \{0\} \iff bAa = \{0\} \]Pourquoi cette propriété \(aAb=0 \implies bAa=0\) est-elle importante ?
Cette propriété reflète une contrainte structurelle fondamentale des anneaux semi-premiers. Elle montre une forme de symétrie dans les relations d'annihilation bilatérale. Elle est souvent utilisée comme un outil technique dans l'étude de la structure de ces anneaux, de leurs idéaux, et dans des contextes plus avancés comme la théorie des C*-algèbres ou les algèbres d'opérateurs où la semi-premièreté joue un rôle. Elle garantit que certaines pathologies (comme une annihilation "unilatérale" forte) ne peuvent pas se produire.
Existe-t-il des exemples simples d'anneaux semi-premiers qui ne sont pas premiers ?
Oui. Un exemple classique est le produit direct de deux anneaux premiers (ou plus). Par exemple, \(A = \mathbb{Z} \times \mathbb{Z}\). Cet anneau est commutatif. Ses idéaux sont de la forme \(I \times J\) où \(I, J\) sont des idéaux de \(\mathbb{Z}\). Si \( (I \times J)^2 = I^2 \times J^2 = \{(0,0)\} \), alors \(I^2=\{0\}\) et \(J^2=\{0\}\). Comme \(\mathbb{Z}\) est intègre (et donc semi-premier), cela implique \(I=\{0\}\) et \(J=\{0\}\), donc \(I \times J = \{(0,0)\}\). Ainsi, \(A\) est semi-premier.
Cependant, \(A\) n'est pas premier. Prenons les idéaux \(I = \mathbb{Z} \times \{0\}\) et \(J = \{0\} \times \mathbb{Z}\). Aucun de ces idéaux n'est nul. Mais leur produit \(IJ = (\mathbb{Z} \times \{0\}) (\mathbb{Z} \times \{0\}) = \{ (z \cdot 0, 0 \cdot z') \mid z, z' \in \mathbb{Z} \} = \{(0,0)\}\). Puisque nous avons trouvé deux idéaux non nuls dont le produit est nul, l'anneau \(\mathbb{Z} \times \mathbb{Z}\) n'est pas premier.
Références
Les sources suivantes fournissent des informations contextuelles et des preuves formelles relatives aux anneaux semi-premiers et à la propriété discutée.
-
Anneaux semi-premiers, noethériens, à identités polynômiales - NUMDAM
- Chapitre 1 Introduction, définitions, exemples (Cours M2 Anneaux) - CNRS
-
Bulletin de la S. M. F., tome 104 (1976), p. 99-111 - NUMDAM
- ANNEAUX DIFFÉRENTIELS SEMI-PREMIERS - Okayama University
- Article Springer mentionnant la propriété (contexte plus large) - Springer Link
- Théorie des anneaux - Wikipédia
Pour approfondir
Explorez davantage ces sujets connexes :
Last updated April 18, 2025