The ν-Prime Ideal Sum Graph of a Nearring

Resumo Técnico: O Grafo de Soma de Ideais $\nu$-Primo de um Nearanel

Enunciado do Problema
O artigo aborda a necessidade de estudar a interação entre propriedades algébricas e combinatórias de nearanéis através de construções da teoria dos grafos. Enquanto os grafos de divisores de zero e grafos baseados em ideais foram extensivamente estudados na teoria de anéis, a estrutura de ideais em nearanéis é mais delicada, apresentando noções distintas de primalidade (0-primo, 3-primo, c-primo e equiprimo). A literatura existente explorou grafos de divisores de zero de nearanéis e grafos baseados em ideais primos específicos, mas faltava uma estrutura unificada para analisar a soma de ideais em relação a essas várias condições de primalidade. Os autores visam definir e caracterizar o grafo de soma de ideais $\nu$-primo ($\nu$-PSG($N$)) para um nearanel $N$, onde $\nu \in \{0, 3, c, e\}$.

Metodologia
Os autores definem o $\nu$-PSG($N$) como um grafo onde:

• Vértices: O conjunto de todos os ideais próprios e não triviais do nearanel $N$.
• Adjacência: Dois vértices distintos (ideais) $I$ e $J$ são adjacentes se, e somente se, sua soma $I + J$ é um ideal $\nu$-primo próprio de $N$.

A metodologia envolve o estabelecimento de propriedades estruturais fundamentais desses grafos. Os autores derivam condições necessárias e suficientes para conectividade e calculam ou limitam invariantes padrão de grafos, incluindo o número de clique ($\omega$), diâmetro, comprimento de ciclo (girth) e número de dominação ($\gamma$). A análise baseia-se nas propriedades algébricas de nearanéis, tais como a existência de ideais maximais, o comportamento de ideais sob homomorfismos e propriedades específicas de nearanéis como a Identidade para Produtos (IFP) e a permutabilidade à direita. O estudo inclui exemplos específicos utilizando nearanéis definidos sobre conjuntos como $\mathbb{Z}_2^3$ e o grupo diedral $D_8$ para ilustrar os resultados teóricos.

Principais Contribuições e Resultados

1. Definição e Propriedades Básicas:
   O artigo introduz formalmente o $\nu$-PSG($N$) para $\nu \in \{0, 3, c, e\}$. Estabelece que, se um nearanel é simples, o grafo não é definido. Se um nearanel não contém ideais $\nu$-primos não triviais, o grafo é totalmente desconexo.

2. Conectividade e Diâmetro:

   • Conectividade: Para nearanéis com unidade, o artigo prova que o $0$-PSG($N$) é desconexo se, e somente se, $N$ é uma soma direta de dois nearanéis simples.
   • Diâmetro: Para um $0$-PSG($N$) conexo em um nearanel com unidade, o diâmetro é limitado por 4.
   • Grafos Estrela: Os autores caracterizam nearanéis onde o grafo é um grafo estrela: isso ocorre se, e somente se, $N$ possui um ideal mínimo único e todo outro ideal próprio, não trivial e não mínimo é maximal e $\nu$-primo.

3. Grafos Completos e Dominação:

   • Completude: São fornecidas condições para que o $\nu$-PSG($N$) seja um grafo completo, especificamente exigindo um ideal maximal $\nu$-primo único $M$ tal que todos os outros ideais próprios se interceptem de forma trivial aos pares.
   • Dominação: Para nearanéis com unidade, o conjunto de todos os ideais maximais forma um conjunto de dominação mínima para o $0$-PSG($N$), implicando que o número de dominação $\gamma(0\text{-PSG}(N)) \le |M|$.

4. Invariantes de Grafos:

   • Comprimento de Ciclo (Girth): Se $N$ contém dois ideais incomparáveis que são adjacentes, o comprimento de ciclo do grafo é 3.
   • Número de Clique: O artigo estabelece que o subgrafo induzido por uma cadeia de ideais $\nu$-primos forma um clique. Além disso, para um homomorfismo de nearanel sobrejetivo $\phi: N \to N'$, o número de clique satisfaz $\omega(\nu\text{-PSG}(N')) \le \omega(\nu\text{-PSG}(N))$.

5. Relações Entre Variantes:
   O artigo esclarece as relações entre diferentes variantes do grafo baseadas na hierarquia de ideais primos. Por exemplo, como todo ideal c-primo é um ideal 3-primo, o c-PSG($N$) é um subgrafo do 3-PSG($N$). Sob condições específicas (como permutabilidade à direita ou IFP), esses grafos podem ser mostrados como idênticos.

6. Homomorfismo e Isomorfismo:
   Os autores demonstram que um homomorfismo de nearanel sobrejetivo induz um homomorfismo de grafo entre os correspondentes grafos de soma de ideais $\nu$-primos. Eles também fornecem um exemplo de nearanéis não isomorfos que produzem grafos de soma de ideais $\nu$-primos isomorfos, indicando que a estrutura do grafo não determina unicamente o nearanel.

Significância
O artigo afirma que o grafo de soma de ideais $\nu$-primo serve como uma estrutura unificada para estudar interações de soma de ideais correspondentes a múltiplas noções de primalidade em nearanéis. Ao traduzir propriedades algébricas (como a existência de ideais maximais únicos ou decomposições de soma direta) em propriedades de grafos (conectividade, diâmetro e dominação), o trabalho permite refletir e distinguir características estruturais do nearanel subjacente. Os resultados fornecem uma base fundamental para investigações futuras sobre outros invariantes de grafos dessas estruturas, estendendo a linha de investigação da teoria de anéis para o domínio mais complexo dos nearanéis.