🔢 mathematics

An extension theory and semidirect sums for nearrings

Este artículo establece una teoría de extensión general para los casianillos, análoga a las extensiones de Schreier y Everett para los grupos y los anillos respectivamente, la cual engloba la construcción de la suma semidirecta y unifica varios ejemplos de casianillos existentes diseñados para propósitos específicos.

Autores originales: Stefan Veldsman

Publicado 2026-08-11

📖 5 min de lectura🧠 Análisis profundo

CC0 1.0

Autores originales: Stefan Veldsman

Artículo original dedicado al dominio público bajo CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un maestro arquitecto diseñando una nueva ciudad. Tienes dos vecindarios distintos: uno es un distrito rígido y ordenado donde todos siguen reglas estrictas (como un grupo de soldados), y el otro es un distrito caótico y creativo donde las cosas se vuelven desordenadas pero divertidas (como un mercado callejero). En el mundo de las matemáticas, específicamente en una rama llamada álgebra, estos vecindarios se llaman "nearrings" (casianillos). Son como los planos de cómo estas estructuras se combinan, se suman y se multiplican. Pero aquí está el truco: en estos vecindarios, las reglas de la suma y la multiplicación no siempre se llevan bien. A veces, si las mezclamos, el orden importa, y a veces a la matemática ni siquiera le importa el cero.

Durante mucho tiempo, los matemáticos supieron cómo construir ciudades simples simplemente colocando dos vecindarios uno al lado del otro (una "suma directa") o dejando que un vecindario influenciara suavemente al otro de una manera muy específica y predecible (un "producto semidirecto"). Pero, ¿y si quisieras construir una ciudad donde los vecindarios interactúen en una danza salvaje y compleja? ¿Qué pasaría si la forma en que se mezclan dependiera de factores ocultos, como códigos secretos o reglas cambiantes que varían dependiendo de con quién esté hablando cada uno? Esa es la gran pregunta que aborda este artículo. Pregunta: "¿Cómo podemos construir una nueva y compleja ciudad de nearrings a partir de dos más simples, incluso cuando las reglas del camino son un poco retorcidas?". La respuesta no es solo sobre crear una nueva forma; es sobre crear un kit de herramientas universal que explique todas las formas posibles en que estos vecindarios matemáticos pueden pegarse entre sí.

El artículo, escrito por Stefan Veldsman, introduce una grandiosa "Teoría de la Extensión" para los nearrings. Piensa en esta teoría como el manual de instrucciones definitivo para construir una nueva estructura matemática (llamémosla el "Super-Nearring") tomando dos nearrings existentes, llamémoslos "Nearring A" y "Nearring B", y fusionándolos. El autor demuestra que, sin importar cómo intentes pegar estos dos, siempre estarás usando una receta específica que involucra cinco "funciones" especiales (que son simplemente máquinas matemáticas que toman entradas y devuelven salidas).

El artículo muestra que para construir este Super-Nearring, necesitas un "sistema de factores". Imagina esto como un conjunto de instrucciones secretas o una "receta de pegamento" que te dice exactamente cómo manejar la suma y la multiplicación cuando mezclas elementos de A y B. El autor define una construcción nueva llamada la "E-suma". Esta es una forma elegante de decir "una suma construida con un conjunto específico de reglas". El artículo demuestra dos cosas masivas:

Si sigues las reglas de esta receta de E-suma (que implica verificar seis condiciones específicas, etiquetadas como G1, G2, A1, A2, D1 y D2), siempre terminarás con un nearring válido.
Por el contrario, si tienes cualquier nearring que ha sido construido extendiendo A con B, se garantiza que es equivalente a una de estas E-sumas. En otras palabras, no hay formas ocultas o secretas de construir estas estructuras que esta receta no cubra.

El artículo luego se enfina en un caso especial y más simple llamado la "suma semidirecta". Esto es como un tipo específico de ciudad donde un vecindario (B) actúa como un "epimorfismo dividido"—una forma elegante de decir que B puede extraerse del Super-Nearring de forma limpia, como un cajón que se desliza hacia afuera de un gabinete, dejando el resto de la ciudad (A) intacto. El artículo demuestra que muchas construcciones complicadas ya existentes en el campo de los nearrings (como el "producto corona" utilizado por otros matemáticos) son en realidad versiones especiales de esta suma semidirecta. Es como descubrir que varios juguetes que parecen diferentes son en realidad diferentes versiones de color de un mismo juego de LEGO.

El autor no solo se queda en la teoría; proporciona un "menú" de ejemplos. Muestra cómo construir estas estructuras utilizando cosas como grupos de enteros, funciones sobre conjuntos e incluso nearrings con multiplicación cero (donde todo se multiplica por cero). Demuestra que al ajustar las cinco funciones en su receta, puedes recrear construcciones famosas, como la "extensión Dorroh" (que añade una unidad a un anillo) o diversas construcciones "radicales" utilizadas en el álgebra avanzada.

Crucialmente, el artículo es muy preciso sobre lo que no hace. No afirma que resuelva todos los problemas del álgebra, ni sugiere que estas nuevas estructuras sean útiles para construir puentes o programar software (al menos, no en este artículo). Es una prueba matemática pura. Establece que la "E-suma" es la forma correcta y completa de describir estas extensiones. Descarta explícitamente la idea de que existan "cabos sueltos" o formas no definidas de combinar estos nearrings; si una estructura existe, encaja en el molde de la E-suma. El artículo es seguro de sus hallazgos, presentándolos como teoremas probados en lugar de conjeturas o simulaciones. Es un fundamento sólido y lógico que dice: "Aquí está el mapa y aquí está el territorio; coinciden perfectamente".

Así que, si eres un adolescente curioso que se pregunta cómo los matemáticos construyen mundos complejos a partir de bloques simples, este artículo es el plano. Toma la idea desordenada y confusa de "pegar" dos sistemas matemáticos y la convierte en una receta limpia y paso a paso. Nos dice que, incluso en el mundo caótico de los nearrings, donde las reglas de la matemática pueden ser un poco rebeldes, hay un orden subyacente. Al usar un conjunto de cinco funciones como guía, podemos construir cualquier extensión posible, demostrando que el universo de los nearrings es más organizado de lo que parece a primera vista. Es un poco como darse cuenta de que cada sabor de helado que puedas imaginar es solo una combinación específica de unos pocos ingredientes básicos, mezclados de una manera muy específica. El artículo nos da el tazón para mezclar y la receta.

Resumen Técnico: Una Teoría de la Extensión y Sumas Semidirectas para Nearrings

Planteamiento del Problema
El artículo aborda la necesidad de una teoría de extensión unificada y natural para los nearrings, análoga a la teoría de extensiones de Schreier para grupos y la teoría de extensiones de Everett para anillos. Si bien existen en la literatura construcciones específicas, como el producto semidirecto de nearrings definido por Bellas para productos de corona (wreath products), estas suelen ser ad-hoc o carecen de un marco teórico general. El autor busca establecer una teoría general que caracterice todas las extensiones de un nearring $A$ por un nearring $B$ e identifique la suma semidirecta como un caso específico y natural dentro de este marco más amplio.

Metodología
El artículo procede en dos pasos principales para construir y clasificar las extensiones de nearrings:

Construcción de la E-suma ( $A \boxtimes B$ ):
El autor define una nueva estructura, la "E-suma", sobre el producto cartesiano $A \times B$ $A \times B$ . Esta construcción se basa en un quintuplete de funciones $E(\psi, [-,-], \alpha, \beta, \langle-,-\rangle)$ $E (ψ, [-, -], α, β, ⟨ -, - ⟩)$ :
- $\psi: B \to \text{Aut}(A, +)$
- $[-,-]: B^2 \to A$ (sistema de factores aditivos)
- $\alpha: B \to \text{Map}(A^2, A)$
- $\beta: B^2 \to \text{Map}(A)$
- $\langle-,-\rangle: B^2 \to A$ (sistema de factores multiplicativos)

Las operaciones en $A \boxtimes B$ se definen como:
* Suma: $(a_1, b_1) + (a_2, b_2) = (a_1 + \psi_{b_1}(a_2) + [b_1, b_2], b_1 + b_2)$
* Multiplicación: $(a_1, b_1)(a_2, b_2) = (\alpha_{b_2}(a_1, a_2) + \beta_{b_1, b_2}(a_2) + \langle b_1, b_2 \rangle, b_1 b_2)$

El artículo deriva las condiciones necesarias y suficientes (etiquetadas como G1, G2, A1, A2, D1, D2) que estas funciones deben satisfacer para que $A \boxtimes B$ forme un nearring válido. Estas condiciones se derivan al imponer los axiomas de grupo en la estructura aditiva y los axiomas de nearring (asociatividad y distributividad derecha) en la estructura multiplicativa.

Clasificación de Extensiones:
El artículo demuestra que cualquier extensión $N$ de $A$ por $B$ (donde $A$ es un ideal de $N$ y $N/A \cong B$ ) es equivalente a una E-suma. Utilizando una función de elección $\sigma: B \to N$ (una sección del homomorfismo de proyección), el autor construye una biyección entre $N$ y $A \times B$ . Esta biyección induce las funciones específicas $\psi, [-,-], \alpha, \beta, \langle-,-\rangle$ sobre el conjunto producto, demostrando que toda extensión es estructuralmente isomórfica a una E-suma que satisface las condiciones derivadas.

Contribuciones Clave y Resultados

Teoría de Extensión General: El artículo proporciona una caracterización completa de las extensiones de nearrings. El Teorema 2.3 establece que $A \boxtimes B$ es un nearring si y solo si las funciones asociadas satisfacen las seis condiciones algebraicas específicas (G1, G2, A1, A2, D1, D2). El Teorema 2.4 confirma que toda extensión de $A$ por $B$ es equivalente a tal E-suma.
Definición de Suma Semidirecta: El artículo propone una definición "más natural" de la suma semidirecta de dos nearrings. Esta se define como el caso especial de la E-suma donde los sistemas de factores $[-,-]$ $[-, -]$ y $\langle-,-\rangle$ $⟨ -, - ⟩$ son identicamente cero.
- En este caso, las condiciones se simplifican: $\psi$ se convierte en un homomorfismo de grupo de $(B, +)$ a $\text{Aut}(A, +)$ , y las condiciones restantes (A1, A2, D1, D2) gobiernan la interacción entre la multiplicación en $B$ y la estructura de $A$ .
- El artículo establece la conexión entre las sumas semidirectas y los epimorfismos partidos (retracciones), mostrando que un nearring $N$ es una suma semidirecta de $A$ y $B$ si y solo si existe un epimorfismo partido $f: N \to B$ con núcleo $A$ .
Unificación de Construcciones Existentes: El artículo demuestra que varias construcciones existentes en la teoría de nearrings son instancias específicas de este marco de suma semidirecta:
- Producto Semidirecto de Bellas: La construcción $A \times_\gamma B$ utilizada para productos de corona se muestra como una suma semidirecta bajo condiciones específicas (específicamente cuando $\gamma_0(a_1)a_2 = a_1a_2$ ).
- Productos de Corona (Wreath Products): El producto de corona de nearrings se identifica como una construcción de suma semidirecta específica solo cuando la condición $\gamma_0(f_1)f_2 = f_1f_2$ se cumple; en general, el producto de corona estándar no es una suma semidirecta.
- Extensión de Dorroh: El artículo muestra que la extensión de Dorroh (la extensión unitaria canónica de un anillo) es un caso específico de una suma semidirecta que involucra a los enteros $\mathbb{Z}$ .
- Construcciones de la Teoría de Radicales: Varias construcciones de la teoría de radicales de nearrings (que involucran nearrings con multiplicación cero o constante) se presentan como ejemplos de sumas semidirectas.

Significado
El artículo reclama su importancia al proporcionar un marco teórico exhaustivo que generaliza y unifica construcciones dispares en la teoría de nearrings. Al definir la suma semidirecta como un caso especial de una teoría de extensión general, el autor ofrece una forma sistemática de analizar y construir nearrings. El trabajo clarifica la relación entre los epimorfismos partidos y las sumas semidirectas en la categoría de los nearrings y proporciona una base algebraica rigurosa para las construcciones de nearrings existentes "diseñadas para un propósito específico" encontradas en la literatura, tales como las de Bellas, Betsch y otros. La teoría sirve como un análogo de nearring para las teorías de Schreier y Everett, bien establecidas para grupos y anillos, respectivamente.

Más como este