유한 비가환 코시터 군의 추상 정다각형 차수와 전층 구성

초록

본 논문은 유한 비가환 코시터 군 Dₙ( n>4 )에 대해 추상 정다각형(문자열 C‑그룹)의 최대 차수를 규명하고, 차수 r = 3 ~ rₘₐₓ 에 대해 모두 존재함을 증명한다. 또한 예외 군들의 가능한 차수도 완전히 파악한다.

상세 분석

논문은 코시터 군 W의 추상 정다각형을 ‘문자열 C‑그룹’이라는 관점에서 다룬다. 문자열 C‑그룹은 서로 교환하는 성질(|i−j|≥2)과 교차 교집합 성질을 만족하는 순열 집합 S={s₁,…,sᵣ} 로 정의되며, 그 차수 r은 정다각형의 차수와 일치한다. 저자들은 먼저 Dₙ 군을 Sym(2n) 안의 특정 전치군 β₀,β₁,…,βₙ₋₁ 로 구현한다(레마 2.1). 이를 통해 Dₙ이 전치군으로서의 구조를 명확히 파악하고, 이후 독립 생성 집합의 최대 크기 μ(Sym(m))≤m−1(Whiston 정리)와 전치군의 차수 상한 r≤n/2(문자열 C‑그룹 상한 정리)를 활용해 rₘₐₓ의 상한을 설정한다. 특히 n이 짝수일 때는 rₘₐₓ<n을 보이고, n이 홀수일 때는 rₘₐₓ=n임을 증명한다. 핵심은 ‘독립 집합’ T⊂S 를 선택해 |T|=n−1 혹은 n−2인 경우를 배제하고, 교차 교집합 성질이 깨지는 모순을 도출함으로써 가능한 차수를 제한한다.

다음 단계에서는 모든 허용 차수에 대한 구체적 C‑스트링을 구성한다. 저자들은 t₁,…,tₙ이라는 전치 involution을 정의하고, 이들이 서로 교환하는 관계와 곱의 차수를 레마 3.2에서 정확히 계산한다. 레마 3.3은 t₁,…,tₖ가 문자열 C‑그룹을 이루는 것을 귀납적으로 증명하고, 레마 3.4·3.5는 특히 n이 홀수일 때 {t₁,…,tₙ}이 Dₙ와 동형이며 차수 n의 문자열 C‑그룹임을 보인다. 따라서 rₘₐₓ까지의 모든 차수 r에 대해, ‘랭크 감소 정리’(Brooksbank‑Leemans) 를 적용해 상위 차수에서 차수를 하나씩 낮추는 과정을 통해 r=3부터 rₘₐₓ까지의 C‑스트링을 전부 얻는다.

예외 군에 대해서는 I₂(m), H₃, H₄, F₄는 코시터 차수와 동일한 최대 차수를 갖고, E₆, E₇, E₈은 각각 5, 6, 7이라는 제한된 차수를 가진다. 이는 기존의 실험적 데이터와 일치하며, 전이군의 구조적 제한을 반영한다.

전체적으로 논문은 전치군 이론, 독립 집합 상한, 그리고 랭크 감소 기법을 결합해 Dₙ 및 예외 군들의 추상 정다각형 차수를 완전히 규정한다. 이는 Coxeter 군과 정다각형 이론 사이의 깊은 연결고리를 제공하며, 향후 다른 무한 가족이나 복합 군에 대한 차수 분석에도 적용 가능한 틀을 제시한다.