The endomorphism tower of a finite symmetric group

기술 요약: 유한 대칭군의 엔도모피즘 타워(Endomorphism Tower)

문제 정의
본 논문은 모노이드 $M$의 "엔도모피즘 타워(endomorphism tower)"를 연구한다. 이는 $\text{End}_0(M) = M$이고 $i \ge 1$에 대해 $\text{End}_i(M) = \text{End}(\text{End}_{i-1}(M))$인 모노이드 열 $\text{End}_i(M)$로 정의된다. 유한 중심이 없는 유한 군(finite centerless groups)에 대한 유사한 오토모피즘(automorphism) 타워의 거동은 잘 알려져 있는 반면(유한 단계에서 종료됨), 모노이드의 엔도모피즘 타워의 거동은 거의 탐구되지 않았다. 저자들은 먼저 임의의 유한 비자명 모노이드에 대해, 시퀀스 $\text{End}_i(M)$가 결코 안정화되지 않음을(즉, 임의의 유한 $i$에 대해 $\text{End}_i(M) \not\cong \text{End}_{i+1}(M)$임) 입증한다. 결과적으로, 연구의 초점은 이 타워들의 *단위군(groups of units, 즉 오토모피즘 군)*에서의 안정성 패턴을 식별하는 것으로 옮겨진다. 주요 초점은 $n \ge 7$인 유한 대칭군 $S_n$이며, 여기서 오토모피즘 타워는 즉시 종료된다($\text{Aut}(S_n) \cong S_n$). 핵심 질문은 $\text{End}_i(S_n)$의 단위군이 더 높은 단계 $i$에서도 $S_n$과 동형으로 유지되는가 하는 것이다.

방법론
저자들은 구조적 세미그룹 이론과 대칭군의 특정한 성질들을 결합하여 $\text{End}_1(S_n)$, $\text{End}_2(S_n)$, 그리고 $\text{End}_3(S_n)$를 분석한다.

1. 구조적 분해: 저자들은 그린 관계(Green's relations)와 멱등원(idempotents)의 분류를 활용하여 모노이드를 분할한다. $\text{End}_1(S_n)$의 경우, 기존 문헌으로부터 그 구조를 상기하며, 오토모피즘, 계수(rank) 2인 특이 엔도모피즘(멱등원 및 비멱등원), 그리고 영원소(zero element)를 구분한다.
2. 특성 부분집합 및 중앙 집중자(Centralizers): 핵심 기술은 엔도모피즘 모노이드 내에서 (모든 오토모피즘에 의해 불변인) "특성 부분집합(characteristic subsets)"을 식별하는 것이다. 저자들은 $n \ge 7$일 때 $S_n$이 완전군(complete group, 중심이 없고 내부 오토모피즘만을 가짐)이라는 사실을 활용한다. 이를 통해 $\text{Aut}(\text{End}_i(S_n))$를 $S_n$과 단위군을 고정하는 오토모피즘의 커널(kernel)의 직적(direct product)으로 분해할 수 있다.
3. 계수 2 원소의 중앙 집중자 분석: 섹션 4.1과 5의 상당 부분은 $S_n$ 내 계수 2 원소들의 중앙 집중자를 분석하는 데 할애된다. 저자들은 두 계수 2 원소의 중앙 집중자가 중첩되거나 동일할 경우, 특정 패리티 조건 하에서 그들이 같거나 서로 소(disjoint)여야 함을 입증하는 보조정리들을 증명한다. 이는 특이 엔도모피즘 내의 공액 클래스(conjugacy classes)를 구별하는 데 결정적이다.
4. 반복적 구성: 저자들은 $\text{Aut}(S_n)$과 $\text{SEnd}(S_n)$에 작용하는 방식을 기준으로 $\text{End}_2(S_n)$의 원소들을 명시적으로 구성한다. 이들은 엔도모피즘을 계수(rank)와 커널 구조에 따라 분류하며, $\text{End}_2(S_n)$의 전체 곱셈표를 제공한다.
5. 오토모피즘 결정: $\text{End}_3(S_n)$의 단위군(즉, $\text{Aut}(\text{End}_2(S_n))$)을 결정하기 위해, 저자들은 $\text{End}_2(S_n)$의 단위군 $\text{Aut}(S_n)$을 점별로 고정하는 모든 $\text{End}_2(S_n)$의 오토모피즘이 항등 사상임을 체계적으로 증명한다. 이는 그러한 오토모피즘이 특정 멱등원과 특성 부분집합을 반드시 고정해야 함을 보여줌으로써, 결국 전체 모노이드를 고정하게 만듦을 통해 달성된다.

주요 기여 및 결과

• 유한 모노이드의 비안정화: 본 논문은 (명제 3.2) 각 단계에서 멱등원의 수가 엄격히 증가하므로, 임의의 유한 비자trivial 모노이드의 엔도모피피즘 타워가 유한 단계 내에 결코 안정화되지 않음을 증명한다.
• $\text{End}_2(S_n)$의 구조: 저자들은 $n \ge 7$에 대해 $\text{End}_2(S_n)$의 원소들에 대한 완전한 설명을 제공한다. 이들은 이러한 엔도모피즘들을 서로 다른 가계(families)(오토모피즘, 계수 2 사상, 공액 클래스를 붕괴시키는 사상 등)로 분류하고 전체 합성표(composition table)를 제시한다(섹션 6).
• 단위군의 동형성:
  • $\text{End}_1(S_n)$의 단위군은 $S_n$과 동형임이 확인되었다.
  • 논문은 $\text{End}_2(S_n)$의 구조를 결정하고, 그 단위군인 $\text{Aut}(\text{End}_1(S_n))$이 $S_n$과 동형임을 증명한다.
  • 결정적으로, 저자들은 $\text{End}_3(S_n)$의 구조를 결정하고, 그 단위군인 $\text{Aut}(\text{End}_2(S_n))$ 역시 $S_n$과 동형임을 증명한다(정리 7.23).
• 오토모피즘의 특징 규명: 저자들은 $n \ge 7$일 때 $\text{End}_2(S_n)$의 오토모피즘 군이 $S_n$ 자체의 성질을 반영하여 오직 내부 오토모피즘(inner automorphisms)으로만 구성됨을 보여준다.

의의 및 주장
저자들은 이 연구를 모노이드의 엔도모피즘 타워 연구를 위한 "개척자(opener)"로 위치시킨다. 그들은 $S_n$의 오토모피즘 타워가 첫 번째 단계에서 종료되는 것으로 알려져 있는 반면, $i=1$ 이상의 단계에서 엔도모피즘 타워의 거동은 이전에 알려지지 않았음을 인정한다.

주된 의의로 주장되는 바는 $\text{End}_2(S_n)$의 원소들과 구조를 결정하고, 첫 세 단계($i=0, 1, 2$)에서 단위군이 $S_n$으로 유지됨을 검증한 것이다. 논문은 명시적으로 이러한 연구에 필요한 기법들을 보여준다고 기술하며, 발생하는 복잡성을 언급한다.

저자들은 일반적인 경우에 대해서는 겸손한 태도를 유지한다. 그들은 한 단계에서 다음 단계로 넘어가는 원소들의 일반적인 패턴이 아직 발견되지 않았음을 언급하며, $\text{Aut}(\text{End}_i(S_n)) \cong S_n$이 모든 $i \ge 3$에 대해 성립하는지에 대한 열린 질문(질문 8.1)을 던진다. 또한 이 작업을 다른 변환 모노이드(예: $T_n$)를 연구하고, 무한 세미그룹이 안정화되는 엔도모피즘 타워를 가질 수 있는지 조사하기 위한 토대로 규정한다.