🔢 mathematics

Categorical Algebra of Atomic Monoids: Presentability, Regularity, and Pretorsion Theories

Este artículo investiga la categoría de monoide atómicos ( $\mathsf{AtoMon}$ ), estableciendo su finitud local y sus propiedades de factorización específicas mientras demuestra que no es una categoría regular, y además construye adjunciones clave y el levantamiento de teorías de torsión desde grupos a este entorno.

Autores originales: Federico Campanini, Laura Cossu

Publicado 2026-07-28

📖 8 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Federico Campanini, Laura Cossu

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.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 todo está construido con diminutas e indivisibles piezas de Lego. En matemáticas, hay toda una rama llamada "teoría de categorías" que estudia cómo diferentes formas y estructuras encajan entre sí, no solo por su tamaño o color, sino por cómo se conectan y se transforman unas en otras. Piensa en esto como el libro de reglas definitivo de cómo se relacionan las cosas. Una forma específica en este mundo es un "monoide", que es solo un nombre elegante para una colección de cosas que puedes combinar (como multiplicar números) que siempre tiene una pieza de "no hacer nada" (como el número 1).

Ahora, imagina un club especial de estos monoides llamado "monoides atómicos". En este club, cada pieza que no es la de "no hacer nada" puede descomponerse en un conjunto de esas diminutas e indivisibles piezas de Lego, que los matemáticos llaman "átomos". Tal como puedes desarmar un complejo castillo de Lego para ver las piezas individuales, los matemáticos estudian cómo se descomponen estos monoides atómicos. Una característica clave de este club es que estas descomposiciones a menudo no son únicas: una sola pieza podría ensamblarse a partir de diferentes combinaciones de piezas de distintas maneras. La gran pregunta que aborda este artículo es: "¿Cuáles son las reglas del juego cuando tratamos estos monoides atómicos como una familia de formas que pueden estirarse, comprimirse y pegarse entre sí?". Resulta que, si bien siguen algunas reglas familiares, también tienen algunas peculiaridades sorprendentes que rompen el libro de reglas estándar.

El Club Atómico: Un Nuevo Tipo de Patio de Recreo Matemático

En este artículo, Federico Campanini y Laura Cossu nos invitan al Categoría de Monoides Atómicos (o AtoMon para abreviar). Piensa en AtoMon como una ciudad enorme y bulliciosa donde cada edificio es un monoide atómico, y las carreteras que conectan estos edificios son mapas especiales que solo te permiten pasar si respetas los "átomos" (los ladrillos indivisibles). Los autores quieren saber: ¿Está esta ciudad bien organizada? ¿Sigue las leyes estándar de la arquitectura matemática, o es un caos con su propia física única?

La Ciudad está Bien Organizada (Localmente Finitamente Presentable)

Primero, los autores demuestran que AtoMon es una ciudad muy ordenada. En lenguaje matemático, demuestran que es "localmente finitamente presentable". Para usar una analogía, imagina que quieres construir cualquier edificio en esta ciudad. Los autores demuestan que no necesitas inventar nuevos materiales desde cero cada vez. En su lugar, puedes construir cualquier estructura compleja pegando un conjunto finito y específico de "kits de inicio" (llamados objetos compactos).

Estos kits de inicio son especiales porque son lo suficientemente pequeños como para ser descritos con una lista finita de reglas (generadores y relaciones), pero lo suficientemente poderosos como para construir cualquier otro monoide atómico en la ciudad. Es como decir que, sin importar cuán complejo sea el castillo de Lego que quieras construir, siempre puedes hacerlo combinando una colección finita y específica de conjuntos básicos de Lego. Los autores incluso encontraron exactamente cuáles son estos conjuntos: los monoides libres, los grupos cíclicos infinitos y algunos monoides específicos creados al forzar que dos palabras largas sean iguales. Esto significa que la ciudad es predecible y manejable.

El Espejo Roto: Por Qué la Ciudad No es "Regular"

Aquí es donde las cosas se complican. En el mundo de la teoría de categorías, existe un concepto llamado "categoría regular". Puedes pensar en una categoría regular como un lugar donde, si tomas un camino perfecto y suave (un "epimorfismo regular") y lo miras a través de un espejo (un "pullback"), el reflejo también es un camino perfecto y suave. Es una regla de consistencia: si algo funciona de una manera, debería funcionar de la misma manera en un contexto ligeramente diferente.

Los autores descubrieron que AtoMon rompe esta regla. Construyeron un ejemplo específico de un "camino perfecto" (un epimorfismo regular) que, al ser reflejado a través de un espejo (un pullback), se convierte en un camino que sigue siendo un mapa suryectivo válido, pero que pierde su estatus de "perfecto" (ya no es un epimorfismo regular).

La Analogía: Imagina que tienes una máquina que clasifica perfectamente canicas rojas y azules en dos contenedores separados. Esta máquina funciona perfectamente en la sala principal. Pero si mueves esta máquina a una habitación lateral (el "pullback"), la máquina sigue clasificando las canicas y las envía todas (sigue siendo un mapa suryectivo), pero el mecanismo de clasificación en sí mismo ahora es defectuoso o "rugoso" de una manera que viola las reglas específicas de la sala principal. No es que la máquina haya dejado de funcionar; es que dejó de ser el tipo de máquina que las reglas requieren.
El Resultado: Debido a que este "reflejo defectuoso" ocurre, AtoMon no es una categoría regular. Esto es algo importante porque significa que AtoMon no puede ser descrita como una simple "variedad de álgebras universales" (un tipo de estructura matemática estándar y bien comportada). Tiene una personalidad propia que se niega a seguir el guion estándar.

Sin embargo, los autores no se limitaron a decir que está "roto". Demostraron que cada mapa en AtoMon aún puede dividirse en una parte de "camino perfecto" y una parte de "calle de un solo sentido" (una factorización (regular epi, mono)). Solo demostraron que la parte del "camino perfecto" no es lo suficientemente estable como para sobrevivir a una prueba de espejo.

Nuevas Herramientas: La Máquina de "Atomización"

El artículo también introduce algunas herramientas nuevas (funtores) que actúan como máquinas que transforman un tipo de objeto en otro.

La Máquina del Grupo de Unidades: Cada monoide atómico tiene un grupo especial de piezas "invertibles" (unidades). Los autores muestran que puedes extraer este grupo, y construyeron dos máquinas para ir y venir entre el mundo de los grupos y el mundo de los monoides atómicos. Una máquina añade una capa "trivial" a un grupo para convertirlo en un monoide atómico, y otra máquina despoja las partes que no son de grupo.
La Máquina de Atomización: Esta es quizás la herramienta más creativa. Los autores construyeron una máquina que toma cualquier monoide ordinario (incluso uno que no es atómico) y lo obliga a convertirse en un monoide atómico. Lo hace añadiendo un "esqueleto" de átomos y un "cubo de basura" para todo lo demás. Es como tomar un montón de chatarra aleatoria y obligarla a organizarse en una estructura donde cada pieza es o bien un átomo fundamental o una unidad, con un "cero" especial para el resto. Esta máquina es el "adjunto derecho" de la inclusión de los monoides atómicos, lo que significa que es la mejor manera posible de convertir un monoide desordenado en uno atómico y ordenado.

Elevando las Teorías de Torsión: El Filtro de "Bueno vs. Malo"

Finalmente, los autores abordan un concepto llamado "teorías de pretorsión". En términos simples, esta es una forma de dividir una categoría en dos bandos: objetos "buenos" y objetos "malos" (o triviales), con una regla sobre cómo interactúan.

Ellos tomaron una forma conocida de dividir los Grupos en "torsión" (malos) y "libres de torsión" (buenos) grupos.
Luego, calcularon cómo elevar esta división al mundo de los Monoides Atómicos.
El Resultado: Crearon una nueva división en AtoMon. Un lado es el grupo de unidades (los grupos "buenos") y el otro lado son los monoides "reducidos" (aquellos que no tienen unidades más allá de la identidad). Demostraron que cada monoide atómico puede descomponerse en una "parte de grupo" y una "parte reducida" de una manera muy específica y estructurada. Esto es como tener un filtro universal que puede separar el comportamiento "tipo grupo" del comportamiento "puramente atómico" en cualquier estructura que le lances.

La Conclusión

Este artículo no solo dice "los monoides atómicos existen". Mapea todo su vecindario. Demuestra que están construidos a partir de un conjunto finito de kits de Lego, muestra que tienen una peculiaridad extraña donde sus "caminos perfectos" se rompen al ser reflejados (convirtiéndose en mapas válidos pero no regulares), y proporciona un conjunto de herramientas para transformar cualquier monoide en uno atómico. Lo más importante es que muestra que, aunque AtoMon es un mundo rico y complejo, no es un mundo "regular": tiene su propia lógica única y ligeramente caótica que lo hace fascinantemente diferente de las estructuras algebraicas estándar que solemos estudiar. Los autores han trazado el mapa con éxito, mostrando exactamente dónde se mantienen las reglas y dónde se rompen.

Resumen Técnico: Álgebra Categórica de los Monoides Atómicos

Planteamiento del Problema
El artículo investiga las propiedades categóricas de la categoría $\mathbf{AtoMon}$ , cuyos objetos son monoides atómicos y sus morfismos son homomorfismos de monoides que preservan átomos. Si bien la categoría fue introducida previamente para estudiar el comportamiento aritmético de las construcciones universales en la teoría de la factorización (específicamente productos, coproductos y sus invariantes asociados), sus propiedades estructurales más amplias dentro del álgebra categórica permanecieron en gran medida inexploradas. Los autores pretenden determinar si $\mathbf{AtoMon}$ satisface propiedades categóricas estándar como la presentabilidad finita local, la regularidad y la existencia de adjunciones específicas, así como explorar su relación con las teorías de torsión.

Metodología
Los autores emplean una combinación de construcción explícita y razonamiento categórico abstracto:

Análisis Estructural: Analizan el comportamiento de los límites y colímites en $\mathbf{AtoMon}$ , observando que, si bien los colímites coinciden con los de la categoría de monoides ( $\mathbf{Mon}$ ), los límites generalmente no lo hacen.
Identificación de Objetos Compactos: Para establecer la presentabilidad finita local, los autores construyen un conjunto específico de objetos "compactos" (monoides atómicos finitamente presentables) y demuestran que forman un generador fuerte.
Construcción de Contraejemplos: Para probar la regularidad, construyen explícitamente un epimorfismo regular y analizan su pullback. Utilizan pares de núcleo y congruencias internas en $\mathbf{AtoMon}$ (específicamente la congruencia $\theta_f$ generada por pares de átomos y unidades) para distinguir entre morfismos regulares y no regulares.
Construcción de Adjunciones: Los autores definen functores específicos (grupo de unidades, atomización) y construyen sus adjuntos definiendo mapeos explícitos sobre unidades, átomos y elementos que no son ni unidad ni átomo.
Teoremas de Levantamiento: Desarrollan un criterio general para levantar teorías de pretorsión a lo largo de una monocoreflección, aplicando primero el caso específico de $\mathbf{AtoMon}$ y luego un ejemplo distinto que involucra quivers apuntados.

Contribuciones Clave y Resultados

Presentabilidad Finita Local: El artículo demuestra que $\mathbf{AtoMon}$ es localmente finitamente presentable (Teorema 2.6). Esto se logra exhibiendo un generador fuerte $\mathcal{G}$ que consiste en objetos compactos. El conjunto $\mathcal{G}$ incluye el monoide libre sobre un generador, el grupo cíclico infinito y monoides atómicos reducidos específicos definidos por relaciones entre palabras de longitud al menos dos. Además, los autores caracterizan precisamente los objetos compactos de $\mathbf{AtoMon}$ como los monoides atómicos que son finitamente presentables como monoides ordinarios (Teorema 2.7).
Fallo de la Regularidad: Los autores demuestran que $\mathbf{AtoMon}$ no es una categoría regular.
- Establecen que todo morfismo en $\mathbf{AtoMon}$ admite una factorización canónica $(\text{epi regular, mono})$ (Proposición 3.3).
- Sin embargo, construyen un epimorfismo regular específico $p: H \to Q$ cuyo pullback a lo largo de un monomorfismo $j: J \to Q$ produce un morfismo $\rho: P \to J$ que es sobreyectivo pero no un epimorfismo regular (Proposición 3.7).
- Consecuentemente, $\mathbf{AtoMon}$ no es equivalente a una variedad de álgebras universales. El artículo señala que, aunque no es regular, es una categoría esencialmente algebraica finitaria (equivalente a modelos de una teoría de límite finito finitaria).
- Los autores también describen la completación regular de $\mathbf{AtoMon}$ en el sentido de Carboni y Vitale, mostrando que ciertos objetos en la completación no son isomorfos a imágenes de monoides atómicos bajo la incrustación canónica.
Adjunciones:
- Grupo de Unidades: Se muestra que el functor $(\cdot)^\times: \mathbf{AtoMon} \to \mathbf{Grp}$ tiene tanto un adjunto a la izquierda (el functor de inclusión $\iota$ ) como un adjunto a la derecha $I$ (Proposición 4.1). El adjunto a la derecha $I(G)$ construye un monoide atómico a partir de un grupo $G$ mediante la adición de un cero y un átomo.
- Atomización: Se muestra que el functor de inclusión $U: \mathbf{AtoMon} \to \mathbf{Mon}$ tiene un adjunto a la derecha $A: \mathbf{Mon} \to \mathbf{AtoMon}$ (Proposición 4.2). Este functor de "atomización" construye un monoide atómico $A(M)$ a partir de un monoide $M$ mediante la incrustación de $M$ en una estructura con un componente de objeto terminal.
Teorías de Pretorsión: Dado que $\mathbf{AtoMon}$ no es una categoría apuntada, no puede admitir teorías de torsión estrictas. Los autores levantan las teorías de torsión de $\mathbf{Grp}$ a teorías de pretorsión en $\mathbf{AtoMon}$ .
- Específicamente, muestran que si $(\mathcal{T}, \mathcal{F})$ es una teoría de torsión en $\mathbf{Grp}$ , el par $(\tilde{\mathcal{T}}, \tilde{\mathcal{F}})$ forma una teoría de pretorsión en $\mathbf{AtoMon}$ , donde $\tilde{\mathcal{T}} = \mathcal{T}$ y $\tilde{\mathcal{F}}$ consiste en monoides atómicos cuyo grupo de unidades está en $\mathcal{F}$ .
- Un caso notable es la teoría de pretorsión $(\mathbf{Grp}, \mathbf{RedAtoMon})$ , donde $\mathbf{RedAtoMon}$ es la subcategoría de monoides atómicos reducidos (aquellos con grupos de unidades triviales).
- Este resultado se generaliza en el Teorema 5.6 para cualquier subcategoría monocoreflejante, proporcionando un criterio para levantar teorías de pretorsión.

Significación y Reivindicaciones
El artículo pretende proporcionar un análisis estructural exhaustivo de $\mathbf{AtoMon}$ , yendo más allá de sus aplicaciones aritméticas para establecer su lugar dentro del álgebra categórica.

Confirma que $\mathbf{AtoMon}$ es una categoría bien comportada en términos de presentabilidad, permitiendo la aplicación de herramientas categóricas generales.
Esclarece las limitaciones de la categoría al demostrar que no es regular, distinguiéndola de las variedades de álgebras universales y resaltando las restricciones aritméticas específicas impuestas por la condición de "preservación de átomos".
Establece un puente entre la aritmética de los monoides atómicos y las estructuras categóricas de los grupos y los monoides generales a través de adjunciones explícitas.
Ofrece un método novedoso para generar teorías de pretorsión en categorías no apuntadas mediante el levantamiento de estas desde subcategorías apuntadas, ilustrado por la relación entre los grupos y los monoides atómicos reducidos.

Los autores posicionan estos resultados como un paso necesario para comprender la "rica estructura" de $\mathbf{AtoMon}$ como una categoría por derecho propio, proporcionando el marco categórico fundacional requerido para estudiar más a fondo los problemas de realización en la teoría de la factorización.