[논문 리뷰] Powers in finite groups

Dan Segal, Nikolay Nikolov|ArXiv.org|2009. 09. 25.

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

한 줄 요약

이 논문은 유한 생성수 d를 가진 임의의 유한군에서, q차 거듭제곱으로 생성되는 언어부분군 G^q의 모든 원소는 f(d,q)개 이내의 q차 거듭제곱의 곱으로 표현될 수 있음을 증명한다. 여기서 f(d,q)는 d와 q에만 의존하는 상수이다. 이는 G^q가 유한 생성 프로파이니트 군에서 열림을 의미하며, 제한된 버너사이드 문제의 해법을 확장하고, q차 거듭제곱 언어부분군이 유한한 폭을 가지며 이러한 군에서 닫혀 있음을 확인한다.

ABSTRACT

In this note we prove that if $G$ is a finitely generated profinite group then the verbal subgroup $G^{q}$ is open. Equivalently in a $d$-generator finite group every product of $q$th powers is a product of $f(d,q)$ $q$th powers.

연구 동기 및 목표

• 유한 생성수 d와 지수 q에 대해, d-생성자 유한군에서 G^q의 임의의 원소를 생성하는 데 필요한 q차 거듭제곱의 수에 대한 균일한 상界 f(d,q)를 확립하는 것.
• 언어부분군 G^q가 임의의 유한 생성 프로파이니트 군에서 열림을 증명하고, 제한된 버너사이드 문제의 해법을 확장하는 것.
• 이전에 프로파이니트 군에서 언어부분군이 닫혀 있음을 보인 결과를 일반화하며, 특히 거듭제곱 단어 x^q에 대해 다루는 것.
• 모든 d에 대해 단어 x^q가 d-제한 가능하다는 것을 보여주며, 이는 프로파이니트 군에서 언어부분군의 유한 폭과 닫힘을 의미한다.

제안 방법

• 유한 단순군의 분류와 제한된 버너사이드 문제의 해법을 기본 도구로 사용한다.
• 문헌 [NS]의 보조정리 1을 적용하여, Alt(k)를 포함하는 부분군이 유계인 경우 G^q의 폭을 h(k,d,q)로 유계화한다.
• 보조정리 2를 활용하여, 큰 단순 몫을 가진 완전한 정규부분군 N의 구조를 제어하며, G_q^*m이 작은 부분군을 모odulo로 하여 N을 생성함을 보인다.
• 군 G = H^q에서 특성적 계열 K1 ≥ K3 ≥ K4 ≥ K5를 구성하여, K5가 수용 가능함을 보장하고, 이를 통해 핵심 정리(보조정리 4)를 적용하여 K5를 교환자와 q차 거듭제곱의 곱으로 유계화한다.
• 보조정리 1, 보조정리 2 및 핵심 정리를 통합하여, d와 q에 대한 균일한 상계 f(d,q)를 도출한다.
• 슈라이어의 공식과 d-생성자 제한 버너사이드 군의 순서에 대한 상계 β(d,q)를 사용하여 H^q의 생성자 수를 제어한다.

실험 결과

연구 질문

• RQ1 유한군에서 생성자 수 d와 지수 q에 대해 언어부분군 G^q의 폭이 균일하게 유계가 될 수 있는가?
• RQ2 언어부분군 G^q가 임의의 유한 생성 프로파이니트 군에서 열림을 띠는가? 이는 유한 몫에서 G^q의 유한 폭에 의해 유도되는가?
• RQ3 유한 생성 d-군에서 G^q가 유한 폭을 가진다는 성질이, G^q가 프로파이니트 완비화에서 닫혀 있음을 의미하는가?
• RQ4 결과를 비교환 단어 w로 확장할 수 있는가? 즉, w(G)가 유한 생성 프로파이니트 군에서 열림을 띠는가?

주요 결과

• 모든 d, q ∈ ℕ에 대해, 유한 생성수 d인 유한군 G에서 G^q의 모든 원소는 f(d,q)개 이내의 q차 거듭제곱의 곱으로 표현될 수 있다.
• 언어부분군 G^q는 임의의 유한 생성 프로파이니트 군 G에서 닫혀 있으며, 따라서 열림을 띤다. 이는 유한 몫에서의 유한 폭에 기인한다.
• 이 결과는 모든 d에 대해 단어 x^q가 d-제한 가능하다는 것을 의미하며, 이는 임의의 d-생성 프로파이니트 군에서 w(G)가 유한 폭을 가지며 닫혀 있음을 의미한다.
• 상한 f(d,q)는 제한 버너사이드 문제, 유한 단순군의 분류, G^q를 수용 가능한 부분군으로 분해하는 구조적 분해를 조합하여 구성된다.
• G^q를 생성하는 데 필요한 q차 거듭제곱의 수는 δ(d,q) = d·β(d,q)·f(d,q)로 유계화되며, 여기서 β(d,q)는 지수 q인 d-생성자 제한 버너사이드 군의 순서이다.
• 증명은 핵심 정리(보조정리 4)에 의존하며, 이는 수용 가능한 정규부분군 K5를 교환자와 q차 거듭제곱의 곱으로 표현하며, 지수는 오직 d와 q에만 의존한다.