Problems and results on intersections of product sets and sumsets in semigroups

Resumo Técnico: Interseções de Conjuntos de Produtos e Somas em Semigrupos

1. Problema e Motivação

O artigo investiga um problema fundamental na teoria aditiva e combinatória dos números: a relação entre o $h$-ésimo conjunto de produtos (ou somas) de uma interseção de famílias de conjuntos e a interseção dos $h$-ésimos conjuntos de produtos (ou somas) desses conjuntos individuais.

Seja $S$ um semigrupo e $(A_q)_{q \in Q}$ uma família de subconjuntos de $S$. Define-se $A = \bigcap_{q \in Q} A_q$.
É sempre verdade que:
$$A^h \subseteq \bigcap_{q \in Q} A_q^h$$
(onde $A^h$ denota o conjunto de todos os produtos de $h$ elementos de $A$, e $A_q^h$ o conjunto de produtos de $h$ elementos de $A_q$).

O problema central é determinar para quais inteiros positivos $h$ a igualdade se mantém. O autor define o conjunto de interseção de produtos (ou soma, no caso aditivo) como:
$$H(A_q) = \{ h \in \mathbb{N} : A^h = \bigcap_{q \in Q} A_q^h \}$$

O objetivo é caracterizar a estrutura aritmética desses conjuntos $H(A_q)$, determinar quais subconjuntos de $\mathbb{N}$ podem surgir como tais conjuntos de interseção e explorar como propriedades algébricas do semigrupo $S$ influenciam esses resultados.

2. Metodologia

O autor utiliza uma abordagem que combina:

• Teoria dos Conjuntos e Análise Combinatória: Construção de sequências de conjuntos (decrescentes, estritamente decrescentes, assintoticamente estritamente decrescentes) para testar os limites da igualdade.
• Teoria dos Números e Funções de Representação: Uso de funções de representação $r_{A,h}(x)$ (o número de maneiras de escrever $x$ como produto/soma de $h$ elementos de $A$) para provar que certas interseções são triviais ou não.
• Álgebra Abstrata: Exploração de propriedades de semigrupos, grupos (abelianos e não abelianos), grupos de torção, e módulos sobre anéis.
• Construção de Exemplos Explícitos: Criação de famílias de conjuntos em $\mathbb{Z}$, $\mathbb{Q}$, $\mathbb{R}$ e grupos gerais para demonstrar a existência de conjuntos de interseção com estruturas específicas (ex: $\{1\}$, $\mathbb{N}$, ou conjuntos com lacunas).

3. Principais Contribuições e Resultados

A. Definições Fundamentais e Casos Triviais

• Estabelece que $1 \in H(A_q)$ sempre.
• Mostra que, para certas famílias (como conjuntos co-finitos em grupos infinitos), $H(A_q)$ pode ser todo o $\mathbb{N}$.
• Demonstra que, em grupos onde a interseção é vazia, mas os conjuntos individuais são "grandes" o suficiente, a interseção dos produtos pode ser o grupo inteiro, enquanto o produto da interseção é vazio, resultando em $H(A_q) = \{1\}$.

B. Resultados sobre Funções de Representação (Teorema 2 e 3)

• Teorema 2: Se a função de representação $r_{A_1, h}(x)$ é finita para todo $x \in A_1$, então $h \in H(A_q)$. Se isso vale para todo $h$, então $H(A_q) = \mathbb{N}$.
• Teorema 3: Para semigrupos onde o número de representações é sempre finito (como $\mathbb{N}$ multiplicativo, $\mathbb{Z} \setminus \{0\}$, ou $\mathbb{N}_0^d$), o conjunto de interseção é sempre $\mathbb{N}$ para qualquer sequência estritamente decrescente assintoticamente.

C. Construção de Exemplos em $\mathbb{Z}$, $\mathbb{Q}$ e $\mathbb{R}$

• Teorema 4 (Grupos Aditivos): Em $\mathbb{Z}$, o autor constrói sequências onde $H(A_q) = \{1\}$. Isso ocorre quando a interseção $A$ é um conjunto co-infinito que não é uma base de ordem $h$, mas os conjuntos $A_q$ (que contêm $A$ mais elementos "longe" da origem) geram todo o grupo $\mathbb{Z}$ para $h \ge 2$.
• Teorema 5 e 6: Estende a construção para conjuntos de números racionais positivos e números reais (usando intervalos abertos), mostrando que é possível obter $H(A_q) = \{1\}$ mesmo quando a interseção é vazia, mas a interseção dos conjuntos de somas é não vazia.
• Teorema 11 e 12: Para conjuntos finitos em $\mathbb{Z}$ e pontos de rede em $\mathbb{Z}^d$, o autor demonstra que é possível construir sequências onde $H(A_q) = \mathbb{N}$, utilizando classes de congruência e propriedades de norma de vetores para forçar a igualdade.

D. Propriedades em Grupos e Módulos

• Teorema 7: Em qualquer grupo infinito que contenha um subgrupo infinito próprio, existe uma sequência decrescente estrita tal que $H(A_q) = \{1\}$.
• Teorema 8: Se existe um homomorfismo sobrejetor $f: G \to G'$, então o conjunto de interseção de $G'$ está contido no de $G$ ($H^*_N(G') \subseteq H^*_N(G)$). Isso permite transferir resultados entre grupos.
• Teorema 9 e 10: Em grupos infinitos, se os conjuntos $A_q$ são co-finitos, então $H(A_q) = \{1\} \cup \{h : A^h = G\}$.
• Teorema 15 (Invariância por Transformação): Em módulos sobre anéis, a relação de equivalência $A' \sim A$ (via transformações afins $x \mapsto \varepsilon x + t$) preserva o conjunto de interseção $H(A_q)$.

E. Estrutura Global dos Conjuntos de Interseção

• Teorema 14: O conjunto de todos os possíveis conjuntos de interseção $H_Q$ (para todos os semigrupos) é fechado sob interseção. Ou seja, se $X$ e $Y$ são conjuntos de interseção possíveis, então $X \cap Y$ também é. O autor levanta a questão aberta se eles também são fechados sob união.

4. Problemas Abertos

O artigo formula vários problemas não resolvidos que direcionam pesquisas futuras:

• Problema 4 e 7: Existe um conjunto $X \subseteq \mathbb{N}$ com $1 \in X$ que não pode ser um conjunto de interseção para nenhum semigrupo?
• Problema 8: Caracterizar semigrupos onde $H^*_N(S) = \mathbb{N}$, mas existem elementos com infinitas representações.
• Problema 9: Descrever os conjuntos de interseção em grupos de torção infinitos.
• Problema 10: O conjunto de todos os conjuntos de interseção é fechado sob união?
• Problema 12: A invariância de $H(A_q)$ sob transformações lineares escalares ($s \notin \{0, \pm 1\}$) em $\mathbb{Z}$?

5. Significado e Impacto

Este trabalho é significativo porque:

1. Unifica Conceitos: Conecta a teoria aditiva de conjuntos (somas) com a teoria multiplicativa (produtos) no contexto geral de semigrupos.
2. Expande o Conhecimento sobre Bases: Fornece novos insights sobre quando conjuntos são bases de ordem $h$ e como a estrutura de interseção afeta essa propriedade.
3. Construção de Contraexemplos: Demonstra a flexibilidade e a complexidade desses conjuntos de interseção, mostrando que eles podem ser triviais ($\{1\}$), totais ($\mathbb{N}$) ou ter estruturas aritméticas complexas, dependendo da escolha dos conjuntos e do semigrupo.
4. Fundamenta Novas Direções: Estabelece uma base teórica sólida (com teoremas de estrutura e propriedades de fechamento) para futuras investigações na interseção entre teoria dos números, álgebra e combinatória.

Em suma, Nathanson mapeia o "espaço de possibilidades" para as igualdades entre produtos de interseções e interseções de produtos, fornecendo ferramentas algébricas e exemplos concretos que desafiam intuições simples sobre a estabilidade de operações de conjuntos sob iteração.