최소 F‑커버와 초가환·메타아벨리안 군에 대한 부정적 답변

초록

본 논문은 “초가환(supersolvable)”과 “메타아벨리안(metabelian)”이라는 두 클래스 𝔛에 대해, 𝔛‑군들만으로 이루어진 집합 𝔉가 주어지면 최소 𝔉‑커버가 반드시 𝔛‑군이 될 필요는 없다는 반례를 무한히 많이 제시한다. 구체적으로, 소수 p≥5에 대해 𝔉ₚ={C₃⋊S₃, C₄p}와 𝔉ₚ={D₁₀, Cₚ×A₄}를 선택하면 각각 최소 𝔉ₚ‑커버가 초가환이 아닌 Cₚ×(C₂³⋊C₄)와 메타아벨리안이 아닌 Cₚ×A₅가 된다.

상세 분석

논문은 먼저 𝔉‑커버와 최소 𝔉‑커버의 정의를 상기하고, 기존 연구에서 “nilpotent” 클래스에 대해서는 최소 𝔉‑커버가 같은 클래스에 속한다는 긍정적 결과가 있음을 언급한다. 이어서 질문 8.2(“𝔛가 부분군과 직접곱에 대해 닫힌 경우, 𝔉가 𝔛‑군들의 집합이면 최소 𝔉‑커버도 𝔛‑군인가?”)에 대한 부정적 답을 두 새로운 클래스에 대해 제시한다.

핵심은 두 정리(정리 4, 5)이다. 정리 4에서는 소수 p≥5에 대해 𝔉ₚ={C₃⋊S₃, C₄p}를 잡는다. 여기서 C₃⋊S₃는 차수 18의 초가환 군이며, C₄p는 차수 4p의 초가환 군이다. 최소 𝔉ₚ‑커버의 차수를 Lagrange‑정리와 Lemma 2.1을 이용해 36p로 제한하고, Sylow 정리와 Schur‑Zassenhaus 정리를 적용해 G가 Cₚ와 차수 36인 군 K의 반직접곱임을 보인다. K는 차수 36의 군 중에서 유일하게 S₃와 C₄를 각각 부분군으로 갖는 군, 즉 C₂³⋊C₄이다. 이후 Aut(Cₚ)와의 작용을 조사해 반직접곱이 실제로 직적곱임을 증명하고, 최종적으로 최소 𝔉ₚ‑커버는 Cₚ×(C₂³⋊C₄)임을 얻는다. 이 군은 K가 비초가환이므로 전체 군도 초가환이 아니다.

정리 5는 메타아벨리안 경우에 대한 대칭적인 논증을 전개한다. 𝔉ₚ={D₁₀, Cₚ×A₄}를 잡고, 최소 𝔉ₚ‑커버의 차수를 60p로 제한한다. p≥61이면 G는 Cₚ와 차수 60인 군 K의 반직접곱이며, K는 D₁₀와 A₄를 동시에 포함하는 유일한 차수 60 군, 즉 A₅임을 확인한다. Lemma 2.2에 의해 Cₚ와 A₅는 직적곱이 되고, 결과적으로 최소 𝔉ₚ‑커버는 Cₚ×A₅가 된다. A₅는 비메타아벨리안이므로 전체 군 역시 메타아벨리안이 아니다.

두 정리 모두 GAP을 이용한 소수 p의 작은 경우(예: p∈{5,7,11,13,17})에 대한 전산 검증을 포함한다. 또한, p=2,3 등 특수한 경우에 대한 추가 예시와, 동일한 𝔉에 대해 최소 𝔉‑커버가 여러 개 존재하면서 모두 𝔛‑군이 아닌 상황도 제시한다.

결과적으로, 초가환과 메타아벨리안이라는 두 클래스는 “부분군·직접곱에 닫힌” 성질을 가짐에도 불구하고, 𝔉가 해당 클래스 내에 있을 때 최소 𝔉‑커버가 반드시 같은 클래스에 속한다는 일반적인 명제가 성립하지 않음을 보여준다. 이는 질문 8.2에 대한 부정적 답변을 두 새로운 중요한 사례에 확장한 것으로, 최소 𝔉‑커버 문제의 복잡성을 강조한다.