완전군 확장의 안정성 연구

초록

본 논문은 중심이 없는 완전군을 핵심으로 하여, 그 중심 확장과 중심이 없는 군에 대한 2계층 닐포텐트 확장의 경우에 한정된 유한 안정군을 완전히 분류한다. 핵심 정리로는 (1) 중심이 없는 군의 중앙 확장은 핵심이 차수 2인 경우에만 안정성을 가질 수 있으며, (2) 2계층 닐포텐트 군이 외부 작용 없이 중심이 없는 군에 확장될 때는 그 닐포텐트 군이 반드시 dihedral 8군이어야 한다는 점을 제시한다. 또한 이러한 구조를 갖는 무한한 가족을 구성함으로써, 같은 크기의 자동군을 가지지만 안정하지 않은 유한군도 무한히 존재함을 보인다.

상세 분석

논문은 “안정(stable)”이라는 개념을 G ≅ Aut(G)인 군으로 정의하고, 완전(complete) 군인 G와 그 자동군 사이의 동형을 이용해 새로운 안정군을 구성하려는 시도를 체계화한다. 핵심 아이디어는 중심이 없는 완전군 K를 기본 블록으로 삼아, K의 중심 확장(N↪G↠K) 혹은 K에 대한 2계층 닐포텐트 군 N의 비자명한 외부 작용이 없는 확장(G) 를 고려하는 것이다.

첫 번째 주요 결과(Lemma 3.1~3.3)는 N이 닐포텐트이고 K가 중심이 없으며 외부 작용이 트리비얼일 때, G는 N·C_G(N)의 직접곱 구조를 갖고, 특히 Z_i(N)=Z_i(G) (i≥0) 가 성립함을 보인다. 이를 통해 N과 C_G(N) 모두 G의 특성 부분군이 되며, Aut(G)≅Aut(N)×Aut(Z(G))·Aut(C_G(N)) 라는 분해식이 도출된다.

다음 단계에서 Lemma 3.3은 G가 안정군일 경우 N×K의 직접곱 형태이며, K는 완전군임을 증명한다. 여기서 K의 완전성은 |Inn(K)|=|Aut(K)| 를 이용해 얻으며, 이는 K가 중심이 없고 외부 작용이 없다는 가정에서 필연적으로 따라온다.

이러한 구조적 제약을 바탕으로 Theorem 3.6은 중앙 확장의 경우 N의 차수가 반드시 2이어야 함을 밝힌다. 즉, 중심이 없는 완전군 K에 차수 2의 중심 N을 중앙으로 붙인 G가 안정성을 갖기 위해서는 K가 완전하고, N이 Z(G)와 정확히 일치해야 한다는 조건이 필요하다.

두 번째 주요 흐름은 2계층 닐포텐트 군 N이 K에 확장되는 경우이다. Lemma 4.4는 이러한 N이 안정군이 되려면 N이 dihedral 8군(D₈)이어야 함을 증명한다. 이는 닐포텐트 계층이 2이고 외부 작용이 트리비얼인 경우, Aut(N)와 Aut(Z(G))·Aut(C_G(N))의 곱 구조가 N 자체와 일치하려면 N이 D₈밖에 없다는 강력한 제한을 의미한다. Theorem 4.5는 이를 일반화해, K가 완전하고 N이 D₈인 경우에만 G=N×K가 안정군이 될 수 있음을 정리한다.

마지막으로 Section 5에서는 유한체 F_{p^n} (p>2) 를 이용해 K를 PSL(2, p^n) 혹은 PGL(2, p^n) 형태의 완전군으로 구성하고, N을 위에서 규정된 차수 2의 중심군 혹은 D₈으로 잡아 무한히 많은 예시를 만든다. Corollary 5.8·5.9는 이러한 무한 가족이 실제로 무한히 존재함을 보이며, Corollary 5.10은 |G|=|Aut(G)|이지만 G≇Aut(G)인 비안정 군도 무한히 존재한다는 결론을 도출한다.

전체적으로 논문은 중심이 없는 완전군의 구조적 강점을 활용해, 제한된 형태의 중심 확장과 2계층 닐포텐트 확장이 어떻게 안정성을 강제하는지를 정확히 규명하고, 무한한 가족을 통해 존재론적 풍부함을 동시에 보여준다.