[논문 리뷰] Small generators for S-unit groups of division algebras
이 논문은 S가 유한하고 명시적으로 정의된 자리들의 집합을 포함할 경우, 수체 위의 중심단순분할대수의 S-unit 군이 유한 높이를 가진 원소들에 의해 생성됨을 증명한다. 베이스 체의 곱셈군에 대한 Lenstra의 결과를 일반화하여, 수체와 분할대수의 최대 순서의 판별식에 따라 의존하는 명시적인 높이 상한을 제공한다.
© 2014, University at Albany. All rights reserved. Let k be a number field, suppose that B is a central simple division algebra over k, and choose any maximal order D of B. The object of this paper is to show that the group D<sup>∗</sup>S of S-units of B is generated by elements of small height once S contains an explicit finite set of places of k. This generalizes a theorem of H. W. Lenstra, Jr., who proved such a result when B = k. Our height bound is an explicit function of the number field and the discriminant of a maximal order in B used to define its S-units.
연구 동기 및 목표
- 수체의 곱셈군에서 S-unit 군의 유한 높이 생성자에 대한 Lenstra의 정리를, 중심단순분할대수의 곱셈군으로 확장한다.
- S-unit 군이 작은 높이를 가진 원소들에 의해 생성되도록 보장하는 유한하고 명시적으로 정의된 자리들의 집합 S를 특정한다.
- S-unit 군의 생성자에 대한 명시적인 상한을 도출하며, 이는 수체와 분할대수 내의 최대 순서의 판별식에 따라 달라진다.
제안 방법
- 중심단순대수의 구조 이론과 최대 순서 이론을 활용하여 수체 k 위의 분할대수 B에서의 S-unit 군 D∗S를 분석한다.
- 대수적 수론과 수의 기하학의 기법을 적용하여 S-unit 군 내의 생성자 높이를 제한한다.
- S-unit 군이 제어된 높이를 가진 원소들에 의해 생성되도록 보장하는 유한한 자리 집합 S를 구성한다.
- 분할대수 B 내의 고정된 최대 순서의 판별식을 활용하여 높이 상한을 명시적으로 정의한다.
- S-unit이 유한한 수의 자리 외부에서의 단위이므로, 유한 생성 아벨 군 내의 생성자 높이를 제한하는 문제로 문제를 환원한다.
- k×에 대한 Lenstra의 방법을 분할대수 단위의 비가환 설정으로 일반화한다.
실험 결과
연구 질문
- RQ1수체 위의 중심단순분할대수의 S-unit 군은 충분히 큰 자리 집합 S를 갖는 경우, 유한 높이를 가진 원소들에 의해 생성될 수 있는가?
- RQ2그러한 생성자에 대한 명시적인 높이 상한은 무엇이며, 이는 수체와 분할대수의 최대 순서의 판별식에 어떻게 의존하는가?
- RQ3수체의 곱셈군에 대한 Lenstra의 결과는 어떻게 분할대수의 곱셈군으로 일반화될 수 있는가?
주요 결과
- 수체 k 위의 중심단순분할대수 B의 S-unit 군 D∗S는 특정한 유한한 자리 집합을 포함할 경우, 유한 높이를 가진 원소들에 의해 생성된다.
- 높이 상한은 수체 k와 B 내의 고정된 최대 순서의 판별식에 대한 명시적인 함수로 주어진다.
- 이 상한은 k×에 대한 Lenstra의 결과를 비가환 분할대수 단위의 경우로 일반화한다.
- 유한한 자리 집합은 명시적으로 구성되며, 이는 수체 k와 대수 B의 산술에 따라 달라진다.
- 특정한 유한한 자리 집합을 포함하는 한, 생성자에 대한 높이에 대한 균일한 상한이 확립된다.
더 나은 연구,지금 바로 시작하세요
연구 설계부터 논문 작성까지, 연구 시간을 획기적으로 줄여보세요.
카드 등록 없음 · 무료 플랜 제공
이 리뷰는 AI가 만들고, 인간 에디터가 검토했습니다.