[논문 리뷰] Finite groups whose $n$-maximal subgroups are $σ$-subnormal

Wenbin Guo, Alexander N. Skiba|arXiv (Cornell University)|2016. 08. 11.

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

한 줄 요약

이 논문은 모든 $n$-최대 부분군이 $\sigma$-정규인 유한 가환군을 조사하며, $\sigma$-해체 길이 $l_\sigma(G)$, 군의 계수 $r(G)$, 그리고 서로 다른 소수 인수의 개수 $|\pi(G)|$ 를 유 bounds 하기 위해 불변량 $m_\sigma(G)$ 를 도입한다. 주요 기여는 $m_\sigma(G) = |\pi(G)|$ 가 특정한 구조적 계열의 $\sigma$-가환 군을 특징짓는다는 것을 증명한 것으로, 기존의 단순화 및 부분군 포함 성질에 대한 결과를 일반화한다.

ABSTRACT

Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$. A set ${\cal H}$ of subgroups of $G$ is said to be a \emph{complete Hall $σ$-set} of $G$ if every member $ e 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$, for some $i\in I$, and $\cal H$ contains exact one Hall $σ_{i}$-subgroup of $G$ for every $σ_{i}\in σ(G)$. A subgroup $H$ of $G$ is said to be: \emph{$σ$-permutable} or \emph{$σ$-quasinormal} in $G$ if $G$ possesses a complete Hall $σ$-set set ${\cal H}$ such that $HA^{x}=A^{x}H$ for all $A\in {\cal H}$ and $x\in G$: \emph{$σ$-subnormal} in $G$ if there is a subgroup chain $A=A_{0} \leq A_{1} \leq \cdots \leq A_{t}=G$ such that either $A_{i-1} rianglelefteq A_{i}$ or $A_{i}/(A_{i-1})_{A_{i}}$ is a finite $σ_{i}$-group for some $σ_{i}\in σ$ for all $i=1, \ldots t$. If each $n$-maximal subgroup of $G$ is $σ$-subnormal ($σ$-quasinormal, respectively) in $G$ but, in the case $ n > 1$, some $(n-1)$-maximal subgroup is not $σ$-subnormal (not $σ$-quasinormal, respectively)) in $G$, we write $m_σ(G)=n$ ($m_{σq}(G)=n$, respectively). In this paper, we show that the parameters $m_σ(G)$ and $m_{σq}(G)$ make possible to bound the $σ$-nilpotent length $ \ l_σ(G)$ (see below the definitions of the terms employed), the rank $r(G)$ and the number $|π(G)|$ of all distinct primes dividing the order $|G|$ of a finite soluble group $G$. We also give conditions under which a finite group is $σ$-soluble or $σ$-nilpotent, and describe the structure of a finite soluble group $G$ in the case when $m_σ(G)=|π(G)|$. Some known results are generalized.

연구 동기 및 목표

• 모든 $n$-최대 부분군이 $\sigma$-정규인 유한 가환 군을 특징짓는 것.
• 불변량 $m_\sigma(G)$ 를 사용하여 $\sigma$-해체 길이 $l_\sigma(G)$, 계수 $r(G)$, 그리고 소수 인수의 개수 $|\pi(G)|$ 를 유 bounds 하는 것.
• 유한 군이 $\sigma$-가환 또는 $\sigma$-해체임을 판단하는 조건을 규명하는 것.
• $m_\sigma(G) = |\pi(G)|$ 일 때 유한 가환 군의 구조를 묘사하는 것.

제안 방법

• $\sigma$-정규 부분군을 정의하기 위해, 각 인자가 정규이거나 $\sigma$-주기적인 부분군의 사슬을 사용한다.
• $m_\sigma(G)$ 를 정의한다: 모든 $n$-최대 부분군이 $\sigma$-정규이지만 어떤 $(n-1)$-최대 부분군은 그렇지 않은 최대의 $n$ 으로 정의한다.
• 완전한 할 $\sigma$-집합과 $\sigma$-준정규성을 사용하여 부분군의 포함 및 정규 구조를 분석한다.
• 기약 쌍에 관한 결과, 톰슨의 단순화 정리, 그리고 가환 군에서의 시로우 부분군 성질을 적용한다.
• $\sigma$-가환 군의 구조를 활용하여 $m_\sigma(G)$ 를 사용해 $l_\sigma(G)$ 와 $|\pi(G)|$ 의 유 bounds 를 확립한다.
• $m_\sigma(G) = |\pi(G)|$ 이면 특정한 군의 구조가 성립함을 증명하며, 기존의 단순화 및 $S$-준정규성 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 $m_\sigma(G) = |\pi(G)|$ 일 때 유한 가환 군 $G$ 의 구조는 어떻게 되는가?
• RQ2 $m_\sigma(G)$ 는 군의 $\sigma$-해체 길이 $l_\sigma(G)$ 와 계수 $r(G)$ 와 어떻게 관련되어 있는가?
• RQ3 $n$-최대 부분군 성질에 기반하여, 어떤 조건에서 유한 군이 $\sigma$-가환 또는 $\sigma$-해체가 되는가?
• RQ4 $m_\sigma(G)$ 와 $\sigma$-스펜서 높이 $h_\sigma(G)$ 사이의 관계는 무엇인가?

주요 결과

• $\sigma$-해체 길이 $l_\sigma(G)$ 는 $m_\sigma(G)$ 에 의해 상한으로 유 bounds 되며, 특정 조건 하에서 등호가 성립할 수 있다.
• 서로 다른 소수 인수의 개수 $|\pi(G)|$ 는 $m_\sigma(G)$ 에 의해 상한으로 유 bounds 되며, 등호가 성립하는 것은 $G$ 가 $\sigma$-해체거나 특정한 구조 조건을 만족할 때에 한하여 성립한다.
• 만약 $G$ 가 $\sigma$-가환이지만 $\sigma$-해체가 아니면, $|\pi(G)| \leq m_\sigma(G)$ 이다.
• $m_\sigma(G) = |\pi(G)|$ 일 때, 군 $G$ 는 $\sigma$-정규 $n$-최대 부분군과 시로우 부분군 성질 간의 상호작용에 의해 특징지어지는 유일한 구조를 가진다.
• 불변량 $m_\sigma(G)$ 는 고전적 단순화 기준의 일반화를 제공한다: $m_\sigma(G) < |\pi(G)| $ 이면 $G$ 는 $\sigma$-해체이다.
• 논문은 스펜서의 결과를 일반화한다: $h_\sigma(G) < |\pi(G)| $ 이면 $G$ 는 $\sigma$-해체이며, $l_\sigma(G) \leq h_\sigma(G)$ 이다.