Expanding Generalized Fine Rings

Résumé Technique : Expansion des Anneaux Fins Généralisés

Énoncé du Problème et Contexte
L'article traite de l'interaction structurelle entre l'addition et la multiplication dans les anneaux associatifs avec unité. Il étudie spécifiquement la décomposition des éléments d'un anneau en sommes d'unités et de sous-ensembles spécifiques de l'anneau. Les auteurs s'appuient sur une hiérarchie de classes d'anneaux existantes :

• Anneaux propres (clean rings) : Tout élément est une somme d'une unité et d'un idempotent.
• Anneaux fins (fine rings) : Tout élément non nul est une somme d'une unité et d'un nilpotent.
• Anneaux fins généralisés (generalized fine rings) : Tout élément en dehors du radical de Jacobson $J(R)$ est une somme d'une unité et d'un nilpotent.
• Anneaux $\sqrt{JU}$ : Anneaux où le groupe des unités $U(R)$ est égal à $1 + \sqrt{J}(R)$, où $\sqrt{J}(R) = \{x \in R : x^n \in J(R) \text{ pour un certain } n \ge 1\}$.

Le problème central est d'étendre la notion d'anneaux « fins » en remplaçant l'ensemble des éléments nilpotents, $Nil(R)$, par l'ensemble plus large $\sqrt{J}(R)$. Bien que $Nil(R) \subseteq \sqrt{J}(R)$, ce dernier n'est pas nécessairement un sous-anneau. L'article cherche à définir et caractériser les anneaux où les éléments en dehors de $J(R)$ peuvent être décomposés en une unité et un élément de $\sqrt{J}(R)$.

Définitions et Méthodologie
Les auteurs introduisent le concept d'anneaux $\sqrt{J}$-fins généralisés. Un anneau $R$ est défini comme étant généralisé $\sqrt{J}$-fin si tout élément $a \in R \setminus J(R)$ peut s'écrire sous la forme $a = u + x$, où $u \in U(R)$ et $x \in \sqrt{J}(R)$.

La méthodologie repose sur des outils classiques de la théorie des anneaux, notamment :

• Anneaux quotients et idéaux : Utilisation de la propriété que si $I \subseteq J(R)$, alors $R$ est généralisé $\sqrt{J}$-fin si et seulement si $R/I$ l'est.
• Constructions matricielles : Analyse des matrices par blocs et utilisation de conjugaisons élémentaires (via les matrices $P_{ij}$ et $T_{ij}(a)$) pour réduire les structures matricielles complexes en blocs diagonaux.
• Anneaux de groupes : Examen de l'application d'augmentation et de l'idéal d'augmentation $\Delta(RG)$ pour relier les propriétés d'un anneau de groupe $RG$ à l'anneau de base $R$ et au groupe $G$.
• Preuves inductives : Établissement de résultats pour les anneaux de matrices $M_n(R)$ par induction sur $n$, en exploitant les résultats pour $n=2$ et les décompositions en blocs.

Contributions Clés et Résultats

1. Hiérarchie et Inclusions :
   L'article établit une chaîne stricte d'inclusions :
   $$\{\text{anneaux fins}\} \subsetneq \{\text{anneaux fins généralisés}\} \subsetneq \{\text{anneaux } \sqrt{J}\text{-fins généralisés}\} \subsetneq \{\text{anneaux 2-propres}\}$$
   Les auteurs fournissent des exemples (par exemple, des domaines où $R/J(R) \cong M_2(\mathbb{R})$) pour montrer que les inclusions réciproques ne sont pas vérifiées. Notamment, ils prouvent que tout anneau $\sqrt{J}$-fin généralisé est 2-propre (tout élément est une somme de deux unités et d'un idempotent), répondant ainsi partiellement à une question ouverte de Călugăreanu et Lam concernant la question de savoir si les anneaux fins sont 2-propres.

2. Anneaux de Matrices :
   Un résultat principal est que la classe des anneaux $\sqrt{J}$-fins généralisés est fermée par les anneaux de matrices pleines de toute taille.

• Théorème 3.6 : Si $R$ est un anneau $\sqrt{J}$-fin généralisé, alors $M_n(R)$ est également $\sqrt{J}$-fin généralisé pour tout $n \ge 1$.
• La preuve implique une analyse détaillée des entrées matricielles par rapport à $J(R)$ et l'utilisation de la conjugaison pour transformer les matrices en formes où les blocs diagonaux sont $\sqrt{J}$-fins.

3. Anneaux de Groupes :
   L'article fournit une caractérisation complète pour les anneaux de groupes sur des groupes localement finis.

• Théorème 3.10 : Soit $R$ un anneau et $G$ un groupe. Si $RG$ est $\sqrt{J}$-fin généralisé, alors $R$ est $\sqrt{J}$-fin généralisé et $G$ est un $p$-groupe avec $p \in J(R)$. Inversement, si $G$ est un $p$-groupe localement fini avec $p \in J(R)$ et $R$ est $\sqrt{J}$-fin généralisé, alors $RG$ est $\sqrt{J}$-fin généralisé.

4. Propriétés Structurelles :

• Anneaux Locaux : Un anneau est fortement $\sqrt{J}$-fin généralisé (où l'unité et l'élément $\sqrt{J}$ commutent) si et seulement si il est local.
• Corps de Division : Un anneau est uniquement $\sqrt{J}$-fin généralisé si et seulement si il est un corps de division.
• Cas Commutatif : Pour un anneau commutatif $R$, $M_n(R)$ est $\sqrt{J}$-fin généralisé si et seulement si $R$ est local.
• Sous-anneaux de Coin (Corner Subrings) : Si $R$ est $\sqrt{J}$-fin généralisé et $e$ est un idempotent central, le sous-anneau de coin $eRe$ est également $\sqrt{J}$-fin généralisé.

5. Contre-exemples et Limites :
   Les auteurs démontrent que la propriété n'est pas préservée par les produits directs, les sous-anneaux ou les anneaux de matrices triangulaires supérieures. Par exemple, bien que $M_2(\mathbb{Z}_2)$ soit $\sqrt{J}$-fin généralisé, son sous-anneau $T_2(\mathbb{Z}_2)$ ne l'est pas.

Signification
L'article affirme fournir une « théorie plus riche » en élargissant la portée des anneaux fins par l'utilisation de $\sqrt{J}(R)$. La signification réside dans :

• Unification : Placer cette nouvelle classe naturellement entre les anneaux fins généralisés et les anneaux 2-propres, clarifiant ainsi le paysage des décompositions d'anneaux.
• Robustesse : Prouver que cette classe est stable par la formation d'anneaux de matrices pleines, une propriété que ne partagent pas de nombreuses classes similaires (comme les anneaux fins).
• Complétude : Offrir une réponse définitive pour les anneaux de groupes sur les groupes localement finis, reliant la structure algébrique du groupe (être un $p$-groupe) et l'arithmétique de l'anneau de base (contenir $p$ dans le radical) à la propriété de décomposition.

Les auteurs soulignent que leur travail vise à offrir une introduction claire de ces concepts et à illustrer les limites de la nouvelle définition par de nombreux exemples et contre-exemples, plutôt que de proposer des applications immédiates en dehors de la théorie pure des anneaux.