On left braces in which every subbrace is an ideal II

Resumen Técnico: Sobre los Braces de la Izquierda Dedekind en los que cada Subbrace es un Ideal II

Planteamiento del Problema
Este artículo continúa la investigación de los braces de la izquierda de Dedekind, definidos como braces de la izquierda $(A, +, \cdot)$ donde cada subbrace es un ideal. Mientras que un trabajo previo de los autores ([4]) proporcionó una descripción estructural completa de los braces de la izquierda de Dedekind con un grupo aditivo periódico, este estudio aborda el caso más complejo de los braces de la izquierda no periódicos. El objetivo principal es analizar las propiedades estructurales de los braces de la izquierda de Dedekind con grupos aditivos no periódicos, centrándose específicamente en las condiciones que fuerzan al brace a ser abeliano y en la caracterización de aquellos con nivel multipermutacional 2. Estas estructuras algebraicas son significativas porque corresponden a soluciones de la Ecuación de Yang-Baxter (YBE) de tipo set-teórica; específicamente, la abelianidad del brace se relaciona con "soluciones de giro" (twist solutions), y las propiedades de nilpotencia se relacionan con el nivel multipermutacional de la solución.

Metodología
Los autores emplean una combinación de adaptaciones de la teoría de anillos y análisis de la teoría de grupos adaptados específicamente a las operaciones de los braces de la izquierda. Los elementos metodológicos clave incluyen:

• Análisis de la Operación Estrella: Utilización de la operación estrella $a * b = a \cdot b - a - b$ para definir condiciones de nilpotencia (por ejemplo, $a * a = 0$) y analizar la interacción entre las estructuras aditiva y multiplicativa.
• Serie del Soco: Investigación de la cadena ascendente de ideales definida por la serie del soco $Soc_\alpha(A)$, particularmente los dos primeros términos no nulos $Soc(A)$y$Soc_2(A)$. El estudio se centra en la relación entre estos términos en el entorno no periódico.
• Retículo de Ideales y Subbraces: Aprovechamiento de la propiedad definitoria de los braces de Dedekind (cada subbrace es un ideal) para derivar restricciones sobre los órdenes aditivos de los elementos y la estructura de los subgrupos generados.
• Argumentos de Ausencia de Torsión (Torsion-Free): Uso de la suposición de que el grupo aditivo del soco (o del propio brace) es libre de torsión para derivar contradicciones respecto a los órdenes finitos, forzando así la abelianidad.
• Descomposiciones de Suma Directa: Construcción de inserciones (embeddings) del brace en sumas directas de un brace de Dedekind periódico y un brace abeliano para describir la estructura global.

Contribuciones Clave y Resultados

1. Caracterización de Braces Cíclicos Infinitos:
   El artículo establece que los únicos braces de la izquierda de Dedekind con un grupo aditivo isomorfo al grupo cíclico infinito $\mathbb{Z}$ son los abelianos. Los braces no abelianos con grupo aditivo $\mathbb{Z}$ fallan la propiedad de Dedekind porque poseen subbraces que no son ideales.

2. Condiciones Suficientes para la Abelianidad (Teorema A):
   Para un brace de la izquierda de Dedekind $A$ con un grupo aditivo no periódico, la condición de que cada elemento sea 2-nilpotente (es decir, $a * a = 0$ para todo $a \in A$) es suficiente para demostrar que $A$ es abeliano.

   • Implicación para YBE: Si la estructura de brace de la izquierda $G(X, r)$ de una solución $(X, r)$ es de Dedekind y satisface $r(x, x) = (x, x)$, entonces $(X, r)$ es una solución de giro (nivel 1), y $G(X, r)$ es isomorfo al grupo abeliano libre $\mathbb{Z}^X$.

3. Caso Hipermultipermutacional (Teorema B):
   Si un brace de la izquierda de Dedekind $A$ es hipermultipermutacional (lo que significa que su serie del soco alcanza a $A$ en un ordinal límite) y el grupo aditivo de su soco $Soc(A)$ es libre de torsión, entonces $A$ es abeliano.

   • Implicación para YBE: Cualquier solución hipermultipermutacional con una estructura de brace de la izquierda de Dedekind y un grupo aditivo no periódico es necesariamente una solución de giro.

4. Teorema Estructural para el Nivel 2 (Teorema C):
   Para un brace de la izquierda de Dedekind $A$ donde $A = Soc_2(A)$ y el grupo aditivo es no periódico, el artículo demuestra un teorema de inserción estructural. $A$ puede insertarse en una suma directa $T \oplus D$, donde:

   • $T$ es un brace de la izquierda de Dedekind con un grupo aditivo periódico.
   • El grupo aditivo de $T * T$ es localmente cíclico.
   • El centro $\zeta(T)$ contiene a $T * T$.
   • $D$ es un brace abeliano.
     Además, el artículo muestra que para tales braces, el centro coincide con el soco ($\zeta(A) = Soc(A)$), y el cociente $A/\zeta(A)$ tiene un grupo aditivo periódico. El soco contiene un ideal abeliano isomorfo a un grupo localmente cíclico periódico.

Significado
El artículo afirma avanzar en la clasificación de las soluciones de la Ecuación de Yang-Baxter extendiendo la teoría de los braces de la izquierda de Dedekind más allá del caso periódico. Al demostrar que condiciones específicas de nilpotencia o de ausencia de torsión en los braces de Dedekind no periódicos fuerzan a que sean abelianos, los autores proporcionan criterios verificables para identificar soluciones de giro (soluciones de nivel 1) dentro de esta clase. Adicionalmente, el teorema estructural para los braces de nivel 2 ofrece una descripción completa del caso de Dedekind no periódico en este nivel multipermutacional específico, cerrando la brecha entre las estructuras algebraicas periódicas y no periódicas en el contexto de las soluciones de YBE. Los resultados refinan los hallazgos previos sobre la nilpotencia en anillos radicales y proporcionan una comprensión más profunda de cómo el retículo de subbraces restringe la estructura global del brace.