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

1. Planteamiento del Problema y Motivación

El artículo se sitúa en el contexto de la teoría de anillos asociativos con identidad, buscando generalizar y clasificar nuevas clases de anillos basadas en la descomposición de sus elementos no-unidades.

• Antecedentes:

  • Anillos Fines (Fine rings): Introducidos por Čalugăreanu y Lam, donde todo elemento no nulo es la suma de una unidad y un elemento nilpotente.
  • Anillos UN: Introducidos por Čalugăreanu, donde todo elemento no-unidad es el producto de una unidad y un elemento nilpotente.
  • Anillos 2-buenos (2-good): Donde todo elemento es suma de dos unidades.
  • Anillos $U\sqrt{J}$: Introducidos por Saini y Udar, generalizando los anillos UN. Aquí, todo no-unidad es producto de una unidad y un elemento de $\sqrt{J(R)}$ (elementos cuya potencia está en el radical de Jacobson $J(R)$).

• El Problema Central:
  Existe una pregunta abierta sobre la relación entre estas clases. Los autores buscan definir una clase intermedia que generalice a los anillos $U\sqrt{J}$ y a los anillos UN, pero que sea más restrictiva que los anillos $UQ$ (donde los no-unidades son producto de una unidad y un elemento cuasi-regular).
  El objetivo es estudiar una nueva clase basada en el subanillo $\Delta(R)$, definido como el mayor subanillo radical de Jacobson de $R$ estable bajo multiplicación por unidades.

2. Metodología y Definiciones Clave

Los autores introducen la noción de anillos $U\sqrt{\Delta}$ y desarrollan una metodología basada en:

1. Definición del conjunto $\sqrt{\Delta}(R)$:
   $$\sqrt{\Delta}(R) := \{ x \in R \mid x^n \in \Delta(R) \text{ para algún } n \in \mathbb{N} \}$$
   Donde $\Delta(R) = \{ x \in R \mid x + u \in U(R) \forall u \in U(R) \}$.
2. Definición de la clase $U\sqrt{\Delta}$:
   Un anillo $R$ es un anillo $U\sqrt{\Delta}$ si cada elemento no-unidad $a \in R$ se puede escribir como $a = u \cdot d$, donde $u \in U(R)$ (unidad) y $d \in \sqrt{\Delta}(R)$.
3. Herramientas Técnicas:
   • Uso de propiedades del radical de Jacobson y del subanillo $\Delta(R)$.
   • Análisis de extensiones de anillos (polinomios, series de potencias, extensiones triviales).
   • Estudio de anillos de matrices y anillos de grupo.
   • Uso de homomorfismos (como el mapa de augmentación en anillos de grupo) y propiedades de anillos Artinianos.

3. Contribuciones Clave y Resultados Principales

A. Propiedades Fundamentales y Estructura

• Inclusiones Estrictas: Se establece la siguiente jerarquía estricta de clases de anillos:
  $$\{ \text{Anillos UN} \} \subsetneq \{ \text{Anillos } U\sqrt{J} \} \subseteq \{ \text{Anillos } U\sqrt{\Delta} \} \subsetneq \{ \text{Anillos } UQ \}$$
• Propiedades Estructurales:
  • Todo anillo $U\sqrt{\Delta}$ es indecomponible (no tiene idempotentes centrales no triviales) y Dedekind-finito (si $ab=1$, entonces $ba=1$).
  • El centro de un anillo $U\sqrt{\Delta}$, $C(R)$, es un anillo local.
  • Si $R$ es conmutativo, $R$ es $U\sqrt{\Delta}$ si y solo si $R$ es un anillo local.

B. Extensiones de Anillos

• Polinomios y Series:
  • Los anillos de polinomios $R[x]$ y de Laurent $R[x, x^{-1}]$ nunca son anillos $U\sqrt{\Delta}$ (salvo casos triviales que no se cumplen en general).
  • El anillo de series de potencias $R[[x]]$ es $U\sqrt{\Delta}$ si y solo si $R$ es $U\sqrt{\Delta}$.
• Extensiones Triviales: La extensión trivial $T(R, M)$ es $U\sqrt{\Delta}$ si y solo si $R$ lo es.
• Anillos de Matrices:
  • Para anillos Artinianos (izquierdos o derechos), las condiciones de ser $U\sqrt{\Delta}$ y ser UN son equivalentes.
  • Si $R$ es conmutativo, la matriz $M_n(R)$ es $U\sqrt{\Delta}$ si y solo si $R$ es un anillo local.

C. Anillos de Grupo ($RG$)

Este es uno de los resultados más significativos del trabajo. Los autores caracterizan cuándo un anillo de grupo es $U\sqrt{\Delta}$:

• Teorema Principal: Sea $R$ un anillo y $G$ un grupo localmente soluble. El anillo de grupo $RG$ es $U\sqrt{\Delta}$ si y solo si:
  1. $R$ es un anillo $U\sqrt{\Delta}$.
  2. $G$ es un p-grupo localmente finito para algún primo $p \in J(R)$ (el radical de Jacobson de $R$).
• Caso de Cuerpos: Si $F$ es un cuerpo y $G$ un grupo localmente soluble, $FG$ es $U\sqrt{\Delta}$ si y solo si $FG$ es un anillo UN, lo cual ocurre si y solo si $F$ tiene característica positiva $p$ y $G$ es un $p$-grupo localmente finito.

4. Significado e Impacto

1. Unificación Teórica: El concepto de anillo $U\sqrt{\Delta}$ proporciona un marco unificador que conecta las clases de anillos UN, $U\sqrt{J}$ y $UQ$, resolviendo preguntas sobre la existencia de subclases propias entre ellas.
2. Caracterización de Estructuras: El trabajo ofrece criterios precisos para determinar la propiedad $U\sqrt{\Delta}$ en estructuras algebraicas complejas como anillos de matrices, series de potencias y anillos de grupo, llenando vacíos en la literatura existente.
3. Relación con Anillos Locales: Refuerza la conexión profunda entre la propiedad de ser $U\sqrt{\Delta}$ y la estructura local del anillo (especialmente en el caso conmutativo y en el centro de anillos no conmutativos).
4. Aplicabilidad a Anillos de Grupo: La caracterización para anillos de grupo sobre grupos localmente solubles es un avance significativo, vinculando la teoría de anillos con la teoría de grupos (grupos $p$-locales finitos) y el radical de Jacobson.

En resumen, el artículo introduce una nueva clase de anillos bien comportada, establece sus propiedades fundamentales, demuestra su estabilidad (o falta de ella) bajo diversas extensiones algebraicas y proporciona una clasificación completa para anillos de grupo, consolidando así una parte importante de la teoría moderna de anillos no conmutativos.