Rings whose subrings are all Noetherian or Artinian

Titel en Context

Titel: Ringen waarvan de subringen allemaal Noetheriaans of Artiniaans zijn.
Auteur: Nathan Blacher.
Kernonderwerp: Niet-commutatieve ringtheorie, specifiek de studie van ringen waarbij alle eigene subringen voldoen aan bepaalde ketenvoorwaarden (Noetheriaans of Artiniaans).

---

1. Het Probleem

In de ringtheorie erven subringen niet automatisch alle eigenschappen van de oorspronkelijke ring. Hoewel eigenschappen zoals het zijn van een domein of het karakteristiek vaak worden overgenomen, kunnen ketenvoorwaarden (zoals de opklimmende of afnemende ketenvoorwaarde voor ideaalstructuren) sterk verschillen tussen een ring en zijn subringen.

De vraag die dit paper behandelt, is: Wat is de structuur van een ring $R$ als alle zijn eigene subringen (subringen die niet gelijk zijn aan $R$) voldoen aan een specifieke ketenvoorwaarde?

Dit probleem was eerder opgelost voor commutatieve ringen door Gilmer en Heinzer (1992):

• Als alle eigene subringen van een commutatieve ring Noetheriaans zijn, is de ring zelf Noetheriaans of is deze isomorf met de triviale uitbreiding van $\mathbb{Z}$ door de Prüfer $p$-groep $\mathbb{Z}(p^\infty)$.
• Als alle eigene subringen van een commutatieve ring Artiniaans zijn, is de ring zelf Artiniaans of is deze isomorf met $\mathbb{Z}$.

Blacher generaliseert deze resultaten naar niet-commutatieve ringen.

---

2. Methodologie

De auteur hanteert een strategie die de aanpak van Gilmer en Heinzer voor commutatieve ringen nabootst, maar deze aanpast aan de complexiteit van de niet-commutatieve setting.

• Centrale Subringen: De bewijzen beginnen vaak met het bestuderen van paren $C \subsetneq R$, waarbij $C$ een centrale eigene subring is. Door $C$ te kiezen als de minimale subring van $R$ (vaak isomorf met $\mathbb{Z}$ of $\mathbb{Z}/n\mathbb{Z}$), worden de algemene resultaten afgeleid.
• Gebruik van Bestaande Resultaten: Het paper maakt gebruik van een herschreven versie van een stelling van Gilmer en O'Malley (voor ringen zonder eenheid) en past deze toe op ringen met eenheid.
• Ideale Structuur: Er wordt intensief gebruikgemaakt van eigenschappen van niet-eindig gegenereerde rechtenidealen. Een cruciaal hulpmiddel is Propositie 2.2, die stelt dat als een niet-eindig gegenereerd rechtsideaal $I$ de eigenschap heeft dat alle zijn eigene deelmodulen wel eindig gegenereerd zijn, dan geldt $I^2 = 0$.
• PI-Ringen (Polynomial Identity): Voor de Artiniaanse resultaten in de niet-commutatieve setting is de klassieke Krull-dimensie (gebruikt in de commutatieve bewijzen) niet goed gedefinieerd of gedragen. Daarom beperkt de auteur zich in het laatste deel tot PI-ringen (ringen die een polynoomidentiteit voldoen), waar de theorie beter beheersbaar is. Hier wordt een verband gelegd tussen de klassieke Krull-dimensie en de Artiniaanse eigenschap.

---

3. Belangrijkste Resultaten

Het paper presenteert drie hoofdstellingen:

Stelling 1: Generalisatie van het Noetheriaanse geval

• Stelling: Laat $R$ een ring zijn die niet rechts-Noetheriaans is. Als elke eigene subring van $R$ rechts-Noetheriaans is, dan is $R$ de triviale uitbreiding van $\mathbb{Z}$ door de Prüfer $p$-groep $\mathbb{Z}(p^\infty)$ voor een zekere priemgetal $p$.
• Conclusie: Behalve voor deze specifieke triviale uitbreidingen, impliceert de Noetheriaanse eigenschap van alle eigene subringen dat de ring zelf Noetheriaans is.

Stelling 2: Generalisatie van het Artiniaanse geval

• Stelling: Laat $R$ een ring zijn die niet rechts-Artiniaans is. Als elke eigene subring van $R$ rechts-Artiniaans is, dan is $R$ isomorf met $\mathbb{Z}$.
• Nuance: In tegenstelling tot het Noetheriaanse geval, is er hier geen uitzondering op basis van een triviale uitbreiding. De enige niet-Artiniaanse ring met alle Artiniaanse eigene subringen is de ring van de gehele getallen.
• Bewijsstrategie: Het bewijs toont aan dat als $R$ niet Artiniaans is, deze een karakteristiek 0 moet hebben (en dus $\mathbb{Z}$ bevat), wat leidt tot een contradictie tenzij $R \cong \mathbb{Z}$.

Stelling 3: Generalisatie voor PI-ringen (Sterkere resultaat)

• Context: In de commutatieve theorie geldt een sterker resultaat: als er een eigene subring $C$ bestaat zodat alle eigene subringen die $C$ bevatten Artiniaans zijn, dan is $R$ Artiniaans. Dit was in de niet-commutatieve setting niet direct bewijsbaar.
• Stelling: Laat $R$ een PI-ring zijn en $C$ een centrale eigene subring. Als elke eigene subring van $R$ die $C$ bevat, rechts-Artiniaans is, dan is $R$ rechts-Artiniaans.
• Methode: Dit wordt bewezen door te tonen dat de klassieke Krull-dimensie van $R$ nul is (via Propositie 4.3), en vervolgens te gebruiken dat een PI-ring met Krull-dimensie 0 die voldoet aan de opklimmende ketenvoorwaarde voor idealen, Artiniaans is.

---

4. Technische Bijdragen en Details

• Triviale Uitbreidingen: De paper definieert en analyseert de triviale uitbreiding van een commutatieve ring $C$ door een $C$-module $M$ (ook wel Nagata's idealisatie genoemd). De structuur $(c_1, m_1)(c_2, m_2) = (c_1c_2, c_1m_2 + c_2m_1)$ speelt een centrale rol in de karakterisering van de Noetheriaanse uitzonderingen.
• Prüfer $p$-groepen: De groep $\mathbb{Z}(p^\infty)$ (de groep van alle $p^n$-de eenheden in $\mathbb{C}$ modulo 1, of $\mathbb{Z}[1/p]/\mathbb{Z}$) is cruciaal omdat al zijn eigene ondergroepen eindig zijn. Dit zorgt ervoor dat de triviale uitbreiding zelf niet Noetheriaans is, maar wel dat alle zijn eigene subringen dat zijn.
• Krull-dimensie in PI-ringen: De auteur toont aan dat voor PI-ringen de klassieke Krull-dimensie (maximale lengte van ketens van priemidealen) goed gedraagt. Propositie 4.3 is een belangrijk technisch resultaat: als een PI-ring $R$ een uitbreiding is van een subring $W$, en elke subring van de vorm $W(r)$ Krull-dimensie 0 heeft, dan heeft ook $R$ Krull-dimensie 0.

---

5. Betekenis en Conclusie

Deze paper is significant omdat het de klassieke resultaten van Gilmer en Heinzer uit 1992, die beperkt waren tot de commutatieve wereld, succesvol generaliseert naar de niet-commutatieve wereld.

1. Unificatie: Het toont aan dat de structuur van ringen met "erfelijke" ketenvoorwaarden (hereditair Noetheriaans/Artiniaans) fundamenteel hetzelfde blijft, ongeacht of de ring commutatief is of niet, met slechts één specifieke uitzondering voor het Noetheriaanse geval.
2. PI-Ringen: Het biedt een oplossing voor het probleem van het ontbreken van een goed gedefinieerde Krull-dimensie in de algemene niet-commutatieve setting door te focussen op PI-ringen, waar de theorie robuust blijft.
3. Fundamenteel Inzicht: Het werk verduidelijkt de relatie tussen de structuur van een ring en de structuur van zijn subringen, en identificeert $\mathbb{Z}$ en de triviale uitbreidingen van $\mathbb{Z}$ door Prüfer-groepen als de enige "pathologische" gevallen in deze context.

Kortom, Blacher bewijst dat als een ring niet voldoet aan een bepaalde ketenvoorwaarde, maar al zijn "kleinere" versies dat wel doen, de ring dan noodzakelijkerwijs een zeer specifieke, goed begrepen algebraïsche structuur moet hebben.