Counting Schur Rings over Cyclic Groups of Semi-prime Order

Resumo Técnico: Contagem de Anéis de Schur sobre Grupos Cíclicos de Ordem Semiprime

Enunciado do Problema
Este artigo aborda o problema de enumeração de anéis de Schur sobre grupos cíclicos finitos, focando especificamente em grupos de ordem semiprime $n = pq$ (onde $p$ e $q$ são primos distintos) e grupos de ordem $n = 4p$ (onde $p$ é um primo ímpar). Seja $\Omega(n)$ o número de anéis de Schur distintos sobre o grupo cíclico $Z_n$. Embora o trabalho anterior do segundo autor tenha estabelecido técnicas gerais para enumerar anéis de Schur cíclicos, este artigo fornece fórmulas de forma fechada explícitas para $\Omega(pq)$ e $\Omega(4p)$, estendendo a enumeração conhecida até a ordem 400.

Metodologia
Os autores empregam o arcabouço de classificação estabelecido por Leung e Man, conhecido como o Teorema Fundamental dos Anéis de Schur sobre Grupos Cíclicos. Este teorema afirma que todos os anéis de Schur sobre grupos cíclicos pertencem a uma de quatro famílias:

1. Anéis de Schur triviais: o anel gerado por $\{1, G \setminus \{1\}\}$.
2. Anéis de Schur automórficos: anéis associados a subgrupos do grupo de automorfismo $\text{Aut}(Z_n)$.
3. Produtos diretos: anéis formados pelo produto tensorial de anéis de Schur sobre fatores diretos do grupo.
4. Produtos cunha (wedge products): anéis construídos via uma operação de "cunha" sobre uma seção própria $U = [K, H]$ do grupo, exigindo condições de compatibilidade específicas.

A metodologia envolve uma estratégia de contagem recursiva baseada no "núcleo de cunha" (wedge core) de um anel de Schur. Um anel de Schur é decomponível se puder ser expresso como um produto de cunha; caso contrário, é indecomponível. A contagem total $\Omega(n)$ é derivada pela soma das contagens de:

• O único anel trivial.
• Produtos diretos (que, no caso semiprime, são frequentemente automórficos).
• Anéis decomponíveis por cunha (contados através da análise de seções próprias e subanéis compatíveis).
• Anéis automórficos indecomponíveis (contados pela determinação do número de subgrupos de $\text{Aut}(Z_n)$).

Para contar os anéis automórficos, o artigo utiliza o isomorfismo $\text{Aut}(Z_n) \cong \prod \text{Aut}(Z_{p_i^{e_i}})$. Os autores aplicam um lema de Călugăreanu referente ao número de subgrupos de um produto direto de $p$-grupos cíclicos, $Z_{p^k} \times Z_{p^\ell}$, para computar $|L(\text{Aut}(Z_n))|$.

Principais Contribuições e Resultados

1. O Caso Semiprime ($n = pq$)
O artigo deriva uma fórmula geral para $\Omega(pq)$ baseada nas fatorações primas de $p-1$ e $q-1$.

• Teorema 1.1: Seja $p = \prod_{i=1}^n r_i^{k_i} + 1$ e $q = \prod_{i=1}^n r_i^{\ell_i} + 1$, onde $\{r_i\}$ são primos distintos. O número de anéis de Schur é 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$$
  Aqui, o primeiro termo conta os anéis automórficos (via o reticulado de subgrupos do grupo de automorfismo), o segundo termo conta os anéis decomponíveis por cunha, e o $+1$ contabiliza o anel trivial.
• Corolários: O artigo fornece fórmulas simplificadas para casos específicos, incluindo:
  • Primos Seguros (Safe Primes): Se $p$ e $q$ são primos seguros ($p=2r+1$), $\Omega(pq) = 53$.
  • Primos de Fermat: Simplificações específicas são fornecidas para $p=3$ e $p=5$.
  • $2p$ Geral: $\Omega(2p) = 3x + 1$, onde $x$ é o número de divisores de $p-1$.

2. O Caso de Ordem $4p$
O artigo aborda o caso mais complexo onde a ordem do grupo é $4p$.

• Teorema 1.6: Seja $p = 2^k a + 1$ (com $a$ ímpar) e $x$ o número de divisores de $p-1$. O número de anéis de Schur é:
  $$\Omega(4p) = \frac{15k + 14}{k + 1}x + 3$$
  A prova envolve uma análise detalhada dos núcleos de cunha de ordens $2, p, 4$ e $2p$, contabilizando cuidadosamente as sobreposições entre produtos de cunha e produtos diretos para evitar a contagem dupla.
• Casos Especiais: Para primos de Fermat ($p=2^k+1$), a fórmula simplifica-se para $\Omega(4p) = 15k + 17$. Para primos seguros, $\Omega(4p) = 61$.

Significância e Alegações
O artigo posiciona-se como uma continuação do trabalho iniciado pelo segundo autor em publicações anteriores [4, 5, 6]. Sua principal significância reside no fornecimento de fórmulas exatas e computáveis para $\Omega(n)$ nos casos semiprime e $4p$, que anteriormente eram acessíveis apenas via enumeração computacional para ordens pequenas.

• Validação: Os autores observam que suas fórmulas alinham-se perfeitamente com enumerações computacionais anteriores de anéis de Schur sobre grupos até ordem 63 (por Ziv-Av [8]) e até ordem 400 (pelo segundo autor [4]).
• Escopo: O artigo não pretende resolver o problema de enumeração para todos os grupos cíclicos, mas restringe sua contribuição aos casos estruturais específicos de $pq$e$4p$. Ele fornece uma tabela abrangente de valores para todos os semiprimos sob 100, demonstrando a utilidade das fórmulas derivadas.
• Contexto Teórico: O trabalho reforça a conexão entre anéis de Schur, esquemas associativos e teoria de grafos algébricos, utilizando as propriedades estruturais do grupo de automorfismo para reduzir a complexidade combinatória da enumeração.