The ν-Prime Ideal Sum Graph of a Nearring

Resumen Técnico: El Grafo de la Suma de Ideales $\nu$-Primos de un Casianillo

Planteamiento del Problema
El artículo aborda la necesidad de estudiar la interacción entre las propiedades algebraicas y combinatorias de los casianillos a través de construcciones de la teoría de grafos. Mientras que los grafos de divisores de cero y los grafos basados en ideales han sido extensamente estudiados en la teoría de anillos, la estructura de ideales en los casianillos es más delicada, presentando nociones distintas de primalidad (0-primo, 3-primo, c-primo y equiprimo). La literatura existente ha explorado los grafos de divisores de cero de casianillos y grafos basados en ideales primos específicos, pero faltaba un marco unificado para analizar la suma de ideales con respecto a estas diversas condiciones de primalidad. Los autores pretenden definir y caracterizar el grafo de la suma de ideales $\nu$-primos ($\nu$-PSG($N$)) para un casianillo $N$, donde $\nu \in \{0, 3, c, e\}$.

Metodología
Los autores definen el $\nu$-PSG($N$) como un grafo donde:

• Vértices: El conjunto de todos los ideales propios y no triviales del casianillo $N$.
• Adyacencia: Dos vértices distintos (ideales) $I$ y $J$ son adyacentes si y solo si su suma $I + J$ es un ideal $\nu$-primo propio de $N$.

La metodología consiste en establecer propiedades estructurales fundamentales de estos grafos. Los autores derivan condiciones necesarias y suficientes para la conectividad y calculan o acotan invariantes estándar de grafos, incluyendo el número de clique ($\omega$), el diámetro, la longitud del ciclo (girth) y el número de dominación ($\gamma$). El análisis se basa en las propiedades algebraicas de los casianillos, tales como la existencia de ideales maximales, el comportamiento de los ideales bajo homomorfismos y propiedades específicas de los casianillos como la Identidad para Productos (IFP) y la permutabilidad por la derecha. El estudio incluye ejemplos específicos utilizando casianillos definidos sobre conjuntos como $\mathbb{Z}_2^3$ y el grupo diedro $D_8$ para ilustrar los resultados teóricos.

Contribuciones Clave y Resultados

1. Definición y Propiedades Básicas:
   El artículo introduce formalmente el $\nu$-PSG($N$) para $\nu \in \{0, 3, c, e\}$. Establece que si un casianillo es simple, el grafo no está definido. Si un casianillo no contiene ideales $\nu$-primos no triviales, el grafo es totalmente desconectado.

2. Conectividad y Diámetro:

   • Conectividad: Para casianillos con unidad, el artículo demuestra que el $0$-PSG($N$) es desconectado si y solo si $N$ es una suma directa de dos casianillos simples.
   • Diámetro: Para un $0$-PSG($N$) conexo en un casianillo con unidad, el diámetro está acotado por 4.
   • Grafos Estrella: Los autores caracterizan los casianillos donde el grafo es un grafo estrella: esto ocurre si y solo si $N$ tiene un único ideal mínimo y todo otro ideal propio, no trivial y no mínimo es maximal y $\nu$-primo.

3. Grafos Completos y Dominación:

   • Completitud: Se proporcionan condiciones para que el $\nu$-PSG($N$) sea un grafo completo, requiriendo específicamente un único ideal maximal $\nu$-primo $M$ tal que todos los otros ideales propios se intersecan de forma trivial por pares.
   • Dominación: Para casianillos con unidad, el conjunto de todos los ideales maximales forma un conjunto de dominación mínima para el $0$-PSG($N$), lo que implica que el número de dominación $\gamma(0\text{-PSG}(N)) \le |M|$.

4. Invariantes de Grafos:

   • Longitud del Ciclo (Girth): Si $N$ contiene dos ideales incomparables que son adyacentes, la longitud del ciclo del grafo es 3.
   • Número de Clique: El artículo establece que el subgrafo inducido por una cadena de ideales $\nu$-primos forma un clique. Además, para un homomorfismo de casianillos sobreyectivo $\phi: N \to N'$, el número de clique satisface $\omega(\nu\text{-PSG}(N')) \le \omega(\nu\text{-PSG}(N))$.

5. Relaciones entre Variantes:
   El artículo aclara las relaciones entre las diferentes variantes del grafo basadas en la jerarquía de los ideales primos. Por ejemplo, dado que todo ideal c-primo es un ideal 3-primo, el c-PSG($N$) es un subgrafo del 3-PSG($N$). Bajo condiciones específicas (como la permutabilidad por la derecha o IFP), estos grafos pueden mostrarse como idénticos.

6. Homomorfismo e Isomorfismo:
   Los autores demuestran que un homomorfismo de casianillos sobreyectivo induce un homomorfismo de grafos entre los correspondientes grafos de la suma de ideales $\nu$-primos. También proporcionan un ejemplo de casianillos no isomorfos que producen grafos de la suma de ideales $\nu$-primos isomorfos, indicando que la estructura del grafo no determina de forma única al casianillo.

Significancia
El artículo sostiene que el grafo de la suma de ideales $\nu$-primos sirve como un marco unificado para estudiar las interacciones de la suma de ideales correspondientes a múltiples nociones de primalidad en los casianillos. Al traducir las propiedades algebraicas (como la existencia de un único ideal maximal o las descomposiciones en suma directa) en propiedades de grafos (conectividad, diámetro y dominación), el trabajo permite reflejar y distinguir las características estructurales del casianillo subyacente. Los resultados proporcionan una base fundacional para la investigación posterior de otros invariantes de grafos de estas estructuras, extendiendo la línea de investigación de la teoría de anillos hacia el dominio más complejo de los casianillos.