Invertibility in partially ordered nonassociative rings

Resumo Técnico: Invertibilidade em Anéis Não Associativos Parcialmente Ordenados

Enunciado do Problema
O artigo aborda o problema de caracterizar elementos invertíveis dentro do contexto algébrico e topológico específico de anéis não associativos parcialmente ordenados. Embora a invertibilidade seja um conceito fundamental na teoria dos anéis — permitindo a divisão e a solução de equações — seu comportamento em estruturas que carecem de associatividade e são dotadas de propriedades de ordem e topologia requer investigação rigorosa. Os autores buscam determinar o tamanho e a natureza do conjunto de elementos invertíveis, focando especificamente em dois cenários:

1. A invertibilidade de elementos dentro do intervalo $]0, 1]$ em um anel não associativo parcialmente ordenado.
2. A invertibilidade de elementos $x$ em um anel não associativo onde uma seminorma generalizada $f$ satisfaz $f(1-x) < 1$, dentro da estrutura de anéis Hausdorff sequencialmente Cauchy-completos e quase-topológicos fracos.

Metodologia
Os autores empregam uma síntese de teoria da ordem, álgebra não associativa e teoria de grupos topológicos. A metodologia baseia-se nos seguintes componentes estruturais:

• Estrutura Algébrica: O estudo é conduzido em anéis não associativos (onde a multiplicação não é necessariamente associativa) que são parcialmente ordenados. Assume-se que os anéis sejam unitários (possuindo um elemento de identidade multiplicativa $1 \geq 0$).
• Estrutura Topológica: O artigo introduz e utiliza a topologia de intervalo de Frink em conjuntos parcialmente ordenados. Esta topologia é definida por uma subbase de conjuntos fechados consistindo em raios $[a, +\infty[$ e $]-\infty, b]$. Os autores estabelecem que esta topologia torna certos grupos ordenados em grupos quase-topológicos localmente convexos.
• Seminormas Generalizadas: Um conceito inovador é introduzido: uma seminorma $f$ que mapeia um anel não associativo $R_1$ para um anel não associativo parcialmente ordenado $R_2$ (dotado da topologia de intervalo de Frink). Este mapa satisfaz subaditividade, submultiplicatividade e paridade. A topologia em $R_1$ é induzida por esta seminorma.
• Completude e Convergência: As provas baseiam-se na completude Cauchy sequencial Hausdorff do anel $R_1$ sob a topologia induzida. Os autores utilizam o conceito de $\sigma$-completude monotônica (existência de supremos para sequências crescentes limitadas) no anel alvo $R_2$.
• Construção de Séries Geométricas: O mecanismo central para provar a invertibilidade é a construção de "séries geométricas orientadas". Os autores definem potências iteradas $x^{\to n}$ (onde $x^{\to 0}=1, x^{\to n+1} = x \cdot x^{\to n}$) e demonstram que, sob condições específicas, a série $\sum_{n \in \mathbb{N}} x^{\to n}$ converge para um inverso.

Principais Contribuições e Resultados

1. Propriedades Topológicas de Anéis Seminormados:

   • O artigo estabelece que um anel não associativo unitário dotado da topologia induzida por uma norma em um corpo de divisão associativo totalmente ordenado (com a topologia de intervalo de Frink) forma um grupo quase-topológico localmente convexo Hausdorff.
   • Além disso, se o anel alvo for um corpo de divisão, a aplicação de multiplicação no anel de origem é mostrada como contínua, levando à definição de um anel quase-topológico fraco (um grupo que é quase-topológico com um produto separadamente contínuo).

2. Invertibilidade em Anéis Não Associativos Parcialmente Ordenados (Teorema 3.1):

   • Os autores provam que, em um anel não associativo parcialmente ordenado $R$ que é monotonicamente $\sigma$-completo, se $1 \geq 0$ e cada elemento no intervalo $]0, 1]$ admite um "quase-inverso de supremo à direita", então o intervalo $]0, 1]$ consiste inteiramente de elementos invertíveis.
   • O inverso é explicitamente construído como o limite da série $\sum_{n \in \mathbb{N}} (1-x)^{\to n}$.
   • O artigo observa que este resultado é válido para anéis padrão como $\mathbb{R}$ e $\mathbb{Z}$, bem como para anéis polinomiais com ordenação lexicográfica, mas falha em anéis que carecem de $\sigma$-completude monotônica ou de propriedades específicas de quase-inverso.

3. Invertibilidade em Anéis Hausdorff Cauchy-Completos Seminormados (Teorema 3.2):

   • Estendendo o resultado anterior, os autores mostram que, se $f: R_1 \to R_2$ é uma seminorma onde $R_2$ é um anel não associativo parcialmente ordenado com a topologia de intervalo de Frink, e $R_1$ é Hausdorff sequencialmente Cauchy-completo sob a topologia induzida por $f$, então qualquer $x \in R_1$ que satisfaça $f(1-x) < 1$ é invertível.
   • A prova utiliza a convergência da sequência de somas parciais de $(1-x)^{\to n}$ em $R_1$, garantida pela completude de $R_1$ e pelas propriedades da série em $R_2$.

4. Fatos Topológicos Originais:

   • O artigo demonstra que a topologia de intervalo de Frink em um grupo totalmente ordenado é um grupo topológico e que, em um corpo de divisão totalmente ordenado, forma um anel topológico.
   • Estabelece a unicidade de limites para sequências crescentes na topologia de intervalo de Frink (Lema 2.1).

Significância e Alegações
O artigo afirma contribuir para a teoria da invertibilidade ao estender resultados clássicos (frequentamente baseados em espaços métricos e álgebras associativas) para o cenário mais amplo e complexo de anéis não associativos dotados de ordens parciais e da topologia de intervalo de Frink.

Especificamente, os autores destacam:

• A introdução de uma topologia induzida por uma seminorma que mapeia para um anel não associativo parcialmente ordenado, um conceito que eles afirmam "nunca ter sido introduzido" conforme seu conhecimento.
• A prova de que o intervalo $]0, 1]$ em anéis não associativos adequadamente ordenados consiste inteiramente de elementos invertíveis.
• A generalização da condição para invertibilidade ($f(1-x) < 1$) para anéis que não são necessariamente associativos, desde que satisfaçam condições específicas de completude e de ordem.

Os autores mantêm a modéstia quanto à otimalidade de seus resultados, observando que no anel dos inteiros $\mathbb{Z}$, apenas $1$ é invertível em $]0, +\infty[$, sugerindo que o intervalo $]0, 1]$ é provavelmente o intervalo máximo para tal teorema geral. Eles também esclarecem que seu trabalho aborda a existência e a unicidade de inversos dentro desses contextos estruturais específicos, em vez de redefinir a noção geral de invertibilidade.