[논문 리뷰] Systems of sets of lengths: Transfer Krull monoids versus weakly Krull monoids

Alfred Geroldinger, Wolfgang Schmid외 1명|arXiv (Cornell University)|2016. 06. 16.

Rings, Modules, and Algebras참고 문헌 33인용 수 27

한 줄 요약

이 논문은 전이 크룰 모노이드와 약한 크룰 모노이드에서 길이 집합의 체계를 조사하며, 양자리 모두 길이 집합의 구조 정리(Structure Theorem for Sets of Lengths)를 만족하지만, 그 체계는 근본적으로 다름을 규명한다. Davenport 상수 5인 모든 유한 아벨 군에 대해 체계를 완전히 기술하고, 일부 약한 크룰 모노이드가 유한성 조건 하에서도 전이 크룰 모노이드일 수 없음을 증명한다.

ABSTRACT

Transfer Krull monoids are monoids which allow a weak transfer homomorphism to a commutative Krull monoid, and hence the system of sets of lengths of a transfer Krull monoid coincides with that of the associated commutative Krull monoid. We unveil a couple of new features of the system of sets of lengths of transfer Krull monoids over finite abelian groups G, and we provide a complete description of the system for all groups G having Davenport constant D(G) = 5 (these are the smallest groups for which no such descriptions were known so far). Under reasonable algebraic finiteness assumptions, sets of lengths of transfer Krull monoids and of weakly Krull monoids satisfy the Structure Theorem for Sets of Lengths. In spite of this common feature we demonstrate that systems of sets of lengths for a variety of classes of weakly Krull monoids are different from the system of sets of lengths of any transfer Krull monoid.

연구 동기 및 목표

• 유한 아벨 군에 대한 전이 크룰 모노이드에서 길이 집합 체계의 구조를 이해하기 위해.
• 이전까지 알려지지 않았던 Davenport 상수가 D(G) = 5인 모든 유한 아벨 군에 대해 길이 집합 체계를 규명하기 위해.
• 알gebra적 유한성 조건 하에서 약한 크룰 모노이드가 전이 크룰 모노이드와 동일한 길이 집합 체계를 가질 수 있는지 조사하기 위해.
• 길이 집합의 구조 정리와 같은 공통된 구조적 특징을 공유하나, 약한 크룰 모노이드는 어떤 전이 크룰 모노이드와도 근본적으로 다른 길이 집합을 가질 수 있음을 입증하기 위해.
• 약한 크룰 모노이드(예: 수체의 정수환)가 유한형 전이 크룰 모노이드인지 아닌지를 특성화하기 위한 조건을 규명하기 위해.

제안 방법

• 저자들은 전이 크룰 모노이드를 유한 아벨 군 위의 영합 순열에 연결하기 위해 약한 전이 준동형을 사용하며, 영합 순열의 모노이드 B(G0)에 관한 기존 결과를 활용한다.
• 그들은 체계적 조합론과 크룰 도메인 이론의 깊이 있는 결과를 적용하여, D(G) = 5인 군 G에 대해 B(G)에서 길이 집합의 구조를 분석한다.
• 논문은 조합론적 및 군론적 기법을 사용하여 Davenport 상수가 5인 모든 군에 대해 L(G)의 명시적 기술을 구성한다.
• 그들은 v-noetherian 약한 크룰 모노이드와 그 이상수 모노이드 I*v(H)를 분석하기 위해 도전 이상수 이론과 클래스 군 이론을 활용한다.
• 저자들은 자연스러운 사상 π: X(Ĥ) → X(R)를 사용하여, π가 전단사일 경우 또는 아닐 경우에 약한 크룰 모노이드가 전이 크룰 모노이드인지 여부를 판단한다.
• 그들은 길이 집합의 구조 정리를 적용하고 탄성 및 거리 집합을 분석하여 전이 크룰 모노이드와 약한 크룰 모노이드 간의 길이 집합 체계를 구별한다.

실험 결과

연구 질문

• RQ1 Davenport 상수가 D(G) = 5인 모든 유한 아벨 군에 대해 길이 집합 체계의 완전한 기술은 무엇인가?
• RQ2 합리적인 유한성 조건 하에서 약한 크룰 모노이드의 길이 집합 체계가 어떤 전이 크룰 모노이드의 것과 일치할 수 있는가?
• RQ3 유한 클래스 군을 가진 v-noetherian 약한 크룰 모노이드가 유한형 전이 크룰 모노이드가 되는 조건은 무엇인가?
• RQ4 길이 집합 체계 L(G)는 군 G에 대해 특징적인가, 즉 L(G) = L(G')이면 G ≅ G'인가?
• RQ5 자연스러운 사상 π: X(Ĥ) → X(R)가 전단사일 때, I*v(H) 또는 R•가 유한형 전이 크룰 모노이드가 되는 조건은 무엇인가?

주요 결과

• 이 논문은 Davenport 상수가 D(G) = 5인 모든 유한 아벨 군 G에 대해 길이 집합 체계 L(G)의 완전하고 명시적인 기술을 제공하여 이전 지식의 빈도를 메운다.
• D(G) = 5인 모든 군 G에 대해 체계 L(G)는 매우 구조화되어 있으며 길이 집합의 구조 정리를 만족한다.
• 전이 크룰 모노이드의 체계와 동형이 되지 않는 약한 크룰 모노이드가 존재한다. 이는 양자리 모두 길이 집합의 구조 정리를 만족하나, 근본적으로 다른 길이 집합을 가짐을 의미한다.
• 자연스러운 사상 π: X(Ĥ) → X(R)가 전단사가 아니면, 가역 이상수 모노이드 I*v(H)의 탄성은 무한대가 되며, 이는 이 모노이드가 유한형 전이 크룰 모노이드가 될 수 없음을 의미한다.
• 수체의 반정규 정수환 R에 대해, I*v(H)는 π가 전단사일 때에만 유한형 전이 크룰 모노이드가 된다.
• R이 유한 클래스 군을 가진 v-noetherian 약한 크룰 도메인이고 π가 전단사일 경우, 클래스 군의 대표원과 자연스러운 전성사 δ에 추가 조건이 만족되면 R은 유한형 전이 크룰 도메인이 된다.