Extensions of Centrally Essential Rings

Sintesi Tecnica: Estensioni di Anelli Centralmente Essenziali

Enunciato del Problema
L'articolo investiga le proprietà strutturali e le estensioni degli anelli centralmente essenziali. Un anello unitario non nullo $R$ è definito centralmente essenziale se per ogni elemento non nullo $a \in R$, esistono elementi centrali non nulli $x, y \in Z(R)$ tali che $ax = y$. Questa classe di anelli generalizza gli anelli commutativi; in particolare, è stabilito nella letteratura precedente (specificamente [5, Proposizione 2.8] che gli anelli semiprimi centralmente essenziali sono necessariamente commutativi. Di conseguenza, gli autori si concentrano sulla caratterizzazione di anelli non commutativi centralmente essenziali, specificamente all'interno della sottoclasse degli anelli quasi completamente primi (anelli in cui ogni ideale proprio non nullo è primo). Il problema centrale è descrivere queste strutture non commutative in termini di estensioni di ideali, estensioni di Dorroh ed estensioni triviali.

Metodologia
Gli autori impiegano un approccio algebrico strutturale, utilizzando le seguenti definizioni e strumenti:

1. Estensioni di Ideali: Analisi di anelli $R$ contenenti un ideale $I'$ isomorfo a un anello $I$ tale che $R/I' \cong Q$.
2. Derivazioni: Utilizzo del concetto di derivazioni incomparabili $d_1, d_2: F \to M$ (dove i kernel non sono comparabili) per costruire esempi non commutativi.
3. Estensioni di Anelli:
   • Estensione di Dorroh ($D(R, S)$): Costruita da un anello $R$ e un $(R, R)$-bimodulo $S$ con moltiplicazione $(r_1, s_1)(r_2, s_2) = (r_1r_2, r_1s_2 + s_1r_2 + s_1s_2)$.
   • Estensione Triviale ($T(R, M)$): Un caso specifico in cui la moltiplicazione del bimodule è zero, producendo $(r_1, m_1)(r_2, m_2) = (r_1r_2, r_1m_2 + m_1r_2)$.
4. Sottoinsiemi Centrali: Definizione di specifici sottoinsiemi $T \subseteq R$ e $N \subseteq M$ basati sull'esistenza di elementi centrali non nulli che mappano gli elementi nel centro o in sottomoduli centrali.

Le dimostrazioni si basano sull'analisi del reticolo degli ideali, delle proprietà dei divisori dello zero e dell'interazione tra il centro dell'anello e i suoi ideali. Gli autori sfruttano i risultati di lavori precedenti (ad esempio [1], [2], [4], [5], [7]) riguardanti gli anelli subdirettamente indecomponibili, i moduli uniformi e gli anelli completamente idempotenti.

Contributi Chiave e Risultati

1. Caratterizzazione di Anelli Centralmente Essenziali Quasi Completamente Primi Non Commutativi
L'articolo fornisce un teorema di equivalenza esaustivo (Teorema 1.2) per un anello quasi completamente primo non commutativo $R$. Le seguenti condizioni sono provate essere equivalenti:

• $R$ è un anello centralmente essenziale.
• $R$ possiede un unico ideale proprio non nullo $P$ (che è contenuto nel centro $Z(R)$), e l'anello quoziente $R/P$ è un campo.
• $R$ è un'estensione di un ideale centrale $I$ per un campo $F$.
• $R$ è un'estensione di un ideale centrale $I$ per un campo $F$ che ammette due derivazioni incomparabili da $F$ in un certo campo di estensione.

Questo risultato implica che tali anelli sono strutturalmente molto specifici: sono subdirettamente indecomponibili, il loro insieme di divisori dello zero coincide con l'unico ideale minimale $P$, e il loro gruppo additivo è isomorfo a una somma diretta di copie di $\mathbb{Q}$ o $\mathbb{Z}_p$ (Proposizione 4.2).

2. Condizioni per le Estensioni Centralmente Essenziali
Gli autori stabiliscono condizioni necessarie e sufficienti affinché le estensioni di Dorroh e le estensioni triviali preservino la proprietà centralmente essenziale (Teorema 1.3):

• Estensioni di Dorroh: Se $R$ è commutativo, l'estensione di Dorroh $D(R, S)$ è centralmente essenziale se e solo se il bimodule $S$ è centralmente essenziale.
• Estensioni Triviali: L'estensione triviale $T(R, M)$ è centralmente essenziale se e solo se valgono due condizioni specifiche:
  1. $N = M$ (ogni elemento del modulo può essere mappato in un elemento centrale tramite un elemento centrale dell'anello).
  2. $T = R$ (ogni elemento dell'anello può essere mappato in un elemento centrale tramite un elemento centrale dell'anello).

3. Embedding e Casi Non Unitari
Il articolo estende la definizione ad anelli non unitari e dimostra (Corollario 3.1) che qualsiasi anello centralmente essenziale può essere immerso in un anello unitario centralmente essenziale tramite l'estensione di Dorroh sugli interi, $D(\mathbb{Z}, R)$.

4. Controesempi e Sfumature Strutturali
Gli autori forniscono esempi espliciti per illustrare i confini di queste definizioni:

• Esempio 1.1: Costruisce un anello quasi completamente primo centralmente essenziale non commutativo utilizzando un anello di matrici su un campo con derivazioni incomparabili.
• Esempio 4.5: Dimostra un'estensione triviale $T(R, M)$ che non è centralmente essenziale, mostrando che le condizioni del Teorema 1.3 sono rigorose.
• Esempio 4.6: Costruisce un'estensione triviale centralmente essenziale dove le azioni del modulo a sinistra e a destra differiscono ($RM \neq MR$), evidenziando che la commutatività dell'azione del modulo non è un prerequisito affinché l'estensione sia centralmente essenziale.

Significato e Rivendicazioni
L'articolo sostiene di fornire una descrizione strutturale precisa degli anelli quasi completamente primi centralmente essenziali non commutativi, collegandoli direttamente alle estensioni di campi con derivazioni incomparabili. Chiarisce il comportamento delle proprietà centralmente essenziali sotto le standard costruzioni della teoria degli anelli (estensioni di Dorroh e triviali). Il lavoro serve a raffinare la comprensione di come la centralità e l'essenzialità interagiscano in contesti non commutativi, distinguendo in particolare tra anelli che sono "vicini" alla commutatività (tramite ideali centrali) e quelli che non lo sono. Gli autori non rivendicano ampie applicazioni al di fuori della teoria degli anelli, ma posizionano i risultati come un passo fondamentale per la classificazione di queste specifiche strutture algebriche.