Separable functors and firm modules

Resumen Técnico: Funtores Separables y Módulos Firmes

Planteamiento del Problema
El artículo aborda la extensión de conceptos clásicos de la teoría de anillos —específicamente extensiones separables de anillos y funtores separables— desde el contexto unitario al de anillos no unitarios. Si bien las extensiones separables están bien comprendidas para anillos unitarios (donde proporcionan una explicación categórica del teorema de Maschke y la herencia de la semisimplicidad), la literatura sobre anillos no unitarios es escasa. Los resultados existentes a menudo dependen de suposiciones restrictivas, como que los anillos tengan "suficientes idempotentes". El problema central es determinar si la maquinaria de los funtores separables puede extenderse sistemáticamente a categorías apropiadas de módulos sobre anillos no unitarios generales, utilizando específicamente el marco de los módulos firmes introducidos por Quillen.

Metodología
El autor, Patrik Lundström, adopta un enfoque categórico fundamentado en la teoría de los módulos firmes.

1. Marco Categórico: El artículo comienza estableciendo un tratamiento sistemático de los funtores separables entre categorías arbitrarias. Demuestra que los funtores separables reflejan propiedades estructurales clave, incluyendo límites, colímites, monomorfismos, epimorfismos, secciones, retracciones e isomorfismos. Crucialmente, demuestra que la separabilidad refleja propiedades de los objetos, como la simplicidad de subobjetos/cocientes, la semisimplicidad y la existencia de objetos cero.
2. Categorías de Módulos: El estudio se centra en anillos asociativos no unitarios. El autor distingue entre varios tipos de módulos: unitarios, unitarios, s-unitarios y firmes. Un módulo izquierdo $A$-módulo $M$ es firme si el mapa de multiplicación $\mu_{A,M}: A \otimes_A M \to M$ es un isomorfismo. El artículo aclara que para anillos que son s-unitarios a la izquierda (donde cada elemento $m$ satisface $m \in Am$), las categorías de módulos unitarios, s-unitarios y firmes coinciden.
3. Análisis Functorial: La metodología central implica analizar el funtor de restricción $\text{Res}_f: A\text{FMod} \to B\text{FMod}$ y el funtor de inducción $\text{Ind}_f: B\text{FMod} \to A\text{FMod}$ asociados a un homomorfismo de anillos $f: B \to A$. El autor investiga las condiciones bajo las cuales estos funtores son separables, vinculando la separabilidad del funtor con la separabilidad de la extensión de anillos $A/B$.

Contribuciones y Resultados Clave
El artículo establece varias analogías no unitarias de teoremas clásicos:

• Teorema 3 (Equivalencia Principal): Sea $A$ un anillo firme y $f: B \to A$ un homomorfismo de anillos firme a la izquierda. La extensión $A/B$ es separable si y solo si el funtor de restricción $\text{Res}_f: A\text{FMod} \to B\text{FMod}$ es separable. Esto generaliza un resultado clásico de Nastasescu, Van den Bergh y Van Oystaeyen al contexto de módulos firmes.
• Teorema 4 (Herencia de Semisimplicidad): Si $A$ y $B$ son anillos s-unitarios a la izquierda, $B$ es semisimple a la izquierda, y $f: B \to A$ es un homomorfismo s-unitario a la izquierda tal que $A/B$ es separable, entonces $A$ es semisimple a la izquierda. Este resultado se basa en el hecho de que los funtores separables reflejan la semisimplicidad en la categoría de módulos firmes.
• Teorema 5 (Separabilidad de Anillos de Grupos): Sea $G$ un grupo finito y $B$ un anillo con unidades locales que satisface $|G|B = B$. El anillo de grupos $A = B[G]$ forma una extensión separable sobre $B$. La prueba construye una división explícita de $A$-bimódulo para el mapa de multiplicación utilizando unidades locales.
• Teorema 6 (Teorema de Maschke Localmente Unitario): Combinando los Teoremas 4 y 5, el artículo demuestra que si $B$ es un anillo semisimple con unidades locales que satisface $|G|B = B$, entonces el anillo de grupos $A = B[G]$ es semisimple. Esto proporciona una versión localmente unitaria del teorema de Maschke.
• Teorema 45 (Propiedad Hereditaria): El artículo extiende los resultados a anillos hereditarios, mostrando que bajo condiciones similares de separabilidad y preservación, la propiedad hereditaria es heredada por la extensión.

Significado y Afirmaciones
El artículo afirma proporcionar una "versión localmente unitaria del teorema de Maschke" y extender resultados clásicos de semisimplicidad a un amplio contexto no unitario. Al utilizar módulos firmes, el autor generaliza trabajos anteriores que requerían que los anillos tuvieran "suficientes idempotentes". El significado radica en demostrar que el vínculo conceptual entre las extensiones separables de anillos y la herencia de la semisimplicidad se mantiene incluso en ausencia de una unidad global, siempre que los anillos y los módulos satisfagan la condición de firmeza.

El autor señala que, aunque existen pocos resultados sobre separabilidad para anillos no unitarios, este trabajo cierra esa brecha al adaptar la maquinaria functorial de la separabilidad. Los resultados se presentan como analogías directas de teoremas clásicos, recuperando resultados conocidos (como el teorema de Maschke) como casos especiales mientras los aplican a anillos que surgen de sumas directas infinitas o construcciones locales, que son comunes en el álgebra no unitaria pero carecen de unidades globales. El artículo no propone nuevas aplicaciones experimentales, sino que consolida la base teórica para estudiar estructuras semisimples en contextos no unitarios.