[논문 리뷰] A note on solvable maximal subgroups in subnormal subgroups of ${\mathrm GL}_n(D)$

H. V. Khanh, Bui Xuan Hai|arXiv (Cornell University)|2018. 09. 02.

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

한 줄 요약

이 논문은 $ D $가 중심 $ F $를 가진 비환위환수체일 때, $ \mathrm{GL}_n(D) $의 부분군 $ G $가 비아벨의 해밀턴 최대부분군을 포함하면 반드시 $ n = 1 $ 이고 $ D $는 $ F $ 위에서 소수 차수의 순환대수여야 한다는 것을 증명한다. 이 결과는 비가환 해밀턴 최대부분군이 존재하지 않는다는 추측의 특수한 경우를 확인하며, $ n > 1 $ 인 $ \mathrm{GL}_n(D) $에서는 그러한 부분군이 존재할 수 없음을 보이고, $ n = 1 $ 인 경우에 해당 부분군과 $ D $의 구조를 규명한다.

ABSTRACT

Let $D$ be a non-commutative division ring, $G$ a subnormal subgroup of ${\mathrm GL}_n(D)$. In this note we show that if $G$ contains a non-abelian solvable maximal subgroup, then $n=1$ and $D$ is a cyclic algebra of prime degree over $F$.

연구 동기 및 목표

• n ≥ 2 인 경우 $ \mathrm{GL}_n(D) $에서 해밀턴 최대부분군이 존재하지 않는다는 열린 추측을 다루며, 특히 비아벨 해밀턴 군에 대해 고려한다.
• 이전 결과를 일반화하여, $ n > 1 $ 일 때 $ \mathrm{GL}_n(D) $의 부분정상부분군이 비아벨 해밀턴 최대부분군을 포함할 수 없음을 보인다.
• 그러한 최대부분군이 존재할 경우 분할환과 그 부분군에 가해지는 구조적 제약 조건을 조사한다.
• 그러한 최대부분군이 존재할 수 있는 경우 $ n = 1 $ 인 경우를 특성화하며, $ D $가 소수 차수의 순환대수임을 특정 조건 하에 밝힌다.
• 그러한 최대부분군의 존재가 $ D $가 중심 위에서 유한차원 분할환이며, 특정 갈루아 이론적 구조를 가져야 한다는 것을 확립한다.

제안 방법

• 부분정상부분군의 구조와 그 내부의 최대아벨부분군의 성질을 이용한다.
• 카르탕-브라우어-후아 정리를 적용하여, 최대부분군이 전체 행렬대수를 생성하면, 그 군은 중심을 모odulo로 단순군이어야 한다는 것을 보인다.
• 지역적으로 유한하거나 지역적으로 해밀턴 군 이론을 적용하여 분할환 내의 부분군의 유한성과 구조를 분석한다.
• 갈루아 이론과 군환 기법을 사용하여 최대부분군이 그 최대아벨부분체에 작용하는 방식을 분석하고, 갈루아군과의 동형을 확립한다.
• 카플란스키의 PI-환과 아르틴 반환이나 정리에 의해, 부분군이 생성하는 군환의 유한성과 단순성을 유도한다.
• 갈루아 이론의 기본정리를 적용하여, 최대부분군을 중심으로 나눈 몫군이 소수 차수 순환군과 동형임을 보인다.

실험 결과

연구 질문

• RQ1 n > 1 인 경우, $ \mathrm{GL}_n(D) $의 부분정상부분군 내에서 비아벨 해밀턴 최대부분군이 존재할 조건은 무엇인가?
• RQ2 그러한 최대부분군의 존재가 분할환 $ D $에 가해지는 구조적 제약 조건은 무엇인가?
• RQ3 그러한 최대부분군이 존재할 경우 중심 $ F $와 차수 $ n $는 어떻게 결정될 수 있는가?
• RQ4 최대부분체의 갈루아 구조는 최대부분군의 군 구조와 어떻게 관련되는가?
• RQ5 그러한 최대부분군이 존재할 경우 $ D $가 비순환적이거나 복합차수일 수 있는가?

주요 결과

• 부분정상부분군 $ G \leq \mathrm{GL}_n(D) $가 비아벨 해밀턴 최대부분군을 포함하면, 반드시 $ n = 1 $ 이며, 이는 $ n > 1 $ 인 $ \mathrm{GL}_n(D) $에서는 그러한 부분군이 존재할 수 없음을 의미한다.
• 주어진 조건 하에 $ D $는 중심 $ F $ 위에서 소수 차수 $ p $의 순환대수여야 하며, $ [D:F] = p^2 $ 이다.
• 최대부분군 $ M $은 중심을 모odulo하여 $ \mathbb{Z}_p $ 와 동형이며, $ M/K^* \cap G \cong \mathbb{Z}_p $ 이다. 여기서 $ K $는 $ D $의 최대부분체이다.
• 갈루아 작용의 고정체는 $ F $이며, $ K/F $ 는 갈루아군이 $ \mathbb{Z}_p $ 와 동형인 유한 갈루아 확대이다.
• $ M $의 $ FC $-중심은 $ K^* \cap G $ 이며, 이는 $ M $의 피팅부분군이기도 하여 군의 구조에서 중심적인 역할을 한다.
• $ M \setminus K $에 속하는 모든 원소 $ x $는 $ x^p \in F $ 를 만족하며, $ D = F[M] = \bigoplus_{i=1}^p Kx^i $ 이다. 이는 $ D $가 순환적 구조를 가진 교차곱 대수임을 보여준다.