Invertibility in partially ordered nonassociative rings

Resumen Técnico: Invertibilidad en Anillos No Asociativos Parcialmente Ordenados

Planteamiento del Problema
El artículo aborda el problema de caracterizar los elementos invertibles dentro del contexto algebraico y topológico específico de los anillos no asociativos parcialmente ordenados. Si bien la invertibilidad es un concepto fundamental en la teoría de anillos —permitiendo la división y la resolución de ecuaciones—, su comportamiento en estructuras que carecen de asociatividad y que están dotadas tanto de orden como de propiedades topológicas requiere una investigación rigurosa. Los autores buscan determinar el tamaño y la naturaleza del conjunto de elementos invertibles, centrándose específicamente en dos escenarios:

1. La invertibilidad de los elementos dentro del intervalo $]0, 1]$ en un anillo no asociativo parcialmente ordenado.
2. La invertibilidad de los elementos $x$ en un anillo no asociativo donde una seminorma generalizada $f$ satisface $f(1-x) < 1$, dentro del marco de los anillos débilmente cuasi-topológicos de Hausdorff secuencialmente Cauchy-completos.

Metodología
Los autores emplean una síntesis de la teoría del orden, el álgebra no asociativa y la teoría de grupos topológicos. La metodología se basa en los siguientes componentes estructurales:

• Marco Algebraico: El estudio se realiza sobre anillos no asociativos (donde la multiplicación no es necesariamente asociativa) que están parcialmente ordenados. Se asume que los anillos son unitarios (poseen un elemento de identidad multiplicativa $1 \geq 0$).
• Marco Topológico: El artículo introduce y utiliza la topología de intervalos de Frink en conjuntos parcialmente ordenados. Esta topología se define mediante una subbase de conjuntos cerrados consistentes en rayos $[a, +\infty[$ y $]-\infty, b]$. Los autores establecen que esta topología convierte a ciertos grupos ordenados en grupos cuasi-topológicos localmente convexos.
• Seminormas Generalizadas: Se introduce un concepto novedoso: una seminorma $f$ que mapea un anillo no asociativo $R_1$ a un anillo no asociativo parcialmente ordenado $R_2$ (dotado de la topología de intervalos de Frink). Este mapa satisface subaditividad, submultiplicatividad y paridad. La topología en $R_1$ está inducida por esta seminorma.
• Completitud y Convergencia: Las demostraciones se basan en la completitud de Cauchy secuencial de Hausdorff del anillo $R_1$ bajo la topología inducida. Los autores utilizan el concepto de $\sigma$-completitud monótona (existencia de supremos para sucesiones crecientes acotadas) en el anillo objetivo $R_2$.
• Construcción de la Serie Geométrica: El mecanismo central para probar la invertibilidad es la construcción de "series geométricas orientadas". Los autores definen potencias iteradas $x^{\to n}$ (donde $x^{\to 0}=1, x^{\to n+1} = x \cdot x^{\to n}$) y demuestran que, bajo condiciones específicas, la serie $\sum_{n \in \mathbb{N}} x^{\to n}$ converge a un inverso.

Contribuciones Clave y Resultados

1. Propiedades Topológicas de los Anillos Seminormados:

   • El artículo establece que un anillo no asociativo unitario dotado de la topología inducida por una norma hacia un anillo de división asociativo totalmente ordenado (con la topología de intervalos de Frink) forma un grupo cuasi-topológico de Hausdorff localmente convexo.
   • Además, si el anillo objetivo es un anillo de división, se demuestra que el mapa de multiplicación en el anillo de origen es continuo, lo que conduce a la definición de un anillo débilmente cuasi-topológico (un grupo que es cuasi-topológico con un producto separadamente continuo).

2. Invertibilidad en Anillos No Asociativos Parcialmente Ordenados (Teorema 3.1):

   • Los autores prueban que en un anillo no asociativo parcialmente ordenado $R$ que es monótonamente $\sigma$-completo, si $1 \geq 0$ y cada elemento en $]0, 1]$ admite un "cuasi-inverso casi-supremo-derecho", entonces el intervalo $]0, 1]$ consiste enteramente en elementos invertibles.
   • El inverso se construye explícitamente como el límite de la serie $\sum_{n \in \mathbb{N}} (1-x)^{\to n}$.
   • El artículo señala que este resultado se cumple para anillos estándar como $\mathbb{R}$ y $\mathbb{Z}$, así como para anillos polinómicos con orden lexicográfico, pero falla en anillos que carecen de $\sigma$-completitud monótona o de propiedades específicas de cuasi-inverso.

3. Invertibilidad en Anillos de Hausdorff Cauchy-Completos Seminormados (Teorema 3.2):

   • Extendiendo el resultado anterior, los autores muestran que si $f: R_1 \to R_2$ es una seminorma donde $R_2$ es un anillo no asociativo parcialmente ordenado con la topología de intervalos de Frink, y $R_1$ es Hausdorff secuencialmente Cauchy-completo bajo la topología inducida por $f$, entonces cualquier $x \in R_1$ que satisfaga $f(1-x) < 1$ es invertible.
   • La prueba utiliza la convergencia de la sucesión de sumas parciales de $(1-x)^{\to n}$ en $R_1$, garantizada por la completitud de $R_1$ y las propiedades de la serie en $R_2$.

4. Hechos Topológicos Originales:

   • El artículo demuestra que la topología de intervalos de Frink en un grupo totalmente ordenado es un grupo topológico y que en un anillo de división totalmente ordenado forma un anillo topológico.
   • Establece la unicidad de los límites para sucesiones crecientes en la topología de intervalos de Frink (Lema 2.1).

Significancia y Reivindicaciones
El artículo afirma contribuir a la teoría de la invertibilidad extendiendo los resultados clásicos (a menudo basados en espacios métricos y álgebras asociativas) al entorno más amplio y complejo de anillos no asociativos dotados de órdenes parciales y la topología de intervalos de Frink.

Específicamente, los autores destacan:

• La introducción de una topología inducida por una seminorma que mapea hacia un anillo no asociativo parcialmente ordenado, un concepto que afirman "nunca haber sido introducido" según su conocimiento.
• La prueba de que el intervalo $]0, 1]$ en anillos parcialmente ordenados adecuados consiste enteramente en elementos invertibles.
• La generalización de la condición para la invertibilidad ($f(1-x) < 1$) a anillos que no son necesariamente asociativos, siempre que cumplan con condiciones específicas de completitud y de orden.

Los autores mantienen la modestia respecto a la optimalidad de sus resultados, señalando que en el anillo de los enteros $\mathbb{Z}$, solo $1$ es invertible en $]0, +\infty[$, lo que sugiere que el intervalo $]0, 1]$ es probablemente el rango máximo para un teorema tan general. También aclaran que su trabajo aborda la existencia y unicidad de los inversos dentro de estos contextos estructurales específicos, en lugar de redefinir la noción general de invertibilidad.