타르스키 (Tarski) 의미의 소인수 분해 가능성과 소 (Prime) 반군 및 군에 대한 기술적 요약

이 논문은 George M. Bergman 에 의해 작성된 것으로, 대수학의 범주 (특히 반군, 모노이드, 군) 에서 '소 (prime)' 객체의 존재성과 성질을 연구합니다. 저자는 타르스키 (Tarski) 가 정의한 소의 개념과 반군 이론가들이 사용하는 두 가지 다른 소 (Rhodes-primeness) 의 개념을 비교 분석하며, 각 범주에서의 소 객체의 존재 여부와 그 관계를 규명합니다.

1. 연구 문제 및 배경

1.1 타르스키의 소 (Tarski-prime) 정의

대수학의 범주 $\mathcal{C}$가 유한 직곱 (direct product) 에 대해 닫혀 있을 때, 동형류의 가환 모노이드 $M_\mathcal{C}$에서 비항등원 $p$가 타르스키 소인 것은 다음과 같이 정의됩니다:

• $p$가 두 원소의 곱을 나눌 때, $p$는 반드시 그 중 하나의 원소를 나눈다.
• 즉, $Y \cong Y_0 \times Y_1$이고 $Y$가 $X$를 직인자 (direct factor) 로 가질 때, $X$는 $Y_0$ 또는 $Y_1$ 중 하나를 직인자로 가져야 합니다.

McKenzie, McNulty, Taylor 의 저서 [9] 는 **비공집합 반군 (nonempty semigroups)**의 범주에 이러한 소 객체가 존재하는지 질문했습니다. 또한, 유한 대수나 군의 범주에서 소 객체의 성질에 대한 다른 질문들도 제기되었습니다.

1.2 연구 목적

• 반군 (Semigroups) 범주에서 타르스키 소 객체가 존재하는지 증명하거나 반증할 것.
• 모노이드 (Monoids) 및 특정 반군 부분 범주에서 소 객체의 예시를 찾을 것.
• 타르스키 소와 반군 이론에서 Rhodes 가 정의한 두 가지 소 개념 (직곱에 대한 Rhodes-primeness, 반직곱에 대한 Rhodes-primeness) 간의 관계를 군 (Groups) 의 맥락에서 규명할 것.

2. 방법론

2.1 반군 범주에서의 부정적 결과 도출 (Section 2)

• 영 (Null) 반군과 작용 동치 (Action equivalence): 반군의 원소들 간의 '작용 동치' (action equivalence) 관계를 정의하고, 이를 통해 반군의 구조를 분석합니다.
• 스켈레톤 (Skeleton): 각 작용 동치 클래스에서 대표원을 하나씩 뽑아 만든 부분반군을 정의합니다.
• 직곱 분해의 비유일성: 무한 카디널 $\kappa$를 사용하여 $S \times \text{Null}(\kappa) \cong S^+ \times \text{Null}(\kappa)$와 같은 동형식을 구성합니다. 여기서 $S$는 원래 반군이고 $S^+$는 특정 작용 동치 클래스에 원소를 추가한 반군입니다.
• 논증: 이 동형식을 통해 어떤 비영 (non-null) 반군도 타르스키 소가 될 수 없음을 보이며, 영 반군 $\text{Null}(\kappa)$ 역시 소가 아님을 증명합니다.

2.2 긍정적 결과 도출 (Section 3-4)

• 소거 법칙 (Cancellativity): 소거 법칙 (cancellative) 이 성립하는 반군 (오른쪽/왼쪽/약한 소거 법칙) 에서는 타르스키 소가 존재할 수 있음을 보입니다.
• 확장 및 사상: 이상 (ideal) 에서 정의된 준동형사상을 전체 반군으로 확장하는 Lemma 를 사용하여, $N+k$ (음이 아닌 정수 집합) 가 직인자로 가질 수 있는 조건을 분석합니다.
• 결론: 소거 법칙을 만족하는 반군 범주에서는 $N+k$가 소 객체가 됩니다. 특히 모노이드 범주에서는 $N$ (자연수) 이 소 객체임을 증명합니다.

2.3 군 (Groups) 에 대한 비교 분석 (Section 6)

• 세 가지 소 개념의 정의:
  1. Tarski-prime: 직인자 (direct factor) 조건.
  2. Rhodes-prime (직곱): 부분몫 (subquotient) 조건.
  3. Rhodes-prime (반직곱): 부분몫 조건 + 반직곱 구조.
• 유한 군에 대한 분석: 크룰 - 슈미트 (Krull-Schmidt) 정리를 활용하여 유한 군의 소인수 분해 유일성을 기반으로 논증합니다.
• 모노리틱 (Monolithic) 군: 유일한 최소 정규 부분군을 가진 군을 분석하여 Rhodes-primeness 와의 관계를 규명합니다.
• 반례 구성: Olshanskiy 의 도움을 받아 다양한 유한 $p$-군 (extraspecial $p$-groups 등) 을 구성하여, Rhodes-primeness 의 두 개념이 서로 역으로 성립하지 않음을 보여줍니다.

3. 주요 결과 및 기여

3.1 반군 범주에서의 소 객체 부재

• 주요 정리 (Theorem 2.7): 비공집합 반군의 범주 (Semigp) 에는 타르스키 소 객체가 존재하지 않습니다.
• 확장: 이 결과는 교환 반군 (commutative semigroups) 이나 영 (zero) 원소를 가진 반군의 범주에도 적용됩니다.
• 유한 반군에 대한 미해결 문제: 유한 반군 범주에 소 객체가 존재하는지는 여전히 열린 문제 (Question 2.9) 로 남았습니다.

3.2 모노이드 및 소거 반군에서의 소 객체 존재

• Theorem 4.3: 소거 법칙 (cancellative) 을 만족하는 반군 범주 (오른쪽, 왼쪽, 약한 소거) 에서 $N+k$ (음이 아닌 정수) 는 소 객체입니다.
• Theorem 4.4: 모노이드 범주와 모든 원소가 곱으로 표현되는 반군 범주에서 $N$은 소 객체입니다.
• 일반화: 유한 중심 (finite center) 을 가진 비자명 대수는 [9] 의 결과에 따라 소 객체일 수 있음을 지적합니다.

3.3 군에서의 소 개념 비교

• 정수군 $\mathbb{Z}$의 성질:
  • Tarski-prime 아님: $\mathbb{Z}$는 직인자 조건을 만족하지 않습니다 (예: $(\mathbb{Z}_p \rtimes \mathbb{Z}) \times (\mathbb{Z}_q \rtimes \mathbb{Z})$의 구조를 통해 반례 구성).
  • Rhodes-prime: 직곱 및 반직곱에 대해 부분몫 조건을 만족하므로 Rhodes-primeness 는 성립합니다.
• 유한 군의 위계 관계 (Lemma 6.3):
  • 반직곱 Rhodes-primeness $\implies$ 직곱 Rhodes-primeness $\implies$ Monolithic $\implies$ Tarski-primeness.
  • 이 함축 관계들의 역은 성립하지 않습니다 (Example 6.7, 6.8, 6.9, 6.10 등).
• 단순군 (Simple groups): 모든 비자명 단순군은 반직곱에 대해 Rhodes-primeness 를 가집니다 (Proposition 6.4).
• 유한 군에서의 역명제: 유한 군이 반직곱에 대해 Rhodes-primeness 를 가지면, 그 군은 단순군이어야 합니다 (Proposition 6.5, Olshanskiy 증명).

3.4 일반 대수 다양체 (Varieties) 에 대한 일반화

• Proposition 7.1: 임의의 대수 다양체에서 유한 대수 $X$가 직곱에 대해 Rhodes-primeness 를 가지는 것과, $X$의 생성하는 부분다양체 (subvariety) 가 join-prime 이고 특정 조건을 만족하는 것은 동치임을 증명합니다.

4. 의의 및 결론

이 논문은 대수적 구조의 '소 (prime)' 개념에 대한 정밀한 분류를 제공했습니다.

1. 개념의 명확화: 타르스키의 소 정의와 Rhodes 의 소 정의 (직곱/반직곱) 를 명확히 구분하고, 군과 반군 맥락에서의 관계를 체계적으로 정리했습니다.
2. 존재성 반증: 반군 범주 전체에는 타르스키 소가 존재하지 않음을 증명하여, McKenzie 등 [9] 의 질문에 대한 부정적 답변을 제시했습니다. 이는 반군의 직곱 분해가 매우 복잡하고 비유일할 수 있음을 시사합니다.
3. 긍정적 영역 규명: 소거 법칙이나 모노이드 구조와 같은 추가 조건 하에서는 소 객체가 존재함을 보였습니다. 이는 대수적 구조의 '단순성'이 소거 법칙과 밀접하게 관련되어 있음을 보여줍니다.
4. 유한 군의 구조적 통찰: 유한 군에서 Rhodes-primeness 와 Tarski-primeness 가 서로 다른 개념임을 다양한 반례를 통해 입증했습니다. 특히, 모노리틱 (monolithic) 군이 반드시 Rhodes-primeness 를 만족하지는 않음을 보여주어 군론의 미묘한 구조적 차이를 드러냈습니다.

이 연구는 대수적 범주 이론, 특히 반군과 군의 분해 이론에 중요한 기초를 제공하며, 향후 유한 대수 및 무한 대수의 소인수 분해 연구에 방향을 제시합니다.