On left braces in which every subbrace is an ideal II

Resumo Técnico: Sobre Braces Esquerdos Dedekind nos Quais Todo Subbrace é um Ideal

Enunciado do Problema
Este artigo continua a investigação de braces esquerdos Dedekind, definidos como braces esquerdos $(A, +, \cdot)$ onde todo subbrace é um ideal. Enquanto um trabalho anterior dos autores ([4]) forneceu uma descrição estrutural completa de braces esquerdos Dedekind com um grupo aditivo periódico, este estudo aborda o caso mais complexo de grupos aditivos não periódicos. O objetivo principal é analisar as propriedades estruturais de braces esquerdos Dedekind com grupos aditivos não periódicos, focando especificamente em condições que forçam o brace a ser abeliano e caracterizando aqueles com nível multipermutacional 2. Essas estruturas algébricas são significativas porque correspondem a soluções setoriais da Equação de Yang-Baxter (YBE); especificamente, a abelianidade do brace relaciona-se com "soluções de torção" (twist solutions), e as propriedades de nilpotência relacionam-se com o nível multipermutacional da solução.

Metodologia
Os autores empregam uma combinação de adaptações da teoria de anéis e análise de teoria de grupos adaptadas às operações específicas de braces esquerdos. Os principais elementos metodológicos incluem:

• Análise da Operação Estrela: Utilização da operação estrela $a * b = a \cdot b - a - b$ para definir condições de nilpotência (ex: $a * a = 0$) e analisar a interação entre as estruturas aditiva e multiplicativa.
• Série do Soco (Socle Series): Investigação da cadeia ascendente de ideais definida pela série do soco $Soc_\alpha(A)$, particularmente os dois primeiros termos não nulos, $Soc(A)$e$Soc_2(A)$. O estudo foca na relação entre esses termos no cenário não periódico.
• Reticulado de Ideais e Subbraces: Aproveitamento da propriedade definidora de braces Dedekind (todo subbrace é um ideal) para derivar restrições sobre as ordens aditivas dos elementos e a estrutura dos subgrupos gerados.
• Argumentos de Ausência de Torção (Torsion-Free): Uso da suposição de que o grupo aditivo do soco (ou do próprio brace) é livre de torção para derivar contradições em relação a ordens finitas, forçando assim a abelianidade.
• Decomposições em Soma Direta: Construção de imersões do brace em somas diretas de um brace Dedekind periódico e um brace abeliano para descrever a estrutura global.

Contribuições Principais e Resultados

1. Caracterização de Braces Cíclicos Infinitos:
   O artigo estabelece que os únicos braces esquerdos Dedekind com um grupo aditivo isomorfo ao grupo cíclico infinito $\mathbb{Z}$ são os abelianos. Braces não abelianos com grupo aditivo $\mathbb{Z}$ falham na propriedade de Dedekind porque possuem subbraces que não são ideais.

2. Condições Suficientes para Abelianidade (Teorema A):
   Para um brace esquerdo Dedekind $A$ com um grupo aditivo não periódico, a condição de que todo elemento é 2-nilpotente (isto é, $a * a = 0$ para todo $a \in A$) é suficiente para provar que $A$ é abeliano.

   • Implicação para YBE: Se a estrutura de brace esquerdo $G(X, r)$ de uma solução $(X, r)$ é Dedekind e satisfaz $r(x, x) = (x, x)$, então $(X, r)$ é uma solução de torção (nível 1), e $G(X, r)$ é isomorfo ao grupo abeliano livre $\mathbb{Z}^X$.

3. Caso Hipermultipermutacional (Teorema B):
   Se um brace esquerdo Dedekind $A$ é hipermultipermutacional (significando que sua série do soco atinge $A$ em um ordinal limite) e o grupo aditivo de seu soco $Soc(A)$ é livre de torção, então $A$ é abeliano.

   • Implicação para YBE: Qualquer solução hipermultipermutacional com uma estrutura de brace esquerdo Dedekind e um grupo aditivo não periódico é necessariamente uma solução de torção.

4. Teorema Estrutural para Nível 2 (Teorema C):
   Para um brace esquerdo Dedekind $A$ onde $A = Soc_2(A)$ e o grupo aditivo é não periódico, o artigo prova um teorema de imersão estrutural. $A$ pode ser imerso em uma soma direta $T \oplus D$, onde:

   • $T$ é um brace esquerdo Dedekind com um grupo aditivo periódico.
   • O grupo aditivo de $T * T$ é localmente cíclico.
   • O centro $\zeta(T)$ contém $T * T$.
   • $D$ é um brace abeliano.
     Além disso, o artigo mostra que, para tais braces, o centro coincide com o soco ($\zeta(A) = Soc(A)$), e o quociente $A/\zeta(A)$ possui um grupo aditivo periódico. O soco contém um ideal abeliano isomorfo a um grupo periódico e localmente cíclico.

Significância
O artigo afirma avançar na classificação de soluções da Equação de Yang-Baxter ao estender a teoria de braces esquerdos Dedekind além do caso periódico. Ao provar que condições específicas de nilpotência ou ausência de torção em braces Dedekind não periódicos forçam a serem abelianos, os autores fornecem critérios verificáveis para identificar soluções de torção (soluções de nível 1) dentro desta classe. Adicionalmente, o teorema estrutural para braces de nível 2 oferece uma descrição completa do caso Dedekind não periódico neste nível multipermutacional específico, preenchendo a lacuna entre as estruturas algébricas periódicas e não periódicas no contexto das soluções de YBE. Os resultados refinam descobertas anteriores sobre nilpotência em anéis radicais e fornecem uma compreensão mais profunda de como o reticulado de subbraces restringe a estrutura global do brace.