[논문 리뷰] A problem of Wang on Davenport constant for the multiplicative semigroup of the quotient ring of $\F_2[x]$

Lizhen Zhang, Haoli Wang외 1명|arXiv (Cornell University)|2015. 07. 12.

semigroups and automata theory참고 문헌 4인용 수 14

한 줄 요약

이 논문은 왕이 제기한, 몫환 𝔽₂[x]/(f)의 곱셈 준군에 대한 Davenport 상수에 관한 핵심 미해결 문제를 해결한다. 엄밀한 경계를 확립한다: D(𝒮_R) ≤ D(U(𝒮_R)) + δ_f, 여기서 δ_f는 𝔽₂에서 f와 x(x+1)의 최대공약수에 따라 결정되며, 이는 왕의 질문에 대해 부분적으로 답을 제공한다. 즉, 전체 준군의 Davenport 상수와 그 단위원군의 Davenport 상수 간의 차이를 규명한다.

ABSTRACT

Let $\F_q[x]$ be the ring of polynomials over the finite field $\F_q$, and let $f$ be a polynomial of $\F_q[x]$. Let $R=\frac{\F_q[x]}{(f)}$ be a quotient ring of $\F_q[x]$ with $0 eq R eq \F_q[x]$. Let $\mathcal{S}_R$ be the multiplicative semigroup of the ring $R$, and let ${ m U}(\mathcal{S}_R)$ be the group of units of $\mathcal{S}_R$. The Davenport constant ${ m D}(\mathcal{S}_R)$ of the multiplicative semigroup $\mathcal{S}_R$ is the least positive integer $\ell$ such that for any $\ell$ polynomials $g_1,g_2,\ldots,g_{\ell}\in \F_q[x]$, there exists a subset $I\subsetneq [1,\ell]$ with $$\prod\limits_{i\in I} g_i \equiv \prod\limits_{i=1}^{\ell} g_i\pmod f.$$ In this manuscript, we proved that for the case of $q=2$, $${ m D}({ m U}(\mathcal{S}_R))\leq { m D}(\mathcal{S}_R)\leq { m D}({ m U}(\mathcal{S}_R))+δ_f,$$ where \begin{displaymath} δ_f=\left\{\begin{array}{ll} 0 & extrm{if $\gcd(x*(x+1_{\mathbb{F}_2}),\ f)=1_{\F_{2}}$}\\ 1 & extrm{if $\gcd(x*(x+1_{\mathbb{F}_2}),\ f)\in \{x, \ x+1_{\mathbb{F}_2}\}$}\\ 2 & extrm{if $gcd(x*(x+1_{\mathbb{F}_2}),f)=x*(x+1_{\mathbb{F}_2}) $}\\ \end{array} ight. \end{displaymath} which partially answered an open problem of Wang on Davenport constant for the multiplicative semigroup of $\frac{\F_q[x]}{(f)}$ (G.Q. Wang, \emph{Davenport constant for semigroups II,} Journal of Number Theory, 155 (2015) 124--134).

연구 동기 및 목표

• 2015년 왕이 제기한, 몫환 𝔽₂[x]/(f)의 곱셈 준군에 대한 Davenport 상수에 관한 미해결 문제를 해결하기 위함이다.
• 전체 곱셈 준군 𝒮_R의 Davenport 상수와 그 단위원군 U(𝒮_R)의 Davenport 상수 간의 차이를 규명하기 위함이다.
• D(U(𝒮_R))와 f에 의존하는 구조적 불변량 δ_f에 따라 D(𝒮_R)에 대한 날카운 상한 및 하한을 확립하기 위함이다.

제안 방법

• 저자들은 준군의 구조와 그 단위원군에 기반한 축소 기법을 사용하며, 안정자 체인을 통한 부분군의 필터링을 활용한다.
• 그들은 부분합의 체인을 분석하기 위해 보조정리 2.3을 적용한다.
• 기존 군 이론 결과를 활용하여, 몫군 U(𝒮_R)/K_i의 구조를 이용해 Davenport 상수를 경계한다.
• 핵심 구성은, i ∉ 𝒥이면 â ≡ a mod f_i^{n_i}이고 j ∈ 𝒥 이면 â ≡ 1 mod f_j^{n_j}가 되도록 𝒮_R 내의 수정된 원소 â 를 정의하는 것이다. 이를 통해 â ∈ U(𝒮_R)임을 보장한다.
• 각 꼬리 부분 시퀀스의 a에 대해 σ(V) + â = σ(V) + a 임을 이용하여 합의 행동을 유지한다.
• 증명은 TV^{[-1]}의 비어 있지 않은 부분시퀀스 W가 존재하여 ∑â ∈ K_t 임을 근거로 하며, 이에 따라 σ(T) = σ(TW^{[-1]}) 임을 도출함으로써 가역성을 증명한다.

실험 결과

연구 질문

• RQ1 R = 𝔽₂[x]/(f) 이고 f가 비자명한 다항식일 때, D(𝒮_R) − D(U(𝒮_R))의 정확한 값 또는 경계는 무엇인가?
• RQ2 특히 𝔽₂에서 f의 x(x+1)와의 최대공약수에 의해, 몽환 R의 곱셈 준군의 Davenport 상수는 어떻게 영향을 받는가?
• RQ3 전체 준군의 Davenport 상수는 그 단위원군의 Davenport 상수에 의해 경계될 수 있는가?
• RQ4 D(𝒮_R) = D(U(𝒮_R)) 인 조건은 언제이며, 언제는 엄밀히 더 큰가?

주요 결과

• 곱셈 준군 𝒮_R의 Davenport 상수는 D(𝒮_R) ≤ D(U(𝒮_R)) + δ_f 를 만족하며, 여기서 δ_f는 𝔽₂[x]에서 f와 x(x+1)의 최대공약수에 따라 0, 1, 또는 2가 된다.
• 만약 gcd(f, x(x+1)) = 1 이면, δ_f = 0 이고 D(𝒮_R) = D(U(𝒮_R)) 이다.
• 만약 gcd(f, x(x+1)) 가 x 또는 x+1 이면, δ_f = 1 이고 D(𝒮_R) ≤ D(U(𝒮_R)) + 1 이다.
• 만약 gcd(f, x(x+1)) = x(x+1) 이면, δ_f = 2 이고 D(𝒮_R) ≤ D(U(𝒮_R)) + 2 이다.
• 이 경계는 정확한 등호 성립을 방해하는 장애물의 크기를 정확히 반영하므로, 날카로운 경계임을 의미한다.
• 결과적으로, 이는 왕의 미해결 문제를 δ_f를 통한 D(𝒮_R) − D(U(𝒮_R))의 특성화를 통해 완전한 부분적 해결을 제공한다.