Separable functors and firm modules

Resumo Técnico: Funtores Separáveis e Módulos Firmes

Declaração do Problema
O artigo aborda a extensão de conceitos clássicos da teoria de anéis — especificamente extensões de anéis separáveis e funtores separáveis — do contexto unitário para o contexto de anéis não unitários. Embora as extensões separáveis sejam bem compreendidas para anéis unitários (onde fornecem uma explicação categórica para o teorema de Maschke e a herança da semissimplicidade), a literatura sobre anéis não unitários é escassa. Resultados existentes frequentemente dependem de suposições restritivas, como anéis possuírem "idempotentes suficientes". O problema central é determinar se a maquinaria de funtores separáveis pode ser sistematicamente estendida para categorias apropriadas de módulos sobre anéis não unitários gerais, utilizando especificamente a estrutura de módulos firmes introduzida por Quillen.

Metodologia
O autor, Patrik Lundström, adota uma abordagem categórica fundamentada na teoria de módulos firmes.

1. Estrutura Categórica: O artigo começa estabelecendo uma conta sistemática de funtores separáveis entre categorias arbitrárias. Prova-se que funtores separáveis refletem propriedades estruturais-chave, incluindo limites, colimites, monomorfismos, epimorfismos, seções, retrações e isomorfismos. Crucialmente, demonstra-se que a separabilidade reflete propriedades de objetos, como a simplicidade de subobjeto/quociente, semissimplicidade e a existência de objetos nulos.
2. Categorias de Módulos: O estudo foca em anéis associativos não unitários. O autor distingue entre vários tipos de módulos: unitários, unitários, s-unitários e firmes. Um módulo à esquerda $A$-módulo $M$ é firme se o mapa de multiplicação $\mu_{A,M}: A \otimes_A M \to M$ for um isomorfismo. O artigo esclarece que, para anéis que são esquerda s-unitários (onde cada elemento $m$ satisfaz $m \in Am$), as categorias de módulos unitários, s-unitários e firmes coincidem.
3. Análise Functorial: A metodologia central envolve analisar o funtor de restrição $\text{Res}_f: A\text{FMod} \to B\text{FMod}$ e o funtor de indução $\text{Ind}_f: B\text{FMod} \to A\text{FMod}$ associados a um homomorfismo de anéis $f: B \to A$. O autor investiga as condições sob as quais esses funtores são separáveis, vinculando a separabilidade do funtor à separabilidade da extensão de anéis $A/B$.

Principais Contribuições e Resultados
O artigo estabelece vários análogos não unitários de teoremas clássicos:

• Teorema 3 (Equivalência Principal): Seja $A$ um anel firme e $f: B \to A$ um homomorfismo de anéis à esquerda firme. A extensão $A/B$ é separável se e somente se o funtor de restrição $\text{Res}_f: A\text{FMod} \to B\text{FMod}$ for separável. Isso generaliza um resultado clássico de Nastasescu, Van den Bergh e Van Oystaeyen para o contexto de módulos firmes.
• Teorema 4 (Herança de Semissimplicidade): Se $A$ e $B$ são anéis esquerda s-unitários, $B$ é esquerda semissimples e $f: B \to A$ é um homomorfismo esquerda s-unitário tal que $A/B$ é separável, então $A$ é esquerda semissimples. Este resultado baseia-se no fato de que funtores separáveis refletem a semissimplicidade na categoria de módulos firmes.
• Teorema 5 (Separabilidade de Anéis de Grupo): Seja $G$ um grupo finito e $B$ um anel com unidades locais satisfazendo $|G|B = B$. O anel de grupo $A = B[G]$ forma uma extensão separável sobre $B$. A prova constrói uma divisão explícita de $A$-bimódulo para o mapa de multiplicação usando unidades locais.
• Teorema 6 (Teorema de Maschke Localmente Unitário): Combinando os Teoremas 4 e 5, o artigo prova que, se $B$ é um anel semissimples com unidades locais satisfazendo $|G|B = B$, então o anel de grupo $A = B[G]$ é semissimples. Isso fornece uma versão localmente unitária do teorema de Maschke.
• Teorema 45 (Propriedade Hereditária): O artigo estende os resultados para anéis hereditários, mostrando que, sob condições semelhantes de separabilidade e preservação, a propriedade hereditária é herdada pela extensão.

Significado e Afirmações
O artigo afirma fornecer uma "versão localmente unitária do teorema de Maschke" e estender resultados clássicos de semissimplicidade para um amplo contexto não unitário. Ao utilizar módulos firmes, o autor generaliza trabalhos anteriores que exigiam que os anéis tivessem "idempotentes suficientes". O significado reside em demonstrar que o vínculo conceitual entre extensões de anéis separáveis e a herança da semissimplicidade mantém-se mesmo na ausência de uma unidade global, desde que os anéis e módulos satisfaçam a condição de firmeza.

O autor observa que, embora poucos resultados existam sobre separabilidade para anéis não unitários, este trabalho preenche essa lacuna ao adaptar a maquinaria functorial da separabilidade. Os resultados são apresentados como análogos diretos de teoremas clássicos, recuperando resultados conhecidos (como o teorema de Maschke) como casos especiais, ao mesmo tempo que os aplicam a anéis que surgem de somas diretas infinitas ou construções locais, que são comuns na álgebra não unitária, mas carecem de unidades globais. O artigo não propõe novas aplicações experimentais, mas sim solidifica a fundação teórica para o estudo de estruturas semissimples em contextos não unitários.