[논문 리뷰] Davenport constant of the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x) angle}$

Haoli Wang, Lizhen Zhang외 2명|arXiv (Cornell University)|2014. 09. 04.

Mathematical and Theoretical Analysis참고 문헌 3인용 수 5

한 줄 요약

이 논문은 소수 $p > 2$ 이며 제곱-free인 $f(x)$이면서 서로 비유사인 기약 인수들을 가진 경우, $ℝ_p[x]/\langle f(x)\rangle$의 곱셈 반군의 Davenport 상수는 그 단위군의 Davenport 상수와 일치함을 증명한다. 이 결과는 $f(x) = (x+1)^2$에 대한 검증을 통해 제곱-free가 아닌 경우로도 확장되며, 모든 경우에 대해 등식이 성립한다는 더 넓은 추측을 뒷받对方한다.

ABSTRACT

Let $\mathcal{S}$ be a finite commutative semigroup. The Davenport constant of $\mathcal{S}$, denoted $D(\mathcal{S})$, is defined to be the least positive integer $d$ such that every sequence $T$ of elements in $\mathcal{S}$ of length at least $d$ contains a subsequence $T'$ with the sum of all terms from $T'$ equaling the sum of all terms from $T$. Let $\F_p[x]$ be a polynomial ring in one variable over the prime field $\F_p$, and let $f(x)\in \F_p[x]$. In this paper, we made a study of the Davenport constant of the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x) angle}$. Among other results, we mainly prove that, for any prime $p>2$ and any polynomial $f(x)\in \F_p[x]$ which can be factorized into several pairwise non-associted irreducible polynomials in $\F_p[x]$, then $$D(\mathcal{S}_{f(x)}^p)=D(U(\mathcal{S}_{f(x)}^p)),$$ where $\mathcal{S}_{f(x)}^p$ denotes the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x) angle}$ and $U(\mathcal{S}_{f(x)}^p)$ denotes the group of units of the semigroup $\mathcal{S}_{f(x)}^p$.

연구 동기 및 목표

• 소수 $p > 2$에 대해, $ℝ_p[x]/\langle f(x)\rangle$의 곱셈 반군의 Davenport 상수를 결정하는 것.
• 특정 인수분해 조건 하에서 반군의 Davenport 상수가 그 단위군의 Davenport 상수와 일치하는지 조사하는 것.
• 모든 비상수 $f(x) \in \u211d_p[x]$에 대해 $D(\mathcal{S}_{f(x)}^p) = D(U(\mathcal{S}_{f(x)}^p))$가 성립한다는 추측을 검증하는 것.
• 유한 아벨 군에 대한 Davenport 상수의 기존 결과를 다항식 몫환에서 유래한 유한 가환 반군으로 확장하는 것.

제안 방법

• 유한 가환 반군에 대해 일반화된 Davenport 상수 정의를 사용하며, 부분수열의 합이 전체 수열의 합과 동일한 경우 해당 수열을 가역적이라고 정의한다.
• 유한 가환 반군의 구조 정리를 적용하여, $\mathcal{S}_{f(x)}^p$를 $f(x)$의 기약 인수에 대응하는 반군들의 곱으로 분해한다.
• 만일 $f(x)$가 서로 비유사인 기약 인수들로 분해된다면, $ℝ_p[x]/\langle f(x)\rangle \cong \prod_{i=1}^k \u211d_p[x]/\langle f_i(x)\rangle$의 동형사상이 성립함을 이용한다.
• Lemma 2.3을 적용하여, $C_n \cup \{\infty\}$ 형태의 반군의 경우 전체 반군의 Davenport 상수가 그 단위군의 Davenport 상수와 동일함을 보인다.
• 단위군 $U(\mathcal{S}_{f(x)}^p)$ 내의 수열을 분석하기 위해, 0-합 자유 수열과 합집합 분석 기법을 포함한 군론적 기법을 활용한다.
• $f(x) = (x+1)^2$에 대해 사례별 검증을 수행하며, 단위군 내외의 원소를 포함한 수열을 분석하여 Davenport 상수의 기준 이내에서 가역성이 성립함을 확인한다.

실험 결과

연구 질문

• RQ1 소수 $p > 2$ 이며, $ℝ_p[x]$ 상에서 서로 비유사인 기약 다항식들의 곱으로 분해되는 $f(x)$에 대해, 곱셈 반군 $\mathcal{S}_{f(x)}^p$의 Davenport 상수가 그 단위군 $U(\mathcal{S}_{f(x)}^p)$의 Davenport 상수와 일치하는가?
• RQ2 만일 $f(x)$가 반복된 기약 인수를 포함하는 경우, 예를 들어 $f(x) = (x+1)^2$일 경우, $D(\mathcal{S}_{f(x)}^p) = D(U(\mathcal{S}_{f(x)}^p))$의 등식이 여전히 성립하는가?
• RQ3 모든 비상수 $f(x) \in \u211d_p[x]$와 $p > 2$에 대해, 반군의 Davenport 상수가 그 단위군의 Davenport 상수와 동일한가?

주요 결과

• 모든 소수 $p > 2$ 와 $ℝ_p[x]$ 상의 서로 비유사인 기약 인수들의 곱으로 분해되는 다항식 $f(x)$에 대해, 곱셈 반군 $\mathcal{S}_{f(x)}^p$의 Davenport 상수는 그 단위군의 Davenport 상수와 동일하다: $D(\mathcal{S}_{f(x)}^p) = D(U(\mathcal{S}_{f(x)}^p))$.
• 이 증명은 $f(x)$가 제곱-free일 경우 몫환을 유한체들의 곱으로 분해함으로써 이루어지며, 이는 문제를 $C_n \cup \{\infty\}$ 형태의 반군으로 환원하여, 이 경우 Davenport 상수가 단위군의 Davenport 상수와 동일함이 알려져 있음을 이용한다.
• $f(x) = (x+1)^2$의 경우, 0, 단위, 비단위 원소를 포함한 수열을 분석하여 Davenport 상수의 기준 이내에서 가역성이 성립함을 검증함으로써, $D(\mathcal{S}_{(x+1)^2}^p) = D(U(\mathcal{S}_{(x+1)^2}^p))$임을 확인한다.
• 단위군 $U(\mathcal{S}_{(x+1)^2}^p)$는 $ℝ_p$에서 $a \neq b$인 모든 선형 다항식 $ax + b$로 구성되며, 순서가 $p(p-1)$인 곱셈 부분군을 이룬다.
• 모든 길이가 $D(U(\mathcal{S}_{(x+1)^2}^p))$인 수열은 그 원소들이 단위군에 속해 있든 아니면 그렇지 않든 간에, 항상 가역적임을 보이며, 같은 합을 가지는 적절한 부분수열을 구성함으로써 이를 입증한다.
• 특히, 정확히 하나의 비단위 원소를 포함하는 수열 역시 가역적임이 확인되었으며, 이는 나머지 단위 원소들의 합집합이 총합과 일치하는 값을 포함함을 보여, 적절한 부분수열을 구성할 수 있음을 의미한다.