The ν-Prime Ideal Sum Graph of a Nearring

Technische Samenvatting: De $\nu$-priemideaalsomgrafiek van een neariing

Probleemstelling
Het artikel behandelt de behoefte aan het bestuderen van de interactie tussen algebraïsche en combinatorische eigenschappen van neariingen via grafentheoretische constructies. Ho'ewel nulverdelersgrafieken en ideaalgebaseerde grafieken uitgebreid zijn bestudeerd in de ringtheorie, is de ideaalstructuur van neariingen subtieler, met onderscheidende concepten van primiteit (0-priem, 3-priem, c-priem en equipriem). Bestaande literatuur heeft nulverdersgrafieken van neariingen en grafieken gebaseerd op specifieke priemidealen onderzocht, maar een verenigd kader voor het analyseren van de som van idealen relatief aan deze diverse primiteitsvoorwaarden ontbrak. De auteurs beogen de $\nu$-priemideaalsomgrafiek ($\nu$-PSG($N$)) voor een neariing $N$ te definiëren en te karakteriseren, waarbij $\nu \in \{0, 3, c, e\}$.

Methodologie
De auteurs definiëren de $\nu$-PSG($N$) als een graaf waarbij:

• Knopen: De verzameling van alle strikte, niet-triviale idealen van de neariing $N$.
• Nabijheid: Twee verschillende knopen (idealen) $I$ en $J$ zijn nabij dan en slechts dan als hun som $I + J$ een strikt $\nu$-priem ideaal van $N$ is.

De methodologie omvat het vaststellen van fundamentele structurele eigenschappen van deze grafen. De auteurs leiden noodzakelijke en voldoende voorwaarden af voor connectiviteit en berekenen of begrenzen standaard graf-invarianten, waaronder het cliquegetal ($\omega$), de diameter, de girth (omtrek) en het dominantienummer ($\gamma$). De analyse steunt op de algebraïsche eigenschappen van neariingen, zoals het bestaan van maximale idealen, het gedrag van idealen onder homomorfismen, en specifieke neariingseigenschappen zoals de 'Identity for Products' (IFP) en rechter permutabiliteit. De studie bevat specifieke voorbeelden met behulp van neariingen gedefinieerd op verzamelingen zoals $\mathbb{Z}_2^3$ en de dihedral groep $D_8$ om theoretische resultaten te illustreren.

Belangrijkste Bijdragen en Resultaten

1. Definitie en Basiseigenschappen:
   Het artikel introduceert formeel de $\nu$-PSG($N$) voor $\nu \in \{0, 3, c, e\}$. Het stelt vast dat indien een neariing simpel is, de graaf niet gedefinieerd is. Indien een neariing geen niet-triviale $\nu$-priem idealen bevat, is de graaf totaal onverbonden.

2. Connectiviteit en Diameter:

   • Connectiviteit: Voor unitaire neariingen bewijst het artikel dat $0$-PSG($N$) onverbonden is dan en slechts dan als $N$ een directe som is van twee simpele neariingen.
   • Diameter: Voor een verbonden $0$-PSG($N$) in een unitaire neariing is de diameter begrensd door 4.
   • Stergrafen: De auteurs karakteriseren neariingen waar de graaf een stergraf is: dit komt overeen met het geval dat $N$ een uniek minimaal ideaal heeft en elk ander strikt, niet-triviaal, niet-minimaal ideaal maximaal en $\nu$-priem is.

3. Volledige Grafen en Dominantie:

   • Volledigheid: Er worden voorwaarden gegeven waaronder $\nu$-PSG($N$) een volledige graaf is, specifiek vereisend dat er een uniek maximaal $\nu$-priem ideaal $M$ bestaat zodanig dat alle andere strikte idealen tweetalig triviaal snijden.
   • Dominantie: Voor unitaire neariingen vormt de verzameling van alle maximale idealen een minimaal dominant stel voor $0$-PSG($N$), wat impliceert dat het dominantienummer $\gamma(0\text{-PSG}(N)) \le |M|$.

4. Graf-invarianten:

   • Girth (Omtrek): Als $N$ twee onvergelijkbare idealen bevat die nabij zijn, is de girth van de graaf 3.
   • Cliquegetal: Het artikel stelt vast dat het subgraaf geïnduceerd door een keten van $\nu$-priem idealen een clique vormt. Verder geldt dat voor een surjectieve neariing-homomorfisme $\phi: N \to N'$, het cliquegetal voldoet aan $\omega(\nu\text{-PSG}(N')) \le \omega(\nu\text{-PSG}(N))$.

5. Relaties tussen Varianten:
   Het artikel verheldert de relaties tussen verschillende varianten van de graaf op basis van de hiërarchie van priemidealen. Aangezien elk c-priem ideaal een 3-priem ideaal is, is c-PSG($N$) een subgraaf van 3-PSG($N$). Onder specifieke voorwaarden (zoals rechter permutabiliteit of IFP) kunnen deze grafen als identiek worden aangetoond.

6. Homomorfisme en Isomorfisme:
   De auteurs demonstreren dat een surjectieve neariing-homomorfisme een graf-homomorfisme induceert tussen de corresponderende $\nu$-priemideaalsomgrafieken. Ze bieden ook een voorbeeld van niet-isomorfe neariingen die isomorfe $\nu$-priemideaalsomgrafieken opleveren, wat aangeeft dat de grafstructuur de neariing niet uniek bepaalt.

Betekenis
Het artikel beweert dat de $\nu$-priemideaalsomgrafiek dient als een verenigd kader voor het bestuderen van interacties tussen ideaalsommen die overeenkomen met meerdere concepten van primiteit in neariingen. Door algebraïsche eigenschappen (zoals het bestaan van unieke maximale idealen of directe som-decomposities) te vertalen naar grafentheoretische eigenschappen (connectiviteit, diameter en dominantie), maakt het werk het mogelijk om structurele kenmerken van de onderliggende neariing te reflecteren en te onderscheiden. De resultaten vormen een fundamentele basis voor verder onderzoek naar aanvullende graf-invarianten van deze structuren, waarmee de lijn van onderzoek vanuit de ringtheorie wordt uitgebreid naar het complexere domein van neariingen.