Extensions of Centrally Essential Rings

Resumo Técnico: Extensões de Anéis Centralmente Essenciais

Enunciado do Problema
O artigo investiga as propriedades estruturais e as extensões de anéis centralmente essenciais. Um anel unitário não nulo $R$ é definido como centralmente essencial se, para todo elemento não nulo $a \in R$, existirem elementos centrais não nulos $x, y \in Z(R)$ tais que $ax = y$. Esta classe de anéis generaliza os anéis comutativos; notavelmente, estabelece-se na literatura prévia (especificamente [5, Proposição 2.8] que anéis semiprimitivos centralmente essenciais são necessariamente comutativos. Consequentemente, os autores focam na caracterização de anéis centralmente essenciais não comutativos, especificamente dentro da subclasse de anéis quase totalmente primos (anéis onde todo ideal próprio não nulo é primo). O problema central é descrever essas estruturas não comutativas em termos de extensões de ideais, extensões de Dorroh e extensões triviais.

Metodologia
Os autores empregam uma abordagem algébrica estrutural, utilizando as seguintes definições e ferramentas:

1. Extensões de Ideais: Analisando anéis $R$ contendo um ideal $I'$ isomorfo a um anel $I$ tal que $R/I' \cong Q$.
2. Derivações: Utilizando o conceito de derivações incomparáveis $d_1, d_2: F \to M$ (onde os núcleos não são comparáveis) para construir exemplos não comutativos.
3. Extensões de Anéis:
   • Extensão de Dorroh ($D(R, S)$): Construída a partir de um anel $R$ e um bi-módulo $(R, R)$ $S$ com multiplicação $(r_1, s_1)(r_2, s_2) = (r_1r_2, r_1s_2 + s_1r_2 + s_1s_2)$.
   • Extensão Trivial ($T(R, M)$): Um caso específico onde a multiplicação do bi-módulo é zero, resultando em $(r_1, m_1)(r_2, m_2) = (r_1r_2, r_1m_2 + m_1r_2)$.
4. Subconjuntos Centrais: Definindo subconjuntos específicos $T \subseteq R$ e $N \subseteq M$ baseados na existência de elementos centrais não nulos que mapeiam elementos para o centro ou para submódulos centrais.

As provas baseiam-se na análise do reticulado de ideais, nas propriedades dos divisores de zero e na interação entre o centro do anel e seus ideais. Os autores utilizam resultados de trabalhos anteriores (por exemplo, [1], [2], [4], [5], [7]) relativos a anéis subdiretamente indecomponíveis, módulos uniformes e anéis totalmente idempotentes.

Principais Contribuições e Resultados

1. Caracterização de Anéis Centralmente Essenciais Quase Totalmente Primos Não Comutativos
O artigo fornece um teorema de equivalência abrangente (Teorema 1.2) para um anel quase totalmente primo não comutativo $R$. As seguintes condições são provadas como equivalentes:

• $R$ é um anel centralmente essencial.
• $R$ possui um único ideal próprio não nulo $P$ (que está contido no centro $Z(R)$), e o anel quociente $R/P$ é um corpo.
• $R$ é uma extensão de um ideal central $I$ por um corpo $F$.
• $R$ é uma extensão de um ideal central $I$ por um corpo $F$ que admite duas derivações incomparáveis de $F$ para algum corpo de extensão.

Este resultado implica que tais anéis são estruturalmente muito específicos: eles são subdiretamente indecomponíveis, seu conjunto de divisores de zero coincide com o único ideal mínimo $P$, e seu grupo aditivo é isomorfo a uma soma direta de cópias de $\mathbb{Q}$ ou $\mathbb{Z}_p$ (Proposição 4.2).

2. Condições para Extensões Centralmente Essenciais
Os autores estabelecem condições necessárias e suficientes para que as extensões de Dorroh e triviais preservem a propriedade centralmente essencial (Teorema 1.3):

• Extensões de Dorroh: Se $R$ é comutativo, a extensão de Dorroh $D(R, S)$ é centralmente essencial se, e somente se, o bi-módulo $S$ for centralmente essencial.
• Extensões Triviais: A extensão trivial $T(R, M)$ é centralmente essencial se, e somente se, duas condições específicas forem atendidas:
  1. $N = M$ (todo elemento do módulo pode ser mapeado para um elemento central via um elemento de anel central).
  2. $T = R$ (todo elemento do anel pode ser mapeado para um elemento central via um elemento de anel central).

3. Incorporação e Casos Não Unitários
O artigo estende a definição para anéis não unitários e prova (Corolário 3.1) que qualquer anel centralmente essencial pode ser incorporado em um anel unitário centralmente essencial via a extensão de Dorroh sobre os inteiros, $D(\mathbb{Z}, R)$.

4. Contraexemplos e Nuances Estruturais
Os autores fornecem exemplos explícitos para ilustrar os limites dessas definições:

• Exemplo 1.1: Constrói um anel quase totalmente primo centralmente essencial não comutativo usando um anel de matrizes sobre um corpo com derivações incomparáveis.
• Exemplo 4.5: Demonstra uma extensão trivial $T(R, M)$ que não é centralmente essencial, mostrando que as condições no Teorema 1.3 são estritas.
• Exemplo 4.6: Constrói uma extensão trivial centralmente essencial onde as ações de módulo à esquerda e à direita diferem ($RM \neq MR$), destacando que a comutatividade da ação do módulo não é um pré-requisito para que a extensão seja centralmente essencial.

Significado e Alegações
O artigo afirma fornecer uma descrição estrutural precisa de anéis quase totalmente primos centralmente essenciais não comutativos, ligando-os diretamente a extensões de corpos com derivações incomparáveis. Ele esclarece o comportamento das propriedades centralmente essenciais sob construções padrão da teoria de anéis (extensões de Dorroh e triviais). O trabalho serve para refinar a compreensão de como a centralidade e a essencialidade interagem em contextos não comutativos, distinguindo particularmente anéis que estão "próximos" de serem comutativos (via ideais centrais) daqueles que não estão. Os autores não reivindicam aplicações amplas fora da teoria de anéis, mas posicionam os resultados como um passo fundamental na classificação dessas estruturas algébicas específicas.