The ν-Prime Ideal Sum Graph of a Nearring

Résumé Technique : Le graphe de somme d'idéaux $\nu$-premier d'un quasi-anneau

Énoncé du Problème
L'article traite de la nécessité d'étudier l'interaction entre les propriétés algébriques et combinatoires des quasi-anneaux à travers des constructions de la théorie des graphes. Alors que les graphes de diviseurs de zéro et les graphes basés sur les idéaux ont été largement étudiés en théorie des anneaux, la structure des idéaux des quasi-anneaux est plus délicate, présentant des notions distinctes de primalité (0-premier, 3-premier, c-premier et équiprime). La littérature existante a exploré les graphes de diviseurs de zéro des quasi-anneaux ainsi que les graphes basés sur des idéaux premiers spécifiques, mais un cadre unifié analysant la somme d'idéaux par rapport à ces diverses conditions de primalité faisait défaut. Les auteurs visent à définir et caractériser le graphe de somme d'idéaux $\nu$-premier ($\nu$-PSG($N$)) pour un quasi-anneau $N$, où $\nu \in \{0, 3, c, e\}$.

Méthodologie
Les auteurs définissent le $\nu$-PSG($N$) comme un graphe où :

• Sommets : L'ensemble de tous les idéaux propres et non triviaux du quasi-anneau $N$.
• Adjacence : Deux sommets distincts (idéaux) $I$ et $J$ sont adjacents si et seulement si leur somme $I + J$ est un idéal $\nu$-premier propre de $N$.

La méthodologie consiste à établir les propriétés structurelles fondamentales de ces graphes. Les auteurs dérivent des conditions nécessaires et suffisantes pour la connectivité et calculent ou bornent les invariants standards du graphe, incluant le nombre de clique ($\omega$), le diamètre, le girth (girth) et le nombre de domination ($\gamma$). L'analyse repose sur les propriétés algébriques des quasi-anneaux, telles que l'existence d'idéaux maximaux, le comportement des idéaux sous les homomorphismes, et des propriétés spécifiques de quasi-anneaux comme l'Identité pour les Produits (IFP) et la permutabilité à droite. L'étude inclut des exemples spécifiques utilisant des quasi-anneaux définis sur des ensembles comme $\mathbb{Z}_2^3$ et le groupe diédral $D_8$ pour illustrer les résultats théoriques.

Contributions Clés et Résultats

1. Définition et Propriétés Fondamentales :
   Le papier introduit formellement le $\nu$-PSG($N$) pour $\nu \in \{0, 3, c, e\}$. Il établit que si un quasi-anneau est simple, le graphe n'est pas défini. Si un quasi-anneau ne contient aucun idéal $\nu$-premier non trivial, le graphe est totalement déconnecté.

2. Connectivité et Diamètre :

   • Connectivité : Pour les quasi-anneaux unitaires, le papier prouve que le $0$-PSG($N$) est déconnecté si et seulement si $N$ est une somme directe de deux quasi-anneaux simples.
   • Diamètre : Pour un $0$-PSG($N$) connexe dans un quasi-anneau unitaire, le diamètre est borné par 4.
   • Graphes Étoiles : Les auteurs caractérisent les quasi-anneaux où le graphe est un graphe étoile : cela se produit si et seulement si $N$ possède un unique idéal minimal et que tout autre idéal propre, non trivial et non minimal est maximal et $\nu$-premier.

3. Graphes Complets et Domination :

   • Complétude : Des conditions sont fournies pour que le $\nu$-PSG($N$) soit un graphe complet, exigeant spécifiquement un unique idéal maximal $\nu$-premier $M$ tel que tous les autres idéaux propres soient de pairwise intersection triviale.
   • Domination : Pour les quasi-anneaux unitaires, l'ensemble de tous les idéaux maximaux forme un ensemble dominant minimal pour le $0$-PSG($N$), impliquant que le nombre de domination $\gamma(0\text{-PSG}(N)) \le |M|$.

4. Invariants de Graphes :

   • Girth : Si $N$ contient deux idéaux incomparables qui sont adjacents, le girth du graphe est 3.
   • Nombre de Clique : Le papier établit que le sous-graphe induit par une chaîne d'idéaux $\nu$-premiers forme une clique. De plus, pour un homomorphisme de quasi-anneau surjectif $\phi: N \to N'$, le nombre de clique satisfait $\omega(\nu\text{-PSG}(N')) \le \omega(\nu\text{-PSG}(N))$.

5. Relations entre les Variantes :
   Le papier clarifie les relations entre les différentes variantes du graphe basées sur la hiérarchie des idéaux premiers. Par exemple, puisque tout idéal c-premier est un idéal 3-premier, le c-PSG($N$) est un sous-graphe du 3-PSG($N$). Sous des conditions spécifiques (telles que la permutabilité à droite ou l'IFP), ces graphes peuvent être montrés comme étant identiques.

6. Homomorphisme et Isomorphisme :
   Les auteurs démontrent qu'un homomorphisme de quasi-anneau surjectif induit un homomorphisme de graphe entre les $\nu$-graphes de somme d'idéaux correspondants. Ils fournissent également un exemple de quasi-anneaux non isomorphes qui produisent des $\nu$-graphes de somme d'idéaux isomorphes, indiquant que la structure du graphe ne détermine pas de manière unique le quasi-anneau.

Signification
Le papier affirme que le graphe de somme d'idéaux $\nu$-premier sert de cadre unifié pour étudier les interactions de somme d'idéaux correspondant à multiples notions de primalité dans les quasi-anneaux. En traduisant les propriétés algébriques (telles que l'existence d'un unique idéal maximal ou des décompositions en somme directe) en propriétés de la théorie des graphes (connectivité, diamètre et domination), ce travail permet de refléter et de distinguer les caractéristiques structurelles du quasi-anneau sous-jacent. Les résultats fournissent une base fondamentale pour des investigations ultérieures sur d'autres invariants de graphes de ces structures, étendant la lignée de recherche de la théorie des anneaux vers le domaine plus complexe des quasi-anneaux.