arXiv++ Combinatorics

Let $G$ be a multiplicatively written finite group of order $n$. The Erdős-Ginzburg-Ziv Theorem constant of the group $G$, denoted $\mathsf E(G)$, is defined as the smallest positive integer $\ell$ with the following property: for any given sequence $(g_1,\ldots,g_{\ell})$ over $G$, there exist $n$ distinct integers $i_1,\ldots,i_n\in \{1,\ldots,\ell\}$ such that the product of $g_{i_1},\ldots,g_{i_n}$, in some order, is the identity element of $G$. The Erdős-Ginzburg-Ziv Theorem constant originates from the celebrated additive theorem proved by Erdős, Ginzburg and Ziv in 1961, which amounts to proving $\mathsf E(G)\leq 2|G|-1$ holds in case that $G$ is abelian. It is also well-known that $\mathsf E(G)=2|G|-1$ holds for all finite cyclic groups. In 2010, Gao and Li [J. Pure Appl. Algebra] conjectured that $\mathsf E(G)\leq \frac{3|G|}{2}$ for every finite non-cyclic group $G$. In this paper, we confirm the conjecture for all non-cyclic groups $G$ whose order is not divisible by four, and characterize the groups achieving the equality $\mathsf E(G)=\frac{3|G|}{2}$ as those with a cyclic subgroup of index two.

The enumeration of zero-sum subsequences of a given sequence over finite cyclic groups is one classical topic, which starts from one question of P. Erdős. In this paper, we consider this problem in a more general setting -- finite cyclic semigroups. Let $\mathcal{S}$ be a finite cyclic semigroup. By $\textbf{e}$ we denote the unique idempotent of the semigroup $\mathcal{S}$. Let $T$ be a sequence over the semigroup $\mathcal{S}$, and let $N(T; \textbf{e})$ be the number of distinct subsequences of $T$ with sum being the idempotent $\textbf{e}$. We obtain the lower bound for $N(T; \textbf{e})$ in terms of the length of $T$, and moreover, prove that $T$ contains subsequences with some smooth-structure in case that $N(T; \textbf{e})$ is not large. Our result generalizes the theorem obtained by W. Gao [Discrete Math., 1994] on the enumeration of zero-sum subsequences over finite cyclic groups to the setting of semigroups.

Let $G$ be a finite group. The small Davenport constant $\mathsf d(G)$ of $G$ is the maximal integer $\ell$ such that there is a sequence of length $\ell$ over $G$ which has no nonempty product-one subsequence. In 2007, Bass conjectured that $\mathsf d(G_{m,n})=m+n-2$, where $G_{m,n}=\langle x, y| x^m=y^n=1, x^{-1}yx=y^s\rangle$, and $s$ has order $m$ modulo $n$. In this paper, we confirm the conjecture for any group $G_{m,n}$ with additional conditions that $s$ has order $m$ modulo $q$, for every prime divisor $q$ of $n$. Moreover, we solve the associated inverse problem characterizing the structure of any product-one free sequence with extremal length $\mathsf d(G_{m,n})$. Our results generalize some obtained theorems on this problem.