[논문 리뷰] On $Π$-permutable subgroups of finite groups

Wenbin Guo, Alexander N. Skiba|arXiv (Cornell University)|2016. 06. 10.

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

한 줄 요약

이 논문은 유한군에서 $Π$-순열 가능 부분군을 도입하고 조사하며, 완전한 할 Hall $Π$-집합을 통한 S-준정규성의 일반화를 시도한다. $Π$-순열 가능 부분군은 $σ$-부분정규이며, 그 정규 닫힘은 $σ$-비아벨임을 증명하며, 분할 기반의 군 구조 하에서 기존의 $σ$-비아벨 및 $σ$-해결 가능 군에 대한 결과를 확장한다.

ABSTRACT

Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $Π$ a non-empty subset of the set $σ$. A set ${\cal H}$ of subgroups of a finite group $G$ is said to be a \emph{ complete Hall $Π$-set} of $G$ if every member of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $σ_{i}\in Π$ and ${\cal H}$ contains exact one Hall $σ_{i}$-subgroup of $G$ for every $σ_{i}\in Π$ such that $σ_i\cap π(G) eq\emptyset$. A subgroup $H$ of $G$ is called \emph{$Π$-quasinormal} or \emph{$Π$-permutable} in $G$ if $G$ possesses a complete Hall $Π$-set ${\cal H}=\{H_{1}, \ldots , H_{t} \}$ such that $AH_{i}^{x}=H_{i}^{x}A$ for any $i$ and all $x\in G$. We study the embedding properties of $H$ under the hypothesis that $H$ is $Π$-permutable in $G$. Some known results are generalized.

연구 동기 및 목표

• 유한군에서 완전한 할 Hall $Π$-집합을 사용하여 $\pi$-순열 가능 개념을 $Π$-순열 가능으로 일반화한다.
• $\sigma$-분할의 소수 기반 틀 내에서 $Π$-순열 가능 부분군의 임베딩 성질을 조사한다.
• 분할 기반의 군 구조 하에서 $S$-준정규 및 $σ$-비아벨 군에 대한 기존 결과를 $Π$-순열 가능성에 따라 더 넓은 부분군 계열로 확장한다.
• 적절한 군 조건 하에서 $Π$-순열 가능 부분군이 $σ$-부분정규이며, 그 정규 닫힘은 $σ$-비아벨임을 증명한다.
• 순열 가능 부분군의 정규화군이 또한 $Π$-순열 가능함을 증명하며, $S$-준정규 부분군의 성질을 일반화한다.

제안 방법

• 완전한 할 $Π$-집합을 정의한다: $\Pi \cap \sigma(G)$ 내의 각 $\sigma_i$에 대해 정확히 한 개의 할 $\sigma_i$-부분군을 포함하는 집합으로 정의한다.
• $Π$-준정규성을 정의한다: $G$의 완전한 할 $Π$-집합 $\mathcal{H}$에 대해 $H$가 $\mathcal{H}^G$-순열 가능이면 $H$는 $Π$-준정규이다.
• $\sigma$-주기적 요소를 가진 $\sigma$-부분정규성 사슬을 사용하여 부분군의 구조를 분석한다.
• $\sigma$-비아벨 잔여군 $G^{N_\sigma}$를 적용하여 $Π$-순열 가능 부분군의 닫힘과 정규 구조를 연구한다.
• 슐루어–차제노우스 정리와 할 부분군 보완 정리를 활용하여 최소 정규 부분군과 할 $\Pi'$-부분군을 분석한다.
• 군 작용과 교환자 논증을 사용하여 $[L_j^G, E] = 1$이면 모순이 발생함을 증명함으로써, $Π$-순열 가능성이 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $\Pi$-순열 가능 부분군 $H$가 군 $G$에서 $\sigma$-부분정규인가?
• RQ2 순열 가능 부분군의 정규 닫힘 $H^G$가 언제 $\sigma$-비아벨인가?
• RQ3 순열 가능 부분군의 정규화군 $N_G(H)$가 군 $G$에서 $\Pi$-순열 가능한가?
• RQ4 완전한 할 $\Pi'$-집합의 존재가 $\Pi$-순열 가능 부분군의 구조에 어떤 영향을 미치는가?
• RQ5 $G$가 할 부분군과 그 코너제이션에 작용하는 방식을 통해 $\Pi$-순열 가능성이 특징지워질 수 있는가?

주요 결과

• 만약 $G$가 $\Pi$-완전이고 $H$가 $D = G^{N_\sigma}$에 대해 $\mathcal{H}^D$-순열 가능이면, $H$는 $G$에서 $\sigma$-부분정규이며 $H^G$는 $\Pi$-군이다.
• 만약 $H$가 $\Pi$-순열 가능이고 $G$가 $H$가 $\mathcal{K}$-순열 가능인 완전한 할 $\Pi'$-집합을 가진다면, $H^G / H_G$는 $\sigma$-비아벨이다.
• 정규화군 $N_G(H)$는 $G$에서 $\Pi$-순열 가능하며, $H$가 어떤 완전한 할 $\Pi$-집합 $\mathcal{H}$에 대해 $\mathcal{H}^G$-순열 가능이면 $N_G(H)$는 $\mathcal{H}^G$-순열 가능이다.
• 만약 $G$가 $\Pi'$-완전이고 실로우 유형의 군이며 $H$가 $\Pi$-순열 가능이면, $H^G$는 $\sigma$-비아벨이다.
• $H$가 $\Pi$-순열 가능이고 $G$가 완전한 할 $\Pi'$-집합을 가진다 해도 $H^G$가 $\sigma$-비아벨이 아니면 모순이 발생하므로, 정규 닫힘은 $\sigma$-비아벨임을 증명한다.
• 증명은 $L_i^{G} \nleq C_G(E)$ 이며 $R$이 유일한 최소 정규 부분군임을 보여, 군 $G$의 구조와 $\Pi$-순열 가능 조건이 유지됨을 보장한다.