[논문 리뷰] Generalized power central group identities in almost subnormal subgroups of $\GL_n(D)$

Bui Xuan Hai, H. V. Khanh외 1명|arXiv (Cornell University)|2018. 01. 18.

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

한 줄 요약

이 논문은 $D$가 분할환일 때 $\mathrm{GL}_n(D)$의 거의 부분정규부분군에서 일반화된 거듭제곱 중심군 항등식(GPCGIs)을 조사한다. 비자명한 GPCGI를 만족하는 이러한 부분군이 존재할 경우 반드시 중심이어야 한다는 것을 증명함으로써, 주어진 항등식 조건 하에서 이러한 부분군에 강력한 구조적 제약을 부과한다.

ABSTRACT

In this paper, we study almost subnormal subgroups of the general linear group $\GL_n(D)$ of degree $n\ge 1$ over a division ring $D$ that satisfy a generalized power central group identity.

연구 동기 및 목표

• 일반화된 거듭제곱 중심군 항등식(GPCGIs)을 만족하는 $\mathrm{GL}_n(D)$의 거의 부분정규부분군의 구조를 조사하는 것.
• 비자명한 GPCGI를 만족할 경우 이러한 부분군이 반드시 중심이어야 하는지 여부를 규명하는 것.
• 비자유부분군과 군 항등식에 관한 기존 결과를 비자유부분군의 설정으로 확장하는 것.
• 분할환의 중심과 이러한 부분군 내 원소의 대수적 성질이 수행하는 역할을 분석하는 것.
• 비중심인 거의 부분정규부분군이 비자명한 GPCGIs를 만족할 수 없다는 추측 1.2를 증명함으로써 이를 해결하는 것.

제안 방법

• 특히 $a_i \in \mathrm{GL}_n(D)^*$인 형태의 일반화된 군 단항식 $w = a_1 x_{i_1}^{\alpha_1} \cdots a_t x_{i_t}^{\alpha_t} a_{t+1}$을 고려하여 $\mathrm{GL}_n(D)$ 위에서의 일반화된 군 단항식 개념을 활용한다.
• 일반화된 거듭제곱 중심군 항등식(GPCGIs)의 개념을 적용하며, 이는 $w(c_1,\dots,c_m)^p \in F$를 만족하는 $p$가 해당 튜플에 따라 달라지는 경우를 의미한다.
• 카르탕-브라우어-후아 정리와 아미츠르의 정리를 활용하여 거의 부분정규부분군이 생성하는 부분환의 중심과 구조를 분석한다.
• 자유곱 이론과 니엘센-슈라이어 정리를 활용하여, 비중심 대수적 원소가 존재할 경우 특정 부분군이 비순환 자유부분군을 포함함을 보여준다.
• 일반화된 군 항등식과 자유부분군에 관한 결과를 [21]에서 얻은 $n \geq 2$인 $\mathrm{GL}_n(D)$에서의 비중심 거의 부분정규부분군의 정규성 결과를 바탕으로 활용하며, 중심의 비가산성에 의해 $n=1$으로 확장한다.
• 비가산 중심과 비중심 대수적 원소를 포함하는 $D^*$에서 비순환 자유부분군의 존재를 [12]와 [6]에서 확립한 바를 활용한다.

실험 결과

연구 질문

• RQ1 비중심인 $\mathrm{GL}_n(D)$의 거의 부분정규부분군이 비자명한 일반화된 거듭제곱 중심군 항등식을 만족할 수 있는 조건은 무엇인가?
• RQ2 비중심인 $\mathrm{GL}_n(D)$의 거의 부분정규부분군이 중심이 아니면서도 GPCGI를 만족할 수 있는가?
• RQ3 분할환의 중심의 비가산성이 자유부분군의 존재와 GPCGIs의 타당성에 어떤 영향을 미치는가?
• RQ4 특히 $n=1$인 경우에, 거의 부분정규부분군이 GPCGI를 만족할 경우 발생하는 구조적 제약은 무엇인가?
• RQ5 $D^*$에서의 자유부분군에 관한 결과가 $D^*$의 거의 부분정규부분군으로 얼마나 넓게 확장되는가?

주요 결과

• 비중심인 $\mathrm{GL}_n(D)$의 거의 부분정규부분군 $N$이 비자명한 GPCGI를 만족할 경우, $N$은 반드시 중심이어야 하며, 이는 추측 1.2의 확인을 의미한다.
• $n \geq 2$인 경우, $\mathrm{GL}_n(D)$의 비중심 거의 부분정규부분군은 항상 $\mathrm{SL}_n(D)$를 포함하며, 그 부분환 $F[N]$은 $\mathrm{M}_n(D)$와 일치하므로 $Z(N) \subseteq F$임을 유도한다.
• $n=1$이고 중심 $F$가 무한할 경우, $D^*$의 비중심 거의 부분정규부분군 $H$의 중심 역시 여전히 $F$에 포함된다.
• 분할환 $D$의 중심이 비가산이고, $G$가 $D^*$의 비중심 거의 부분정규부분군이며 $F$에 대한 비중심 대수적 원소를 포함할 경우, $G$는 비순환 자유부분군을 포함한다.
• 무한 순서의 대수적 원소의 경우, $G$ 내부에 $\langle u \rangle * \langle v \rangle$ 형태의 자유곱이 존재하면 니엘센-슈라이어 정리를 통해 비아벨 자유부분군의 존재를 보장한다.
• 증명은 $G$ 내부에 $x = c_r(u,v)$와 $y = c_r(u,v^2)$를 생성하는 원소를 구성함으로써 이루어지며, 이들이 비아벨 자유군을 생성함을 통해 비순환 자유부분군의 존재를 입증한다.