그룹의 s‑팩터와 완전 커버드 그래프의 새로운 연결고리

초록

이 논문은 유한군의 부분집합에 대해 정의된 s‑팩터와 그 크기의 상·하한(위·하 인덱스)을 그래프 이론의 독립집합 개념과 연결한다. 특히 Cayley 그래프 Cay(G, A⁻¹A{e}) 에서 s‑팩터가 최대 독립집합과 일치함을 보이고, 이를 통해 군의 모든 부분집합이 동일한 위·하 인덱스를 갖는 ‘안정군(stable group)’을 완전히 분류한다. 기존 연구에서 컴퓨터에 의존하던 부분을 그래프 이론적 접근으로 대체하고, 다양한 군(특히 비가환군, 디헤드랄군, 작은 차수의 군)에 대해 구체적인 인덱스 값을 계산한다.

상세 분석

논문은 먼저 s‑팩터라는 개념을 도입한다. 주어진 유한군 G와 비공백 부분집합 A⊆G에 대해, B⊆G가 s‑팩터라 함은 (i) AB의 모든 원소가 a∈A, b∈B의 곱 ab 으로 유일하게 표현될 수 있고, (ii) 이러한 B가 포함 관계상 최대임을 의미한다. 유한군에서는 |B| 의 최대값을 |G : A|⁺, 최소값을 |G : A|⁻라 정의하고, 두 값이 일치하면 A를 안정집합(stable set)이라 부른다. 모든 부분집합이 안정집합이면 G를 안정군(stable group)이라 한다.

핵심 연결고리는 Lemma 2이다. 여기서 ∂A = A⁻¹A \ {e} 라 두고, Cayley 그래프 Cay(G, ∂A)를 구성한다. 그러면 B가 A와 연관된 오른쪽 s‑팩터 ⇔ B가 Cay(G, ∂A)의 최대 독립집합이 된다. 따라서 |G : A|⁺ = α(Cay(G, ∂A)), |G : A|⁻ = i(Cay(G, ∂A)) (α는 독립수, i는 독립 지배수)이다. 이 등식은 군의 인덱스 문제를 그래프 이론의 잘 알려진 파라미터로 변환시켜, 기존에 복잡했던 군론적 계산을 단순화한다.

다음으로 논문은 여러 일반적인 군에 대해 위·하 인덱스를 구한다. 예를 들어, 순환군 ℤₙ에 대해 A={0,1}이면 ∂A={±1}이 되고, Cayley 그래프는 n-주기 사이클 Cₙ이 된다. Lemma 3을 통해 |ℤₙ : A|⁻ = ⌈n/3⌉, |ℤₙ : A|⁺ = ⌊n/2⌋임을 확인한다. 디헤드랄군 Dₙ에 대해서는 S=∂{e,a,b}={a,b,ab,ba}를 선택하고, 그래프의 구조를 분석해 i(Cay(Dₙ,S))=⌈2n/5⌉, α(Cay(Dₙ,S))=⌊2n/3⌋임을 증명한다.

안정성에 대한 일반적인 조건도 제시한다. Lemma 6은 정상 부분군 H⊲G와 사이클형 몫 G/H가 차수 n≥4이며 |H|≥3일 때 G가 안정하지 않음을 보인다. 이는 “사이클 몫을 가진 큰 군은 대부분 불안정”이라는 강력한 부정 결과를 제공한다. 또한 Lemma 4와 Corollary 5를 통해 안정군의 부분군도 역시 안정함을 보여, 안정군의 구조가 매우 제한적임을 시사한다.

마지막으로 논문은 8장에 걸쳐 모든 유한 안정군을 완전히 분류한다. 기존 연구(Hooshmand & Yousefian‑Arani, 2020)에서는 GAP을 이용한 전산 검증에 의존했지만, 여기서는 위에서 구축한 그래프‑군 대응을 활용해 컴퓨터 없이도 증명을 마친다. 결과적으로 안정군은 다음과 같이 정리된다: (1) 모든 순환군 Cₙ (특히 n∈{1,2,3,4,5,7}); (2) 직접곱 C₂×C₂; (3) 특정 작은 비가환군(예: D₄, A₄의 일부 변형 제외); 그리고 그 외에 차수가 2의 거듭제곱인 군 중 매우 제한된 경우만이 남는다. 구체적인 목록은 논문 부록에 제시된다.

이러한 결과는 군론과 그래프 이론 사이의 교차점을 새롭게 조명한다. 특히 s‑팩터라는 군론적 개념을 독립집합·지배집합이라는 그래프 이론의 고전적 파라미터와 일대일 대응시킴으로써, 두 분야의 도구를 상호 보완적으로 사용할 수 있음을 보여준다. 또한 안정군의 완전 분류는 “모든 부분집합이 동일한 위·하 인덱스를 갖는 군”이라는 새로운 군 구조 클래스를 명확히 정의하고, 향후 s‑팩터와 관련된 응용(예: 코딩 이론, 암호학, 조합 설계)에서 유용한 기준을 제공한다.