타르스키식 소수 반정연과 그룹의 소수성 연구

초록

본 논문은 Tarski가 정의한 “소수” 개념을 반정연(semigroup)과 군(group) 범주에 적용하여, 비공집합 반정연 범주에서는 소수 객체가 존재하지 않음을 증명하고, 단위원(mon​oid) 및 특정 부분범주에서는 소수 객체를 구성한다. 또한 군 범주에서 Tarski식 소수와 Rhodes식 소수 사이의 관계를 조사하고, 유한 대수에 대한 특수한 특성을 제시한다.

상세 분석

논문은 먼저 Tarski가 제안한 소수 개념을 범주론적 관점에서 재정의한다. 구체적으로, 유한 직접곱을 닫는 범주 C에 대해 동형류들의 가환군 M_C를 고려하고, 비단위 원소 p∈M_C가 두 원소의 곱을 나눌 때 어느 하나를 반드시 나누는 경우를 “소수”라 정의한다. 이 정의는 전통적인 반정연 이론에서 사용되는 두 가지 ‘소수성’ 개념과는 구별된다.

섹션 2에서는 비공집합 반정연 범주 Semigp에 소수 객체가 존재하지 않음을 보인다. 핵심 아이디어는 “action‑equivalence”라는 동치관계를 도입해 반정연을 “product elements”(곱으로 표현 가능한 원소)와 “non‑product elements”(그렇지 않은 원소)로 구분하고, 각 동치류의 크기를 조절하는 ‘Null(κ)’ 반정연(모든 곱이 동일한 반정연)을 이용한다. Lemma 2.3은 동일한 스켈레톤을 가진 두 반정연 S, T에 대해 충분히 큰 무한 기수 κ를 선택하면 S×Null(κ)와 T×Null(κ)가 동형임을 보이며, 이를 통해 임의의 비null 반정연 S가 소수가 될 수 없음을 증명한다. 이어서 Null(κ) 자체도 직접곱 분해 조건(Lemma 2.5)과 모순을 일으키는 구조를 구성해 소수가 아님을 확인한다. 결과적으로 Theorem 2.7은 Semigp에 소수 객체가 전혀 없음을 선언한다.

섹션 3‑4에서는 단위원을 포함하는 범주(Monoid)와 몇몇 제한된 반정연 서브카테고리에서 소수 객체를 만들 수 있음을 보여준다. 핵심은 Lemma 3.1을 통해 이상 A⊆S와 군 G 사이의 준동형을 전체 반정연 S에 유일하게 연장할 수 있음을 이용하는데, 이는 직접곱 구조를 분해하고 각 인자에 대한 군 동형을 독립적으로 정의할 수 있음을 의미한다. Corollary 3.3은 S×T→G 형태의 반정연 동형이 각각 S→G, T→G 로 분리될 수 있음을 보여, 소수성 검증에 필요한 “분해 가능성”을 확보한다.

섹션 5에서는 아직 해결되지 않은 두 개의 질문을 제시한다. 특히 유한 반정연 범주에서 소수 객체가 존재할 가능성을 열어두며, 현재의 무한 기수 기반 논증이 유한 경우에 적용되지 않음을 지적한다.

섹션 6은 군 범주에서 Tarski식 소수와 Rhodes식 소수(‘prime group’이라 불리는 전통적 정의) 사이의 관계를 탐구한다. 두 정의는 각각 “직접 인수(divisor)로서의 소수성”과 “정규 부분군이 직접 인수인 경우”를 강조한다. 저자는 몇 가지 예시를 들어 두 조건이 서로 독립적일 수 있음을 보이며, 특정 가환군에서는 두 정의가 일치함을 증명한다.

섹션 7에서는 임의의 다양체(variety) 내 유한 대수에 대해 한 조건(‘Tarski‑prime’)이 ‘모든 동형류가 직접 인수로 분해 가능’하다는 성질과 동등함을 보이는 흥미로운 특성을 제시한다. 이는 기존의 대수적 구조 이론과 직접곱 분해 이론을 연결하는 새로운 관점을 제공한다.

전체적으로 논문은 Tarski식 소수 개념을 반정연·군 이론에 체계적으로 적용하고, 직접곱 구조와 동치류 크기 조절을 통한 반정연의 비소수성 증명, 그리고 군에서의 두 소수 정의 사이의 미묘한 차이를 명확히 함으로써, 대수적 구조의 분해와 소수성에 관한 연구에 새로운 방향을 제시한다.