🔢 mathematics

Rings in which one-sided strongly $π$ -regular elements are strongly $π$ -regular

Este artículo investiga la cuestión de Hartwig-Luh con respecto a la simetría de la regularidad fuertemente $\pi$ -regular de un solo lado en anillos de Dedekind finitos, extendiendo los resultados positivos conocidos a nuevas clases mientras demuestra que la condición no es simétrica izquierda-derecha.

Autores originales: Dimple Rani Goyal, Dinesh Khurana

Publicado 2026-01-22

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Dimple Rani Goyal, Dinesh Khurana

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina una vasta y compleja ciudad llamada Ringland. En esta ciudad, los edificios son números (u objetos abstractos), y las calles son reglas para cómo puedes combinarlos. El artículo que estás consultando es una historia de detectives que investiga una regla específica en Ringland: ¿Importa el orden de las operaciones cuando las cosas se quedan estancadas?

Aquí está el desglose de la historia del artículo, utilizando analogías sencillas.

La Gran Pregunta: El Misterio de la "Calle de un Solo Sentido"

En Ringland, hay un tipo especial de edificio llamado edificio fuertemente $\pi$ -regular. Piensa en esto como un edificio por el cual, si sigues caminando en una dirección específica (multiplicándolo por sí mismo), eventualmente llegas a un callejón sin salida o a un bucle que te permite dar la vuelta y regresar.

Fuertemente $\pi$ -regular por la derecha: Puedes caminar hacia adelante, encontrar un bucle y dar la vuelta para regresar hacia la derecha.
Fuertemente $\pi$ -regular por la izquierda: Puedes caminar hacia adelante, encontrar un bucle y dar la vuelta para regresar hacia la izquierda.
Fuertemente $\pi$ -regular: Puedes hacer ambas cosas. Eres perfectamente simétrico; puedes dar la vuelta sin importar hacia qué lado mires.

El Misterio:
Durante mucho tiempo, los matemáticos se preguntaron: Si un edificio permite dar la vuelta hacia la derecha, ¿permite automáticamente dar la vuelta hacia la izquierda?

En 1977, dos detectives (Hartwig y Luh) hicieron esta pregunta específicamente para un tipo de ciudad llamada anillo Dedekind-finito. En esta ciudad, no puedes tener una "calle de un solo sentido" donde puedas ir de A a B y volver de B a A, pero no de B a A. Es una ciudad donde "A por B es igual a 1" implica que "B por A es igual a 1".

El Giro:
En 2014, otros detectives (Dittmer, Khurana y Nielsen) encontraron un contraejemplo. Construyeron una ciudad extraña donde un edificio podía girar a la derecha pero no a la izquierda. Por lo tanto, la respuesta fue "No, no siempre".

Sin embargo, también descubrieron que en un vecindario específico llamado Anillos de Intercambio (Exchange Rings), la respuesta era "Sí".

La Misión de los Autores

Los autores de este artículo (Dimple Rani Goyal y Dinesh Khurana) decidieron investigar otros vecindarios en Ringland. Querían saber:

¿En qué otros tipos de ciudades Dedekind-finitas se cumple la regla de "Derecha = Izquierda"?
¿Podemos demostrar que la regla "Derecha = Izquierda" no es simétrica? (es decir, ¿puede una ciudad ser "Dischinger por la derecha" pero no "Dischinger por la izquierda"?)

Las Buenas Noticias: Donde la Regla Funciona

Los autores encontraron varios vecindarios donde la regla se cumple. Si la ciudad tiene ciertas propiedades estructurales, entonces "Derecha" automáticamente significa "Izquierda".

El Vecindario "Débilmente Semicomutativo": Imagina un vecindario donde si dos personas chocan entre sí (se multiplican por cero), causan un desastre pequeño y contenido (nilpotente) que no se propaga. En este vecindario, la regla funciona.
El Vecindario "Duo de un Solo Lado": Aquí, cada edificio es parte de un sistema de calles de doble sentido. Si puedes ir a la izquierda, puedes ir a la derecha. Los autores demostraron que si una ciudad es "Duo por la izquierda" (todo fluye hacia la izquierda), también es "Dischinger por la derecha" (la regla funciona).
Los Vecindarios "Goldie" y "Noetheriano": Estas son ciudades con códigos de construcción estrictos (sin cadenas infinitas de edificios cada vez más pequeños). Los autores mostraron que en estas ciudades bien ordenadas, la regla se cumple.
El Vecindario de "Nilpotencia Acotada": Si hay un límite para cuántas veces puedes multiplicar un "edificio cero" antes de que se mantenga en cero, la regla funciona.

Las Malas Noticias: Donde la Regla Falla

Los autores luego dirigieron su atención a una ciudad muy específica y extraña que construyeron basándose en un diseño previo (de Dittmer et al.). Esta ciudad se define por una regla extraña: $a = a^2x$ .

Analizaron esta ciudad en profundidad y descubrieron que es un contraejemplo perfecto. Es una ciudad donde:

Es Dischinger por la izquierda: Si puedes girar a la izquierda, puedes girar a la derecha.
NO es Dischinger por la derecha: Si puedes girar a la derecha, no necesariamente puedes girar a la izquierda.

Esto demuestra que la propiedad no es simétrica entre izquierda y derecha. El hecho de que una ciudad funcione en una dirección no significa que funcione en la otra.

También descubrieron que esta ciudad extraña tiene otras propiedades extrañas:

Es un Anillo NR (los nilpotentes forman un subanillo), pero aun así falla la regla.
Es un Anillo UU (todos los "unidades" o edificios invertibles son solo "1" más un desastre "nilpotente"), pero aun así falla la regla.
Es un Anillo Linealmente McCoy (una regla polinómica específica), pero aun así falla la regla.

La Conclusión

El artículo concluye con algunas preguntas abiertas para futuros detectives:

Sabemos que "Duo por la izquierda" implica "Dischinger por la derecha". ¿Implica "Duo por la izquierda" también "Dischinger por la izquierda"? (Aún no lo sabemos).
¿El hecho de ser un "Anillo McCoy" (una regla polinómica) garantiza la propiedad de Dischinger? (Aún no lo sabemos).

Resumen en una Oración

Los autores mapearon el paisaje de Ringland, demostrando que en algunos vecindarios bien comportados, "girar a la derecha" garantiza "girar a la izquierda", pero también construyeron una ciudad extraña y asimétrica donde puedes girar a la derecha pero te quedas estancado al intentar girar a la izquierda, demostando que estas dos direcciones no siempre son las mismas.

Resumen Técnico: Anillos en los que los elementos fuertemente $\pi$ -regulares de un solo lado son fuertemente $\pi$ -regulares

Planteamiento del Problema
El artículo aborda una pregunta fundamental en la teoría de anillos con respecto a la simetría de las condiciones de regularidad. Específamente, investiga la condición bajo la cual un elemento fuertemente $\pi$ -regular de un solo lado es necesariamente fuertemente $\pi$ -regular (es decir, fuertemente $\pi$ -regular tanto por la izquierda como por la derecha).

Esta indagación surge de una pregunta de 1977 planteada por Hartwig y Luh: Si $S$ es un anillo finito de Dedekind y $a \in S$ satisface $aS = a^2S$ , ¿se sigue que $Sa = Sa^2$ ? Aunque Dittmer, Khurana y Nielsen (2014) proporcionaron una respuesta negativa para anillos de Dedekind-finitos generales, demostraron que la afirmación se cumple para anillos de intercambio (exchange rings) de Dedekind-finitos. Los autores pretenden explorar esta cuestión para otras clases de anillos de Dedekind-finitos y determinar si la propiedad de ser un "anillo de Dischinger" (donde la $\pi$ -regularidad fuerte de un solo lado implica la $\pi$ -regularidad fuerte) es simétrica izquierda-derecha.

Metodología y Definiciones
Los autores utilizan el marco de los elementos fuertemente $\pi$ -regulares, definidos como elementos $a$ tales que $a^n = a^{n+1}x$ para algún $n \ge 1$ y $x \in R$ . Un anillo se denomina derecha Dischinger si todo elemento fuertemente $\pi$ -regular por la derecha es fuertemente $\pi$ -regular.

La metodología consiste en:

Derivación Teórica: Establecer equivalencias entre las condiciones de regularidad de un solo lado y las propiedades de las unidades, los idempotentes y los anuladores.
Construcción de Contraejemplos: Analizar el anillo específico $R = F\langle a, x : a = a^2x \rangle$ (donde $F$ es un anillo conmutativo con idempotentes triviales), construido originalmente por Dittmer et al. para mostrar que los anillos de Dedekind-finitos no tienen por qué ser derecha Dischinger.
Análisis Estructural: Los autores realizan un análisis detallado de la base monomial de $R$ (utilizando un orden total específico $\prec$ sobre los monomios reducidos) para caracterizar sus elementos nilpotentes, divisores de cero y unidades. Esto permite probar diversas propiedades de los anillos frente a la condición de Dischinger.

Contribuciones Clave y Resultados

Generalización del Teorema de Azumaya: Los autores generalizan el resultado de Azumaya de que los anillos con índice de nilpotencia acotado son Dischinger. Demuestran (Teorema 2.10) que un anillo con identidad es derecha Dischinger si satisface condiciones de cadena específicas sobre los ideales principales derechos o sobre los anuladores izquierdos que involucran elementos nilpotentes.
Condiciones Suficientes para Anillos de Dischinger:
- Anillos Débilmente Semicomutativos: Se demuestra que son Dischinger (Corolario 2.5).
- Anillos NI y NR: Mientras que los anillos NI (donde los nilpotentes forman un ideal) son Dischinger, los autores muestran que los anillos NR (donde los nilpotentes forman un subanillo) no son necesariamente derecha Dischinger.
- Anillos Duo de un Solo Lado: Se demuestra que los anillos débilmente izquierda duo con identidad son derecha Dischinger (Corolario 2.8).
- Anillos Goldie de la Izquierda: Se demuestra que son Dischinger (Corolario 2.14), extendiendo el resultado a anillos con dimensión uniforme finita y ACC sobre anuladores izquierdos.
Asimetría Izquierda-Derecha: La contribución central es la prueba de que la condición de Dischinger no es simétrica izquierda-derecha.
- Los autores demuestran que el anillo $R = F_2\langle a, x : a = a^2x \rangle$ es izquierda Dischinger pero no derecha Dischinger (Teorema 3.10).
- Establecen que, en este anillo, el conjunto de divisores de cero por la izquierda es $Ra$, mientras que el conjunto de divisores de cero por la derecha es $\bigcup r_R(a^n)$ .
- Prueban que $R$ satisface la condición de cadena ascendente (ACC) sobre los anuladores izquierdos pero no es derecha Dischinger, mostrando que la ACC sobre los anuladores izquierdos por sí sola es insuficiente para la propiedad de ser derecha Dischinger.
Caracterización de Clases Específicas:
- Anillos UU: El anillo $R$ demuestra ser un anillo UU (todas las unidades son unipotentes), pero no es derecha Dischinger.
- Anillos McCoy: El anillo $R$ es probado como tanto linealmente McCoy por la izquierda como por la derecha, pero no es derecha Dischinger. Esto deja abierta la cuestión de si los anillos McCoy con identidad son Dischinger.

Significación y Reivindicaciones
El artículo afirma resolver la validez local del resultado de Dischinger para varias clases de anillos de Dedekind-finitos. Mediendo rigurosamente el anillo $R$ , los autores proporcionan un contraejemplo definitivo que muestra que:

Un anillo puede ser izquierda Dischinger sin ser derecha Dischinger.
Propiedades tales como ser un anillo NR, un anillo UU, o satisfacer la ACC sobre los anuladores izquierdos, no garantizan la propiedad de ser derecha Dischinger.
La condición "la $\pi$ -regularidad fuerte de un solo lado implica la $\pi$ -regularidad fuerte" es inherentemente asimétrica en anillos generales.

Los autores concluyen planteando varias preguntas abiertas, incluyendo si los anillos McCoy con identidad, ya sean por la derecha o por la izquierda, son Dischinger, y si los anillos débilmente izquierda duo son izquierda Dischinger, indicando que la clasificación de los anillos Dischinger sigue siendo un área de investigación activa.