Mixed-identity-freeness and primitivity of group rings

Resumo Técnico: Ausência de Identidade Mista e Primitividade de Anéis de Grupo

Enunciado do Problema
O artigo aborda o problema de longa data de determinar as condições sob as quais um anel de grupo $RG$ (ou álgebra de grupo $KG$) é primitivo. Um anel é (direito) primitivo se possui um módulo (direito) irredutível e fiel. Embora progressos significativos tenham sido feitos para classes específicas de grupos — como grupos policíclicos-por-finitos (Domanov, Farkas–Passman, Roseblade), produtos livres (Formanek, Balogun, Alexander–Nishinaka) e grupos hiperbólicos/acilindricamente hiperbólicos (Solie, Abbott–Dahmani) — carecia-se de um critério algébrico unificado aplicável a um espectro mais amplo de grupos não-noetherianos. O objetivo específico é estabelecer a primitividade para anéis de grupo sobre domínios $R$ onde $|R| \le |G|$, e sobre qualquer corpo $K$, para uma classe mais ampla de grupos enumeráveis.

Metodologia
O autor introduz e utiliza o conceito de grupos livres de identidade mista (MIF - mixed-identity-free) para derivar um novo critério algébrico para primitividade. A metodologia procede em duas etapas principais:

1. Critério Algébrico via Propriedade $(\ast)$:
   O artigo utiliza uma propriedade $(\ast)$ introduzida por Alexander e Nishinaka, que garante a primitividade se for satisfeita por um grupo contendo um subgrupo livre não-abeliano da mesma cardinalidade. A propriedade $(\ast)$ exige que, para qualquer conjunto finito de elementos não-triviais $M \subset G \setminus \{1\}$ e inteiro $m \ge 2$, existam elementos distintos $a, b, c \in G$ tais que qualquer produto da forma $\prod_{i=1}^m (x_i^{-1} g_i x_i) = 1$ (com $g_i \in M$ e $x_i \in \{a, b, c\}$) force uma repetição nos elementos conjugantes ($x_i = x_{i+1}$ para algum $i$).
   A principal contribuição técnica é provar que grupos MIF satisfazem a propriedade $(\ast)$. Isso é alcançado por meio de:

   • Construção de palavras comutadoras específicas $W_j$ recursivamente para mostrar que grupos MIF permitem a avaliação simultânea não-trivial de finitamente muitas palavras em $G * F_n$.
   • Adaptação de lemas de "grandes potências" (big powers) para construir um elemento $u \in G$ de ordem pelo menos 4 tal que palavras "mistas" específicas envolvendo potências de $u$ e elementos de $M$ sejam não-triviais.
   • Uso deste elemento $u$ para definir os elementos conjugantes distintos $a=u, b=u^2, c=u^3$, satisfazendo assim a propriedade $(\ast)$.

2. Critério Dinâmico:
   O artigo estabelece um elo entre propriedades algébricas e sistemas dinâmicos. O autor define uma ação $G \curvearrowright X$ como extremamente proximal (se para quaisquer abertos não-vazios $U, V$, existe $g$ tal que $g(X \setminus U) \subseteq V$) e topologicamente livre (se os pontos fixos de elementos não-identidade são nowhere dense).
   O autor prova que, se um grupo enumerável admite uma ação topologicamente livre e extremamente proximal, ele é necessariamente MIF e contém um subgrupo livre não-abeliano. Isso conecta o resultado algébrico às propriedades dinâmicas frequentemente encontradas em grupos que atuam sobre árvores ou conjuntos de Cantor.

Principais Contribuições e Resultados

• Teorema 1.2: Se $G$ é um grupo MIF contendo um subgrupo livre não-abeliano de cardinalidade $|G|$, então $RG$ é primitivo para qualquer domínio $R$ com $|R| \le |G|$, e $KG$ é primitivo para qualquer corpo $K$.
• Teorema 1.4: Se um grupo enumerável $G$ admite uma ação topologicamente livre e extremamente proximal em um espaço Hausdorff $X$ ($|X| > 2$), então $RG$ é primitivo para qualquer domínio enumerável $R$, e $KG$ é primitivo para qualquer corpo $K$.
• Recuperação de Resultados Existentes: O novo critério fornece uma prova independente da primitividade de anéis de grupo para:
  • Todos os grupos acilindricamente hiperbólicos sem subgrupos normais finitos (recuperando Abbott–Dahmani).
  • Todos os grupos hiperbólicos não-elementares e produtos livres não-elementares (recuperando Solie e Formanek).
• Expansão para Novos Exemplos: O critério aplica-se positivamente a uma "plethora" de grupos anteriormente não cobertos por esses resultados específicos de primitividade, incluindo:
  • Grupos do tipo Thompson (grupos de Higman–Thompson $G_{n,r}$, Brin–Thompson $nV$, grupo de Röver).
  • Grupos comutadores de grupos hiperbólicos não-elementares livres de torção.
  • Certos grupos de Kac–Moody e grupos de Burger–Mozes.
  • Grupos que atuam em árvores e certos grupos lineares.

Significância
O artigo afirma sua significância ao unificar o estudo da primitividade para anéis de grupo sob o guarda-chuva da ausência de identidade mista. Ao demonstrar que MIF é uma condição suficiente para a primitividade (dada a presença de um subgrupo livre não-abeliano), o trabalho estende os resultados conhecidos para uma vasta classe de grupos que são frequentemente estudados por suas propriedades dinâmicas (por exemplo, ações extremamente proximais) em vez de puramente algébricas. O critério dinâmico (Teorema 1.4) é particularmente notável, pois permite a verificação da primitividade através do comportamento geométrico ou topológico de ações de grupos, um método que é provavelmente de gerar novos exemplos à medida que o estudo de ações extremamente próximas se expande no contexto de $C^*$-álgebras e teoria de grupos geométricos. O autor observa que esta abordagem recupera teoremas importantes existentes enquanto simultaneamente abre as portas para provar a primitividade de muitos novos e complexos grupos.