[논문 리뷰] Converse of Schur's Theorem - A statement

Manoj K. Yadav|arXiv (Cornell University)|2012. 12. 12.

Finite Group Theory Research참고 문헌 6인용 수 3

한 줄 요약

이 논문은 슈어의 정리의 역을 확립한다. 즉, 군 $G$의 교환자부분군 $ \gamma_2(G)$가 유한하고, 두 번째 중심 $ \Z_2(G)$가 그 중심에 대한 유한생성된 몫을 가지면, $G/\Z(G)$는 유한하다. 주요 기여는 $ \gamma_2(G)$의 유한성으로부터 $G/\Z(G)$의 유한성을 이끌어내는 정확한 조건을 제시한 것으로, 군 이론에서 알려진 결과를 일반화한다.

ABSTRACT

Let $G$ be an arbitrary group such that $G/\Z(G)$ is finite, where $\Z(G)$ denotes the center of the group $G$. Then $γ_2(G)$, the commutator subgroup of $G$, is finite. This result is known as Shur's theorem (the Schur's theorem). In this short note we provide a quick survey on the converse of Schur's theorem, generalize known results in this direction and prove the following result (which is perhaps the most suitable statement for converse of the Schur's theorem): If $G$ is an arbitrary group with finite $γ_2(G)$, then $G/\Z(G)$ is finite if $\Z_2(G)/\Z(\Z_2(G))$ is finitely generated, where $\Z_2(G)$ denotes the second center of a group $G$. If $G/\Z(G)$ is finite, then $γ_2(G)$ is also finite and $|G/\Z(G)| \le |γ_2(G)|^d$, where $d$ denotes the number of elements in any minimal generating ser for $G/\Z(G)$. We classify all nilpotent groups $G$ of class 2 upto isoclinism (in the sense of P. Hall) such that $|G/\Z(G)| = |γ_2(G)|^d$, and ask some questions in the sequel.

연구 동기 및 목표

• Schur의 정리의 역을 조사한다. 이 정리는 $G/\Z(G)$가 유한하면 $\gamma_2(G)$가 유한하다는 것을 말한다.
• 교환자부분군 $\gamma_2(G)$의 유한성이 $G/\Z(G)$의 유한성을 이끌어내는 데 필요한 필요충분조건을 규명한다.
• 두 번째 중심 $\Z_2(G)/\Z(\Z_2(G))$에 대한 조건을 도입하여 기존의 역방향 결과를 일반화한다.
• 등식 $|G/\Z(G)| = |\gamma_2(G)|^d$를 만족하는 중심 급수 2의 노름화된 군을 이소클리즘에 대해 분류한다.
• 이러한 군의 구조와 그 이소클리즘 분류에 관해 열린 질문을 제기한다.

제안 방법

• 자연스러운 전사사상에 의한 $\Z(G/\Z(G))$의 원상으로 정의된 두 번째 중심 $\Z_2(G)$의 개념을 활용한다.
• $\Z_2(G)/\Z(\Z_2(G))$가 유한생성됨을 조건으로 삼아, $G$의 구조를 제어하고 $G/\Z(G)$의 유한성과 연결한다.
• P. 헬의 의미에서의 이소클리즘 이론을 활용하여 중심 급수 2의 군을 특정 순서 관계를 만족하는 것으로 분류한다.
• $G/\Z(G)$의 최소 생성집합의 수를 $d$로 표기하여 부등식 $|G/\Z(G)| \leq |\gamma_2(G)|^d$를 유도한다.
• $|G/\Z(G)| = \gamma_2(G)|^d$의 등식 사례를 분석하여, 이소클리즘에 대해 군을 특성화한다.
• 교환자부분군, 중심, 몫군을 포함한 군론적 기법을 적용하여 구조적 제약을 도출한다.

실험 결과

연구 질문

• RQ1 언제 $\gamma_2(G)$의 유한성이 $G/\Z(G)$의 유한성을 이끌어내는가?
• RQ2 $\Z_2(G)/\Z(\Z_2(G))$의 유한생성이 $G/\Z(G)$의 유한성과 어떻게 관련되는가?
• RQ3 등식 $|G/\Z(G)| = |\gamma_2(G)|^d$를 만족하는 중심 급수 2의 군의 정확한 구조는 무엇인가?
• RQ4 등식 $|G/\Z(G)| = |\gamma_2(G)|^d$는 이소클리즘에 대해 특성화될 수 있는가?
• RQ5 일반적으로 슈어의 정리의 역이 성립하기 위한 필요충분조건은 무엇인가?

주요 결과

• $\gamma_2(G)$가 유한하고 $\Z_2(G)/\Z(\Z_2(G))$가 유한생성되면, $G/\Z(G)$는 유한하다.
• 모든 군 $G$에 대해 $G/\Z(G)$가 유한하면, $d$가 $G/\Z(G)$의 최소 생성수이면 부등식 $|G/\Z(G)| \leq |\gamma_2(G)|^d$가 성립한다.
• 등식 $|G/\Z(G)| = |\gamma_2(G)|^d$는 정확히 중심 급수 2의 특정 군들에서 성립하며, 이들은 이소클리즘에 대해 분류된다.
• 이 등식을 만족하는 군의 구조는 이소클리즘 불변량을 통해 완전히 특성화된다.
• $\Z_2(G)/\Z(\Z_2(G))$가 유한생성됨이라는 조건은 역결과에 있어 필수적이고 최적임이 입증된다.
• 논문은 슈어의 정리에 대한 자연스럽고 정확한 역조건을 규명하여, 기존 문헌의 결과를 일반화한다.