일반화된 삭슬 그래프와 원시 순열군의 구조적 특성

초록

본 논문은 기본 크기 b(G) ≥ 2인 유한 순열군 G에 대해, 두 원소가 b(G) 크기의 기본에 포함될 수 있으면 연결하는 일반화된 삭슬 그래프 Σ(G)를 정의한다. 원시 군에 대해 그래프의 완전성, 호-전이성, 그리고 두 정점이 공통 이웃을 갖는다는 ‘공통 이웃 추측’의 일반화 버전을 조사한다. 대각형, 거의 단순, 아핀, 곱형 등 O’Nan‑Scott 분류의 주요 경우에 대해 완전성 조건, 반프루벤우스(semi‑Frobenius) 군의 특징, 그리고 정규 궤도(reg) = 1인 경우를 완전히 기술한다. 주요 결과는 정리 1.3–1.9에 정리되어 있다.

상세 분석

논문은 먼저 b(G) ≥ 2인 순열군 G에 대해 Σ(G)라는 그래프를 정의한다. 정점 집합은 Ω이며, 두 정점 α,β가 인접하려면 {α,β}가 G의 최소 기본(b(G)개의 원소) 안에 포함될 수 있어야 한다. b(G)=2인 경우는 기존 삭슬 그래프와 일치한다. 이 정의는 ‘r‑rank graph’와 유사하게, 기본 크기가 큰 군에서도 그래프 이론적 도구를 제공한다는 점에서 의미가 크다.

기본적인 관찰로, Σ(G)는 G의 오비탈 그래프들의 합집합이며, G가 원시이면 Σ(G)는 연결된다(정리 2.5). 또한 G가 2‑전이이면 Σ(G)는 완전 그래프가 된다(정리 2.1). 이러한 사실을 바탕으로 ‘공통 이웃 추측’(Conjecture 1.2)을 일반화한다: 원시 군 G에 대해 Σ(G)의 지름이 2 이하이면 모든 두 정점이 공통 이웃을 가진다. 이는 b(G)≥3이면 자동으로 만족하지만, b(G)=2인 경우는 별도의 검증이 필요하다.

다음으로 논문은 ‘반프루벤우스(semi‑Frobenius)’ 군을 정의한다. 이는 두 원소가 항상 b(G)‑크기의 기본에 동시에 포함될 수 있는 군으로, Σ(G)가 완전 그래프와 동치이다. 대각형 군에 대해 정리 1.5는 k=2인 경우와 k≥3인 경우를 구분하여, P가 A_k 또는 S_k에 속하지 않을 때는 b(G)=2이며 반프루벤우스가 아니고, 특정 크기 구간에서 k와 |T|의 관계가 맞으면 반프루벤우스가 될 수 있음을 보여준다.

거의 단순 군에 대해서는 정리 1.3과 1.6이 핵심이다. (i) b(G)≥3이고 소스(소수) 군인 경우, 혹은 (ii) G가 용이한 점 안정자를 가질 때, 공통 이웃 추측이 성립한다. 특히 L₂(q) 군에 대해서는 b(G)와 점 안정자 유형에 따라 완전성 여부를 완전히 구분한다. 정리 1.6은 b(G)=2인 경우와 H가 GL₂(q^{1/2}) 유형인 경우에 Σ(G)가 완전하지 않음을 정확히 기술한다.

호‑전이성(reg(G)=1)과 정규 궤도 수에 대한 논의도 중요한 부분이다. 정리 1.7과 1.8은 대각형 군에서 Σ(G)가 G‑호전이려면 T=A₅이고 k∈{3,57}인 경우에만 가능함을 보여준다. 거의 단순 군에 대해서는 정리 1.9가 상세히 나열된 경우에만 호‑전이성이 성립한다. 여기에는 P₁ 유형 점 안정자, 2‑전이성, 그리고 특정 작은 군들의 조합이 포함된다.

마지막으로, 곱형 군에 대해서는 정리 1.2와 연결된 ‘정규 궤도 조건’이 곱형 군의 점 안정자 궤도 구조와 동치임을 보이며, 이는 기존 연구와 일관된다. 부록에서는 ‘불필요한 기본’에 기반한 또 다른 일반화 그래프를 간단히 소개한다. 전체적으로, 논문은 Σ(G)의 구조를 통해 원시 군의 O’Nan‑Scott 분류별 특성을 정밀하게 파악하고, 기존 삭슬 그래프 연구를 b(G)≥2 전반으로 확장하는 중요한 발판을 제공한다.