정수환 차수에서의 안정적 자유 소거성 판정 알고리즘 및 군환 적용

초록

저자들은 수체 K 위의 유한 차원 반단순 K-대수 A와 그 위의 O_K-차수 Λ에 대해, Λ가 안정적 자유 소거성(SFC)을 갖는지를 결정하는 실용적인 알고리즘을 제시한다. 세 가지 알고리즘을 개발하고, 이를 이용해 |G|≤383인 모든 유한군 G에 대해 정수군환 ℤ

상세 분석

본 논문은 먼저 SFC와 더 강한 지역 자유 소거성(LFC)의 정의를 정리하고, Jacobinski의 정리(에이클러 조건을 만족하는 경우 모든 차수가 LFC, 따라서 SFC)를 재검토한다. 에이클러 조건을 위반하는 경우, 즉 단순 성분이 전적으로 정의된 사원수 대수인 경우는 Smertnig‑Vogt의 이전 연구에 따라 알고리즘적으로 판정 가능함을 이용한다. 저자들은 A를 에이클러 성분과 전적으로 정의된 사원수 성분으로 분해하고, 차수가 직접곱 형태가 아닐 때도 적용 가능한 새로운 판정 절차를 제시한다.

핵심은 세 가지 알고리즘이다.

1. Algorithm 8.9은 차원(즉, A의 차원)이 작을 때 실용적이며, 최대 차수 M을 구하고 M 안의 양면이데얼 f를 선택한 뒤, (Λ/f)×의 이미지가 특정 레이 클래스 군에 어떻게 매핑되는지를 계산해 유한 개의 ‘시험 격자’를 자유 여부로 검증한다. 이 과정은 BB06, BHJ22의 결과를 확장한다.
2. Algorithm 9.1은 SFC를 부정하는 경우에 빠르게 증명할 수 있도록 무작위 시험 격자를 생성해 자유가 아님을 확인한다. 완전한 판정은 못하지만 부정 증명에 매우 효율적이다.
3. Algorithm 10.3은 섬유곱(fiber product) 구조를 이용해 원래 차수를 더 작은 차수의 차수와 유한환의 단위군 부분군 계산으로 환원한다. 여기서는 Reiner‑Ullom과 Swan의 이론을 핵심으로, 차수 감소와 단위군 계산을 결합해 SFC 판정을 수행한다.

이 알고리즘들을 구현하기 위해 §11에서는 유한환의 기본 분해와 단위군 계산 알고리즘을, §12에서는 차수 위의 모듈에 대한 새로운 자유성 검정법을 제시한다.

응용으로는 정수군환 ℤ