오른쪽 군의 프리토션 이론과 구조 분해

본 논문은 오른쪽 군(right group)의 구조와 범주론적 성질을 심도 있게 탐구한다. 먼저 오른쪽 군의 정의를 재정리하고, 왼쪽 취소법과 오른쪽 단순성을 만족하는 반군이 멱등원 집합 E와 그룹 G의 외부 직접곱 E×G와 동형임을 Theorem 2.6을 통해 증명한다. 이때 E는 모든 멱등원을 포함하는 오른쪽 영 반군이며, G는 특정 멱등원 e₀에 대한 왼쪽 이데알 Se₀로 구성된다. 저자는 두 개의 핵 ∼와 ≡를 정의하여, ∼는 모든 멱등원을 동일시하는 최소 동형, ≡는 각 원소를 그에 대응하는 멱등원으로 사상한다. 두 핵은 퍼뮤터블하고 상보적이어서 S ≅ (S/∼)×(S/≡)라는 내부 직접곱을 형성한다. 여기서 S/∼는 그룹 구조, S/≡는 오른쪽 영 반군 구조를 각각 갖는다. 다음으로 점이 지정된 오른쪽 군 (S, e₀)를 도입한다. e₀∈E를 고정함으로써 (S, e₀)는 두 점이 지정된 하위 객체 (Se₀, e₀)와 (E, e₀)의 코프합이자 곱 객체가 된다. Theorem 4.2에 의해 점이 지정된 오른쪽 군 범주 RGrp*는 점이 지정된 집합 범주 Set*와 그룹 범주 Grp의 곱 범주와 동형임을 보이며, 이는 객체의 분해와 재구성이 동시에 가능함을 의미한다. 반면 점이 없는 범주 RGrp는 비공집합 집합 범주 Set₊와 Grp의 곱 범주와 동형이며, 초기 객체가 없고 종단 객체만 존재한다는 차이를 갖는다. 프리토션 이론을 구축하기 위해 저자는 전-정밀 시퀀스 E(S) → S → S/∼를 제시한다. 여기서 E(S)는 멱등원 전체 집합, S/∼는 그룹, 그리고 핵 ∼는 멱등원을 동일시한다. 이 시퀀스는 프리토션 이론의 전형적인 형태와 일치하며, 토션 객체는 오른쪽 영 반군(비공집합이 아닌 경우), 토션-프리 객체는 그룹이다. 그러나 RGrp는 영 객체가 없고, 각 멱등원마다 상수 사상이 존재하므로 전통적인 토션 이론과는 차이가 있다. 점이 지정된 범주에서는 이러한 상수 사상이 하나로 수렴해 진정한 토션 이론이 된다. 마지막으로, 오른쪽 군과 점이 지정된 오른쪽 군이 각각 보편대수학적 다양체(variety)를 형성함을 보인다. 오른쪽 군은 서명 (2,2)를, 점이 지정된 오른쪽 군은 서명 (2,0,1)를 갖는다. 이는 곱과 코프합 구조가 보존되는 범주적 특성을 강조한다. 전체적으로 논문은 오른쪽 군의 구조적 분해, 동형 사상에 기반한 프리토션 이론, 그리고 점이 지정된 경우의 범주 동형성을 체계적으로 연결함으로써 반군 이론과 범주론 사이의 교량을 제공한다.