The ν-Prime Ideal Sum Graph of a Nearring

Sintesi Tecnica: Il Grafico della Somma di Ideali $\nu$-Prime di un Nearring

Enunciato del Problema
Il saggio affronta la necessità di studiare l'interazione tra le proprietà algebriche e combinatorie dei nearring attraverso costruzioni teoria-grafiche. Mentre i grafici dei divisori dello zero e i grafi basati sugli ideali sono stati ampiamente studiati nella teoria degli anelli, la struttura degli ideali nei nearring è più delicata, presentando nozioni distinte di primalità (0-prime, 3-prime, c-prime e equiprime). La letteratura esistente ha esplorato i grafici dei divisori dello zero dei nearring e i grafi basati su specifici ideali primi, ma mancava un quadro unificato per analizzare la somma degli ideali rispetto a queste varie condizioni di primalità. Gli autori mirano a definire e caratterizzare il grafico della somma di ideali $\nu$-prime ($\nu$-PSG($N$)) per un nearring $N$, dove $\nu \in \{0, 3, c, e\}$.

Metodologia
Gli autori definiscono il $\nu$-PSG($N$) come un grafo in cui:

• Vertici: L'insieme di tutti gli ideali propri e non triviali del nearring $N$.
• Adiacenza: Due vertici distinti (ideali) $I$ e $J$ sono adiacenti se e solo se la loro somma $I + J$ è un ideale $\nu$-prime proprio di $N$.

La metodologia prevede l'instaurazione delle proprietà strutturali fondamentali di questi grafi. Gli autori derivano le condizioni necessarie e sufficienti per la connettività e calcolano o determinano i limiti di standard degli invarianti grafici, tra cui il numero di clique ($\omega$), il diametro, il girth (perimetro) e il numero di dominazione ($\gamma$). L'analisi si basa sulle proprietà algebriche dei nearring, come l'esistenza di ideali massimali, il comportamento degli ideali sotto omomorfismi e specifiche proprietà dei nearring come l'Identità per i Prodotti (IFP) e la permutabilità a destra. Lo studio include esempi specifici utilizzando nearring definiti su insiemi come $\mathbb{Z}_2^3$ e il gruppo diedro $D_8$ per illustrare i risultati teorici.

Contributi Chiave e Risultati

1. Definizione e Proprietà di Base:
   Il saggio introduce formalmente il $\nu$-PSG($N$) per $\nu \in \{0, 3, c, e\}$. Stabilisce che se un nearring è semplice, il grafo non è definito. Se un nearring non contiene ideali $\nu$-prime non triviali, il grafo è totalmente disconnesso.

2. Connettività e Diametro:

   • Connettività: Per i nearring unitari, il saggio dimostra che $0$-PSG($N$) è disconnesso se e solo se $N$ è la somma diretta di due nearring semplici.
   • Diametro: Per un $0$-PSG($N$) connesso in un nearring unitario, il diametro è limitato da 4.
   • Grafi a Stella: Gli autori caratterizzano i nearring in cui il grafo è un grafo a stella: ciò avviene se e solo se $N$ ha un unico ideale minimale e ogni altro ideale proprio, non triviale e non minimale è massimale e $\nu$-prime.

3. Grafi Completi e Dominazione:

   • Completezza: Vengono fornite le condizioni affinché il $\nu$-PSG($N$) sia un grafo completo, richiedendo specificamente un unico ideale massimale $\nu$-prime $M$ tale che tutti gli altri ideali propri si intersechino a coppie in modo triviale.
   • Dominazione: Per i nearring unitari, l'insieme di tutti gli ideali massimali forma un insieme di dominazione minimale per $0$-PSG($N$), il che implica che il numero di dominazione $\gamma(0\text{-PSG}(N)) \le |M|$.

4. Invarianti del Grafo:

   • Girth (Perimetro): Se $N$ contiene due ideali incomparabili che sono adiacenti, il girth del grafo è 3.
   • Numero di Clique: Il saggio stabilisce che il sottografo indotto da una catena di ideali $\nu$-prime forma una clique. Inoltre, per un omomorfismo suriettivo di nearring $\phi: N \to N'$, il numero di clique soddisfa $\omega(\nu\text{-PSG}(N')) \le \omega(\nu\text{-PSG}(N))$.

5. Relazioni tra Varianti:
   Il saggio chiarisce le relazioni tra le diverse varianti del grafo basate sulla gerarchia degli ideali primi. Ad esempio, poiché ogni ideale c-prime è un ideale 3-prime, il c-PSG($N$) è un sottografo di 3-PSG($N$). Sotto specifiche condizioni (come la permutabilità a destra o l'IFP), questi grafi possono essere mostrati come identici.

6. Omomorfismo e Isomorfismo:
   Gli autori dimostrano che un omomorfismo suriettivo di nearring induce un omomorfismo di grafo tra i corrispondenti grafi della somma di ideali $\nu$-prime. Forniscono anche un esempio di nearring non isomorfi che producono grafi della somma di ideali $\nu$-prime isomorfi, indicando che la struttura del grafo non determina univocamente il nearring.

Significatività
Il saggio sostiene che il grafico della somma di ideali $\nu$-prime serve come quadro unificato per studiare le interazioni della somma di ideali corrispondenti a molteplici nozioni di primalità nei nearring. Traducendo le proprietà algebriche (come l'esistenza di un unico ideale massimale o le decomposizioni in somma diretta) in proprietà teoria-grafiche (connettività, diametro e dominazione), il lavoro permette di riflettere e distinguere le caratteristiche strutturali del nearring sottostante. I risultati forniscono una base fondamentale per ulteriori indagini su altri invarianti grafici di queste strutture, estendendo la linea di ricerca dalla teoria degli anelli al dominio più complesso dei nearring.