arXiv++ Combinatorics

Let $G$ be a finite abelian group and $p$ be the smallest prime dividing $|G|$. Let $S$ be a sequence over $G$. We say that $S$ is regular if for every proper subgroup $H \subsetneq G$, $S$ contains at most $|H|-1$ terms from $H$. Let $\mathsf c_0(G)$ be the smallest integer $t$ such that every regular sequence $S$ over $G$ of length $|S|\geq t$ forms an additive basis of $G$, i.e., $\sum(S)=G$. The invariant $\mathsf c_0(G)$ was first studied by Olson and Peng in 1980's, and since then it has been determined for all finite abelian groups except for the groups with rank 2 and a few groups of rank 3 or 4 with order less than $10^8$. In this paper, we focus on the remaining case concerning groups of rank 2. It was conjectured by Gao et al. (Acta Arith. 168 (2015) 247-267) that $\mathsf c_0(G)=m(G)$. We confirm the conjecture for the case when $G=C_{n_1}\oplus C_{n_2}$ with $n_1|n_2$, $n_1\geq 2p$, $p\geq 3$ and $n_1n_2\geq 72p^6$.

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)\rangle}$. 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)\rangle}$ and $U(\mathcal{S}_{f(x)}^p)$ denotes the group of units of the semigroup $\mathcal{S}_{f(x)}^p$.

Let G be a finite group and S a subset of G\{0}. We call S an additive basis of G if every element of G can be expressed as a sum over a nonempty subset in some order. Let cr(G) be the smallest integer t such that every subset of G\{0} of cardinality t is an additive basis of G. In this paper, we determine cr(G) for the following cases: (i) G is a finite nilpotent group; (ii) G is a group of even order which possesses a subgroup of index 2.

Let $G$ be a finite abelian group. The critical number ${\rm cr}(G)$ of $G$ is the least positive integer $\ell$ such that every subset $A\subseteq G\setminus\{0\}$ of cardinality at least $\ell$ spans $G$, i.e., every element of $G$ can be written as a nonempty sum of distinct elements of $A$. The exact values of the critical number have been completely determined recently for all finite abelian groups. The structure of these sets of cardinality ${\rm cr}(G)-1$ which fail to span $G$ has also been characterized except for the case that $|G|$ is an even number and the case that $|G|=pq$ with $p,q$ are primes. In this paper, we characterize these extremal subsets for $|G|\geq 36$ is an even number, or $|G|=pq$ with $p,q$ are primes and $q\geq 2p+3$.