A problem of G. Q. Wang on the Davenport constant of the multiplicative semigroup of quotient rings of $\mathbb {F}_2[x]$

Lizhen Zhang¹ ; Haoli Wang² ; Yongke Qu³

¹ Shanghai Institute of Applied Mathematics and Mechanics Shanghai University Shanghai, 200072, P.R. China and Department of Mathematics Tianjin Polytechnic University Tianjin, 300387, P.R. China
² College of Computer and Information Engineering Tianjin Normal University Tianjin, 300387, P.R. China
³ Department of Mathematics Luoyang Normal University Luoyang, 471022, P.R. China

Colloquium Mathematicum, Tome 148 (2017) no. 1, pp. 123-130.

Résumé

Given a finite commutative semigroup $\mathcal{S}$ (written multiplicatively), denote by ${\rm D}(\mathcal{S})$ the Davenport constant of $\mathcal{S}$, the least positive integer $\ell$ such that for any $x_1,\ldots,x_{\ell}\in \mathcal{S}$ there exists a set $I\subsetneq [1,\ell]$ for which $\prod_{i\in I} x_i=\prod_{i=1}^{\ell} x_i$, the equality being interpreted in the conditional unitization of $\mathcal{S}$ to make sense of the left-hand side also in the case when $I=\emptyset$ and $\mathcal{S}$ is not unitary. Then, let $R$ be the quotient ring of $\mathbb{F}_2[x]$ by the principal ideal generated by a nonconstant polynomial $f\in \mathbb{F}_2[x]$. Moreover, let $\mathcal{S}_R$ be the multiplicative semigroup of the cosets in $R$, and ${\rm U}(\mathcal{S}_R)$ the group of units of $\mathcal{S}_R$. We prove that $${\rm D}({\rm U}(\mathcal{S}_R))\leq {\rm D}(\mathcal{S}_R)\leq {\rm D}({\rm U}(\mathcal{S}_R))+\delta_f,$$ where $$ \delta_f=\begin{cases}0 \textrm{if $\gcd(x*(x+1_{\mathbb{F}_2}), f)=1_{\mathbb F_{2}}$,}\\ 1 \textrm{if $\gcd(x*(x+1_{\mathbb{F}_2}), f)\in \{x, x+1_{\mathbb{F}_2}\}$,}\\ 2 \textrm{if $\gcd(x*(x+1_{\mathbb{F}_2}),f)=x*(x+1_{\mathbb{F}_2}) $.}\\ \end{cases} $$ This gives a partial answer to an open problem of G. Q. Wang.

Détail

DOI : 10.4064/cm6707-6-2016

Keywords: given finite commutative semigroup mathcal written multiplicatively denote mathcal davenport constant mathcal least positive integer ell ldots ell mathcal there exists set subsetneq ell which prod prod ell equality being interpreted conditional unitization mathcal make sense left hand side emptyset mathcal unitary quotient ring mathbb principal ideal generated nonconstant polynomial mathbb moreover mathcal multiplicative semigroup cosets mathcal group units mathcal prove mathcal leq mathcal leq mathcal delta where delta begin cases textrm gcd x* mathbb mathbb textrm gcd x* mathbb mathbb textrm gcd x* mathbb x* mathbb end cases gives partial answer problem wang