Invertibility in partially ordered nonassociative rings

Sintesi Tecnica: Invertibilità in Anelli Nonassociativi Parzialmente Ordinati

Enunciato del Problema
Il saggio affronta il problema della caratterizzazione degli elementi invertibili all'interno del contesto specifico di anelli nonassociativi parzialmente ordinati, sia algebrico che topologico. Sebbene l'invertibilità sia un concetto fondamentale nella teoria degli anelli — che consente la divisione e la risoluzione di equazioni — il suo comportamento in strutture prive di associatività e dotate sia di ordine che di proprietà topologiche richiede un'indagine rigorosa. Gli autori cercano di determinare la dimensione e la natura dell'insieme degli elementi invertibili, concentrandosi in particolare su due scenari:

1. L'invertibilità degli elementi nell'intervallo $]0, 1]$ in un anello nonassociativo parzialmente ordinato.
2. L'invertibilità degli elementi $x$ in un anello nonassociativo dove una seminorma generalizzata $f$ soddisfa $f(1-x) < 1$, all'interno del quadro dei anelli debolmente quasi-topologici Hausdorff sequenzialmente completi.

Metodologia
Gli autori impiegano una sintesi di teoria dell'ordine, algebra nonassociativa e teoria dei gruppi topologici. La metodologia si basa sui seguenti componenti strutturali:

• Quadro Algebrico: Lo studio è condotto su anelli nonassociativi (dove la moltiplicazione non è necessariamente associativa) che sono parzialmente ordinati. Gli anelli sono assunti unitari (possiedono un identità moltiplicativa $1 \geq 0$).
• Quadro Topologico: Il saggio introduce e utilizza la topologia d'intervallo di Frink su insiemi parzialmente ordinati. Questa topologia è definita da una sottobase di insiemi chiusi costituita da raggi $[a, +\infty[$ e $]-\infty, b]$. Gli autori stabiliscono che questa topologia rende certi gruppi ordinati dei gruppi quasi-topologici localmente convessi.
• Seminorme Generalizzate: Viene introdotto un concetto innovativo: una seminorma $f$ che mappa un anello nonassociativo $R_1$ verso un anello nonassociativo parzialmente ordinato $R_2$ (dotato della topologia d'intervallo di Frink). Questa mappa soddisfa subadditività, submoltiplicatività e pari-proprietà (evenness). La topologia su $R_1$ è indotta da questa seminorma.
• Completezza e Convergenza: Le dimostrazioni si basano sulla completezza di Cauchy sequenziale Hausdorff dell'anello $R_1$ sotto la topologia indotta. Gli autori utilizzano il concetto di $\sigma$-completezza monotona (esistenza di supremi per sequenze crescenti limitate) nell'anello bersaglio $R_2$.
• Costruzione della Serie Geometrica: Il meccano centrale per provare l'invertibilità è la costruzione di "serie geometriche orientate". Gli autori definiscono le potenze iterate $x^{\to n}$ (dove $x^{\to 0}=1, x^{\to n+1} = x \cdot x^{\to n}$) e dimostrano che, sotto specifiche condizioni, la serie $\sum_{n \in \mathbb{N}} x^{\to n}$ converge a un inverso.

Contributi Chiave e Risultati

1. Proprietà Topologiche degli Anelli Seminormati:

   • Il saggio stabilisce che un anello unitario nonassociativo dotato della topologia indotta da una norma in un anello di divisione totalmente ordinato forma un gruppo quasi-topologico Hausdorff localmente convesso.
   • Inoltre, se l'anello bersaglio è un anello di divisione, la mappa di moltiplicazione nell'anello sorgente è mostrata essere continua, portando alla definizione di un anello debolmente quasi-topologico (un gruppo che è quasi-topologico con un prodotto separatamente continuo).

2. Invertibilità in Anelli Nonassociativi Parzialmente Ordinati (Teorema 3.1):

   • Gli autori dimostrano che in un anello nonassociativo parzialmente ordinato $R$ che è $\sigma$-completo monotono, se $1 \geq 0$ e ogni elemento nell'intervallo $]0, 1]$ ammette un "quasi-inverso destro-sup-quasi", allora l'intervallo $]0, 1]$ consiste interamente di elementi invertibili.
   • L'inverso è esplicitamente costruito come il limite della serie $\sum_{n \in \mathbb{N}} (1-x)^{\to n}$.
   • Il saggio nota che questo risultato è valido per anelli standard come $\mathbb{R}$ e $\mathbb{Z}$, nonché per anelli polinomiali con ordinamento lessicografico, ma fallisce in anelli privi di $\sigma$-completezza monotona o di specifiche proprietà di quasi-inverso.

3. Invertibilità in Anelli Hausdorff Cauchy-Completi Seminormati (Teorema 3.2):

   • Estendendo il risultato precedente, gli autori mostrano che se $f: R_1 \to R_2$ è una seminorma dove $R_2$ è un anello nonassociativo parzialmente ordinato con la topologia d'intervallo di Frink, e $R_1$ è Hausdorff sequenzialmente Cauchy-completo sotto la topologia indotta da $f$, allora ogni $x \in R_1$ che soddisfa $f(1-x) < 1$ è invertibile.
   • La prova utilizza la convergenza della successione delle somme parziali di $(1-x)^{\to n}$ in $R_1$, garantita dalla completezza di $R_1$ e dalle proprietà della serie in $R_2$.

4. Fatti Topologici Originali:

   • Il saggio dimostra che la topologia d'intervallo di Frink su un gruppo totalmente ordinato è un gruppo topologico e che su un anello di divisione totalmente ordinato, essa forma un anello topologico.
   • Stabilisce l'unicità dei limiti per le successioni crescenti nella topologia d'intervallo di Frink (Lemma 2.1).

Significatività e Rivendicazioni
Il saggio sostiene di contribuire alla teoria dell'invertibilità estendendo i risultati classici (spesso basati su spazi metrici e algebre associative) al contesto più ampio e complesso di anelli nonassociativi dotati di ordini parziali e della topologia d'intervallo di Frink.

Nello specifico, gli autori evidenziano:

• L'introduzione di una topologia indotta da una seminorma che mappa in un anello nonassociativo parzialmente ordinato, un concetto che dichiarano di "non aver mai introdotto" a loro conoscenza.
• La prova che l'intervallo $]0, 1]$ in appropriati anelli nonassociativi parzialmente ordinati consiste interamente di elementi invertibili.
• La generalizzazione della condizione per l'invertibilità ($f(1-x) < 1$) ad anelli che non sono necessariamente associativi, purché soddisfino specifiche condizioni di completezza e di ordine.

Gli autori mantengono un tono modesto riguardo all'ottimalità dei loro risultati, notando che nell'anello degli interi $\mathbb{Z}$, solo $1$ è invertibile in $]0, +\infty[$, suggerendo che l'intervallo $]0, 1]$ sia probabilmente l'intervallo massimo per un teorema così generale. Chiariscono inoltre che il loro lavoro affronta l'esistenza e l'unicità degli inversi all'interno di questi specifici contesti strutturali, piuttosto che ridefinire la nozione generale di invertibilità.