[논문 리뷰] Non-commutative Krull monoids: A divisor theoretic approach and their arithmetic

Alfred Geroldinger|arXiv (Cornell University)|2012. 08. 21.

Rings, Modules, and Algebras참고 문헌 26인용 수 11

한 줄 요약

이 논문은 비가환 크룰 모노이드에 대한 약수 이론적 프레임워크를 개발하여, 기존의 가환 대수적 수론의 약수 이론을 비가환 환경으로 일반화한다. 정규화된 크룰 모노이드는 약수 준동형사상을 갖는다는 것이 입증되며, 모든 비단위원이 진부분 약수 이상의 이상에 속해 있을 경우 이러한 모노이드는 유한 인수 분해 모노이드임을 증명한다. 또한, 다벤포트 상수가 유한할 경우, 유연성과 길이 집합의 거리 집합 등 산술적 유한성 성질을 보인다.

ABSTRACT

A (not necessarily commutative) Krull monoid---as introduced by Wauters---is defined as a completely integrally closed monoid satisfying the ascending chain condition on divisorial two-sided ideals. We study the structure of these Krull monoids, both with ideal theoretic and with divisor theoretic methods. Among others we characterize normalizing Krull monoids by divisor theories. Based on these results we give a criterion for a Krull monoid to be a bounded factorization monoid, and we provide arithmetical finiteness results in case of normalizing Krull monoids with finite Davenport constant.

연구 동기 및 목표

• 비가환 크룰 모노이드로의 약수 이론 확장 — 기존의 가환 대수적 수론 결과의 일반화.
• 약수 준동형사를 통한 정규화된 크룰 모노이드의 특성화 — 약수적 구조의 비가환 해석.
• 이론적 조건에 기반한 크룰 모노이드가 유한 인수 분해 모노이드임을 판단하는 기준 제공.
• 다벤포트 상수가 유한할 경우, 특히 탄성, 길이 집합, 다벤포트 상수에 대한 산술적 유한성 결과 확립.

제안 방법

• 가환 사례를 일반화하여 비가환 모노이드에 대한 약수 이상의 이론을 적용.
• 크룰 모노이드에서 자유 아벨 모노이드로의 약수 준동형사를 도입하고, 산술적 성질의 전이를 가능하게 한다.
• 클래스 군 위의 영합 순서열의 모노이드로 크룰 모노이드에서 전이 준동형사를 구성하며, 소수 약수의 상을 이용한다.
• 클래스 군 구성 기법을 적용하여 산술 문제를 유한 아벨 군 내의 영합 순서열 연구로 환원한다.
• 다벤포트 상수가 유한함을 이용하여 탄성이 유한하고, 길이 집합의 거리 집합이 유한하다는 것을 유도한다.
• 영합 순서열의 모노이드에 대해 증명된 길이 집합의 구조 정리(Structure Theorem)를 활용하여 결과를 원래 크룰 모노이드로 환원한다.

실험 결과

연구 질문

• RQ1 비가환 크룰 모노이드가 유한 인수 분해 모노이드가 되는 조건은 무엇인가?
• RQ2 약수 이론은 비가환 모노이드로 어떻게 일반화될 수 있으며, 특히 약수 준동형사상 측면에서 어떻게 설명될 수 있는가?
• RQ3 다벤포트 상수가 유한한 비가환 크룰 모노이드에 대해 어떤 산술적 유한성 성질이 성립하는가?
• RQ4 크룰 모노이드의 클래스 군은 그 길이 집합의 구조와 어떻게 관련되어 있는가?
• RQ5 비가환 크룰 모노이드로의 전이 준동형사상을 일반화하여 산술 문제를 조합적 군론 문제로 환원할 수 있는가?

주요 결과

• 모든 비단위원이 진부분 약수 이상의 이상에 속해 있을 경우, 크룰 모노이드는 유한 인수 분해 모노이드이다.
• 크룰 모노이드에서 그 클래스 군 위의 영합 순서열의 모노이드로 전이 준동형사상이 존재하며, 소수 약수의 상은 클래스 군 내의 소수 원소로 매핑된다.
• 클래스 군의 다벤포트 상수가 유한할 경우, 모노이드의 탄성은 유한하다.
• 다벤포트 상수가 유한할 경우, 거리 집합 ∆(H)는 유한하다.
• 다벤포트 상수가 유한할 경우, 매개변수 M* 및 ∆(H)를 갖는 길이 집합의 구조 정리가 해당 모노이드에 적용된다.
• 소수 약수를 포함하는 클래스들의 집합 위의 영합 순서열의 모노이드는 크룰 모노이드의 본질적 산술적 구조를 포괄한다.