Invertibility in partially ordered nonassociative rings

Technische Samenvatting: Inverteerbaarheid in Gedeeltelijk Geordende Niet-Associatieve Ringen

Probleemstelling
Het artikel behandelt het probleem van het karakteriseren van inverteerbare elementen binnen de specifieke algebraïsche en topologische context van gedeeltelijk geordende niet-associatieve ringen. Hoewel inverteerbaarheid een fundamenteel concept is in de ringtheorie — dat verdeling en het oplossen van vergelijkingen mogelijk maakt — vereist het gedrag ervan in structuren die ontbreken aan associativiteit en zijn uitgerust met zowel orde- als topologische eigenschappen, rigoureuze investigatie. De auteurs beogen de omvang en de aard van de verzameling inverteerbare elementen te bepalen, waarbij zij zich specifiek richten op twee scenario's:

1. De inverteerbaarheid van elementen binnen het interval $]0, 1]$ in een gedeeltelijk geordende niet-associatieve ring.
2. De inverteerbaarheid van elementen $x$ in een niet-associatieve ring waar een gegeneraliseerde seminorm $f$ voldoet aan $f(1-x) < 1$, binnen het kader van Hausdorff sequentieel Cauchy-volledige zwak-quasi-topologische ringen.

Methodologie
De auteurs maken gebruik van een synthese van ordenleer, niet-associatieve algebra en topologische groeptheorie. De methodologie rust op de volgende structurele componenten:

• Algebraïsch Kader: De studie wordt uitgevoerd op niet-associatieve ringen (waarbij vermenigvuldiging niet noodzakelijkerwijs associatief is) die gedeeltelijk geordend zijn. De ringen worden als unitair aangenomen (bezittend een multiplicatief identiteit $1 \geq 0$).
• Topologisch Kader: Het artikel introduceert en maakt gebruik van de Frink-intervaltopologie op gedeeltelijk geordende verzamelingen. Deze topologie wordt gedefinieerd door een subbasis van gesloten verzamelingen bestaande uit stralen $[a, +\infty[$ en $]-\infty, b]$. De auteurs stellen vast dat deze topologie bepaalde geordende groepen tot lokaal convexe quasi-topologische groepen maakt.
• Gegeneraliseerde Seminormen: Een nieuw concept wordt geïntroduceerd: een seminorm $f$ die een niet-associatieve ring $R_1$ afbeeldt op een gedeeltelijk geordende niet-associatieve ring $R_2$ (uitgerust met de Frink-intervaltopologie). Deze afbeelding voldoet aan subadditiviteit, submultiplicativiteit en evenheid. De topologie op $R_1$ wordt geïnduceerd door deze seminorm.
• Volledigheid en Convergentie: De bewijzen steunen op de Hausdorff sequentieel Cauchy-volledigheid van de ring $R_1$ onder de geïnduceerde topologie. De auteurs maken gebruik van het concept van monotone $\sigma$-volledigheid (het bestaan van suprema voor begrensde stijgende sequenties) in de doelring $R_2$.
• Geometrische Reeks Constructie: Het kernmechanisme voor het bewijzen van inverteerbaarheid is de constructie van "georiënteerde geometrische reeksen". De auteurs definiëren iteratieve machten $x^{\to n}$ (waarbij $x^{\to 0}=1, x^{\to n+1} = x \cdot x^{\to n}$) en tonen aan dat onder specifieke condities de reeks $\sum_{n \in \mathbb{N}} x^{\to n}$ convergeert naar een invers.

Belangrijkste Bijdragen en Resultaten

1. Topologische Eigenschappen van Seminormerde Ringen:

   • Het artikel stelt vast dat een niet-associatieve unitaire ring uitgerust met de topologie geïnduceerd door een norm naar een totaal geordende associatieve divisiering, een Hausdorff lokaal convexe quasi-topologische groep vormt.
   • Voorts, indien de doelring een divisiering is, wordt aangetoond dat de vermenigvuldigingsafbeelding in de bronring continu is, wat leidt tot de definitie van een zwak-quasi-topologische ring (een groep die quasi-topologisch is met een apart continue product).

2. Inverteerbaarheid in Gedeeltelijk Geordende Niet-Associatieve Ringen (Stelling 3.1):

   • De auteurs bewijzen dat in een monotone $\sigma$-volledige, gedeeltelijk geordende niet-associatieve ring $R$, indien $1 \geq 0$ en elk element in $]0, 1]$ een "rechts-sup-bijna-invers" bezit, het interval $]0, 1]$ volledig uit inverteerbare elementen bestaat.
   • De invers wordt expliciet geconstrueerd als de limiet van de reeks $\sum_{n \in \mathbb{N}} (1-x)^{\to n}$.
   • Het artikel merkt op dat dit resultaat geldt voor standaardringen zoals $\mathbb{R}$ en $\mathbb{Z}$, evenals polynoomringen met lexicografische ordening, maar faalt in ringen die ontbreken aan monotone $\sigma$-volledigheid of specifieke bijna-invers eigenschappen.

3. Inverteerbaarheid in Seminormde Hausdorff Cauchy-Volledige Ringen (Stelling 3.2):

   • Als uitbreiding van het vorige resultaat tonen de auteurs aan dat indien $f: R_1 \to R_2$ een seminorm is waarbij $R_2$ een gedeeltelijk geordende niet-associatieve ring is met de Frink-intervaltopologie, en $R_1$ Hausdorff sequentieel Cauchy-volledig is onder de door $f$ geïnduceerde topologie, dan elk $x \in R_1$ waarvoor $f(1-x) < 1$ geldt, inverteerbaar is.
   • Het bewijs maakt gebruik van de convergentie van de reeks partiële sommen van $(1-x)^{\to n}$ in $R_1$, gegarandeerd door de volledigheid van $R_1$ en de eigenschappen van de reeks in $R_2$.

4. Originele Topologische Feiten:

   • Het artikel demonstreert dat de Frink-intervaltopologie op een totaal geordende groep een topologische groep is en op een totaal geordende divisiering een topologische ring vormt.
   • Het stelt de uniciteit van limieten voor stijgende sequenties vast in de Frink-intervaltopologie (Lemma 2.1).

Betekenis en Claims
Het artikel claimt bij te dragen aan de theorie van inverteerbaarheid door klassieke resultaten (vaak gebaseerd op metrische ruimtes en associatieve algebra's) uit te breiden naar de bredere, complexere setting van niet-associatieve ringen uitgerust met gedeeltelijke orden en de Frink-intervaltopologie.

Specifiek benadrukken de auteurs:

• De introductie van een topologie geïnduceerd door een seminorm die een afbeelding is naar een gedeeltelijk geordende niet-associatieve ring, een concept dat zij naar hun weten "nooit eerder is geïntroduceerd".
• Het bewijs dat het interval $]0, 1]$ in geschikte gedeeltelijk geordende niet-associatieve ringen volledig uit inverteerbare elementen bestaat.
• De generalisatie van de conditie voor inverteerbaarheid ($f(1-x) < 1$) naar ringen die niet noodzakelijkerwijs associatief zijn, mits zij voldoen aan specifieke volledigheids- en ordenleerse condities.

De auteurs blijven bescheiden over de optimaliteit van hun resultaten, waarbij zij opmerken dat in de ring van de gehele getallen $\mathbb{Z}$, alleen $1$ inverteerbaar is in $]0, +\infty[$, wat suggereert dat het interval $]0, 1]$ waarschijnlijk het maximale bereik is voor een dergelijk algemeen theorema. Zij verduidelijken evenwets dat hun werk betrekking heeft op het bestaan en de uniciteit van inversen binnen deze specifieke structurele contexten, in plaats van de algemene notie van inverteerbaarheid te herdefiniëren.