Extensions of Centrally Essential Rings

Technische Samenvatting: Extensies van Centraal Essentiële Ringen

Probleemstelling
Het artikel onderzoekt de structurele eigenschappen en extensies van centraal essentiële ringen. Een niet-nul eenheid-ring $R$ wordt gedefinieerd als centraal essentieel als er voor elk niet-nul element $a \in R$ niet-nul centrale elementen $x, y \in Z(R)$ bestaan zodanig dat $ax = y$. Deze klasse van ringen generaliseert commutatieve ringen; met name wordt in eerdere literatuur (specifiek [5, Proposition 2.8]) vastgesteld dat semiprieme centraal essentiële ringen noodzakelijkerwijs commutatief zijn. Bijgevolg richten de auteurs zich op het karakteriseren van niet-commutatieve centraal essentiële ringen, specifiek binnen de subklasse van bijna volledig priem ringen (ringen waar elke niet-nul strikte ideaal priem is). Het centrale probleem is het beschrijven van deze niet-commutatieve structuren in termen van ideaal-extensies, Dorroh-extensies en triviale extensies.

Methodologie
De auteurs hanteren een structurele algebraïsche benadering, waarbij gebruik wordt gemaakt van de volgende definities en instrumenten:

1. Ideaal-extensies: Het analyseren van ringen $R$ die een ideaal $I'$ bevatten dat isomorf is aan een ring $I$, zodanig dat $R/I' \cong Q$.
2. Afgeleiden (Derivations): Het gebruik van het concept van incomparabele afgeleiden $d_1, d_2: F \to M$ (waar de kernen niet incomparabel zijn) om niet-commutatieve voorbeelden te construeren.
3. Ring-extensies:
   • Dorroh-extensie ($D(R, S)$): Geconstrueerd vanuit een ring $R$ en een $(R, R)$-bimodule $S$ met vermenigvuldiging $(r_1, s_1)(r_2, s_2) = (r_1r_2, r_1s_2 + s_1r_2 + s_1s_2)$.
   • Triviale extensie ($T(R, M)$): Een specifiek geval waarbij de bimodule-vermenigvuldiging nul is, wat resulteert in $(r_1, m_1)(r_2, m_2) = (r_1r_2, r_1m_2 + m_1r_2)$.
4. Centrale deelverzamelingen: Het definiëren van specifieke deelverzamelingen $T \subseteq R$ en $N \subseteq M$ op basis van de aanwezigheid van niet-nul centrale elementen die elementen naar het centrum of centrale submodules afbeelden.

De bewijzen berusten op de analyse van de ideaal-lattices, de eigenschappen van nul-divisoren en de interactie tussen het centrum van de ring en haar idealen. De auteurs maken gebruik van resultaten uit eerdere werken (bijv. [1], [2], [4], [5], [7]) betreffende subdirect onherleidbare ringen, uniforme modules en volledig idempotente ringen.

Belangrijkste Bijdragen en Resultaten

1. Karakterisering van Niet-commutatieve Bijna Volledig Priem Centraal Essentiële Ringen
Het artikel biedt een uitgebreid equivalentie-theorema (Theorem 1.2) voor een niet-commutatieve, bijna volledig priem ring $R$. De volgende condities worden bewezen equivalent te zijn:

• $R$ is een centraal essentiële ring.
• $R$ bezit een uniek niet-nul strikt ideaal $P$ (welke bevat in het centrum $Z(R)$), en de quotientring $R/P$ is een lichaam.
• $R$ is een extensie van een centraal ideaal $I$ door een lichaam $F$.
• $R$ is een extensie van een centraal ideaal $I$ door een lichaam $F$ die twee incomparabele afgeleiden toelaat van $F$ naar een bepaalde extensie-lichaam.

Dit resultaat impliceert dat dergelijke ringen structureel zeer specifiek zijn: ze zijn subdirect onherleidbaar, hun verzameling nul-divisoren valt samen met het unieke minimale ideaal $P$, en hun additieve groep is isomorf aan een directe som van kopieën van $\mathbb{Q}$ of $\mathbb{Z}_p$ (Proposition 4.2).

2. Condities voor Centraal Essentiële Extensies
De auteurs stellen noodzakelijke en voldoende voorwaarden vast voor het behoud van de centraal essentiële eigenschap door Dorroh- en triviale extensies (Theorem 1.3):

• Dorroh-extensies: Als $R$ commutatief is, is de Dorroh-extensie $D(R, S)$ centraal essentieel dan en slechts dan als de bimodule $S$ centraal essentieel is.
• Triviale extensies: De triviale extensie $T(R, M)$ is centraal essentieel dan en slechts dan als twee specifieke condities gelden:
  1. $N = M$ (elk element in de module kan via een centraal ringelement naar een centraal element worden afgebeeld).
  2. $T = R$ (elk element in de ring kan via een centraal ringelement naar een centraal element worden afgebeeld).

3. Inbedding en Niet-eenheidgevallen
Het artikel breidt de definitie uit naar niet-eenheid-ringen en bewijst (Corollary 3.1) dat elke centraal essentiële ring ingebed kan worden in een centraal essentiële eenheid-ring via de Dorroh-extensie over de gehele getallen, $D(\mathbb{Z}, R)$.

4. Tegenvoorbeelden en Structurele Nuances
De auteurs bieden expliciete voorbeelden om de grenzen van deze definities te illustreren:

• Voorbeeld 1.1: Construeert een niet-commutatieve bijna volledig priem centraal essentiële ring met behulp van een matrixring over een lichaam met incomparabele afgeleiden.
• Voorbeeld 4.5: Demonstreert een triviale extensie $T(R, M)$ die niet centraal essentieel is, waarmee wordt aangetoond dat de condities in Theorem 1.3 strikt zijn.
• Voorbeeld 4.6: Construeert een centraal essentiële triviale extensie waarbij de linker en rechter module-acties verschillen ($RM \neq MR$), wat benadrukt dat de commutativiteit van de module-actie geen vereiste is voor de extensie om centraal essentieel te zijn.

Betekenis en Claims
Het artikel claimt een precieze structurele beschrijving te bieden van niet-commutatieve bijna volledig priem centraal essentiële ringen, waarbij deze direct wordt gekoppeld aan lichaam-extensies met incomparabele afgeleiden. Het verheldert het gedrag van centraal essentiële eigenschappen onder standaard ringtheoretische constructies (Dorroh- en triviale extensies). Het werk dient om het begrip van hoe centraliteit en essentialiteit interageren in niet-commutatieve omgevingen te verfijnen, met name door het onderscheid tussen ringen die "dicht" bij commutatief zijn (via centrale idealen) en die dat niet zijn. De auteurs claimen geen brede toepassingen buiten de ringtheorie, maar positioneren de resultaten als een fundamentele stap in de classificatie van deze specifieke algebraïsche structuren.