Invertibility in partially ordered nonassociative rings

Résumé technique : Invertibilité dans les anneaux non associatifs partiellement ordonnés

Énoncé du problème
L'article traite du problème de la caractérisation des éléments inversibles dans le contexte algébrique et topologique spécifique des anneaux non associatifs partiellement ordonnés. Bien que l'inversibilité soit un concept fondamental en théorie des anneaux — permettant la division et la résolution d'équations — son comportement dans des structures dépourvues d'associativité et dotées à la fois de propriétés d'ordre et topologiques nécessite une investigation rigoureuse. Les auteurs cherchent à déterminer la taille et la nature de l'ensemble des éléments inversibles, en se concentrant spécifiquement sur deux scénarios :

1. L'inversibilité des éléments au sein de l'intervalle $]0, 1]$ dans un anneau non associatif partiellement ordonné.
2. L'inversibilité des éléments $x$ dans un anneau non associatif où une semi-norme généralisée $f$ satisfait $f(1-x) < 1$, dans le cadre des anneaux quasi-topologiques faibles, de Hausdorff et séquentiellement complets.

Méthodologie
Les auteurs emploient une synthèse de la théorie de l'ordre, de l'algèbre non associative et de la théorie des groupes topologiques. La méthodologie repose sur les composantes structurelles suivantes :

• Cadre algébrique : L'étude est menée sur des anneaux non associatifs (où la multiplication n'est pas nécessairement associative) qui sont partiellement ordonnés. Les anneaux sont supposés être unitaires (possédant un élément neutre multiplicatif $1 \geq 0$).
• Cadre topologique : L'article introduit et utilise la topologie d'intervalle de Frink sur les ensembles partiellement ordonnés. Cette topologie est définie par une sous-base d'ensembles fermés consistant en des rayons $[a, +\infty[$ et $]-\infty, b]$. Les auteurs établissent que cette topologie transforme certains groupes ordonnés en groupes quasi-topologiques localement convexes.
• Semi-normes généralisées : Un concept novateur est introduit : une semi-norme $f$ associant un anneau non associatif $R_1$ à un anneau non associatif partiellement ordonné $R_2$ (doté de la topologie d'intervalle de Frink). Cette application satisfait la sous-additivité, la sous-multiplicativité et la parité. La topologie sur $R_1$ est induite par cette semi-norme.
• Complétude et convergence : Les preuves reposent sur la complétude de Cauchy séquentielle de Hausdorff de l'anneau $R_1$ sous la topologie induite. Les auteurs utilisent le concept de $\sigma$-complétude monotone (existence de suprémums pour les suites croissantes bornées) dans l'anneau cible $R_2$.
• Construction de séries géométriques : Le mécanisme central pour prouver l'inversibilité est la construction de « séries géométriques orientées ». Les auteurs définissent les puissances itérées $x^{\to n}$ (où $x^{\to 0}=1, x^{\to n+1} = x \cdot x^{\to n}$) et démontrent que, sous certaines conditions, la série $\sum_{n \in \mathbb{N}} x^{\to n}$ converge vers un inverse.

Contributions clés et résultats

1. Propriétés topologiques des anneaux semi-normés :

   • L'article établit qu'un anneau non associatif unitaire doté de la topologie induite par une norme vers un corps de division associatif totalement ordonné (avec la topologie d'intervalle de Frink) forme un groupe quasi-topologique de Hausdorff localement convexe.
   • De plus, si le corps de division est le corps cible, la loi de multiplication dans l'anneau source est montrée comme étant continue, conduisant à la définition d'un anneau quasi-topologique faible (un groupe qui est quasi-topologique avec un produit séparément continu).

2. Inversibilité dans les anneaux non associatifs partiellement ordonnés (Théorème 3.1) :

   • Les auteurs prouvent que dans un anneau non associatif partiellement ordonné $R$ qui est $\sigma$-complet monotone, si $1 \geq 0$ et que chaque élément de $]0, 1]$ admet un « quasi-inverse presque-supérieur droit », alors l'intervalle $]0, 1]$ est entièrement composé d'éléments inversibles.
   • L'inverse est explicitement construit comme la limite de la série $\sum_{n \in \mathbb{N}} (1-x)^{\to n}$.
   • L'article note que ce résultat est valable pour des anneaux standards comme $\mathbb{R}$ et $\mathbb{Z}$, ainsi que pour les anneaux polynomiaux avec un ordre lexicographique, mais échoue dans les anneaux manquant de $\sigma$-complétude monotone ou de propriétés spécifiques de quasi-inverse.

3. Inversibilité dans les anneaux de Hausdorff de Cauchy-complétude semi-normés (Théorème 3.2) :

   • Étendant le résultat précédent, les auteurs montrent que si $f: R_1 \to R_2$ est une semi-norme où $R_2$ est un anneau non associatif partiellement ordonné muni de la topologie d'intervalle de Frink, et que $R_1$ est de Hausdorff séquentiellement complet sous la topologie induite par $f$, alors tout $x \in R_1$ satisfaisant $f(1-x) < 1$ est inversible.
   • La preuve utilise la convergence de la suite des sommes partielles de $(1-x)^{\to n}$ dans $R_1$, garantie par la complétude de $R_1$ et les propriétés de la série dans $R_2$.

4. Faits topologiques originaux :

   • L'article démontre que la topologie d'intervalle de Frink sur un groupe totalement ordonné est un groupe topologique et que, sur un corps de division totalement ordonné, elle forme un anneau topologique.
   • Il établit l'unicité des limites pour les suites croissantes dans la topologie d'intervalle de Frink (Lemme 2.1).

Signification et revendications
L'article affirme contribuer à la théorie de l'inversibilité en étendant les résultats classiques (souvent basés sur les espaces métriques et les algèbres associatives) à l'environnement plus large et plus complexe des anneaux non associatifs dotés de partiels ordres et de la topologie d'intervalle de Frink.

Plus précisément, les auteurs soulignent :

• L'introduction d'une topologie induite par une semi-norme vers un anneau non associatif partiellement ordonné, un concept qu'ils affirment n'avoir « jamais été introduit » à leur connaissance.
• La preuve que l'intervalle $]0, 1]$ dans des anneaux non associatifs appropriés dotés d'un ordre partiel est entièrement composé d'éléments inversibles.
• La généralisation de la condition d'inversibilité ($f(1-x) < 1$) à des anneaux qui ne sont pas nécessairement associatifs, à condition qu'ils satisfassent des conditions spécifiques de complétude et d'ordre.

Les auteurs restent modestes quant à l'optimalité de leurs résultats, notant que dans l'anneau des entiers $\mathbb{Z}$, seul $1$ est inversible dans $]0, +\infty[$, suggérant que l'intervalle $]0, 1]$ est probablement l'étendue maximale pour un tel théorème général. Ils précisent également que leur travail traite de l'existence et de l'unicité des inverses dans ces contextes structurels spécifiques, plutôt que de redéfinir la notion générale d'inversibilité.