[논문 리뷰] Pairs of Generators for Matrix Groups. I

D. E. Taylor|arXiv (Cornell University)|2022. 01. 23.

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

한 줄 요약

이 논문은 유한 체 위의 고전적 군, 즉 GL(n,q), SL(n,q), Sp(2n,q), U(n,q), SU(n,q)에 대해 명시적인 행렬 생성자를 제공한다. 스타인버그의 추상적인 루트 이론 기반 생성자들을 리의 실현을 통해 구체적인 행렬 형태로 변환한다. 주요 기여는 모든 주요 리 유형의 행렬 군에 대한 최소 생성 쌍의 포괄적인 표를 제공함으로써, 계산 군 이론 및 이러한 군의 알고리즘적 구성에 기여하는 것이다.

ABSTRACT

Matrix generators for the general and special linear groups, the symplectic groups and the general and special unitary groups over finite fields. For the most part the generators have been obtained by translating Steinberg's generators for groups of Lie type into matrix form.

연구 동기 및 목표

• 유한 체 위의 고전적 행렬 군에 대해 명시적인 행렬 생성자를 제공하기 위해.
• 리의 실현 방법을 사용하여 스타인버그의 추상적인 두 생성자 정리들을 구체적인 행렬 형태로 변환하기 위해.
• 모든 유한 체에서 GL(n,q), SL(n,q), Sp(2n,q), U(n,q), SU(n,q)에 대한 생성자 집합을 통합하고 체계화하기 위해.
• Magma와 같은 시스템에서의 구현에 적합한 생성자를 제공하여 계산 군 이론을 지원하기 위해.
• 유한 단순 리 유형 군의 두 생성자 성질을 그 행렬 실현으로까지 확장하기 위해.

제안 방법

• Chevalley–Steinberg–Ree 구성 방법을 사용하여, 유한 체 위에서 스타인버그의 루트 기반 생성자를 행렬 형태로 변환하기 위해.
• SL(n,q)의 루트 원소를 위해 기본 행렬 $x_{ij}(\alpha) = I + \alpha E_{ij}$와 대각 행렬 $h_i(\alpha)$를 정의하기 위해.
• Weyl 군 원소로 사용되는 $n$-순환 순열을 나타내는 단항 행렬 $w_i$와 그 곱 $w$를 구성하기 위해.
• 심플렉틱 및 유니터리 형태를 고려하기 위해 $\hat{h}_i(\alpha)$, $\tilde{h}_i(\alpha)$, $\hat{x}_{ij}(\alpha)$, $\tilde{x}_{ij}(\alpha)$의 유사체를 정의하기 위해.
• 유한 체 $\mathrm{GF}(q)$ 또는 $\mathrm{GF}(q^2)$의 원시 원소 $\xi$를 사용하여 비자명한 원소를 가진 대각 행렬을 생성하기 위해.
• 특수 원소인 $\eta$ (유한 체 $\mathrm{GF}(q^2)$ 내의 추적 0 원소)와 $\beta + \overline{\beta} = -1$를 만족하는 $\beta$를 도입하여 유니터리 및 특수 유니터리 생성자를 정의하기 위해.

실험 결과

연구 질문

• RQ1 스타인버그의 추상적인 두 생성자 결과가, 어떻게 끝이 없는 유한 단순 리 유형 군에 대해 유한 체 위의 행렬 생성자로 구체화될 수 있는가?
• RQ2 GL(n,q), SL(n,q), Sp(2n,q), U(n,q), SU(n,q)에 대한 명시적인 행렬 형태의 생성자는 기본 행렬과 순열을 통해 어떻게 표현될 수 있는가?
• RQ3 고전 군의 루트 체계 구조가 유한 체의 맥락에서 어떻게 행렬 연산으로 번역될 수 있는가?
• RQ4 짝수 특성, 홀수 특성, 그리고 유니터리 군의 경우 생성자 구성에 필요한 수정 사항은 무엇인가?
• RQ5 모든 고전 행렬 군을 최소한의 행렬 쌍을 사용하여 통일된 방법으로 생성할 수 있는가?

주요 결과

• GL(n,q), $q \neq 2$의 경우, 군은 $h_1(\xi)$와 $x_{12}(1)w$로 생성되며, 명시적인 행렬 형태가 제공된다.
• SL(n,q), $q > 3$의 경우, 생성자는 $h_1(\xi)h_2(\xi^{-1})$와 $x_{12}(1)w$로, 모두 행렬 형태로 기술되어 있다.
• SL(n,2)와 SL(n,3)의 경우, 생성자는 $x_{12}(1)$과 $n$-순환 단항 행렬 $w$로, 명시적인 행렬이 제시되어 있다.
• Sp(2n,q), $q$ 홀수의 경우, 생성자는 $\hat{h}_1(\xi)$와 $\hat{x}_{12}(1)\hat{w}$로, $\hat{w}$는 부호 변화가 있는 $2n$-순환을 표현한다.
• Sp(2n,q), $q$ 짝수, $q \neq 2$의 경우, 생성자는 $\hat{h}_1(\xi)\hat{h}_n(\xi)$와 $\hat{x}_{1n}(1)\hat{z}_1(1)\hat{w}$로, $\hat{z}_i(\alpha)$는 장루트 전위로 간주된다.
• SU(3,2)의 경우, 생성자는 $\begin{pmatrix}1&\xi&\xi\\0&1&\xi^2\\0&0&1\end{pmatrix}$와 $\begin{pmatrix}\xi&1&1\\1&1&0\\1&0&0\end{pmatrix}$로 명시적으로 주어진다.