🔢 mathematics

Free nearrings

Este artículo proporciona construcciones explícitas para los nearrings libres y el producto libre de dos nearrings dentro de la variedad de todos los nearrings, incluyendo aquellos que no son necesariamente simétricos al cero.

Autores originales: Stefan Veldsman

Publicado 2026-08-11

📖 8 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 un mundo donde las matemáticas no son solo números en una página, sino las reglas que gobiernan cómo las cosas se combinan, se apilan e interactúan. Este es el reino del álgebra abstracta, una rama de las matemáticas que estudia estructuras como los grupos y los anillos. Piensa en un "grupo" como un club con un conjunto específico de miembros y una única regla para cómo pueden combinarse (como sumar números). Un "anillo" es un club más complejo con dos reglas: una para sumar y otra para multiplicar. Pero, ¿y si relajamos las reglas solo un poquito? ¿Qué pasaría si la multiplicación solo se lleva bien cuando viene desde el lado derecho, pero ignora el izquierdo? Ese es el mundo peculiar y ligeramente rebelde de un "nearring" (o casianillo).

Los nearrings son como los primos salvajes de los anillos. En un anillo estándar, la multiplicación se distribuye sobre la suma perfectamente por ambos lados (tal como $a(b+c) = ab + ac $y$ (a+b)c = ac + bc$). En un nearring, solo exigimos que funcione por la derecha: $(a+b)c = ac + bc$. ¿El lado izquierdo? Puede hacer lo que quiera. Esta flexibilidad hace que los nearrings sean increíblemente útiles para modelar sistemas del mundo real donde el orden y la dirección importan, como en la informática o la geometría. Pero debido a que son tan flexibles, también son notoriamente difíciles de construir desde cero. Los matemáticos a menudo quieren saber: "Si empiezo con una pizarra en blanco y unos pocos ingredientes básicos, ¿cuál es el nearring más general y respetuoso de las reglas que puedo crear?". Esta es la búsqueda de un "free nearring" (nearring libre).

Este artículo de Stefan Veldsman aborda exactamente esa pregunta. El autor proporciona una receta detallada, paso a paso, para construir un "free nearring" a partir de un conjunto simple de símbolos, así como un método para fusionar dos nearrings existentes en uno nuevo y combinado (llamado "free product" o producto libre). Mientras que trabajos previos solo habían resuelto este rompecabezas para un tipo de nearring muy específico y bien portado (uno donde el cero actúa de forma amable), Veldsman demuestra que esta construcción funciona para todos los nearrings, incluso para los desordenados e impredecibles donde el cero no se comporta perfectamente. El artículo no solo sugiere que esto es posible; ofrece una prueba matemática rigurosa de que estas estructuras pueden construirse exactamente como se describen, expandiendo el conjunto de herramientas disponible para los matemáticos que trabajan con estos complejos sistemas algebraicos.

El juego de Lego de las matemáticas: Construyendo un Free Nearring

Imagina que eres un maestro constructor con una caja de piezas de Lego. Quieres construir el castillo más definitivo y flexible posible, pero tienes una regla muy específica: cada vez que encajes una nueva pieza en el lado derecho de una torre, toda la estructura debe mantenerse estable. Sin embargo, si encajas una pieza a la izquierda, la torre podría tambalearse, inclinarse o hacer algo extraño. Este es el mundo de los nearrings.

En este artículo, el autor, Stefan Veldsman, actúa como el arquitecto. Quiere mostrarnos cómo construir el "Free Nearring". Piensa en una estructura "libre" en matemáticas como el lienzo en blanco definitivo. Es la versión más básica y sin adornos de un objeto matemático que puedes crear usando un conjunto específico de ingredientes iniciales (como un conjunto de letras, $X$ ). Contiene solo las reglas que tú le obligaste a tener y nada más. Si quieres construir un nearring, necesitas saber cómo construir esta versión "libre" primero, porque cada otro nearring es solo una copia simplificada de este.

Los Ingredientes: Un semigrupo con un "Cero Izquierdo"

Antes de poder construir el nearring, necesitamos un cimiento. Veldsman comienza con algo llamado semigrupo con un cero izquierdo.

El Semigrupo: Imagina una fila de personas pasándose una pelota. La regla es simple: si la Persona A le pasa a la Persona B, y la Persona B le pasa a la Persona C, es lo mismo que si la Persona A le pasara directamente a la Persona C. Es solo una cadena de acciones.
El Cero Izquierdo: Ahora, imagina que hay una persona especial en esta fila llamada "Cero". La regla para Cero es estricta: si Cero le pasa la pelota a cualquiera, la pelota desaparece (o se queda en Cero). Pero si alguien le pasa la pelota a Cero, Cero la mantiene y la devuelve sin cambios. Es un "cero izquierdo" porque la magia ocurre cuando Cero está en el lado izquierdo de la interacción.

Veldsman construye un conjunto específico de estas "palabras" o cadenas de símbolos (como $x_1x_2x_3$ ) y añade este elemento especial de Cero. Esto forma la materia prima, la "R", a partir de la cual se construirá el nearring.

La Construcción: Una Torre de Grupos

Construir el nearring no es un proceso de un solo paso; es como construir un rascacielos piso por piso. El autor utiliza un método llamado inducción, lo que significa que construye el primer piso, luego usa ese para construir el segundo, y así sucesivamente, para siempre.

La Planta Baja ( $B_0$ ): Comienza tomando los materiales brutos (el semigrupo $R$ ) y convirtiéndolos en un grupo aditivo libre. Piensa en esto como tomar todas tus piezas de Lego y permitirte sumarlas o restarlas (como tener una pieza "negativa"). Esto crea un grupo masivo y flexible donde puedes combinar elementos en cualquier orden que quieras, siempre que sigas las reglas básicas de la suma.
Los Siguientes Pisos ( $B_1, B_2, \dots$ ): Aquí es donde ocurre la magia del nearring. El autor introduce una nueva capa de complejidad. Toma el piso actual y lo combina con un nuevo conjunto de "productos formales" (imagina pegar un nuevo tipo de ladrillo a la estructura existente).
- Crea un nuevo conjunto de elementos llamados $D_n$ , que son esencialmente los elementos antiguos multiplicados por los nuevos elementos "libres".
- Luego construye el siguiente piso ( $B_n$ ) tomando el piso anterior y realizando un "producto libre" con los nuevos elementos. En el lenguaje matemático, un "producto libre" es como pegar dos grupos separados en un solo punto, creando un árbol gigante y ramificado de posibilidades.
- Repite este proceso infinitamente. El "Free Nearring" final es la unión de todos estos pisos, una estructura imponente de complejidad infinita.

Las Reglas del Juego: Distributividad y Asociatividad

Una vez construida la torre, Veldsman tiene que demostrar que realmente funciona como un nearring. Verifica dos reglas críticas:

Distributividad por la Derecha: Esta es la regla de oro de los nearrings. Dice que si tienes una suma $(a + b)$ y la multiplicas por $c$ por la derecha, debe ser igual a $ac + bc$. Veldsman demuestra que, debido a la forma en que construyó la torre (piso por piso, respetando las reglas en cada paso), esta regla se cumple perfectamente. La estructura está diseñada para que la multiplicación desde la derecha siempre se lleve bien con la suma.
Asociatividad: Esta regla dice que $(ab)c$ debe ser igual a $a(bc)$. Es la regla que dice que no importa cómo agrupes tus operaciones. Veldsman la demuestra mostrando que, sin importar en qué "piso" de la torre vivan tus elementos, la multiplicación funciona de manera consistente.

El "Producto Libre" de Dos Nearrings

El artículo también aborda un segundo desafío: ¿Qué sucede si tienes dos nearrings existentes, digamos $A$ y $B$ , y quieres aplastarlos juntos en un solo nearring gigante sin perder ninguna de sus identidades originales? Esto se llama producto libre (o coproducto).

Veldsman utiliza una estrategia de "construcción de torres" similar. Comienza tomando las partes "multiplicativas" de $A$ y $B$ y las fusiona en un nuevo semigrupo $R$ . Luego ejecuta el mismo proceso de construcción infinita. El resultado es un nuevo nearring que contiene tanto a $A$ como a $B$ como subpartes. Si hay una regla en $A$ o una regla en $B$ , esta permanece intacta en la nueva estructura gigante. Las únicas reglas nuevas añadidas son el mínimo necesario para que funcionen juntos como un solo nearring.

Por qué esto importa

Podrías preguntarte: "¿A quién le importa construir estas torres abstractas?". La respuesta reside en la flexibilidad. Los nearrings se utilizan para modelar cosas donde la dirección importa, como las funciones en la informática o las transformaciones en la geometría. Al tener un plano preciso y "libre" de cómo construir estas estructuras, los matemáticos pueden:

Probar Teorías: Pueden usar el free nearring como una "prueba de esfuerzo" para ver si una nueva idea matemática se sostiene bajo las condiciones más extremas.
Comprender la Complejidad: Les ayuda a entender los límites fundamentales de lo que puede ser un nearring.
Generalizar: Este artículo es importante porque elimina una restricción mayor. El trabajo previo solo funcionaba para nearrings "zero-symmetric" (donde $a \times 0 = 0$ ). Veldsman demuestra que la construcción funciona incluso cuando $a \times 0$ no es cero, abriendo la puerta a una variedad mucho más amplia de modelos matemáticos.

En resumen, Stefan Veldsman nos ha entregado la llave maestra del universo de los nearrings. No se limitó a adivinar cómo construirlo; proporcionó una prueba rigurosa, paso a paso, de que estas estructuras existen, pueden construirse y siguen las reglas que esperamos. Es un poco como finalmente descubrir las instrucciones exactas para construir un castillo de Lego que pueda sobrevivir a cualquier terremoto, sin importar cómo se apilen los ladrillos.

Resumen Técnico: Nearanillos Libres y Productos Libres en la Variedad de Todos los Nearanillos

Planteamiento del Problema
El artículo aborda la construcción de objetos libres dentro de la variedad de todos los nearanillos derechos, extendiendo el trabajo previo que estaba limitado a la variedad de los nearanillos izquierdos cero-simétricos. Un nearanillo $N = (N, +, \cdot, 0_N)$ se define como una estructura donde $(N, +, 0_N)$ es un grupo (no necesariamente conmutativo), $(N, \cdot)$ es un semigrupo, y la multiplicación distribuye por la derecha sobre la adición ($(a+b)c = ac + bc$). A diferencia de los anillos, los nearanillos no satisfacen necesariamente $0a = 0$ o $a(-b) = -(ab)$; aquellos que lo hacen se denominan "cero-simétricos". El artículo señala que cualquier nearanillo se descompone en una parte cero-simétrica y una parte constante. Mientras que Meldrum [5] había construido previamente nearanillos libres y productos libres para nearanillos izquierdos cero-simétricos, la construcción explícita para la variedad más amplia de todos los nearanillos derechos (incluyendo los no cero-simétricos) aún no se había detallado.

Metodología
El autor, Stefan Veldsman, emplea un método de construcción inductiva, siguiendo en gran medida el marco establecido por Meldrum pero adaptándolo para manejar nearanillos derechos y la presencia de elementos constantes. La construcción procede en dos fases principales:

Construcción del Nearanillo Libre $F(X)$ :
- Semigrupo Base: El proceso comienza con un semigrupo multiplicativo libre con un cero a la izquierda, denotado $(R, \cdot, 0_R)$ , sobre un conjunto generador $X$ . Este conjunto $R$ consiste en palabras sobre $X$ y productos formales que involucran un símbolo de cero a la izquierda $0_R$ .
- Torre de Grupos Inductiva: Se construye una secuencia de grupos $B_n$ . $B_0$ es el grupo aditivo libre sobre $R$ . Los grupos subsiguientes $B_n$ se forman como el producto libre del grupo anterior $B_{n-1}$ y el grupo aditivo libre sobre un conjunto de productos formales $D_{n-1} = R \cdot C_{n-1}$ , donde $C_{n-1}$ representa los "nuevos" elementos añadidos en el paso anterior.
- Objeto Límite: El nearanillo libre $F(X)$ se define como la unión de esta torre de grupos ( $\bigcup_{n=0}^{\infty} B_n$ ).
- Definición de la Multiplicación: La multiplicación se define inductivamente. Primero se define para los elementos en $R$ actuando sobre $F(X)$ , luego se extiende a los inversos aditivos, y finalmente a todo el grupo $B_0$ y los $B_n$ subsiguientes mediante la distributividad y productos formales.
- Verificación: El autor verifica rigurosamente que la estructura resultante satisface los axiomas de nearanillo: distributividad derecha, asociatividad de la multiplicación y la existencia de un producto bien definido.
Construcción del Producto Libre (Coproducto):
- El producto libre de dos nearanillos $A$ y $B$ se construye formando primero el producto libre de sus semigrupos multiplicativos subyacentes con ceros a la izquierda, denotado $R$ .
- Se aplican los mismos pasos de la torre de grupos inductiva y la extensión de la multiplicación utilizados para $F(X)$ a este nuevo base $R$ para generar el coproducto en la categoría de nearanillos.

Contribuciones Clave y Resultados

Construcción Explícita: El artículo proporciona una construcción explícita, paso a paso, del nearanillo libre $F(X)$ sobre un conjunto $X$ dentro de la variedad de todos los nearanillos derechos. Esto incluye una descripción detallada de los conjuntos subyacentes, la definición inductiva de la estructura de grupo aditivo y la definición recursiva de la operación de multiplicación.
Generalización: El trabajo extiende los resultados de Meldrum de los nearanillos izquierdos cero-simétricos a la variedad general de los nearanillos derechos. Se pone un enfoque específico en la gestión de "elementos constantes" (elementos donde $ab=a$ para todo $b$ ) y el comportamiento no cero-simétrico, que no fueron el foco principal de las construcciones cero-simétricas anteriores.
Producto Libre (Coproducto): El artículo construye con éxito el producto libre de dos nearanillos arbitrarios $A$ y $B$ . Demuestra que la estructura resultante $F(R)$ (donde $R$ es el semigrupo coproducto de $A$ y $B$ ) satisface la propiedad universal de un coproducto en la categoría de nearanillos.
Asociatividad y Distributividad: El autor proporciona pruebas detalladas de que la multiplicación construida es asociativa y derecha-distributiva sobre la adición, incluso en presencia de reducciones en las palabras del grupo aditivo.
Extensiones Unitales: El artículo describe cómo modificar la construcción para producir nearanillos libres con un elemento identidad y cómo construir el producto libre de un nearanillo con el anillo de los enteros $\mathbb{Z}$ , efectivamente adjuntando una identidad.

Significancia y Reivindicaciones
El artículo afirma llenar un vacío en la literatura al proporcionar los detalles necesarios para construir objetos libres en la variedad de todos los nearanillos, no solo en la subvariedad cero-simétrica. El autor señala que, si bien uno podría teóricamente seguir la presentación de Meldrum "casi palabra por palabra", el manejo específico de los elementos constantes y la naturaleza derecha-distributiva de la variedad requiere los detalles adicionales proporcionados aquí.

La significancia radica en establecer la existencia y la forma explícita de los objetos libres en esta categoría más amplia, lo cual es un requisito fundamental para comprender las propiedades estructurales de los nearanillos. El artículo no propone nuevas aplicaciones o usos experimentales, sino que solidifica la base teórica de los nearanillos libres y sus coproductos. Como se observa en la introducción, la construcción se basa en las propiedades universales de los grupos y semigrupos libres, adaptadas a las restricciones algebraicas específicas de los nearanillos. El trabajo sirve como una extensión técnica de los trabajos fundacionales de Meldrum [5] y [4], asegurando que la teoría cubra la variedad completa de los nearanillos derechos.