Rings whose Non-Units are a Unit Multiple of an Element from $\sqrt{Δ(R)}$

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie des anneaux non commutatifs, visant à généraliser et à classifier des classes spécifiques d'anneaux définies par la décomposition de leurs éléments non inversibles (non-unités).

Les auteurs partent de concepts préexistants :

• Anneaux UN (introduits par Čalugăreanu) : Tout élément non inversible est le produit d'une unité et d'un élément nilpotent.
• Anneaux $U\sqrt{J}$ (introduits par Saini et Udar) : Tout élément non inversible est le produit d'une unité et d'un élément de $\sqrt{J(R)}$ (où $J(R)$ est le radical de Jacobson).
• Anneaux 2-bons : Tout élément est la somme de deux unités.

Le problème central est d'explorer une classe intermédiaire plus large, notée $U\sqrt{\Delta}$-anneaux, en utilisant le sous-anneau $\Delta(R)$ au lieu du radical de Jacobson $J(R)$. Le sous-anneau $\Delta(R)$ est défini comme l'ensemble des éléments $x$ tels que $1-xu$ (ou $1-ux$) est une unité pour toute unité $u$. Il est connu que $J(R) \subseteq \Delta(R)$, et que $\Delta(R)$ est le plus grand sous-anneau radical de Jacobson stable par multiplication par les unités.

L'objectif est de définir, caractériser et étudier les propriétés structurelles de cette nouvelle classe d'anneaux.

2. Méthodologie

Les auteurs adoptent une approche algébrique rigoureuse combinant :

• Définitions axiomatiques : Introduction formelle de la classe $U\sqrt{\Delta}$ et de l'ensemble $\sqrt{\Delta}(R) = \{x \in R \mid x^n \in \Delta(R) \text{ pour un certain } n \ge 1\}$.
• Lemmata techniques : Établissement de propriétés fondamentales de l'ensemble $\sqrt{\Delta}(R)$ (stabilité par conjugaison, comportement avec les idempotents, relations avec les unités).
• Analyse de structures spécifiques : Étude de la classe via des constructions algébriques classiques :
  • Anneaux de polynômes ($R[x]$) et de séries formelles ($R[[x]]$).
  • Anneaux de matrices ($M_n(R)$).
  • Extensions triviales et anneaux de groupes ($RG$).
• Utilisation de l'homomorphisme d'augmentation : Pour les anneaux de groupes, utilisation de l'application $\varepsilon: RG \to R$ pour relier les propriétés de $RG$ à celles de $R$ et de la structure du groupe $G$.
• Induction et isomorphismes : Utilisation d'isomorphismes entre anneaux de matrices triangulaires supérieures et extensions triviales pour généraliser les résultats.

3. Contributions Clés et Résultats Principaux

A. Définition et Propriétés Fondamentales

Un anneau $R$ est un $U\sqrt{\Delta}$-anneau si tout élément non inversible $a \in R$ peut s'écrire $a = u \cdot d$, où $u \in U(R)$ (groupe des unités) et $d \in \sqrt{\Delta}(R)$.

Les résultats structurels majeurs incluent :

• Indécomposabilité et Finitude de Dedekind : Tout $U\sqrt{\Delta}$-anneau est indécomposable (ne possède pas d'idempotent central non trivial) et est un anneau de Dedekind-fini (si $ab=1$, alors $ba=1$).
• Relation avec les anneaux locaux : Le centre $C(R)$ d'un $U\sqrt{\Delta}$-anneau est toujours un anneau local. Si $R$ est commutatif, $R$ est un $U\sqrt{\Delta}$-anneau si et seulement si $R$ est un anneau local.
• Inclusions de classes : La classe des $U\sqrt{\Delta}$-anneaux contient strictement celle des anneaux UN et est contenue dans celle des anneaux $UQ$ (où les non-unités sont produits d'une unité et d'un élément quasi-régulier).
  $$\{UN\text{-anneaux}\} \subsetneq \{U\sqrt{J}\text{-anneaux}\} \subseteq \{U\sqrt{\Delta}\text{-anneaux}\} \subsetneq \{UQ\text{-anneaux}\}$$

B. Comportement sous Extensions Polynomiales

• Polynômes et Laurent : Pour tout anneau $R$, les anneaux de polynômes $R[x]$ et de polynômes de Laurent $R[x, x^{-1}]$ ne sont jamais des $U\sqrt{\Delta}$-anneaux (sauf cas triviaux non pertinents ici, car la présence de $x$ empêche la décomposition requise).
• Séries formelles : L'anneau de séries formelles $R[[x]]$ est un $U\sqrt{\Delta}$-anneau si et seulement si $R$ l'est.
• Anneaux de matrices :
  • Pour un anneau commutatif $R$, $M_n(R)$ est un $U\sqrt{\Delta}$-anneau si et seulement si $R$ est un anneau local.
  • Pour un anneau Artinien à gauche (ou à droite) $R$, les conditions suivantes sont équivalentes : $R$ est un $U\sqrt{\Delta}$-anneau, $R$ est un UN-anneau, $M_n(R)$ est un UN-anneau, et $M_n(R)$ est un $U\sqrt{\Delta}$-anneau.

C. Anneaux de Groupes ($RG$)

C'est l'une des contributions les plus significatives. Les auteurs caractérisent quand un anneau de groupe $RG$ est un $U\sqrt{\Delta}$-anneau :

• Cas général (G localement résoluble) : $RG$ est un $U\sqrt{\Delta}$-anneau si et seulement si :
  1. $R$ est un $U\sqrt{\Delta}$-anneau.
  2. $G$ est un $p$-groupe localement fini pour un certain nombre premier $p \in J(R)$.
• Cas des corps : Si $F$ est un corps, $FG$ est un $U\sqrt{\Delta}$-anneau si et seulement si $FG$ est un anneau local (ce qui implique que $F$ est de caractéristique $p > 0$ et $G$ est un $p$-groupe localement fini).
• Équivalence avec UN : Pour les anneaux de groupes sur des corps non dénombrables ou des anneaux Artiniens, la propriété d'être un $U\sqrt{\Delta}$-anneau coïncide avec celle d'être un UN-anneau.

D. Extensions Triviales et Anneaux Quotients

• L'extension triviale $T(R, M)$ est un $U\sqrt{\Delta}$-anneau si et seulement si $R$ l'est.
• Les anneaux quotients $R[x]/(x^n)$ et $R[[x]]/(x^n)$ héritent de la propriété $U\sqrt{\Delta}$ de $R$.

4. Signification et Impact

Cet article apporte une avancée significative dans la classification des anneaux non commutatifs en :

1. Unifiant des concepts : Il relie les notions d'anneaux UN, $U\sqrt{J}$ et les anneaux 2-bons via une généralisation naturelle utilisant $\Delta(R)$, un sous-anneau plus large que le radical de Jacobson.
2. Résolvant des questions ouvertes : Il répond à la question posée par Čalugăreanu concernant l'existence d'une sous-classe propre entre les anneaux UN (avec identité 2-bonne) et les anneaux 2-bons, en identifiant la classe des $U\sqrt{\Delta}$-anneaux comme candidat pertinent.
3. Établissant des critères structurels : Les résultats sur les anneaux de matrices et de groupes fournissent des conditions nécessaires et suffisantes précises, reliant la structure de l'anneau de base à celle de ses extensions complexes.
4. Clarifiant la géométrie des anneaux : La démonstration que les anneaux de polynômes ne sont jamais de ce type (contrairement aux séries formelles) met en lumière les contraintes fortes imposées par la définition sur la structure multiplicative des éléments.

En résumé, ce travail définit une nouvelle classe robuste d'anneaux, en explore les propriétés structurelles profondes (indécomposabilité, finitude de Dedekind) et fournit une carte complète de son comportement sous les opérations algébriques usuelles, enrichissant ainsi la théorie des anneaux non commutatifs modernes.