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

1. 연구 배경 및 문제 정의 (Problem Definition)

이 논문은 반군 (semigroup) $S$의 부분집합들의 $h$-중 곱집합 (product set, $A^h$) 또는 합집합 (sumset, $hA$) 과, 부분집합들의 교집합에 대한 연산의 교환 가능성에 초점을 맞추고 있습니다.

• 기본 정의:
  • $S$를 반군이라 할 때, 부분집합 $A_1, \dots, A_h$의 곱집합은 $A_1 \cdots A_h = \{a_1 \cdots a_h : a_i \in A_i\}$로 정의됩니다.
  • $A_i = A$인 경우 $h$-중 곱집합은 $A^h$입니다.
  • 가환 반군 (additive semigroup) 의 경우 합집합 $hA = \{a_1 + \cdots + a_h : a_i \in A\}$를 사용합니다.
• 주요 관심사:
  • 부분집합의 가족 (family) $(A_q)_{q \in Q}$가 주어졌을 때, 교집합 $A = \bigcap_{q \in Q} A_q$를 정의합니다.
  • 일반적으로 $A^h \subseteq \bigcap_{q \in Q} A_q^h$가 성립합니다.
  • 곱교집합 집합 (Product Intersection Set) $H(A_q)$: $A^h = \bigcap_{q \in Q} A_q^h$가 성립하는 모든 자연수 $h$의 집합으로 정의됩니다. (가환 반군의 경우 합교집합 집합 $H(A_q)$로 정의됨).
• 핵심 문제:
  • 주어진 가족 $(A_q)$에 대해 $H(A_q)$를 계산할 수 있는가? (Problem 1)
  • 주어진 집합 $A$에 대해, $A = \bigcap A_q$를 만족하는 모든 가족에서 나올 수 있는 $H(A_q)$들의 집합 $H_Q(A)$는 무엇인가? (Problem 2)
  • 모든 반군 $S$에 대해 가능한 $H(A_q)$들의 집합 (Master set) $H_Q(S)$는 무엇이며, 모든 자연수 1 을 포함하는 임의의 집합 $X$가 항상 어떤 반군에서 $H(A_q)$로 나타날 수 있는가? (Problem 3, 4)

2. 연구 방법론 (Methodology)

논문은 다음과 같은 수학적 도구와 기법을 사용하여 문제를 해결합니다.

• 표현 함수 (Representation Functions):
  • $r_{A,h}(x) = \text{card}\{(a_1, \dots, a_h) \in A^h : a_1 \cdots a_h = x\}$를 정의하여, 특정 원소 $x$를 표현하는 방법의 수를 분석합니다.
  • $r_{A,h}(x)$가 유한한지 무한한지에 따라 교집합 성립 여부를 판별합니다 (Theorem 2).
• 점근적 엄격 감소 시퀀스 (Asymptotically Strictly Decreasing Sequences):
  • $A_q \supseteq A_{q+1}$이면서 $A_q \neq A_{q+1}$인 시퀀스를 연구하며, 특히 교집합이 공집합이 되거나 특정 집합이 되는 경우를 구성합니다.
• 구체적 구성 (Explicit Constructions):
  • 정수 집합 ($\mathbb{Z}$), 유리수 집합, 실수 집합, 격자점 ($\mathbb{Z}^d$) 등에서 특정 성질을 가진 집합 가족 $(A_q)$을 명시적으로 구성하여 $H(A_q)$가 $\{1\}$, $\mathbb{N}$, 또는 그 사이의 다양한 집합이 되도록 합니다.
• 군 (Group) 이론 및 동형사상:
  • 무한 군의 구조 (코-유한 집합, 부분군, Tarski monster 등) 를 활용합니다.
  • 전사 군 준동형사상 (surjective group homomorphism) 을 사용하여 한 군의 교집합 성질이 다른 군으로 어떻게 전이되는지 분석합니다 (Lemma 3, Theorem 8).
• 곱셈 반군 (Product Semigroup):
  • 두 반군 $S_1, S_2$의 곱 $S_1 \times S_2$를 이용하여 교집합 집합들이 교집합 연산에 대해 닫혀 있는지 증명합니다 (Theorem 14).

3. 주요 결과 및 기여 (Key Results and Contributions)

논문은 다음과 같은 중요한 정리와 구성을 제시합니다.

A. 기본 성질 및 표현 함수와의 관계

• Theorem 2: 만약 $A_1$의 모든 원소 $x$에 대해 표현 함수 $r_{A_1,h}(x)$가 유한하다면, $h \in H(A_q)$가 성립합니다. 특히 모든 $h$에 대해 유한하면 $H(A_q) = \mathbb{N}$이 됩니다.
• Theorem 3: $S$가 모든 $h, x$에 대해 $r_{S,h}(x) < \infty$를 만족하는 반군 (예: $\mathbb{N}, \mathbb{Z}^*, \mathbb{N}_0^d$) 이라면, 모든 점근적 엄격 감소 시퀀스에 대해 $H(A_q) = \mathbb{N}$입니다.

B. 특정 집합에서의 교집합 성질

• Theorem 4 (정수 $\mathbb{Z}$):
  • $A^\sharp_q = \{r \in \mathbb{Z} : |r| \ge q\}$로 정의하면, $\bigcap A^\sharp_q = \emptyset$이지만 $h \ge 2$일 때 $\bigcap hA^\sharp_q = \mathbb{Z}$이므로 H(A^\sharp_q) = \{1}입니다.
  • 임의의 코-무한 (co-infinite) 집합 $A$에 대해 $A_q = A \cup A^\sharp_q$를 정의하면, $A$가 $h_0$차 기저 (basis) 일 때 $H(A_q) = \{1\} \cup \{h \ge h_0\}$가 됩니다.
• Theorem 5 & 6 (유리수 및 실수):
  • 양의 유리수와 실수 집합에서 $H(A_q) = \{1\}$인 시퀀스를 구성했습니다. 이는 $hA = \emptyset$이지만 $\bigcap hA_q \neq \emptyset$인 경우를 보여줍니다.
  • 반대로 $H(A_q) = \mathbb{N}$이 되는 시퀀스도 구성했습니다.

C. 군 (Group) 구조에 따른 결과

• Theorem 7: 무한한 진부분군을 가진 무한 군 $G$에서는 $H(A_q) = \{1\}$인 시퀀스가 존재합니다.
• Theorem 8: 전사 준동형사상 $f: G \to G'$가 존재하면 $H^*_N(G') \subseteq H^*_N(G)$가 성립합니다. 즉, 더 큰 군은 더 많은 교집합 집합을 가질 수 있습니다.
• Theorem 9 & 10: 무한 군에서 코-유한 (co-finite) 집합을 이용한 구성을 통해 $H(A_q) = \{1\} \cup \{h : A^h = G\}$임을 보였습니다.
• Theorem 11 & 12: 유한 집합 $A$ (정수 또는 격자점) 에 대해 $H(A_q) = \mathbb{N}$이 되는 시퀀스를 구성했습니다. 이는 $A$가 유한할 때 $hA$와$\bigcap hA_q$가 일치함을 의미합니다.
• Theorem 13: 가산 무한 군에서 유한 집합 $A$에 대해 $H(A_q) = \{1\}$인 시퀀스를 구성했습니다.

D. 교집합 집합의 대수적 구조

• Theorem 14: 모든 반군의 곱교집합 집합들의 모임 $H_Q$와 점근적 교집합 집합들의 모임 $H^*_N$은 교집합 (intersection) 연산에 대해 닫혀 있습니다. 즉, 두 집합 $X, Y$가 $H_Q$에 속하면 $X \cap Y$도 $H_Q$에 속합니다.
• Problem 10: 이 집합들이 합집합 (union) 에도 닫혀 있는지는 미해결 문제로 남겼습니다.

4. 의의 및 결론 (Significance)

1. 이론적 기여: 반군과 가환 반군에서 부분집합의 곱 (또는 합) 연산과 교집합 연산의 교환 법칙이 성립하는 조건을 체계적으로 분류했습니다. 이는 가산적 수론 (additive number theory) 과 조합적 수론 (combinatorial number theory) 의 중요한 연결고리를 제공합니다.
2. 구체적 반례 및 구성: 단순히 $H(A_q)$가 $\{1\}$이나 $\mathbb{N}$인 경우뿐만 아니라, 임의의 $h_0$에 대해 $\{1\} \cup \{h \ge h_0\}$와 같은 다양한 구조를 가질 수 있음을 구체적인 예시를 통해 증명했습니다.
3. 구조적 통찰: 표현 함수의 유한성, 집합의 크기 (코-유한성 등), 그리고 군의 대수적 구조 (부분군 존재 여부) 가 교집합 성질에 결정적인 영향을 미친다는 것을 보여주었습니다.
4. 미해결 문제 제시: 모든 자연수 1 을 포함하는 집합 $X$가 항상 어떤 반군에서 $H(A_q)$로 나타날 수 있는지 (Problem 4), 그리고 교집합 집합들이 합집합에 대해 닫혀 있는지 (Problem 10) 등 향후 연구 방향을 제시했습니다.

이 논문은 반군 이론과 수론의 교차점에서 집합 연산의 미묘한 상호작용을 탐구하며, 추상 대수학과 조합론의 새로운 연구 방향을 제시하는 중요한 작업입니다.