[논문 리뷰] Finite $p$-groups all of whose subgroups of index $p^3$ are abelian

Qinhai Zhang, Libo Zhao외 2명|arXiv (Cornell University)|2014. 10. 23.

Finite Group Theory Research참고 문헌 16인용 수 4

한 줄 요약

이 논문은 모든 $p$-자기군에서 지수 $p^3$인 부분군들이 아벨이지만 적어도 하나의 지수 $p^2$ 부분군이 아벨이 아닌 군—즉, $\mathcal{A}_3$-군들에 대해 완전한 분류를 수행한다. 구조적 군론과 생성자 랭크, 도함수군 성질, 부분군 격자 분석을 통해 저자들은 이so형 유형의 완전한 목록을 제시하며, 베르코비치와 양코가 제기한 오래된 문제를 해결한다. 이러한 분류는 이러한 군에서 $\mathcal{A}_1$-부분군의 수에 관한 세 가지 관련된 열린 문제를 해결한다.

ABSTRACT

Suppose that $G$ is a finite $p$-group. If all subgroups of index $p^t$ of $G$ are abelian and at least one subgroup of index $p^{t-1}$ of $G$ is not abelian, then $G$ is called an $\mathcal{A}_t$-group. In this paper, some information about $\mathcal{A}_t$-groups are obtained and $\mathcal{A}_3$-groups are completely classified. This solves an {\it old problem} proposed by Berkovich and Janko in their book. Abundant information about $\mathcal{A}_3$-groups are given.

연구 동기 및 목표

• 모든 지수 $p^3$ 부분군이 아벨이지만 적어도 하나의 지수 $p^2$ 부분군이 아벨이 아닌 유한 $p$-자기군인 $\mathcal{A}_3$-군을 완전히 분류하는 것.
• 베르코비치와 양코의 저서에서 제기된 문제 1278번—$\mathcal{A}_3$-군의 분류를 요구하는 문제를 해결하는 것.
• 세 가지 관련된 열린 문제를 해결하는 것: $\{\alpha_1(G) \mid G \text{는 } \mathcal{A}_3\text{-군인 경우}\}$의 집합 기술, $\alpha_1(G) < p^2 + p + 1$인 $\mathcal{A}_3$-군의 분류, 모든 $\mathcal{A}_3$-군에 대해 $\max\{\alpha_1(G)\}$ 계산.
• $\mathcal{A}_3$-군에서 지수 $p$인 $\mathcal{A}_i$-부분군의 수인 $\mu_i$로 이루어진 삼중항 $ (\mu_0, \mu_1, \mu_2) $를 결정하는 것.
• $\mathcal{A}_3$-군을 지수 $p$인 $\mathcal{A}_1$-부분군의 유무, 생성자 랭크, 프라티니 부분군의 구조에 따라 분류하는 것.

제안 방법

• $\mathcal{A}_3$-군을 생성자 랭크 $d(G)$, 프라티니 부분군 $\Phi(G)$, $\Phi(G)$와 중심 $Z(G)$ 사이의 관계를 분석하여 분류하는 것.
• $G'$가 $Z(G)$에 포함되지 않을 경우를 특별히 다루기 위해 도함수군 $G'$의 구조와 그 포함 관계를 이용하는 것.
• 최대 부분군의 수, $\mathcal{A}_1$-부분군의 수, 특정 부분군 격자 성질을 가진 $p$-자기군의 분류와 같은 군론적 기법을 적용하는 것.
• 기초적인 구성 요소로 작용하는 최소 비아벨 $p$-자기군($\mathcal{A}_1$-군)과 $\mathcal{A}_2$-군에 대한 알려진 결과를 활용하는 것.
• 지수 $p$인 아벨 또는 $\mathcal{A}_1$-부분군의 존재 여부와 $d(G)$의 값에 기반한 케이스별 분석을 수행하여 총 62종의 $\mathcal{A}_3$-군에 도달하는 것.
• 컴퓨터 기반 및 구조적 수나열 기법을 사용하여 모든 이so형 유형을 나열하고, $\alpha_1(G)$, $\mu_0$, $\mu_1$, $\mu_2$와 같은 상세한 불변량을 제공하는 것.

실험 결과

연구 질문

• RQ1 지수 $p^3$인 부분군들이 모두 아벨이지만 적어도 하나의 지수 $p^2$ 부분군이 비아벨인 유한 $p$-자기군의 완전한 분류는 무엇인가요?
• RQ2 $\mathcal{A}_3$-군 $G$에서 $\mathcal{A}_1$-부분군의 수인 $\alpha_1(G)$의 가능한 값은 무엇인가요?
• RQ3 $\alpha_1(G) < p^2 + p + 1$를 만족하는 $\mathcal{A}_3$-군은 무엇이며, 이를 완전히 특성화할 수 있는가요?
• RQ4 모든 $\mathcal{A}_3$-군에 대해 $\alpha_1(G)$의 최대 가능한 값은 무엇인가요?
• RQ5 $\mathcal{A}_3$-군에서 지수 $p$인 $\mathcal{A}_i$-부분군의 수를 세는 삼중항 $ (\mu_0, \mu_1, \mu_2) $는 무엇인가요?

주요 결과

• $\mathcal{A}_3$-군은 생성자 랭크 $d(G)$, $\Phi(G) \leq Z(G)$, 지수 $p$인 $\mathcal{A}_1$-부분군의 존재 여부 등의 구조적 불변량을 기반으로 총 62종의 이so형 유형으로 완전히 분류된다.
• $\mathcal{A}_3$-군 $G$에서 $\mathcal{A}_1$-부분군의 수인 $\alpha_1(G)$는 $2p^2 - 1$에서 $p^3 + 2p^2 + p$ 사이의 값을 가지며, 각 값은 서로 다른 이소형 유형에 해당한다.
• $d(G) = 2$인 경우 $\alpha_1(G) \leq p^3 + 2p^2 + p$이며, 등호가 성립하는 것은 $p = 2$이면서 $G$가 정리 5.13의 군 (M37)일 때에만 성립한다.
• 모든 $\mathcal{A}_3$-군에 대해 $\alpha_1(G)$의 최대값은 $p^3 + 2p^2 + p$이며, 이 값은 $p = 2$일 때 군 (M37)에서 달성된다.
• $\{\alpha_1(G) \mid G \text{는 } \mathcal{A}_3\text{-군인 경우}\}$의 집합은 완전히 결정되었으며, 표 14에 명시적으로 나열되어 있다.
• $\mathcal{A}_3$-군 전반에 대해 지수 $p$인 $\mathcal{A}_0$, $\mathcal{A}_1$, $\mathcal{A}_2$-부분군의 수를 세는 삼중항 $ (\mu_0, \mu_1, \mu_2) $가 계산되었으며, 표 13에 정리되어 있다.