[논문 리뷰] Boosting an analogue of Jordan's theorem for finite groups

Ignasi Mundet i Riera, Alexandre Turull|arXiv (Cornell University)|2013. 10. 24.

Finite Group Theory Research참고 문헌 12인용 수 5

한 줄 요약

이 논문은 유한군의 부분군에 대해 닫혀 있는 클래스에서, 소인수가 최대 두 개인 군에 대해 인덱스에 대한 유계가 존재할 경우, 아벨 부분군의 인덱스에 대한 균일한 상界를 확립한다. 분류 정리(FCFG)를 이용하여, 2소인수 군에 대해 이러한 유계가 존재하면, 그 클래스의 모든 군으로의 균일한 확장이 가능하며, 고정된 생성자 수를 가진 글로벌 조르당 유형의 상계를 도출한다.

ABSTRACT

Let $\mathcal C$ be a set of finite groups which is closed under taking subgroups and let $d$ and $M$ be positive integers. Suppose that for any $G\in\mathcal C$ whose order is divisible by at most two distinct primes there exists an abelian subgroup $A\subseteq G$ such that $A$ is generated by at most $d$ elements and $[G : A] \le M$. We prove that there exists a positive constant $C_0$ such that any $G \in \mathcal C$ has an abelian subgroup $A$ satisfying $[G : A] \le C_0$, and $A$ can be generated by at most $d$ elements. We also prove some related results. Our proofs use the Classification of Finite Simple Groups.

연구 동기 및 목표

• 유한군의 부분군에 대해 닫혀 있는 클래스에서 아벨 부분군의 인덱스에 대한 균일한 상界를 확립하는 것.
• 소인수가 최대 두 개인 군에 대해 유효한 국소적 상계를, 전체 클래스에 걸쳐 글로벌 상계로 확장하는 것.
• 2소인수 군에 대해 이러한 상계가 존재하면, 그 클래스의 모든 군에 대해 고정된 생성자 수를 가진 균일한 상계가 존재함을 증명하는 것.
• 유한단순군의 분류(CFSG)를 활용하여 클래스 내 군의 구조를 제어하고, 구성 인자 및 준단순군에 대한 유한성 조건을 도출하는 것.

제안 방법

• 유한군의 클래스 $\mathcal{C}$ 가 부분군에 대해 닫혀 있고, $\mathcal{C}$ 소속 군 중 소인수가 최대 두 개인 군들에 대해 아벨 부분군의 인덱스 $\leq M$ 이며, 생성자 수 $\leq d$ 라는 조건이 성립한다고 가정한다.
• 층 $E(G)$ 와 중심화자 $C_G(E(G))$ 의 구조를 이용하여 $G$ 를 중심곱으로 분해하고, 해소 가능 부분을 포함한다.
• 레마 3.3 을 적용하여 층의 중심화자 내에서 아벨 부분군의 인덱스를 유계로 제한하며, 해소 가능 경우와 코로나리 3.4 를 활용한다.
• 프로베누스 군의 논증과 보조군의 순서에 대한 유계를 통해 가능한 비아벨 구성 인자의 집합의 유한성을 확보한다.
• 스푸르 표현 군을 이용하여 $\mathcal{C}$ 내 준단순군의 순서를 유계로 제한하며, 이러한 단순군의 집합의 유한성을 기반으로 한다.
• 층 크기의 유계와 중심화자 내 인덱스의 유계를 조합하여 글로벌 상계 $C_0 = C_5! \cdot C_2$ 를 도출한다. 여기서 $C_5$ 는 $|E(G)|$ 를 유계로 제한하고, $C_2$ 는 중심화자 내 인덱스를 유계로 제한한다.

실험 결과

연구 질문

• RQ1 소인수가 최대 두 개인 군에 대해 인덱스에 대한 상계가 알려져 있을 경우, 부분군에 대해 닫혀 있는 유한군 클래스에서 아벨 부분군의 인덱스에 대한 균일한 상계를 확립할 수 있는가?
• RQ2 이러한 균일한 상계를 확보하기 위해 필요한 군 클래스의 구조적 제약 조건은 무엇이며, 이는 유한단순군의 분류와 어떻게 관련되는가?
• RQ3 2소인수 케이스에서 생성자 수에 대한 균일한 상계가 존재할 경우, 전체적으로 아벨 부분군의 생성자 수는 어떻게 행동하는가?
• RQ4 주어진 가정 하에 층 $E(G)$ 의 가능한 구성 인자의 집합이 보장되게 유한해질 수 있는가?
• RQ5 초기 매개변수 $d$ 와 $M$ 에 대해 아벨 부분군의 인덱스에 대한 효과적인 상계 $C_0$ 는 무엇인가?

주요 결과

• 모든 $G \in \mathcal{C}$ 에 대해, 아벨 부분군 $A$ 가 존재하여 $[G:A] \leq C_0$ 이고, $A$ 는 최대 $d$ 개의 원소로 생성된다. 이때 $C_0$ 는 양의 상수이다.
• 상수 $C_0$ 는 $C_5! \cdot C_2$ 로 명시적으로 유계로 제한되며, $C_5$ 는 층 $E(G)$ 의 크기를 유계로 제한하고, $C_2$ 는 층의 중심화자 내 인덱스를 유계로 제한한다.
• 비아벨 구성 인자 $E(G)/Z(E(G))$ 의 집합은 유한하며, 크기는 최대 $d + M$ 이다. 이는 2생성자 케이스에서 아벨 부분군의 유계에 기인한다.
• 클래스 $\mathcal{C}$ 내 준단순군의 집합은 유한하며, 그 순서는 $C_3$ 로 균일하게 유계로 제한되며, 이는 유한한 단순군 집합의 스푸르 표현 군에서 유도된다.
• 구성 인자 수 $E(G)/Z(E(G))$ 는 $d + M$ 으로 유계로 제한되며, 이는 2원소로 생성된 아벨 $p$-부분군이 $C_2$ 를 초월하는 프로베누스 군의 몫을 가질 수 없다는 사실에서 유도된다.
• 증명은 유한단순군의 분류(CFSG)에 의해 결정적으로 의존하며, 관련된 단순군 집합의 유한성과 $\mathcal{C}$ 내 준단순군 및 해소 가능 군의 구조 제어에 기여한다.