[논문 리뷰] Classification of p-groups by their Schur multiplier

Sumana Hatui|arXiv (Cornell University)|2016. 05. 06.

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

한 줄 요약

이 논문은 스코어 승수의 순서가 $p^{\frac{1}{2}n(n-1)-6}$인 비아벨 유한 $p$-군을 분류하며, 이전 연구와는 다른 새로운 방법을 사용하여 홀수 $p$와 $p=2$의 경우 모두 완전한 구조적 분류를 제공한다. 주요 결과는 순서 $p^8$ 이하의 모든 군 유형에 대해 등가군류의 완전한 목록을 제시하며, $t(G) = 6$인 경우에 대해 각 군 유형에 대한 명시적 표현을 포함한다.

ABSTRACT

Let $G$ be a non-abelian $p$-group of order $p^n$ and $M(G)$ be its Schur multiplier. It is well known result by Green that $|M(G)| \leq p^{\frac{1}{2}n(n-1)}$. So $|M(G)|= p^{\frac{1}{2}n(n-1)-t(G)}$ for some $t(G) \geq 0$. The groups has already been classified for $t(G) \leq 5$ by several authors. For $t(G)=6$ the classification has been done. In this paper we classify $p$-groups $G$ for $t(G) = 6$ in different method.

연구 동기 및 목표

• 순서 $p^n$인 비아벨 $p$-군 $G$ 중에서 스코어 승수 $M(G)$의 순서가 $p^{\frac{1}{2}n(n-1)-6}$인, 즉 $t(G) = 6$인 모든 군을 분류하는 것.
• 이전 연구 [12]와 다른 접근 방식을 사용하여 $t(G) = 6$인 $p$-군에 대해 새로운 구조 기반 분류 방법을 제시하는 것.
• $t(G) \leq 5$를 초과하는 $p$-군의 스코어 승수 순서에 의한 분류를 확장하여, 모든 소수 $p$에 대해 $t(G) = 6$인 경우를 완성하는 것.
• 해당 군의 정확한 등가군 유형을 규명하고, 각 등가군류에 대해 명시적 표현을 제공하는 것.

제안 방법

• 스코어 승수의 크기 $|M(G)| = p^{\frac{1}{2}n(n-1) - t(G)}$로 정의되는 구조적 불변량 $t(G)$를 사용하여 $t(G) = 6$인 $p$-군을 분류한다.
• 중심에 대한 몫을 통한 스코어 승수 이론(정리 2.1)과 하부 중심 급수 및 승수의 상한에 관한 결과(제2.2조)를 적용하여 군의 구조를 제약한다.
• James의 $n \leq 6$인 $p$-군의 등가군류 분류를 $Φ_k$ 기호를 사용하여 후보 군을 열거하는 데 활용한다.
• 특수 $p$-군의 스코어 승수에 관한 결과(정리 2.3)와 소규모 $p$-군에 대한 알려진 승수 순서(정리 2.4)를 적용하여 후보군을 제거한다.
• 특히 순서 $2^7$ 및 $2^8$인 경우에 대해 계산적 확인을 위해 GAP의 HAP 패키지를 사용한다.
• 중앙 부분군 $K$를 통한 귀납법과 몐군 분석을 활용하여 $|M(G)|$의 상한을 유도하고 승수가 더 작은 군을 제거한다.

실험 결과

연구 질문

• RQ1 순서 $p^n$인 비아벨 $p$-군 $G$ 중에서 스코어 승수의 순서가 $p^{\frac{1}{2}n(n-1)-6}$인 것은 무엇인가?
• RQ2 이전 연구와 다른 방법을 사용하여 $t(G) = 6$인 $p$-군의 스코어 승수 순서에 의한 분류를 $t(G) = 6$로 확장할 수 있는가?
• RQ3 홀수 $p$와 $p=2$의 경우에 대해 $t(G) = 6$인 $p$-군의 완전한 등가군류는 무엇인가?
• RQ4 노르말리티 클래스, 도출부군, 중심이 $t(G) = 6$인 $p$-군의 스코어 승수 크기에 미치는 영향은 어떠한가?
• RQ5 순서 $p^7$인 $p$-군 중에서 $t(G) = 6$인 것이 존재하는가? 존재하지 않는다면 그 이유는 무엇인가?

주요 결과

• 홀수 $p$에 대해 $t(G) = 6$인 비아벨 $p$-군의 등가군류는 정확히 12개이며, $ES_p(p^3) \times \mathbb{Z}_p^{(5)}$, $\Phi_2(21^4)a$, $\Phi_5(21^4)b$, $\Phi_4(1^6)$ 등이 포함된다.
• $p = 2$인 경우 등가군류는 정확히 14개이며, $D_8 \times \mathbb{Z}_2^{(4)}$, $Q_8 \times \mathbb{Z}_2^{(3)}$, $QD_{16}$, $Q_{16}$, 그리고 $\mathbb{Z}_2$-작용을 포함하는 다양한 반직접곱이 포함된다.
• 스코어 승수의 상한을 정리 2.1과 제2.2조를 통해 분석한 결과, $t(G) = 6$인 비아벨 $p$-군은 순서 $p^7$에는 존재하지 않으며, 이는 $n \leq 8$이어야 하며 최대 순서는 $p^8$이며, 이는 $ES_p(p^3) \times \mathbb{Z}_p^{(5)}$에서 달성된다.
• 순서 $p^6$인 군들 중에서 $|M(G)| = p^9$인 군은 $\Phi_4(1^6)$, $\Phi_2(21^4)a$, $\Phi_2(21^4)b$, $\Phi_5(21^4)a$, $\Phi_5(1^6)$, $\Phi_5(21^4)b$ 뿐이며, 이는 승수 상한과 등가군류 분석을 통해 확인되었다.
• $p = 2$의 경우, HAP 패키지를 사용한 계산적 검증을 통해 $t(G) = 6$인 14개의 군 목록이 확인되었다.