[논문 리뷰] Atomic and antimatter semigroup algebras with rational exponents

Felix Gotti|arXiv (Cornell University)|2018. 01. 21.

Rings, Modules, and Algebras참고 문헌 21인용 수 6

한 줄 요약

이 논문은 체 $F$ 위의 반군 대수인 Puiseux 대수—지수 집합이 $ℝ_{\geq 0}$ 의 부분모노이드 $M \subseteq \mathbb{Q}_{\geq 0}$ 인 대수—의 원자적 구조를 조사한다. 이는 이 클래스에 대한 동형 문제를 해결하고, ACCP, 유계 인수 분해, 유한 인수 분해 성질을 만족하는 예제를 구성함으로써 이루어진다. 또한 Puiseux 대수의 준정규, 근, 정규화된 완전 정수 폐쇄를 완전히 기술하며, 기약 원소를 포함하지 않는 반물질 예제를 구성한다.

ABSTRACT

In this paper, a semigroup algebra consisting of polynomial expressions with coefficients in a field $F$ and exponents in an additive submonoid $M$ of $\mathbb{Q}_{\ge 0}$ is called a Puiseux algebra and denoted by $F[M]$. Here we study the atomic structure of Puiseux algebras. To begin with, we answer the Isomorphism Problem for the class of Puiseux algebras, that is, we show that for a field $F$ if two Puiseux algebras $F[M_1]$ and $F[M_2]$ are isomorphic, then the monoids $M_1$ and $M_2$ are also isomorphic. Then we construct three classes of Puiseux algebras satisfying the following well-known atomic properties: the ACCP property, the bounded factorization property, and the finite factorization property. Finally, we give a full description of the seminormal closure, root closure, and complete integral closure of a Puiseux algebra, and use such description to provide a class of antimatter Puiseux algebras (i.e., Puiseux algebras containing no irreducibles).

연구 동기 및 목표

• 두 Puiseux 대수 $F[M_1]$와 $F[M_2]$가 언제 동형인지, 이를 위해 기저가 되는 모노이드들 간의 관계를 규명하는 것.
• ACCP, 유계 인수 분해, 유한 인수 분해와 같은 핵심 원자적 유한성 조건을 만족하는 Puiseux 대수를 특성화하는 것.
• Puiseux 대수의 준정규 폐쇄, 근 폐쇄, 완전 정수 폐쇄의 구조를 기술하는 것.
• 기본적으로 기약 원소를 포함하지 않는 반물질 Puiseux 대수의 클래스를 폐쇄 성질을 이용해 구성하는 것.

제안 방법

• 모노이드 동형 불변량을 사용하여 $F[M_1] \cong F[M_2]$ 이면 $M_1 \cong M_2$ 라는 결론을 도출함으로써, Puiseux 대수에 대한 동형 문제를 해결하는 것.
• 원하는 원자적 성질을 만족시키기 위해 $M \subseteq \mathbb{Q}_{\geq 0}$ 의 덧셈 부분모노이드를 이용해 Puiseux 대수를 구성하는 것.
• 반군 대수의 폐쇄 이론을 적용하여 준정규, 근, 정규화된 완전 정수 폐쇄를 기술하는 것.
• 모노이드 $M$ 의 구조를 활용하여 $F[M]$ 이 기약 원소를 포함하지 않는 조건을 규명하고, 반물질 예제를 도출하는 것.
• 유리수 지수 모노이드를 사용하여 대수적 맥락에서 인수 분해 행동을 제어하는 것.

실험 결과

연구 질문

• RQ1 두 Puiseux 대수 $F[M_1]$와 $F[M_2]$가 링으로서 동형일 때는 언제인가?
• RQ2 어떤 Puiseux 대수가 주어진 이상 이상의 주 ideal 체인 조건(ACCP)을 만족하는가?
• RQ3 어떤 조건에서 Puiseux 대수가 유계 또는 유한 인수 분해 성질을 가질 수 있는가?
• RQ4 Puiseux 대수의 준정규, 근, 완전 정수 폐쇄의 구조는 어떠한가?
• RQ5 기본적으로 기약 원소를 포함하지 않는 Puiseux 대수가 존재할 수 있으며, 어떻게 구성할 수 있는가?

주요 결과

• 만약 링으로서 $F[M_1] \cong F[M_2]$ 이면, 모노이드로서 $M_1 \cong M_2$ 라는 결론을 도출하여 Puiseux 대수에 대한 동형 문제를 해결한다.
• ACCP, 유계 인수 분해, 유한 인수 분해 성질을 만족하는 Puiseux 대수가 존재함을 보여주며, 이 클래스 내에서 이러한 대수가 존재함을 입증한다.
• Puiseux 대수 $F[M]$ 의 준정규 폐쇄는 $F[M^{\text{sn}}]$ 과 동형이며, 여기서 $M^{\text{sn}}$ 은 $M$ 의 준정규화이다.
• Puiseux 대수 $F[M]$ 의 근 폐쇄는 $F[M^{\text{r}}]$ 과 동형이며, 여기서 $M^{\text{r}}$ 은 $M$ 의 근 폐쇄이다.
• Puiseux 대수 $F[M]$ 의 완전 정수 폐쇄는 $F[M^{\text{cic}}]$ 과 동형이며, 여기서 $M^{\text{cic}}$ 은 $M$ 의 완전 정수 폐쇄이다.
• 완전 정수 폐쇄 구성 방법을 활용하여 기약 원소를 포함하지 않는 반물질 Puiseux 대수의 클래스를 구성할 수 있으며, 특히 $M$ 이 유한 생성되지 않으며 특정 폐쇄 조건을 만족할 경우에 해당한다.