[논문 리뷰] Some formulas for the smallest number of generators for finite direct sums of matrix algebras

Rostyslav Kravchenko, Bogdan V. Petrenko|ArXiv.org|2006. 11. 22.

Advanced Topics in Algebra참고 문헌 3인용 수 4

한 줄 요약

이 논문은 유한체 및 정수환 위의 행렬 대수의 유한 직접합에 대한 최소 생성자 수의 정확한 및 점근적 공식을 유도한다. $ M_2(\mathbb{Z})^k $에 대해 2개의 생성자가 존재할 수 있는 최대 $ k $ 는 $ g(m) = \frac{16^m - 3\cdot 8^m + 2\cdot 4^m}{6} $ 로 주어지며, $ g(2) = 16 $ 이다. 또한 이러한 생성 집합이 기저 변경을 통해 임의의 링으로 올라간다는 것을 증명한다. 결과는 비가환 다항식 표현과 중국인의 나머지 정리에 의해 무한체 위의 행렬 대수의 유한 직접합으로 확장된다.

ABSTRACT

We obtain an asymptotic upper bound for the smallest number of generators for a finite direct sum of matrix algebras with entries in a finite field. This produces an upper bound for a similar quantity for integer matrix rings. We also obtain an exact formula for the smallest number of generators for a finite direct sum of 2-by-2 matrix algebras with entries in a finite field and as a consequence obtain a formula for a similar quantity for a finite direct sum of 2-by-2 integer matrix rings. We remark that a generating set the ring $\bigoplus_{i=1}^k M_{n_i}(\mathbb{Z})^{n_i}$ may be used as a generating set of any matrix algebra $\bigoplus_{i=1}^k M_{n_i}(R)^{n_i}$ where $R$ is an associative ring with a two-sided 1.

연구 동기 및 목표

• 유한체 및 정수환 위의 행렬 대수의 유한 직접합에 대한 최소 생성자 수를 결정하는 것.
• 정수환 위의 $ 2\times2 $ 행렬 링의 수를 두 개의 원소로 생성할 수 있는 정확한 공식을 도출하는 것.
• 소수 모듈로로의 환원 및 올림 기법을 통해 유한체에서의 결과를 정수 행렬 링으로 확장하는 것.
• 비가환 다항식 표현의 맥락에서 유한 직접합의 행렬 대수가 두 개의 생성자를 가질 수 있는 조건을 특성화하는 것.

제안 방법

• 두 변수 $ x $, $ y $ 에 대한 비가환 다항식을 사용하여 $ M_n(F) $ 의 표현을 구성하고, $ r_{1,n}, r_{2,n}, s_j $ 를 포함한 관계를 설정하는 것.
• 매개변수 $ a \in F $ 를 통해 매개변수화된 자유 대수 $ F\{x,y\} $ 내의 아이디얼 $ \mathcal{I}_n(a) $ 를 정의하여 행렬 대수 $ M_n(F) $ 를 대응시키는 것.
• 중국인의 나머지 정리를 사용하여 서로 다른 $ \mathcal{I}_{m_i}(s_i) $ 아이디얼의 교차가 직접합 $ \bigoplus_i M_{m_i}(F)^{\#S_i} $ 를 유도하는 것.
• 행렬의 추적과 영항성의 성질을 이용한 모순에 기반하여 서로 다른 매개변수 $ a \neq b $ 는 서로 다른 아이디얼 $ \mathcal{I}_n(a) \neq \mathcal{I}_n(b) $ 를 유도한다는 것을 증명하는 것.
• 어느 소수 $ p $ 에 대해 $ \bigoplus M_n(\mathbb{Z}) $ 가 생성되는 것은 그 모듈로 $ p $ 에 대한 환원이 $ \bigoplus M_n(\mathbb{F}_p) $ 를 생성하는 것과 동치라는 사실을 활용하는 것.
• 올림 결과를 적용하여 $ M_2(\mathbb{Z})^{16} $ 의 생성 집합이 임의의 링 $ R $ 에서 $ M_2(R)^{16} $ 의 생성 집합으로 확장됨을 보여주는 것.

실험 결과

연구 질문

• RQ1 두 원소로 생성할 수 있는 $ M_2(\mathbb{Z}) $ 의 복수 중 최대 수는 얼마인가?
• RQ2 합성수의 수가 증가함에 따라 $ M_n(\mathbb{F}_q) $ 의 직접합에 대한 최소 생성자 수는 어떻게 증가하는가?
• RQ3 무한체 위의 행렬 대수의 유한 직접합에 대해 두 생성자가 충분한가, 그리고 어떤 조건에서 가능한가?
• RQ4 비가환 다항식 표현과 아이디얼은 어떻게 행렬 대수의 생성 집합을 구성하는 데 기여하는가?
• RQ5 정수 행렬 링의 생성 집합은 소수 모듈로로의 환원과 어떻게 관련이 있는가?

주요 결과

• 두 개의 생성자가 존재할 수 있는 $ 2\times2 $ 정수 행렬 링 $ M_2(\mathbb{Z}) $ 의 최대 수는 $ g(m) = \frac{16^m - 3\cdot 8^m + 2\cdot 4^m}{6} $ 로 주어지며, $ g(2) = 16 $ 이다.
• 17개의 $ M_2(\mathbb{Z}) $ 복수의 직접합은 최소 3개의 생성자가 필요하므로, $ k = 17 $ 에서 최소 생성자 수에 급격한 증가가 일어남을 보여준다.
• $ M_2(\mathbb{Z})^{16} $ 의 생성 집합은 임의의 링 $ R $ 으로 올라가므로, $ \mathbb{Z} \to R $ 의 유도된 준동형사상에 의해 $ M_2(R)^{16} $ 도 두 개의 원소로 생성된다.
• 모든 무한체 $ F $ 에 대해, 행렬 대수의 유한 직접합 $ \bigoplus M_n(F) $ 는 비가환 다항식 표현을 통해 두 개의 생성자를 가진다.
• $ a $ 가 다를 경우 서로 다른 $ \mathcal{I}_n(a) \subset F\{x,y\} $ 아이디얼이 존재하므로, 중국인의 나머지 정리를 사용하여 행렬 대수의 직접합을 구성하는 데 적용 가능하다.
• 특성 $ |G| $ 를 나누지 않는 대수적으로 닫힌 체 $ F $ 위의 군 대수 $ FG $ 는 두 개의 생성자를 가진다. 왜냐하면 $ FG \cong \bigoplus M_n(F)^{k_i} $ 이고, 이 동형사상은 정리 A.1의 구성에 의해 유도되기 때문이다.