크로네커 클래스와 정상 커버링 및 군의 주요 인자

초록

이 논문은 유한군 G와 자동화군 A( Inn(G) ≤ A ≤ Aut(G) ) 사이에서, 모든 a∈A에 대해 U^a가 합쳐져 G를 이루는 경우 U가 G와 동등하거나 그 지수 |G:U|가 A와 Inn(G)의 비율에 의해 제한된다는 정리를 새롭게 증명한다. 기존의 Praeger(1994) 증명의 오류를 지적하고, 대체 증명을 통해 두 변수 함수 g(n,c) 가 존재함을 보이며, 특히 U가 최소 A‑불변 부분군을 보완할 때는 더 강한 함수 f(n) 으로 제한한다.

상세 분석

논문은 먼저 Jordan의 고전적 결과를 상기한다. Jordan 정리는 A=Inn(G)일 때, G를 U의 A‑공변(conjugate)들로 덮을 수 없으며, 따라서 U=G가 된다는 것을 말한다. Neumann‑Praeger는 이를 일반화하여, A가 Inn(G)보다 큰 경우에도 |G:U|가 |A:Inn(G)|에만 의존하는 함수 f 에 의해 상한이 존재한다는 추측을 제시하였다. Praeger(1994)는 이 추측을 부분적으로 입증하기 위해 두 변수 함수 g(n,c) 를 도입했는데, 여기서 c는 G/U^A의 A‑주요 인자 수(즉, A‑chief length)이다. 그러나 그 증명에서 G가 순환군 Z_{p^k} 형태일 때, U=G인 경우에 p ≤ |G:U| 라는 부등식이 성립하지 않아 논리적 결함이 발생한다는 점을 저자들은 발견한다.

이를 바로잡기 위해 저자들은 새로운 접근법을 제시한다. 핵심 아이디어는 두 단계로 나뉜다. 첫 번째 단계에서는 U가 최소 A‑불변 부분군 L을 보완하는 경우를 다루어, 이때는 |G:U|가 오직 n=|A:Inn(G)|에만 의존하는 함수 f(n) 으로 제한됨을 보인다. 여기서는 L이 아벨리안인지 비아벨리안인지에 따라 경우를 나누고, 비아벨리안 경우에는 L을 T^k 형태(단순 비아벨리안 군 T의 직교곱)로 표현한 뒤, 대각선 부분군과 블록 구조를 이용해 Aut(T)‑공변 클래스 수 m와 A‑orbits 수 r, 블록 크기 s 사이의 관계를 정밀히 분석한다. 특히 Lemma 2.1을 활용해 U∩L이 대각선 부분군들의 직교곱으로 분해됨을 보이고, m>r 혹은 s>r 가 발생하면 모순이 도출되어 m≤r, s≤r 를 얻는다. 이를 통해 |L|≤h(n)n^2 형태의 상한을 얻고, 결국 |G:U|≤f(n)임을 증명한다.

두 번째 단계에서는 일반적인 경우를 귀납적으로 처리한다. U^A=1이라고 가정하고, 최소 A‑불변 부분군 L을 선택한다. 만약 G=UL이면 앞 단계의 결과로 바로 결론이 나온다. 그렇지 않으면 G/L에 대해 귀납 가정을 적용해 |G:UL|≤g(n,c−1) 를 얻는다. 이어서 K=(UL)^A 라는 A‑코어를 정의하고, K의 크기가 G보다 작으므로 다시 귀납적으로 |K:U∩K|≤g((n·g(n,c−1))!,c−1) 를 얻는다. 마지막으로 |G:U|=|G:UL|·|K:U∩K|≤g(n,c) 를 만족하도록 g를 재귀적으로 정의한다. 이 과정에서 함수 h (단순 군의 크기를 Aut‑클래스 수에 의해 제한하는 함수)와 앞에서 정의한 f 을 이용해 g가 충분히 큰 상한을 제공하도록 설계한다.

전체 증명은 두 가지 주요 기법을 결합한다. 첫째는 대각선 부분군과 블록 구조를 통한 정밀한 군론적 분해이며, 둘째는 A‑chief length를 이용한 귀납적 구조 분석이다. 이를 통해 기존 Praeger 증명의 오류를 완전히 회피하고, 원래 정리의 정확성을 확보한다. 또한, 논문은 Proposition 3.1을 통해 Conjecture 1의 특수 경우(즉, U가 최소 A‑불변 부분군을 보완하는 경우)를 완전히 해결함으로써, 원래 추측에 대한 추가적인 증거를 제공한다.