Reduced rank in $σ[M]$

Sintesi Tecnica: Rango Ridotto in $\sigma[M]$

Enunciato del Problema
Il saggio affronta l'estensione del concetto di "rango ridotto", introdotto originariamente da Goldie per gli anelli semi-primi di Goldie, al contesto più ampio della teoria dei moduli della categoria $\sigma[M]$. Nella teoria classica degli anelli, il rango ridotto caratterizza gli ordini sinist

di anelli artiniani a sinistra e si basa sulla dimensione dei moduli sul classico anello dei quozienti. Mentre i lavori precedenti hanno esteso tale concetto ad anelli arbitrari utilizzando il radicale primo e le teorie della torsione ereditarie, questo saggio mira a generalizzare la nozione a moduli $M$ all'interno della categoria $\sigma[M]$ (la sottocategoria completa di $R\text{-Mod}$ costituita dai moduli sottogenerati da $M$). Il problema centrale è definire un "rango ridotto finito" significativo per un modulo $M$ in $\sigma[M]$, determinare le proprietà strutturali di tali moduli e stabilire le condizioni sotto le quali l'anello degli endomorfismi di $M$ diventa un ordine in un anello artiniano, generalizzando così il Teorema di Small.

Metodologia
Gli autori utilizzano il quadro delle teorie della torsione ereditarie all'interno della categoria di Grothendieck $\sigma[M]$. La metodologia prevede:

1. Sotto moduli Primi e Radicali: Utilizzare il concetto di sotto moduli primi (introdotto da Raggi et al.) per definire il radicale primo di un modulo, denotato con $L(M)$, come l'intersezione di tutti i sotto moduli primi.
2. Teorie della Torsione: Definire specifiche teorie della torsione ereditarie. La teoria primaria, denotata $\gamma$, è cogenerata dall'involucro $M$-iniettivo di $M/L(M)$. Un'altra teoria, $\tau_g$, è cogenerata dall'involucro $M$-iniettivo di $M$ stesso.
3. Categorie di Quoziente: Analizzare la struttura della categoria di quoziente $\sigma[M]/\gamma$ e del modulo di quoziente $Q_\gamma(M)$. Il saggio indaga quando $Q_\gamma(M)$ ha lunghezza finita in questa categoria di quoziente, il che funge da definizione di "rango ridotto finito" per $M$.
4. Anelli degli Endomorfismi: Esaminare la relazione tra il modulo $M$, il suo anello degli endomorfismi $S = \text{End}_R(M)$, e l'anello degli endomorfismi del suo modulo di quoziente $T = \text{End}_R(Q_\gamma(M))$.
5. Condizioni di Ore: Indagare se l'insieme $C(N)$ di endomorfismi che inducono monomorfismi su $M/N$ formi un insieme di Ore a destra, un passaggio cruciale per stabilire le proprietà di ordine.

Contributi Chiave e Risultati

• Definizione di Rango Ridotto Finito in $\sigma[M]$:
  Il saggio definisce che un modulo $M$ ha rango ridotto finito in $\sigma[M]$ se il modulo di quoziente $Q_\gamma(M)$ ha lunghezza finita nella categoria di quoziente $\sigma[M]/\gamma$, dove $\gamma$ è la teoria della torsione cogenerata da $E[M](M/L(M))$.

• Caratterizzazione tramite Proprietà di Reticolo:
  Il Teorema 4.5 stabilisce che per un generatore proiettivo $M$ in $\sigma[M]$, avere un rango ridotto finito è equivalente a:

1. L'insieme dei sotto moduli $\gamma$-saturi che soddisfano la condizione di catena ascendente (ACC).
2. $M/L(M)$ essere un modulo di Goldie semi-primo.
3. L'esistenza di $k > 0$ tale che $L(M)^k \subseteq \gamma(M)$.
4. $M/A$ avere dimensione uniforme finita per ogni $A \in \text{Sat}_\gamma(M)$.

• Proprietà Strutturali della Categoria di Quoziente:
  Quando $M$ è un modulo di Goldie semi-primo e proiettivo in $\sigma[M]$, la categoria di quoziente $\sigma[M]/\tau_g$ (cogenerata da $E[M](M)$) è provata essere una categoria spettrale discreta equivalente a $\text{Mod-End}_R(\widehat{M})$, dove $\widehat{M}$ è l'involucro $M$-iniettivo di $M$. In questo contesto, $Q_{\tau_g}(M)$ è semisemplice di lunghezza finita.

• Invarianza e Preservazione:
  La proprietà di avere un rango ridotto finito è mostrata essere preservata sotto:

• Equivalenze tra categorie del tipo $\sigma[M]$ (invarianza di Morita).

• Somme dirette e sommi diretti (sotto specifiche condizioni, ad esempio, se $\text{Hom}_R(L, N) = 0$).

• Anelli angolari (Corner rings): Se $R$ ha un rango ridotto finito e $e$ è un idempotente semicentrale a destra, allora $eRe$ ha un rango ridotto finito.

• Generalizzazione del Teorema di Small:
  Il risultato principale del saggio (Teorema 5.7) generalizza il Teorema di Small al contesto dei moduli. Esso dimostra che per un generatore proiettivo $M$ in $\sigma[M]$ con anello degli endomorfismi $S$, i seguenti sono equivalenti:

1. $M$ ha un rango ridotto finito in $\sigma[M]$ e $C(L(M)) \subseteq C(0)$ (ovvero, gli endomorfismi che inducono monomorfismi su $M/L(M)$ sono monomorfismi su $M$).
2. $T = \text{End}_R(Q_\gamma(M))$ è un anello artiniano e $S$ è un ordine a destra in $T$.

• Implicazioni della Dimensione di Krull:
  Gli autori mostrano che se un generatore proiettivo $M$ in $\sigma[M]$ possiede la dimensione di Krull, allora il suo radicale primo $L(M)$ è nilpotente e, di conseguenza, $M$ ha un rango ridotto finito in $\sigma[M]$.

Significato
Il saggio sostiene di fornire un quadro unificato per comprendere il rango ridotto che si estende oltre la teoria classica degli anelli agli arbitri moduli all'interno della categoria $\sigma[M]$. Caratterizzando il rango ridotto finito attraverso le proprietà del radicale primo e la struttura della categoria di quoziente, gli autori estendono il Teorema di Small, che tradizionalmente collega la proprietà di essere un ordine in un anello artiniano all'esistenza di un classico anello dei quozienti. I risultati dimostrano che l'invarianza di Morita del rango ridotto finito è valida in questo contesto generalizzato e forniscono condizioni specifiche sotto le quali gli anelli degli endomorfismi dei moduli si comportano come ordini in anelli artiniani. Questo lavoro colma il divario tra la teoria dei moduli di Goldie e la più ampia teoria degli ordini in anelli artiniani, offrendo una prospettiva modulo-teorica sui risultati classici della teoria degli anelli.