Weakly $\sqrt{J}U$ Rings

1. Il Problema e il Contesto

La ricerca si colloca nell'ambito della teoria degli anelli non commutativi, specificamente nello studio delle classi di anelli caratterizzate da proprietà relative alle unità (elementi invertibili) e al radicale di Jacobson.
Il lavoro nasce come generalizzazione di diverse classi di anelli già studiate in letteratura:

• Anelli $\sqrt{J}U$: Definiti da Saini e Udar (2025) e Danchev et al., dove ogni unità è della forma $1+j$ con $j \in \sqrt{J}(R)$.
• Anelli $JU$e$WJU$: Dove le unità sono della forma $1+j$ o $\pm 1 + j$ con $j \in J(R)$.
• Anelli $UU$e$WUU$: Dove le unità sono della forma $1+n$ o $\pm 1 + n$ con $n$ nilpotente.

Il problema centrale è definire e caratterizzare una nuova classe, più ampia, chiamata anelli debolmente $\sqrt{J}U$ (W$\sqrt{J}U$), che unifichi e generalizzi le suddette categorie, e investigare le loro proprietà strutturali, inclusa la loro stabilità sotto operazioni come prodotti diretti, anelli di matrici e anelli di gruppo.

2. Metodologia e Definizioni Chiave

Gli autori introducono la definizione fondamentale basata su un insieme specifico:
$$\sqrt{J}(R) := \{x \in R : x^n \in J(R) \text{ per qualche } n \ge 1\}$$
dove $J(R)$ è il radicale di Jacobson. Si noti che $\sqrt{J}(R)$ contiene gli elementi nilpotenti ($Nil(R)$) e coincide con $J(R)$ se l'anello è commutativo.

Definizione: Un anello $R$ è detto W$\sqrt{J}U$ se ogni unità $u \in U(R)$ può essere scritta come:
$$u = j + 1 \quad \text{oppure} \quad u = j - 1$$
per qualche $j \in \sqrt{J}(R)$.

La metodologia adottata include:

• Dimostrazioni strutturali: Analisi delle proprietà di base (es. proprietà di cancellazione, anelli ridotti).
• Estensioni e Quozienti: Studio del comportamento della proprietà W$\sqrt{J}U$ sotto omomorfismi, prodotti diretti, anelli di matrici ($M_n(R)$), anelli triangolari e estensioni di skew-polinomi ($R[x; \alpha]$).
• Teoria degli Anelli di Gruppo: Analisi della condizione necessaria e sufficiente affinché un anello di gruppo $RG$ sia W$\sqrt{J}U$, con focus sulla struttura del gruppo $G$ e sulla caratteristica dell'anello $R$.
• Connessioni con altre classi: Confronto con anelli puliti (clean), $\pi$-regolari, debolmente booleani e anelli di scambio (exchange).

3. Risultati Principali e Contributi Chiave

Proprietà Generali degli Anelli W$\sqrt{J}U$

1. Generalizzazione: La classe W$\sqrt{J}U$ contiene propriamente le classi $\sqrt{J}U$, $UU$, $JU$, $WUU$e$WJU$.
2. Anelli di Matrici: È dimostrato che per ogni $n \ge 2$, l'anello di matrici $M_n(R)$ non è mai un anello W$\sqrt{J}U$. Questo risultato estende una proprietà nota per gli anelli $WUU$.
3. Finitezza di Dedekind: Ogni anello W$\sqrt{J}U$ è Dedekind-finito (se $ab=1$, allora $ba=1$).
4. Caratteristica dell'Anello: Se un anello W$\sqrt{J}U$ ha caratteristica positiva ($char(R) > 0$), allora $char(R)$ deve essere della forma $2^\alpha 3^\beta$ per $\alpha, \beta \in \mathbb{N} \cup \{0\}$.
5. Relazione con $J(R)$:
   • Se $2 \in J(R)$, allora un anello W$\sqrt{J}U$ è anche un anello $\sqrt{J}U$.
   • Se $3 \in J(R)$, allora $Id(R) = \{0, 1\}$ (l'anello non ha idempotenti non banali).
6. Anelli di Matrici e Corner: Se $R$ è W$\sqrt{J}U$, allora ogni "corner ring" $eRe$ (dove $e$ è un idempotente) è anch'esso W$\sqrt{J}U$.

Caratterizzazione di Anelli Specifici

• Anelli di Divisione: Un anello di divisione è W$\sqrt{J}U$ se e solo se è isomorfo a $\mathbb{Z}_2$ o $\mathbb{Z}_3$.
• Anelli Locali: Un anello locale è W$\sqrt{J}U$ se e solo se il suo quoziente modulo il radicale è isomorfo a $\mathbb{Z}_2$ o $\mathbb{Z}_3$.
• Anelli Regolari e $\pi$-Regolari: Un anello regolare W$\sqrt{J}U$ è equivalente a un anello debole booleano (ogni elemento è $\pm$ un idempotente).
• Anelli di Scambio (Exchange): Un anello di scambio è W$\sqrt{J}U$ se e solo se è un anello WUU. Inoltre, $R$ è W$\sqrt{J}U$ se e solo se $R/J(R)$ è un anello WUU.

Estensioni e Anelli di Gruppo

• Estensioni di Polinomi: Per un anello 2-primal e $\alpha$-compatibile, $R[x; \alpha]$ è W$\sqrt{J}U$ se e solo se $R$ è WUU.
• Anelli di Gruppo ($RG$):
  • Se $RG$è W$\sqrt{J}U$, allora $R$ deve essere W$\sqrt{J}U$ e $G$ deve essere un gruppo di torsione.
  • Teorema di Caratterizzazione Principale: Sia $R$ un anello di caratteristica positiva e $G$ un $p$-gruppo localmente finito. $RG$è W$\sqrt{J}U$ se e solo se vale una delle seguenti condizioni:
    1. $R$ è un anello $\sqrt{J}U$ e $G$ è un 2-gruppo.
    2. $R$ è un anello W$\sqrt{J}U$ con $3 \in J(R)$ e $G$ è un 3-gruppo.
    3. $R \cong R_1 \times R_2$ (dove $R_1$ è $\sqrt{J}U$, $R_2$ è W$\sqrt{J}U$) e $G$ è il gruppo banale.

4. Significato e Impatto

Il lavoro di Vesali Mahmood, Moussavi e Danchev rappresenta un avanzamento significativo nella teoria degli anelli generalizzati:

1. Unificazione Concettuale: Introduce una classe che abbraccia e supera le definizioni recenti di anelli $\sqrt{J}U$ e WUU, offrendo un quadro teorico più coerente.
2. Risultati Negativi Strutturali: La dimostrazione che $M_n(R)$ non è mai W$\sqrt{J}U$ per $n \ge 2$ è un risultato forte che delimita chiaramente i confini di applicabilità di questa classe, simile a quanto accade per gli anelli unit-regular o nil-clean.
3. Miglioramento della Letteratura Recente: I risultati migliorano sostanzialmente le scoperte recenti di Saini e Udar (2025), fornendo caratterizzazioni complete per gli anelli di gruppo in contesti di caratteristica positiva, un'area dove le condizioni necessarie e sufficienti sono spesso elusive.
4. Strumenti per Future Ricerche: La definizione di $\sqrt{J}(R)$ e le sue proprietà (come la stabilità nei quozienti e nei prodotti diretti) forniscono nuovi strumenti tecnici per analizzare la struttura degli anelli non commutativi, specialmente in relazione alla decomposizione di anelli e alla teoria dei gruppi.

In sintesi, il paper stabilisce una nuova tassonomia per gli anelli basata sulla struttura delle unità rispetto al radicale di Jacobson "radicato", fornendo teoremi di caratterizzazione robusti che collegano proprietà algebriche locali (radicali, unità) a proprietà globali (struttura dell'anello di gruppo, caratteristica).