[논문 리뷰] On the order of the Schur multiplier of $p$-groups

Kavita Pradeep|arXiv (Cornell University)|2017. 05. 06.

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

한 줄 요약

이 논문은 유한 $p$-군의 슈어 승수에 대한 경계를 개선하며, 특히 최대 계열을 가진 군들에 대해, 홀수 소수 $p$에 대해 순서가 $p^n$인 $p$-군의 슈어 승수의 순서가 $p^{n/2}$ 이하임을 증명한다. 이는 니루만드 경계에 도달하는 $p$-군의 분류를 완성하고, 슈어 승수의 다중선형 호모모르피즘 $\Psi_i$를 통해 노말라이제이션 계열의 아벨화 몫군에 대한 분석을 통해, 노말라이제이션 계급 3 및 4인 군들에 대해 날카로운 제약 조건을 설정한다.

ABSTRACT

We give a bound on the order of the Schur multiplier of $p$-groups refining earlier bounds. As an application we complete the classification of groups having Schur multiplier of maximum order. Finally we prove that the order of the Schur multiplier of a finite $p$-group of maximal class and order $p^n$ is at most $p^{\frac{n}{2}}$.

연구 동기 및 목표

• 유한 $p$-군의 슈어 승수 순서에 대한 기존 상한 경계를 개선하며, 특히 높은 노말라이제이션 계급을 가진 군들에 대해 중점적으로 다룬다.
• 스터어 승수가 니루만드 경계에 도달하는 유한 $p$-군의 분류를 완성하며, 이전에 계급 2 및 3에 대해 연구된 바를 확장한다.
• 홀수 소수 $p$와 최대 계열을 가진 $p$-군에 대해 슈어 승수의 날카로운 상한 경계 $p^{n/2}$ 를 설정하고, 이전 결과를 향상시킨다.
• 슈어 승수의 다중선형 호모모르피즘 $\Psi_i$의 이미지를 분석하여, 아벨화 몫군의 텐서곱에 대한 다중선형 호모모르피즘 $\Psi_i$를 통해 노말라이제이션 계급 3 및 4인 $p$-군의 구조를 분석한다.
• 순서가 $p^n$인 $p$-군에서 슈어 승수가 가능한 한 최대 순서에 도달할 수 있는 정확한 조건을 규명한다.

제안 방법

• 최소 생성수 $d(G)$, 노말라이제이션 계급 $c$, 교환자 부분군의 순서 $|\gamma_2(G)| = p^k$ 를 사용하여 슈어 승수에 대한 새로운 경계를 도입하며, $|M(G)| \leq p^{\frac{1}{2}(d-1)(n+k) - \sum_{i=2}^{\min(d,c)} (d-i)}$ 로 표현된다.
• 다중선형 호모모르피즘 $\Psi_i$ 를 아벨화 몫군 $\overline{G}^{ab}$ 의 텐서곱에서 $\frac{\gamma_i(G)}{\gamma_{i+1}(G)} \otimes \overline{G}^{ab}$ 로 정의하며, 좌우 브라켓을 반복적으로 적용한 교환자에 의해 정의된다.
• Ellis와 Weigold의 제2.1조를 적용하여 슈어 승수와 $\Psi_i$의 이미지 및 $G$의 아벨화의 순서 간의 관계를 설정한다.
• Hall-Witt 항등식과 $p$-군의 성질을 활용하여, 특히 $p=3$ 이고 노말라이제이션 계급 4일 경우 $\Psi_i$ 이미지의 비자명성을 분석한다.
• GAP를 사용한 계산적 검증을 통해, 순서가 $3^7$이고 계급 3인 3-군들 중에서 오직 $G_4$만이 경계에 도달함을 확인한다.
• 최대 계열을 가진 $p$-군을 분석하기 위해 $s, s_1$ 이라는 생성 쌍을 구성하며, $s_1 \in C_G(\gamma_2(G)/\gamma_4(G))$ 를 만족시키고, 홀수 $i$에 대해 $\Psi_i$의 비자명성을 보여 이 경계를 유도한다.

실험 결과

연구 질문

• RQ1 최대 계열을 가진 $p$-군에 대해 슈어 승수의 순서에 대한 가장 날카로운 가능한 상한 경계는 무엇인가?
• RQ2 어떤 $p$-군에서 슈어 승수가 니루만드 경계 $|M(G)| = p^{\frac{1}{2}(n-k-1)(n+k-2)+1}$ 에 도달하는가?
• RQ3 노말라이제이션 계급 $\geq 3$ 인 $p$-군에 대해 슈어 승수의 경계를 향상시킬 수 있는가?
• RQ4 노말라이제이션 계급 3인 군에서 슈어 승수가 가능한 한 최대 순서에 도달할 때 발생하는 구조적 제약 조건은 무엇인가?
• RQ5 호모모르피즘 $\Psi_i$의 이미지가 비자명해지는 조건은 무엇이며, 이는 슈어 승수 경계에 어떻게 영향을 미치는가?

주요 결과

• 홀수 소수 $p$와 $n \geq 4$ 에 대해, 순서가 $p^n$이고 최대 계열을 가진 유한 $p$-군의 슈어 승수는 $|M(G)| \leq p^{n/2}$ 를 만족하며, 이는 이전의 경계를 향상시킨다.
• 경계 $|M(G)| \leq p^{\frac{1}{2}(d-1)(n+k) - \sum_{i=2}^{\min(d,c)} (d-i)}$ 는 니루만드 경계를 개선하며, $\min(d(G), c)$ 가 큰 군들에 대해 더 날카로운 경계를 제공한다.
• 니루만드 경계에 도달하는 $p$-군의 분류가 완성되었다: 이러한 군들은 $G_1 = E_p \times C_p^{(n-3)}$, $G_2 = C_p^{(4)} \rtimes C_p$, $G_3$, $G_4$ 이며, 이 중 $G_4$ 는 유일하게 순서가 $3^7$이고 계급 3인 3-군으로서 경계에 도달한다.
• $p \geq 5$ 일 경우, 노말라이제이션 계급 $\geq 3$ 인 $p$-군은 니루만드 경계에 도달하지 못하며, 이는 하투의 결과를 직접적으로 증명함으로써 확인된다.
• 노말라이제이션 계급 4인 $p$-군에서 $\Psi_4$ 의 이미지는 비자명하며, 이는 승수 경계에 모순을 일으키며, 그룹이 계급 3가 아닐 경우에만 성립한다.
• $G_4$ 는 순서가 $3^7$이고 계급 3인 유일한 3-군으로서 슈어 승수가 니루만드 경계에 도달하며, GAP 를 사용하여 검증되었다.