Counting Schur Rings over Cyclic Groups of Semi-prime Order

Resumen Técnico: Conteo de Anillos de Schur sobre Grupos Cíclicos de Orden Semiprimo

Planteamiento del Problema
Este artículo aborda el problema de la enumeración de los anillos de Schur sobre grupos cíclicos finitos, centrándose específicamente en grupos de orden semiprimo $n = pq$ (donde $p$ y $q$ son primos distintos) y grupos de orden $n = 4p$ (donde $p$ es un primo impar). Sea $\Omega(n)$ el número de anillos de Schur distintos sobre el grupo cíclico $Z_n$. Mientras que el trabajo previo del segundo autor estableció técnicas generales para enumerar anillos de Schur cíclicos, este artículo proporciona fórmulas cerradas explícitas para $\Omega(pq)$ y $\Omega(4p)$, extendiendo la enumeración conocida hasta el orden 400.

Metodología
Los autores emplean el marco de clasificación establecido por Leung y Man, conocido como el Teorema Fundamental de los Anillos de Schur sobre Grupos Cíclicos. Este teorema establece que todos los anillos de Schur sobre grupos cíclicos pertenecen a una de cuatro familias:

1. Anillos de Schur triviales: El anillo generado por $\{1, G \setminus \{1\}\}$.
2. Anillos de Schur automórficos: Anillos asociados con subgrupos del grupo de automorfismos $\text{Aut}(Z_n)$.
3. Productos directos: Anillos formados por el producto tensorial de anillos de Schur sobre factores directos del grupo.
4. Productos cuña (wedge products): Anillos construidos mediante una operación de "cuña" sobre una sección propia $U = [K, H]$ del grupo, lo cual requiere condiciones de compatibilidad específicas.

La metodología implica una estrategia de conteo recursivo basada en el "núcleo de cuña" (wedge core) de un anillo de Schur. Un anillo de Schur es decomponible si puede expresarse como un producto de cuña; de lo contrario, es indecomposable. El conteo total $\Omega(n)$ se deriva sumando los conteos de:

• El único anillo trivial.
• Productos directos (que, en el caso semiprimo, suelen ser automórficos).
• Anillos decomponibles por cuña (contados mediante el análisis de secciones propias y subanillos compatibles).
• Anillos automórficos indecomponibles (contados mediante la determinación del número de subgrupos de $\text{Aut}(Z_n)$).

Para contar los anillos automórficos, el artículo utiliza el isomorfismo $\text{Aut}(Z_n) \cong \prod \text{Aut}(Z_{p_i^{e_i}})$. Los autores aplican un lema de Călugăreanu relativo al número de subgrupos de un producto directo de $p$-grupos cíclicos, $Z_{p^k} \times Z_{p^\ell}$, para calcular $|L(\text{Aut}(Z_n))|$.

Contribuciones Clave y Resultados

1. El Caso Semiprimo ($n = pq$)
El artículo deriva una fórmula general para $\Omega(pq)$ basada en las factorizaciones primas de $p-1$ y $q-1$.

• Teorema 1.1: Sea $p = \prod_{i=1}^n r_i^{k_i} + 1$ y $q = \prod_{i=1}^n r_i^{\ell_i} + 1$, donde $\{r_i\}$ son primos distintos. El número de anillos de Schur viene dado por:
  $$\Omega(pq) = \left( \prod_{i=1}^n \sum_{j=0}^{\min(k_i, \ell_i)} \phi(r_i^j)(k_i - j + 1)(\ell_i - j + 1) \right) + 2 \prod_{i=1}^n (k_i + 1)(\ell_i + 1) + 1$$
  Aquí, el primer término cuenta los anillos automórficos (a través del retículo de subgrupos del grupo de automorfismos), el segundo término cuenta los anillos decomponibles por cuña, y el $+1$ contabiliza el anillo trivial.
• Corolarios: El artículo proporciona fórmulas simplificadas para casos específicos, incluyendo:
  • Primos seguros: Si $p$ y $q$ son primos seguros ($p=2r+1$), $\Omega(pq) = 53$.
  • Primos de Fermat: Se proporcionan simplificaciones específicas para $p=3$ y $p=5$.
  • General $2p$: $\Omega(2p) = 3x + 1$, donde $x$ es el número de divisores de $p-1$.

2. El Caso de Orden $4p$
El artículo aborda el caso más complejo donde el orden del grupo es $4p$.

• Teorema 1.6: Sea $p = 2^k a + 1$ (con $a$ impar) y $x$ el número de divisores de $p-1$. El número de anillos de Schur es:
  $$\Omega(4p) = \frac{15k + 14}{k + 1}x + 3$$
  La demostración implica un análisis detallado de los núcleos de cuña de órdenes $2, p, 4$ y $2p$, contabilizando cuidadosamente las superposiciones entre productos de cuña y productos directos para evitar el doble conteo.
• Casos Especiales: Para primos de Fermat ($p=2^k+1$), la fórmula se simplifica a $\Omega(4p) = 15k + 17$. Para primos seguros, $\Omega(4p) = 61$.

Significancia y Reivindicaciones
El artículo se posiciona como una continuación del trabajo iniciado por el segundo autor en publicaciones previas [4, 5, 6]. Su principal significancia radica en proporcionar fórmulas exactas y computables para $\Omega(n)$ en los casos de $pq$y$4p$, que anteriormente solo eran accesibles mediante enumeración computacional para órdenes pequeños.

• Validación: Los autores señalan que sus fórmulas coinciden perfectamente con enumeraciones computarizadas previas de anillos de Schur sobre grupos hasta orden 63 (por Ziv-Av [8]) y hasta orden 400 (por el segundo autor [4]).
• Alcance: El artículo no pretende resolver el problema de la enumeración para todos los grupos cíclicos, sino que restringe su contribución a los casos estructurales específicos de $pq$y$4p$. Proporciona una tabla exhaustiva de valores para todos los semiprimos de este tipo menores a 100, demostrando la utilidad de las fórmulas derivadas.
• Contexto Teórico: El trabajo refuerza la conexión entre los anillos de Schur, los esquemas de asociación y la teoría de grafos algebraicos, utilizando las propiedades estructurales del grupo de automorfismos para reducir la complejidad combinatoria de la enumeración.