[논문 리뷰] On a Conjecture of a Bound for the Exponent of the Schur Multiplier of a Finite $p$-Group

Behrooz Mashayekhy, Azam Hokmabadi외 1명|arXiv (Cornell University)|2010. 11. 11.

Finite Group Theory Research참고 문헌 14인용 수 9

한 줄 요약

이 논문은 유한 $p$-군 $G$의 $c$-_nilpotent multiplier $M^{(c)}(G)$의 지수에 대한 새로운 상계를 확립한다. 군의 중심 급수 급수 $k$와 지수 $p^e$를 가진다. 이는 $\exp(M^{(c)}(G))$가 $\exp(G) \cdot p^{m(k-1)}$를 나누며, 여기서 $m = \lfloor \log_p k \rfloor$임을 증명한다. 이는 특정 조건 하에서 존스, 엘리스, 모라베츠의 이전 결과를 향상시키며, 지수 $\leq p-1$인 모든 $p$-군에 대해 $\exp(M(G))$가 $\exp(G)$를 나눈다는 추측을 확인한다.

ABSTRACT

Let $G$ be a $p$-group of nilpotency class $k$ with finite exponent $\exp(G)$ and let $m=\lfloor\log_pk floor$. We show that $\exp(M^{(c)}(G))$ divides $\exp(G)p^{m(k-1)}$, for all $c\geq1$, where $M^{(c)}(G)$ denotes the c-nilpotent multiplier of $G$. This implies that $\exp(M(G))$ divides $\exp(G)$ for all finite $p$-groups of class at most $p-1$. Moreover, we show that our result is an improvement of some previous bounds for the exponent of $M^{(c)}(G)$ given by M. R. Jones, G. Ellis and P. Moravec in some cases.

연구 동기 및 목표

• 유한 $p$-군에 대한 $c$-_nilpotent multiplier $M^{(c)}(G)$의 지수에 대한 기존 상계를 개선한다.
• Schur 승수 $M(G)$의 지수가 군 $G$의 지수를 나누는지 여부를 조사한다. 이는 오랫동안 남아있던 추측이다.
• 존스($\exp(M(G)) \mid \exp(G)^{k-1}$), 엘리스($\exp(M^{(c)}(G)) \mid \exp(G)^{\lceil k/2 \rceil}$), 모라베츠($\exp(M(G)) \mid \exp(G)^{2\lfloor \log_2 k \rfloor}$)의 이전 결과를 향상시킨다.
• 특히 $p$-군의 중심 급수 급수 $\leq p-1$일 때, 추측 $\exp(M(G)) \mid \exp(G)$가 성립하는 조건을 확립한다.
• 직접곱 분해와 시로브 부분군을 통해 결과를 노름군으로 일반화한다.

제안 방법

• 군의 자유 표현 $G = F/R$을 사용하여 $M^{(c)}(G)$를 $\gamma_{c+1}(F)/[R,{}_cF]$로 표현하고, 군의 교환자 항등식을 활용한다.
• 기본 교환자 이론과 할-위트 항등식을 적용하여 군 원소의 거듭제곱을 기본 교환자의 곱으로 분해한다.
• 레마 2.2(노름군에서의 거듭제곱 전개)를 사용하여 $g^\alpha$를 기본 교환자의 거듭제곱과 수정 항의 곱으로 표현한다.
• 레마 2.5를 활용하여 수정 항의 지수 $f_i(\alpha)$를 bound하며, $\alpha = p^{e + m(k-1)}$라는 지수 조건 하에서 이들이 $p^{e + m(k-2)}$를 나누도록 보여준다.
• 귀납법과 $[R,{}_cF]$의 군론적 성질을 적용하여 $g^\alpha \in [R,{}_cF]$임을 증명함으로써, 지수가 $p^{e + m(k-1)}$를 나누는 것을 보인다.
• 직접곱의 승수에 관한 알려진 정리와 결과를 결합하여 일반적인 노름군으로 확장한다.

실험 결과

연구 질문

• RQ1 유한 $p$-군 $G$의 중심 급수 급수 $k$에 대해 $c$-_nilpotent multiplier $M^{(c)}(G)$의 지수가 이전 결과보다 더 좁게 bound될 수 있는가?
• RQ2 $\exp(M(G))$가 $\exp(G)$를 나누는 조건은 무엇이며, 이는 중심 급수 $\leq p-1$인 $p$-군에 대해 성립하는가?
• RQ3 새로운 상계 $\exp(M^{(c)}(G)) \mid \exp(G) \cdot p^{\lfloor \log_p k \rfloor (k-1)}$는 존스의 $\exp(G)^{k-1}$, 엘리스의 $\exp(G)^{\lceil k/2 \rceil}$, 모라베츠의 $\exp(G)^{2\lfloor \log_2 k \rfloor}$와 어떻게 비교되는가?
• RQ4 모든 중심 급수 $\leq p-1$인 $p$-군에 대해 추측 $\exp(M(G)) \mid \exp(G)$가 성립하는가?
• RQ5 시로브 분해와 승수 분해 정리를 사용하여 결과를 일반적인 유한 노름군으로 확장할 수 있는가?

주요 결과

• 모든 $c \geq 1$에 대해, $c$-_nilpotent multiplier $M^{(c)}(G)$의 지수는 $\exp(G) \cdot p^{m(k-1)}$를 나눈다. 여기서 $m = \lfloor \log_p k \rfloor$이다.
• 이 상계는 $\lfloor \log_p k \rfloor (k-1)/k < e$일 때 존스의 결과 $\exp(M(G)) \mid \exp(G)^{k-1}$를 향상시키며, 이는 지수 $p^e$와 중심 급수 $\leq p^e - 1$인 $p$-군에 대해 성립한다.
• 이 상계는 $\lfloor \log_p k \rfloor (k-1)/\lceil k/2 \rceil - 1 < e$일 때 엘리스의 결과 $\exp(M^{(c)}(G)) \mid \exp(G)^{\lceil k/2 \rceil}$를 향상시키며, 특히 $k < p^{e/3}$ ($k \geq 3$) 또는 $k < p^{e/4}$ ($k \geq 4$)일 때 성립한다.
• 이 상계는 $\lfloor \log_p k \rfloor (k-1)/(2\lfloor \log_2 k \rfloor) - 1 < e$일 때 모라베츠의 결과 $\exp(M(G)) \mid \exp(G)^{2\lfloor \log_2 k \rfloor}$를 향상시키며, 특히 $k < e$ ($k \geq 2$)일 때 성립한다.
• 추측 $\exp(M(G)) \mid \exp(G)$는 중심 급수 $\leq p-1$인 모든 유한 $p$-군에 대해 성립하며, 추론 3.4에 의해 확인된다.
• 일반적인 유한 노름군 $G$의 중심 급수 급수 $k$에 대해, $k \leq \max\{p_i - 1\}$이면 추측이 성립한다. 여기서 $p_i$는 $|G|$의 소인수이며, 승수의 곱 분해에 기반한다.