[논문 리뷰] Some examples of division symbol algebras of degree 3 and 5

Cristina Flaut, Diana Savin|arXiv (Cornell University)|2013. 10. 04.

Rings, Modules, and Algebras참고 문헌 12인용 수 3

한 줄 요약

이 논문은 차수 $n$인 기호 대수에서의 곱셈을 효율적으로 계산하는 알고리즘을 제시하며, MAGMA 계산 대수 시스템을 사용하여 원분체 위에서 차수 3 및 5인 분할 기호 대수의 구체적 예를 구성한다. 주요 기여는 분류체 이론과 이상 분해를 통한 노름 조건 검증을 통해 이러한 분할 대수의 존재성을 증명한 것으로, 이는 기존에 알려진 2차 경우를 초월하여 그 존재성에 대한 오랫동안 남아 있던 질문을 해결한다.

ABSTRACT

In this paper we provide an algorithm to compute the product between two elements in a symbol algebra of degree n and we find an octonion non-division algebra in a symbol algebra of degree three. Starting from this last idea, we try to find an answer to the question if there are division symbol algebras of degree three. The answer is positive and we provide, using MAGMA software, some examples of division symbol algebras of degree 3 and of degree 5. Moreover, we will give some interesting applications of the symbol algebras in number theory.

연구 동기 및 목표

• 임의의 차수 $n$에 대해 기호 대수에서의 빠른 곱셈을 위한 실용적인 알고리즘을 개발하는 것.
• 3차 및 5차 분할 기호 대수가 존재하는지 여부를 조사하여 기존에 잘 알려진 허미션의 경우를 넘어서는 것.
• MAGMA를 사용하여 차수 3 및 5인 분할 기호 대수의 구체적 계산 예를 제공하는 것.
• 기호 대수, 쿠머 체, 그리고 수론에서의 분류체 이론 간의 관계를 탐색하는 것.
• 특히 홀수 소수 차수에 대해 기호 대수가 분할인지 아닌지를 결정하는 조건을 규명하는 것.

제안 방법

• 비가환 곱셈 법칙 $yx = \xi xy$ 를 사용하여 기호 대수 $\left(\frac{a,b}{K,\xi}\right)$ 내에서 두 원소의 곱을 계산하는 체계적인 알고리즘을 개발한다.
• 케일리-딕슨 과정을 적용하여 고차원 대수(예: 옥토니언 포함)를 구성하고, 이를 통해 3차 기호 대수에서의 비분할 성격을 분석한다.
• 정리 1.1을 활용하여 기호 대수가 분할되는지 여부를 테스트한다: $\left(\frac{a,b}{K,\xi}\right)$ 는 $b$ 가 $K(\sqrt[n]{a})$ 에서의 노름이면 분할된다.
• 쿠머 체 $L = K(\sqrt[q]{\alpha})$ 에서의 분류체 이론과 이상 분해를 활용하여 $\left(\frac{\alpha, p^{h_L}}{K,\xi}\right)$ 가 비분할이 되는 조건을 규명한다.
• MAGMA를 활용하여 수체 내에서의 노름 방정식을 계산하고, 원소가 노름이 되는지 여부를 검증함으로써 분할 대수 상태를 확인한다.
• 정리 1.2를 적용하여 $\mathbb{Z}[\xi]$ 내에서의 소수 분해를 분석함으로써, 유리수 소수의 분할 행동을 연구한다.

실험 결과

연구 질문

• RQ1 3차 분할 기호 대수가 존재할 수 있으며, 만약 존재한다면 어떤 수론적 조건에서 존재하는가?
• RQ2 기호 대수에서의 곱셈을 알고리즘적으로 계산하는 방법은 무엇이며, 이를 통해 구체적 구성이 어떻게 가능해지는가?
• RQ3 쿠머 체와 분류수는 기호 대수가 분할인지 아닌지를 결정하는 데 어떤 역할을 하는가?
• RQ4 옥토니언 대수는 3차 기호 대수에 포함될 수 있으며, 이는 그들의 분할 성질에 대해 어떤 함의를 갖는가?
• RQ5 홀수 소수 차수(예: 5)에 대해 분할 기호 대수의 예를 체계적으로 구성할 수 있는 방법이 있는가?

주요 결과

• 논문은 MAGMA를 사용한 노름 방정식 검증을 통해 차수 3인 분할 기호 대수의 예를 명시적으로 구성한다. 예를 들어 $\left(\frac{7,11}{\mathbb{Q}(\epsilon),\epsilon}\right)$, $\left(\frac{7,11+\epsilon}{\mathbb{Q}(\epsilon),\epsilon}\right)$, $\left(\frac{7,5}{\mathbb{Q}(\epsilon),\epsilon}\right)$, $\left(\frac{7,5+\epsilon}{\mathbb{Q}(\epsilon),\epsilon}\right)$ 등이다.
• 차수 5에 대해서는 $\left(\frac{13,11}{\mathbb{Q}(\xi),\xi}\right)$ 와 $\left(\frac{13,11+\xi}{\mathbb{Q}(\xi),\xi}\right)$ 와 같은 분할 기호 대수의 존재를 수체 내의 노름 계산을 통해 확인한다.
• $p$ 가 쿠머 체 $L = K(\sqrt[q]{\alpha})$ 에서 완전히 분해되면 $\left(\frac{\alpha, p^{h_L}}{K,\xi}\right)$ 는 비분할임을 이상군의 행동에 기반하여 보여준다.
• 모든 기호 대수체가 유한체 위에서 분할됨을 증명하였으며, 이는 정리 1.1의 노름 조건을 만족하기 때문이다.
• 3차 기호 대수에 옥토니언 비분할 대수가 포함되어 있음을 보여주었으며, 이는 이러한 대수가 비분할 부분 구조를 포함할 수 있음을 시사한다.
• 기호 대수에서의 곱셈을 계산하는 알고리즘은 특히 고차수의 경우에서 대수적 성질의 효율적 검증을 가능하게 한다.