We investigate endoartinian modules, which satisfy the descending chain condition on endoimages, and establish new characterizations that unify classical and generalized chain conditions. Over commutative rings, endoartinianity coincides with rings satisfying the strongly ACCR* with dim(R) = 0 and strongly DCCR* conditions. For principally injective rings, the endoartinian and endonoetherian rings are equivalent. Addressing a question of Facchini and Nazemian, we provide a condition under which isoartinian and Noetherian rings coincide, and we classify semiprime endoartinian rings as finite products of matrix rings over a division ring. We further show that endoartinianity is equivalent to the Kothe rings over principal ideal rings with central idempotents, and characterize such rings as finite products of artinian uniserial rings.
- ID del Artículo: 2510.14477
- Título: Módulos Con Condiciones de Cadena Descendente en Endoimágenes
- Autores: Theophilus Gera, Manoj Kumar Patel, Ashok Ji Gupta
- Clasificación: math.RA (Teoría de Anillos y Álgebra)
- Fecha de Publicación: 16 de octubre de 2025
- Enlace del Artículo: https://arxiv.org/abs/2510.14477
Este artículo investiga módulos endoartinianos que satisfacen la condición de cadena descendente en endoimágenes, estableciendo nuevas caracterizaciones que unifican condiciones de cadena clásicas y generalizadas. En anillos conmutativos, la endoartinianidad es equivalente a anillos que satisfacen la condición fuerte ACCR* y dim(R) = 0 y la condición fuerte DCCR*. Para anillos principales inyectivos por la derecha, la endoartinianidad es equivalente a la endonoetherianidad. En respuesta a la pregunta planteada por Facchini y Nazemian, los autores proporcionan condiciones bajo las cuales la equiartinianidad coincide con la noetherianidad, y clasifican anillos semiprimos endoartinianos como productos finitos de anillos de matrices sobre anillos de división. Se demuestra además que en anillos principales con idempotentes centrales, la endoartinianidad es equivalente a ser un anillo de Köthe, y se caracterizan tales anillos como productos finitos de anillos artinianos seriales.
- Desarrollo de condiciones de cadena clásicas: Noether introdujo la condición de cadena ascendente en 1921, y Artin introdujo la condición de cadena descendente en 1927, avanzando significativamente la teoría de la estructura de anillos. El teorema de Hopkins-Levitzki estableció el importante resultado de que los anillos artinianos deben ser noetherianos.
- Surgimiento de condiciones de cadena generalizadas: Varadarajan estableció la conexión entre módulos hopfianos y co-hopfianos. Hmaimou y otros introdujeron el concepto de módulos de Fitting generalizados, incluyendo módulos fuertemente hopfianos y fuertemente co-hopfianos.
- Condiciones de finitud intermedias: Facchini y Nazemian propusieron en 2016 un marco que relaja los requisitos de igualdad de las condiciones de cadena estándar. Gouaid y otros introdujeron en 2020 el concepto de módulos endonoetherianos, ubicados entre estructuras equinoetherianas y fuertemente co-hopfianas.
Los módulos endoartinianos ocupan una posición intermedia entre módulos equiartinianos y fuertemente co-hopfianos. Aunque las condiciones de cadena clásicas como la artinianidad controlan globalmente la estructura de submódulos, la endoartinianidad impone restricciones de finitud en la acción del anillo de endomorfismos, capturando fenómenos de estabilización interna que no pueden observarse únicamente a través de submódulos. La solidez de esta estructura ha motivado la investigación de sus propiedades y conexiones con otras condiciones de finitud.
- Establecimiento de una teoría sistemática de módulos endoartinianos: Se definen e investigan en profundidad módulos que satisfacen la condición de cadena descendente en endoimágenes, llenando el vacío teórico entre equiartinianidad y co-hopfianidad fuerte.
- Caracterización completa en anillos conmutativos: Se demuestra que en anillos conmutativos, la endoartinianidad es equivalente a satisfacer la condición fuerte ACCR* con dim(R) = 0 y la condición fuerte DCCR* (Teorema 2.11).
- Teorema de tipo Hopkins-Levitzki: Para anillos principales inyectivos por la derecha, se establece la equivalencia entre endoartinianidad por la derecha y endonoetherianidad por la derecha (Teorema 2.16).
- Respuesta al problema de Facchini-Nazemian: Se proporcionan condiciones estructurales bajo las cuales anillos semiprimos equiartinianos son noetherianos, y se demuestra la equivalencia entre endoartinianidad y equiartinianidad en anillos primos (Corolario 2.24).
- Clasificación de anillos semiprimos endoartinianos: Se caracteriza completamente los anillos semiprimos endoartinianos por la derecha como productos directos finitos de anillos de matrices sobre anillos de división (Teorema 2.27).
- Conexión con anillos de Köthe: Se demuestra que para anillos principales con idempotentes centrales, la endoartinianidad es equivalente a la propiedad de ser un anillo de Köthe, y se caracterizan como productos finitos de anillos artinianos seriales (Teorema 3.2).
Sea M un R-módulo por la derecha, y S = EndR(M) el anillo de endomorfismos de M.
- Módulo endoartiniano: Si cada cadena descendente de endoimágenes Im(f₁) ⊇ Im(f₂) ⊇ ⋯ se estabiliza, donde fᵢ ∈ S.
- Módulo endonoetheriano: Si cada cadena ascendente de núcleos se estabiliza.
Para un módulo M que es simultáneamente endoartiniano y endonoetheriano, si {fₙ} ⊆ EndR(M) satisface fᵢfⱼ = fᵢ₊ⱼ, entonces existe n tal que:
M=ker(fn)⊕Im(fn)
Un anillo R es endoartiniano por la derecha si y solo si para cada sucesión {aᵢ} ⊆ R, existe n tal que:
anR=an+1R
Equivalentemente, existen b,c ∈ R tales que aₙ = aₙ₊₁b y aₙ₊₁ = aₙc.
Un anillo R es endoartiniano por la derecha si y solo si R es un anillo completo por la izquierda.
- Introducción de condiciones de cadena en endoimágenes: Al considerar las imágenes de endomorfismos en lugar de submódulos tradicionales, se revelan características de la estructura interna del módulo.
- Establecimiento de equivalencias multinivel: Se establecen relaciones de equivalencia entre endoartinianidad y otras condiciones en diferentes clases de anillos, formando un sistema teórico completo.
- Técnicas de descomposición estructural: Utilizando propiedades de idempotentes centrales y anillos principales, se logra la descomposición precisa de estructuras de anillos complejos.
Como artículo de teoría matemática pura, este trabajo verifica la corrección de la teoría mediante:
- Construcción de contraejemplos:
- Ejemplo 2.1(4): Construye un módulo fuertemente co-hopfiano pero no endoartiniano
- Ejemplo 2.6: Demuestra la incomparabilidad entre módulos endoartinianos y endonoetherianos
- Ejemplo 2.14: Ilustra el fracaso de la endoartinianidad bajo localización
- Cálculos concretos: Se verifican las predicciones teóricas mediante cálculos de anillos y módulos específicos
- Análisis de contraejemplos: El anillo de matrices triangulares superiores T₂(k) en el Ejemplo 3.4 demuestra la necesidad de las condiciones de hipótesis en el Teorema 3.2
Para un anillo conmutativo R, las siguientes afirmaciones son equivalentes:
- R es endoartiniano
- R satisface la condición fuerte DCCR*
- R satisface la condición fuerte ACCR* y dim(R) = 0
Para un anillo principal inyectivo por la derecha R:
Endoartiniano por la derecha⇔Endonoetheriano por la derecha
Para un anillo R, las siguientes afirmaciones son equivalentes:
- R es semiprimo y endoartiniano por la derecha
- R es semisimple
- R ≅ ∏ᵢ₌₁ⁿ Mₙᵢ(Dᵢ), donde Dᵢ son anillos de división
- R es hereditario por la derecha y soc(R_R) = R tiene longitud finita
- Herencia por sumandos directos (Proposición 2.2): La endoartinianidad es heredada por sumandos directos.
- Condiciones de cadena en sumandos directos (Proposición 2.5): Los módulos endoartinianos satisfacen condiciones de cadena descendente en sumandos directos.
- Propiedad de Schröder-Bernstein (Teorema 2.21): Todo módulo endoartiniano satisface la propiedad SB.
- Teoría de Noether-Artin: Establece el marco fundamental de condiciones noetherianas y artinianas
- Teorema de Hopkins-Levitzki: Demuestra la noetherianidad de anillos artinianos
- Teorema de Wedderburn-Artin: Clasificación estructural de anillos semisimples
- Trabajo de Varadarajan: Establece la conexión entre módulos hopfianos y co-hopfianos
- Hmaimou y otros: Introducen el concepto de módulos de Fitting generalizados
- Marco de Facchini-Nazemian: Condiciones de cadena que relajan requisitos de igualdad
- Kaidi-Campos: Introducen por primera vez el concepto de módulos endonoetherianos
- Gouaid y otros: Investigan sistemáticamente las propiedades de anillos endonoetherianos
- Completitud teórica: Se establece un sistema teórico completo para módulos endoartinianos, llenando el vacío entre equiartinianidad y co-hopfianidad fuerte.
- Caracterizaciones estructurales: Se proporcionan caracterizaciones completas de endoartinianidad en varias clases importantes de anillos, particularmente en anillos conmutativos y semiprimos.
- Teoremas de equivalencia: Se establecen relaciones de equivalencia entre endoartinianidad y otras propiedades importantes bajo condiciones apropiadas.
- Necesidad de condiciones de hipótesis: Muchos resultados requieren condiciones de hipótesis relativamente fuertes, como inyectividad principal, idempotentes centrales, etc.
- Complejidad en el caso no conmutativo: En anillos no conmutativos generales, la teoría se vuelve significativamente más compleja, y algunos problemas permanecen sin resolver completamente.
- Complejidad computacional: No se discute la complejidad algorítmica de determinar si un anillo dado es endoartiniano.
- Problemas abiertos: La pregunta de Facchini-Nazemian sobre si los anillos semiprimos equiartinianos deben ser noetherianos permanece sin resolver en el caso general.
- Direcciones de generalización: Se puede considerar la generalización de la teoría a clases más generales de anillos o módulos.
- Exploración de aplicaciones: Buscar aplicaciones de la endoartinianidad en otras ramas de las matemáticas.
- Profundidad teórica: El artículo establece un sistema teórico completo y profundo, abarcando desde definiciones básicas hasta estructuras profundas.
- Innovación técnica: La introducción de condiciones de cadena en endoimágenes es innovadora y abre nuevas direcciones de investigación.
- Completitud de resultados: Se proporcionan caracterizaciones completas en clases importantes de anillos, con resultados teóricos muy sólidos.
- Claridad de presentación: El artículo tiene una estructura clara, definiciones precisas y demostraciones rigurosas.
- Aplicaciones limitadas: Como investigación puramente teórica, carece de contextos de aplicación concretos.
- Aspectos computacionales: Faltan algoritmos efectivos para determinar la endoartinianidad.
- Restricciones en generalización: Las condiciones de hipótesis de algunos resultados son relativamente fuertes, limitando la universalidad de la teoría.
- Contribución académica: Proporciona nuevas direcciones de investigación y herramientas para la teoría de anillos y módulos.
- Valor teórico: Unifica varios conceptos aparentemente no relacionados, con importante valor teórico.
- Investigación posterior: Proporciona material abundante y problemas sin resolver para investigaciones futuras.
- Investigación en teoría de anillos: Proporciona nuevas herramientas para estudiar la estructura de anillos.
- Aplicaciones en teoría de módulos: Puede ser útil en la investigación de descomposición y estructura de módulos.
- Geometría algebraica: Puede tener aplicaciones en el estudio de estructuras de anillos de variedades algebraicas.
El artículo incluye 32 referencias bibliográficas que abarcan literatura clásica en teoría de anillos y módulos, incluyendo:
- Rings and categories of modules de Anderson & Fuller
- A first course in noncommutative rings de Lam
- Trabajos de la serie de Facchini & Nazemian sobre módulos equiartinianos
- Teoremas clásicos de Hopkins y Levitzki
- Así como otros resultados de investigación moderna relacionados
Evaluación General: Este es un artículo de alta calidad de matemática pura teórica que realiza contribuciones importantes en los campos de la teoría de anillos y módulos. El artículo establece un sistema teórico completo para módulos endoartinianos, resuelve varios problemas importantes en el campo, e indica direcciones para investigaciones futuras. Aunque carece de aplicaciones directas, su valor teórico y contribución académica son significativos.