Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups

A continuación presento un resumen técnico detallado del artículo "Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups" (Comparación de los números de subsemigrupos diagonales y congruencias para semigrupos), escrito por Callum Barber y Nik Ruškuc.

1. Planteamiento del Problema

El artículo aborda la relación cuantitativa entre dos conceptos fundamentales en la teoría de semigrupos: las congruencias y los subsemigrupos diagonales.

• Definiciones clave:
  • Una congruencia en un semigrupo $S$ es una relación de equivalencia compatible con la multiplicación.
  • Un subsemigrupo diagonal es una relación reflexiva y compatible con la multiplicación en $S$ (es decir, un subsemigrupo de $S \times S$ que contiene la diagonal $\Delta_S = \{(s,s) : s \in S\}$).
  • Todo congruencia es un subsemigrupo diagonal, pero la recíproca no es cierta en general.
• El Coeficiente DSC:
  Para un semigrupo finito $S$, los autores definen el coeficiente DSC ($\chi(S)$) como la razón entre el número de congruencias y el número de subsemigrupos diagonales:
  $$\chi(S) = \frac{|\text{Cong}(S)|}{|\text{Diag}(S)|}$$
  Dado que el conjunto de congruencias está contenido en el de subsemigrupos diagonales, se tiene que $0 < \chi(S) \leq 1$.
• Pregunta central: ¿Qué valores puede tomar $\chi(S)$ cuando $S$ recorre el conjunto de todos los semigrupos finitos?
  • En trabajo previo, se demostró que $\chi(S) = 1$ si y solo si $S$ es un grupo.
  • El objetivo principal de este artículo es determinar si el espectro de valores de $\chi(S)$ es denso o completo en el intervalo $(0, 1]$.

2. Metodología

Los autores emplean una estrategia constructiva basada en el uso de semigrupos de matriz de Rees y el análisis de sus estructuras algebraicas.

1. Construcción de Matriz de Rees:
   Se utiliza el semigrupo $S = M[G; I, \Lambda; P]$, donde $G$ es un grupo, $I$ y $\Lambda$ son conjuntos de índices, y $P$ es una matriz $\Lambda \times I$ con entradas en $G$. La multiplicación se define como:
   $$(i, g, \lambda)(j, h, \mu) = (i, g p_{\lambda j} h, \mu)$$
2. Caracterización Estructural:
   • Se revisa la clasificación clásica de congruencias en semigrupos de matriz de Rees (debida a Preston), que se corresponden biyectivamente con triples de equivalencia enlazados $(N, S, T)$, donde $N$ es un subgrupo normal de $G$, y $S, T$ son relaciones de equivalencia en $I$ y $\Lambda$ respectivamente, satisfaciendo condiciones de "enlace" con la matriz $P$.
   • Innovación principal: Los autores generalizan esta clasificación para subsemigrupos diagonales. Demuestran que, si el grupo $G$ es un semigrupo DSC (es decir, si todo subsemigrupo diagonal de $G$ es una congruencia, lo cual es cierto para todo grupo finito), existe una biyección entre los subsemigrupos diagonales de $S$ y los triples reflexivos enlazados $(N, S, T)$. La diferencia clave es que $S$ y $T$ solo necesitan ser relaciones reflexivas (no necesariamente de equivalencia).
3. Análisis Combinatorio:
   El coeficiente $\chi(S)$ se expresa como una suma ponderada de razones entre el número de triples de equivalencia y el número de triples reflexivos, indexados por los subgrupos normales de $G$.
   $$\chi(S) = \frac{\sum |E_{I,k}| |E_{\Lambda,k}|}{\sum |R_{I,k}| |R_{\Lambda,k}|}$$
   Donde $|E|$ cuenta relaciones de equivalencia y $|R|$ cuenta relaciones reflexivas bajo ciertas restricciones impuestas por la matriz $P$.

3. Contribuciones Clave y Resultados

A. Caracterización de Subsemigrupos Diagonales (Sección 2)

Se establece el Teorema 2.7, que proporciona una correspondencia uno a uno entre los subsemigrupos diagonales de un semigrupo de matriz de Rees $M[G; I, \Lambda; P]$ (donde $G$ es DSC) y los triples reflexivos enlazados. Esto permite contar sistemáticamente los subsemigrupos diagonales, algo que no estaba disponible en la literatura previa.

B. Cota Inferior del Coeficiente DSC (Teorema 3.4)

Para conjuntos de índices $I$ y $\Lambda$ de tamaños $a$ y $b$ ($a, b > 1$), se demuestra que el coeficiente DSC de cualquier semigrupo de matriz de Rees sobre un grupo $G$ está acotado inferiormente por el coeficiente de la banda rectangular $I \times \Lambda$:
$$\frac{B(a)B(b)}{2^{a^2-a} 2^{b^2-b}} \leq \chi(M[G; I, \Lambda; P]) < 1$$
Donde $B(n)$ es el $n$-ésimo número de Bell (número de particiones de un conjunto de tamaño $n$).

C. Existencia de Semigrupos para Cualquier Valor Racional (Teorema 1.2 y 3.4)

Este es el resultado principal del artículo. Se demuestra que para cualquier número racional $\alpha \in (0, 1]$, existe un semigrupo finito $S$ tal que $\chi(S) = \alpha$.

• Estrategia de prueba:
  • Se construye un grupo cíclico $G = \mathbb{Z}_{p^k}$ y una matriz $P$ con entradas cuidadosamente seleccionadas (potencias de 2 multiplicadas por una potencia de un primo $p$).
  • Esta construcción asegura que, para los subgrupos normales de $G$, las condiciones de enlace para los triples sean extremas: o bien se satisfacen para todas las relaciones (cuando el subgrupo es grande), o bien solo para las relaciones diagonales triviales (cuando el subgrupo es pequeño).
  • Esto permite controlar el numerador y el denominador de la fórmula de $\chi(S)$ de manera que se pueda ajustar la razón final para igualar cualquier $\alpha$ racional deseado dentro del intervalo permitido por los tamaños de $I$ y $\Lambda$.
  • Al variar los tamaños de $I$ y $\Lambda$, la cota inferior tiende a 0, cubriendo todo el intervalo $(0, 1]$.

D. Análisis de Semigrupos de Clifford (Sección 4)

Los autores extienden el análisis a los semigrupos de Clifford. Demuestran que para un semigrupo de Clifford finito $S$, el coeficiente satisface:
$$0 < \chi(S) \leq \chi(Y)$$
donde $Y$ es el semilattice subyacente. A diferencia de los semigrupos de matriz de Rees, donde el intervalo de valores posibles se expande hacia $(0, 1]$ al aumentar los índices, en los semigrupos de Clifford el coeficiente tiende a ser muy pequeño (acotado superiormente por el coeficiente del semilattice), lo que sugiere una diferencia estructural significativa en cómo se comportan las congruencias frente a los subsemigrupos diagonales en estas clases.

4. Significado e Impacto

1. Resolución de una pregunta abierta: El trabajo cierra la cuestión sobre el espectro de valores del coeficiente DSC, demostrando que no hay "huecos" en los valores racionales posibles para semigrupos finitos.
2. Herramientas de conteo: La generalización de la clasificación de Preston para incluir subsemigrupos diagonales (usando triples reflexivos en lugar de triples de equivalencia) es una contribución metodológica importante que puede aplicarse a otros problemas de conteo en teoría de semigrupos.
3. Distinción estructural: El contraste entre los resultados para semigrupos de matriz de Rees (que pueden alcanzar cualquier valor racional) y los semigrupos de Clifford (cuyo coeficiente está fuertemente limitado por su estructura de semilattice) proporciona nueva intuición sobre cómo la estructura algebraica influye en la rigidez de las relaciones de compatibilidad.
4. Medida de "cercanía" a ser un grupo: El coeficiente $\chi(S)$ se establece formalmente como una medida cuantitativa de qué tan "cercano" está un semigrupo a ser un grupo (donde $\chi=1$). El artículo muestra que esta medida puede sintonizarse con precisión arbitraria.

En resumen, el artículo combina teoría estructural de semigrupos (matrices de Rees, grupos DSC) con combinatoria avanzada (números de Bell, relaciones reflexivas) para resolver un problema fundamental sobre la distribución de congruencias y subsemigrupos diagonales, demostrando la riqueza y flexibilidad de la estructura de los semigrupos finitos.