Resumo Técnico: Semigrupos e Grupos Primos (Sentidos de Tarski e Rhodes)

Autor: George M. Bergman
Área: Teoria de Semigrupos, Teoria de Grupos, Álgebra Universal.

1. Problema e Contexto

O artigo investiga a noção de "primalidade" em categorias de álgebras, focando especificamente em semigrupos e grupos. O trabalho contrasta três definições distintas de primalidade:

1. Primalidade no Sentido de Tarski: Definida para uma categoria de álgebras fechada sob produtos diretos finitos. Um objeto $P$ é primo se, sempre que $P$ divide um produto $A \times B$ (ou seja, $A \times B \cong P \times X$), então $P$ divide $A$ ou $P$ divide $B$.
2. Primalidade no Sentido de Rhodes (em relação a produtos diretos): Um objeto $G$ é primo se, sempre que $G$ é um subquociente (imagem homomorfa de um subgrupo) de um produto direto $G_0 \times G_1$, então $G$ é um subquociente de $G_0$ ou de $G_1$.
3. Primalidade no Sentido de Rhodes (em relação a produtos semidiretos): Similar à anterior, mas aplicada a produtos semidiretos $G_0 \rtimes G_1$.

O artigo busca responder a perguntas abertas levantadas por McKenzie, McNulty e Taylor em sua obra de referência [9], especificamente:

• Existem objetos primos (no sentido de Tarski) na categoria de semigrupos não vazios?
• Como essas definições se relacionam para grupos?
• Existem exemplos de objetos primos em subcategorias específicas (como monoides ou semigrupos com cancelamento)?

2. Metodologia

O autor emprega uma combinação de técnicas de teoria de semigrupos, teoria de grupos e álgebra universal:

• Construção de Contraexemplos: Para a categoria geral de semigrupos, o autor constrói famílias de semigrupos (como os semigrupos nulos $Null(\kappa)$ e variações) para demonstrar que a primalidade falha.
• Análise de Classes de Equivalência de Ação: Introduz o conceito de "equivalência de ação" ($xy = x'y$e$yx = yx'$) e "esqueletos" de semigrupos para decompor estruturas e isomorfismos de produtos.
• Extensão de Homomorfismos: Utiliza o Lema 3.1 para estender homomorfismos de ideais para grupos, explorando a estrutura de semigrupos que podem ser fatorados por semigrupos aditivos de inteiros ($N+k$).
• Teoria de Grupos Finitos: Aplica o Teorema de Krull-Schmidt e propriedades de grupos monolíticos (grupos com um único subgrupo normal mínimo não trivial) para classificar a primalidade em grupos finitos.
• Análise de Subquocientes e Produtos Semidiretos: Examina a estrutura de subgrupos e imagens homomorfas em produtos diretos e semidiretos para distinguir entre as definições de Rhodes.

3. Principais Contribuições e Resultados

3.1. Categoria de Semigrupos (Sentido de Tarski)

• Resultado Negativo (Teorema 2.7): A categoria de todos os semigrupos não vazios (Semigp) não possui objetos primos no sentido de Tarski.
  • Método: O autor demonstra que para qualquer semigrupo não nulo $S$, é possível construir um contraexemplo envolvendo produtos com semigrupos nulos ($Null(\kappa)$) que viola a condição de primalidade.
  • Corolário: Não há objetos primos na categoria de semigrupos comutativos nem na categoria de semigrupos com elemento zero.
• Pergunta Aberta: A primalidade na categoria de semigrupos finitos permanece em aberto (Questão 2.9), pois a prova para o caso geral depende de cardinais infinitos.

3.2. Subcategorias com Primalidade Positiva

Apesar da negatividade geral, o autor identifica subcategorias onde a primalidade se mantém:

• Teorema 4.3: O semigrupo aditivo dos inteiros não negativos a partir de $k$ ($N+k$) é primo nas categorias de:
  • Semigrupos cancelativos.
  • Semigrupos cancelativos à direita ou à esquerda.
  • Semigrupos fracamente cancelativos (onde nenhum par de elementos distintos é equivalente por ação).
• Teorema 4.4 e Proposição 4.5: O semigrupo $N$ (inteiros não negativos) é primo na categoria de monoides. Isso se estende à categoria de monoides com homomorfismos que preservam a identidade.
• Conexão com o Teorema de Jónsson-Tarski: O autor nota que, para variedades de álgebras com centro finito (incluindo monoides), o Teorema de Jónsson-Tarski garante fatoração única, implicando primalidade para objetos não decomponíveis.

3.3. Grupos e as Definições de Rhodes

A seção 6 compara as três noções de primalidade no contexto de grupos:

• Grupo Aditivo dos Inteiros ($\mathbb{Z}$):
  • Não é Tarski-primo: $\mathbb{Z}$ pode ser um fator direto de um produto $G_0 \times G_1$ sem ser fator direto de nenhum dos componentes (Exemplo 6.2).
  • É Rhodes-primo: $\mathbb{Z}$ satisfaz as condições de Rhodes tanto para produtos diretos quanto semidiretos, pois a existência de um elemento de ordem infinita em um produto implica a existência em um dos fatores.
• Grupos Finitos:
  • Relação de Implicação (Lema 6.3): Para grupos finitos não triviais:
    $$\text{Rhodes-primo (semidireto)} \implies \text{Rhodes-primo (direto)} \implies \text{Monolítico} \implies \text{Tarski-primo}$$
  • Não Reversibilidade: O autor fornece contraexemplos (Exemplos 6.7 a 6.10) mostrando que essas implicações não são reversíveis.
    • Existem grupos monolíticos que não são Rhodes-primos (ex: certos $p$-grupos extraspeciais).
    • Existem grupos Rhodes-primos (direto) que não são simples (ex: $S_n$ para $n \ge 3$).
  • Teorema de Olshanskiy (Proposição 6.5): Para grupos finitos, ser Rhodes-primo em relação a produtos semidiretos é equivalente a ser simples.
• Condições Suficientes (Proposição 6.6): Grupos monolíticos finitos são Rhodes-primos (direto) se:
  1. O monólito for não comutativo.
  2. O grupo for um produto semidireto do monólito por um subgrupo.
  3. O grupo for cíclico de ordem potência de primo ($\mathbb{Z}_{p^n}$).

3.4. Generalização para Variedades de Álgebras

• Proposição 7.1: Estabelece condições equivalentes para um objeto finito $X$ ser Rhodes-primo em relação a produtos diretos em qualquer variedade de álgebras. A primalidade está ligada à propriedade de "join-primalidade" do subvariedade gerada por $X$ no reticulado de subvariedades.

4. Significado e Impacto

Este trabalho é fundamental para a compreensão da estrutura de fatoração em álgebras:

1. Resolução de Questões Abertas: Resolve negativamente a questão de McKenzie et al. sobre a existência de semigrupos primos na categoria geral, mostrando que a estrutura de semigrupos é "demasiado flexível" para suportar primalidade de Tarski, ao contrário de monoides.
2. Distinção Conceitual: Clarifica a diferença crucial entre a primalidade de Tarski (focada em fatores diretos) e a de Rhodes (focada em subquocientes), demonstrando que para grupos, essas noções capturam propriedades estruturais muito diferentes (ex: $\mathbb{Z}$ é primo no sentido de Rhodes, mas não de Tarski).
3. Classificação de Grupos Finitos: Fornece um mapa detalhado das implicações entre primalidade, simplicidade e estrutura monolítica em grupos finitos, identificando classes específicas (como $p$-grupos extraspeciais) que desafiam a reversibilidade dessas propriedades.
4. Ferramentas para Álgebra Universal: A introdução de condições equivalentes para primalidade em variedades gerais (Proposição 7.1) oferece um framework para estudar a primalidade em outras estruturas algébricas além de grupos e semigrupos.

Em suma, o artigo estabelece limites rigorosos para onde a primalidade pode existir (falhando em semigrupos gerais, mas prosperando em monoides e certas classes de grupos) e mapeia as complexas interações entre diferentes definições de "primalidade" na teoria de grupos.