모든 유한군, 유한 인시던스 기하학으로 구현

초록

이 논문은 정상 부분군 H 를 갖는 임의의 유한군 G 쌍을, 어떤 유한 인시던스 기하학 Γ 의 상관자동군 Aut(Γ) 와 자동군 Aut_I(Γ) 의 쌍과 동형시킬 수 있음을 증명한다. 저자들은 먼저 Cayley‑그래프에 특수한 화살표 교체와 정점 색칠을 적용해 원하는 자동군 구조를 가진 인시던스 시스템을 만든 뒤, 모든 간선을 챔버(완전 부분그래프)로 대체해 진정한 인시던스 기하학으로 승격한다. 구체적인 예로 (Sₙ, Aₙ) 쌍을 실현하는 가족을 제시한다.

상세 분석

논문은 두 단계의 구성법을 제시한다. 첫 번째 단계에서는 주어진 쌍 (G, H) 에 대해, G의 원소를 정점 P_i 로, Cayley‑다이렉트 그래프 →G 의 각 방향성 간선을 특정한 작은 그래프 조각(예: S_{i,j,k}, T_{i,j} 등)으로 교체한다. 이 과정에서 모든 정점의 차수를 최소 2로 만들고, 어떠한 클리크도 크기 2를 초과하지 않게 설계한다. 이어서 정점 색칠 함수를 t 을 정의해, 색이 같은 정점들이 같은 코스(예: g_c H 코사트) 에 속하도록 한다. 색칠은 I = {0,1,…,