Ordered semigroups and ideal categories of principal ideal rings

Resumen Técnico: Semigrupos Ordenados y Categorías de Ideales de Anillos de Ideales Principales

Enunciado del Problema
El artículo investiga las estructuras algebraicas y categóricas inherentes a la colección de ideales de un anillo de ideales principales (AIP) conmutativo con unidad. Específicamente, los autores abordan la naturaleza dual de esta colección: primero, como un semigrupo ordenado $I(R)$ bajo la multiplicación de ideales y un orden parcial basado en la divisibilidad, y segundo, como una categoría $I_R$ donde los objetos son ideales y los morfismos son aplicaciones $R$-lineales. El problema central es caracterizar las propiedades del semigrupo ordenado $I(R)$ y establecer una correspondencia rigurosa entre esta estructura de semigrupo y la estructura categórica de $I_R$.

Metodología
Los autores emplean una combinación de la teoría de semigrupos ordenados, la teoría de anillos y la teoría de categorías.

1. Construcción del Semigrupo Ordenado: El conjunto de ideales $I(R)$ se dota de la multiplicación de ideales como operación del semigrupo. Se define un orden parcial $\preccurlyeq$ en $I(R)$ tal que, para ideales principales $A=\langle a \rangle$ y $B=\langle b \rangle$, $A \preccurlyeq B$ si y solo si $a$ divide a $b$ en $R$. Los autores verifican que este orden es compatible con la multiplicación y que cada elemento en $I(R)$ es "ordenadamente regular" (satisfaciendo $A \preccurlyeq AXA$ para algún $X$).
2. Formulación Categórica: La categoría $I_R$ se define con ideales como objetos y aplicaciones $R$-lineales como morfismos. Los autores identifican una subcategoría $P$ constituida por aplicaciones de inclusión, demostrando que $(I_R, P)$ satisface los axiomas de una "categoría con subobjetos".
3. Correspondencia Estructural: Para vincular estas estructuras, los autores construyen una categoría estricta de preorden $C$ donde existe un morfismo de $A$ a $B$ si y solo si $A \preccurlyeq B$. A continuación, definen un funtor contravariante $F: C \to I_R$ que mapea la relación de orden en el semigrupo a aplicaciones de inclusión en la categoría.

Resultados Clave y Contribuciones
El artículo establece varias propiedades y teoremas específicos respecto a la estructura de los ideales en AIPs conmutativos:

• Estructura de Semigrupo Ordenado Regular: El Teorema 2.1 prueba que $(I(R), \cdot, \preccurlyeq)$ es un semigrupo ordenado regular. A diferencia de la regularidad clásica que requiere $a = axa$, la regularidad ordenada aquí exige $a \preccurlyeq axa$. Los autores muestran que para cualquier ideal $A=\langle a \rangle$, se cumple $A \preccurlyeq A \langle x \rangle A$ para cualquier $x \in R$.
• Propiedades de Regularidad Fuerte: El Teorema 2.10 demuestra que $I(R)$ satisface un conjunto robusto de condiciones de regularidad:
  • Es intrarregular ($A \preccurlyeq XA^2Y$).
  • Es un semigrupo ordenado inverso (cada elemento tiene un inverso ordenado único hasta la relación $\mathcal{H}$).
  • Cada elemento es una idempotente ordenada ($A \preccurlyeq A^2$).
  • Es completamente regular, tipo grupo y un semigrupo ordenado de Clifford.
• Relaciones de Green: El Teorema 2.9 establece que todas las relaciones de Green ($\mathcal{L}, \mathcal{R}, \mathcal{J}, \mathcal{H}, \mathcal{D}$) en $I(R)$ son relaciones universales. Esto es una consecuencia de la existencia del ideal cero y de la conmutatividad de $R$, lo que fuerza a que cada ideal esté relacionado con cualquier otro ideal bajo estas relaciones de equivalencia.
• Isomorfismos y Transversales Inversas:
  • El Teorema 2.5 muestra que si dos AIPs conmutativos $R$ y $S$ son isomorfos, sus semigrupos de ideales son isomorfos. Se señala que la recíproca no se cumple en general (por ejemplo, los cuerpos $\mathbb{R}$ y $\mathbb{Q}$).
  • La Proposición 2.7 identifica al conjunto que contiene únicamente el ideal unidad $\{\langle 1 \rangle\}$ como una transversal inversa para el semigrupo ordenado de ideales.
  • La Proposición 2.8 vincula la regularidad de von Neumann de un elemento $a \in R$ con la regularidad del ideal principal $\langle a \rangle$ en el semigrupo $I(R)$.
• Ejemplos Concretos: El artículo proporciona isomorfismos explícitos para anillos específicos:
  • $I(\mathbb{Z})$ es isomorfo al semigrupo ordenado de enteros no negativos bajo multiplicación y divisibilidad.
  • $I(\mathbb{Z}_n)$ es isomorfo al conjunto de divisores de $n$ con una operación específica basada en el máximo común divisor.
  • $I(F[x])$ es isomorfo al conjunto de clases de equivalencia de polinomios bajo multiplicación por escalares, ordenado por divisibilidad.
• Correspondencia Categórica: La contribución teórica principal es la construcción de un funtor contravariante $F$ desde la categoría de preorden $C$ (derivada del orden de divisibilidad de $I(R)$) hacia la categoría $I_R$ (ideales con aplicaciones lineales). Este funtor mapea la existencia de una relación de orden $A \preccurlyeq B$ al morfismo de inclusión $j(B, A): B \to A$ en la categoría de ideales.

Significado y Afirmaciones
El artículo afirma proporcionar una perspectiva unificada sobre los ideales de un anillo de ideales principales conmutativo al visualizarlos simultáneamente como un semigrupo ordenado y una categoría con subobjetos. El significado radica en la demostración de que la divisibilidad de los generadores induce una estructura donde el semigrupo no es meramente regular, sino que satisface fuertes propiedades inversas y de Clifford. Además, los autores establecen una correspondencia natural entre la estructura del semigrupo ordenado y la estructura categórica mediante un funtor contravariante, traduciendo efectivamente las propiedades de orden de los ideales a aplicaciones de inclusión categóricas. El trabajo contribuye a la investigación más amplia de semigrupos ordenados y la representación categórica de estructuras algebraicas, aclarando específicamente el comportamiento de los ideales en AIPs dentro de estos marcos.