arXiv++ Combinatorics

Let $G$ be a finite nonabelian group. The small Davenport constant $\mathsf d(G)$ of $G$ is the largest integer $\ell$ such that there exists a product-one-free sequence over $G$ of length $\ell$, while the Gao constant $E(G)$ of $G$ is the least integer $\ell$ such that every sequence over $G$ of length at least $\ell$ contains a product-one subsequence of length exactly $|G|$. A long-standing conjecture of Zhuang and Gao \cite{ZG2005} asserts that $E(G)=\mathsf d(G)+|G|$ for every finite nonabelian group $G$. Let $p$ be an odd prime and let $H_{p^3}=\operatorname{UT}_3(\mathbb F_p)$ be the Heisenberg group of order $p^3$ and exponent $p$. Godara and Sarkar proved the Zhuang--Gao equality for the nonabelian group of order $27$ and exponent $3$, and asked whether the same equality holds for $H_{p^3}$ for every odd prime $p$. Recently, Volkmann proved that $\mathsf d(H_{p^3})=3p-3$. In this paper, we determine the Gao constant of $H_{p^3}$ and prove that $E(H_{p^3})=\mathsf d(H_{p^3})+|H_{p^3}|=p^3+3p-3$.

Let $G$ be a finite group, and let $\exp(G)$ denote its exponent. The Erdős-Ginzburg-Ziv constant $s(G)$ is the least integer forcing a product-one subsequence of length $\exp(G)$, while the short product-one constant $η(G)$ is the least integer forcing a nonempty product-one subsequence of length at most $\exp(G)$. The natural nonabelian extension of a conjecture [W. Gao, \emph{On zero-sum subsequences of restricted size II}, Discrete Math. 2003] on the Erdős-Ginzburg-Ziv constant in finite abelian groups predicts that $s(G)=η(G)+\exp(G)-1.$ We confirm this equality for every finite nonabelian group $G$ having a cyclic subgroup of index $p$, where $p$ is the smallest prime divisor of $|G|$. As further consequences, we determine all generalized Erdős-Ginzburg-Ziv constants $s_{m\exp(G)}(G)$ for this family of groups.

Let $G$ be an abelian group, and let $\mathcal F (G)$ be the free commutative monoid with basis $G$, and $\mathcal A (G)$ the set consisting of all minimal zero-sum subsequences over $G$. For any subset $Ω\subset \mathcal F (G)$, we define the universal zero-sum invariant ${\mathsf d}_Ω(G)$ as the minimal positive integer $\ell$ such that every sequence $T$ over $G$ of length $\ell$ contains a subsequence lying in $Ω$. The classical Davenport constant ${\rm D}(G)$ for $G$ can also be written as ${\mathsf d}_{\mathcal A (G)}(G)$. We give a complete classification of all finite abelian groups for which $\mathcal A(G)$ is a minimal set to represent the Davenport constant. We also investigate the weighted Davenport constant over abelian groups (which may be infinite). Let $F$ and $G$ be abelian groups, and let $Ψ\subseteq \mathrm{Hom}(F,G)$ denote a weight set. We reinterpret the weighted Davenport constant $D_Ψ(G)$ in terms of coverings of Cartesian powers $F^n$ by kernels of induced homomorphisms arising from tuples in $Ψ^n$; these homomorphisms are naturally linked to coproducts in the category of abelian groups. This motivates the notion of kernel-cover compactness, a property characterizing when such kernel coverings admit finite subcovers. We establish a correspondence between weighted zero-sum invariants and kernel-cover structures, where the bound $D_Ψ(G)\le n$ is equivalent to a canonical kernel-cover property on $F^n$. We further study finite reduction phenomena for infinite weight sets and provide sufficient conditions ensuring uniform kernel-cover compactness. The present work constitutes a follow-up to [G. Wang, Comm. Algebra, 2025].

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.

For any finite abelian group $G$ and commutative unitary ring $R$, by $R[G]$ we denote the group algebra over $R$. Let $T=(g_1,\ldots,g_{\ell})$ be a sequence over the group $G$. We say $T$ is algebraically zero-sum free over R if $\prod\limits_{i=1}^r(X^{g_i}-a_i)\neq 0\in R[G]$ for all $a_1,\ldots,a_{\ell}\in R\setminus \{0\}$. Let $d(G,R)={\rm sup}\{|T|: T \mbox{ is an algebraically zero-sum free sequence over } R \mbox{ of terms from }G\}.$ This invariant of the group algebra $R[G]$ plays a powerful role in the research for the zero-sum theory. In this paper, we generalize this invariant to the semigroup algebra $R[S]$ for a commutative periodic semigroup $S$. We give the best possible lower and upper bounds for $d(S,R)$ for a general commutative periodic semigroup $S$. In case that $K$ is a field, and $S$ is a finite commutative semigroup, we give more precise result, including the equality for Clifford semigroups, Archimedean semigroups and elementary semigroups, which covers all types of irreducible components associated with the semilattice decomposition and the subdirect product decomposition of a commutative semigroup. Also, the invariant $d(S,K)$ was applied to the study of some zero-sum invariants in semigroups. One conjecture on the equality for $d(S,K)$ in case $K$ is an algebraically closed field of characteristic zero was proposed which has been also partially affirmed in this paper.

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.

Let $G$ be an abelian group, and let $\mathcal F (G)$ be the free commutative monoid with basis $G$. For $Ω\subset \mathcal F (G)$, define the universal zero-sum invariant ${\mathsf d}_Ω(G)$ to be the smallest integer $\ell$ such that every sequence $T$ over $G$ of length $\ell$ has a subsequence in $Ω$. The invariant ${\mathsf d}_Ω(G)$ unifies many classical zero-sum invariants. Let $\mathcal B (G)$ be the submonoid of $\mathcal F (G)$ consisting of all zero-sum sequences over $G$, and let $\mathcal A (G)$ be the set consisting of all minimal zero-sum sequences over $G$. In this paper, we show that except for a few special classes of groups, there always exists a proper subset $Ω$ of $\mathcal A (G)$ such that ${\mathsf d}_Ω(G)={\rm D}(G)$. Furthermore, in the setting of finite cyclic groups, we discuss the distributions of all minimal sets by determining their intersections. By connecting the universal zero-sum invariant with weights, we make a study of zero-sum problems in the setting of {\sl infinite} abelian groups. The universal zero-sum invariant ${\mathsf d}_{Ω; Ψ}(G)$ with weights set $Ψ$ of homomorphisms of groups is introduced for all abelian groups. The weighted Davenport constant ${\rm D}_Ψ(G)$ (being an special form of the universal invariant with weights) is also investigated for infinite abelian groups. Among other results, we obtain the necessary and sufficient conditions such that ${\rm D}_Ψ(G)<\infty$ in terms of the weights set $Ψ$ when $|Ψ|$ is finite. In doing this, by using the Neumann Theorem on Cover Theory for groups we establish a connection between the existence of a finite cover of an abelian group $G$ by cosets of some given subgroups of $G$, and the finiteness of weighted Davenport constant.

Let $R$ be a finite commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. Let $Ψ$ be a subgroup of the group ${\rm Aut}(R)$ of all automorphisms of $R$. The $Ψ-$weighted Erdős-Burgess constant ${\rm I}_Ψ(R)$ is defined as the smallest positive integer $\ell$ such that every sequence over $R$ of length at least $\ell$ must contain a nonempty subsequence $a_1,\ldots, a_{r}$ such that $\prod\limits_{i=1}^r ψ_i(a_i)$ is one idempotent of $R$ where $ψ_1,\ldots,ψ_r\in Ψ$. In this paper, for the finite quotient ring of a Dedekind domain $R$, a connection is established between the $Ψ-$weighted-Erdős-Burgess constant of $R$ and the $Ψ-$weighted Davenport constant of its group of units by all the prime ideals of $R$.

Let $\mathcal{S}$ be a finite cyclic semigroup written additively. An element $e$ of $\mathcal{S}$ is said to be idempotent if $e+e=e$. A sequence $T$ over $\mathcal{S}$ is called {\sl idempotent-sum free} provided that no idempotent of $\mathcal{S}$ can be represented as a sum of one or more terms from $T$. We prove that an idempotent-sum free sequence over $\mathcal{S}$ of length over approximately a half of the size of $\mathcal{S}$ is well-structured. This result generalizes the Savchev-Chen Structure Theorem for zero-sum free sequences over finite cyclic groups.

Let $R$ be a commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. The Erdős-Burgess constant associated with the ring $R$ is the smallest positive integer $\ell$ (if exists) such that for any given $\ell$ elements (not necessarily distinct) of $R$, say $a_1,\ldots,a_{\ell}\in R$, there must exist a nonempty subset $J\subset \{1,2,\ldots,\ell\}$ with $\prod\limits_{j\in J} a_j$ being an idempotent. In this paper, we prove that except for an infinite commutative ring with a very special form, the Erdős-Burgess constant of the ring $R$ exists if and only if $R$ is finite.

Let $R$ be a finite commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. The Erdős-Burgess constant associated with the ring $R$ is the smallest positive integer $\ell$ such that for any given $\ell$ elements (repetitions are allowed) of $R$, say $a_1,\ldots,a_{\ell}\in R$, there must exist a nonempty subset $J\subset \{1,2,\ldots,\ell\}$ with $\prod\limits_{j\in J} a_j$ being an idempotent. In this paper, we give a lower bound of the Erdős-Burgess constant in a finite commutative unitary ring in terms of all its maximal ideals, and prove that the lower bound is attained in some cases. The result unifies some recently obtained theorems on this invariant.

Let $\mathcal{S}$ be a nonempty commutative semigroup written additively. An element $e$ of $\mathcal{S}$ is said to be idempotent if $e+e=e$. The Erdős-Burgess constant of the semigroup $\mathcal{S}$ is defined as the smallest positive integer $\ell$ such that any $\mathcal{S}$-valued sequence $T$ of length $\ell$ contain a nonempty subsequence the sum of whose terms is an idempotent of $\mathcal{S}$. We make a study of ${\rm I}(\mathcal{S})$ when $\mathcal{S}$ is a direct product of arbitrarily many of cyclic semigroups. We give the necessary and sufficient conditions such that ${\rm I}(\mathcal{S})$ is finite, and in particular, we obtain sharp bounds of ${\rm I}(\mathcal{S})$ in case ${\rm I}(\mathcal{S})$ is finite, and determine the precise values of ${\rm I}(\mathcal{S})$ in some cases which unifies some well known results on the precise values of Davenport constant in the setting of commutative semigroups.

The purpose of the article is to provide an unified way to formulate zero-sum invariants. Let $G$ be a finite additive abelian group. Let $B(G)$ denote the set consisting of all nonempty zero-sum sequences over G. For $Ω\subset B(G$), let $d_Ω(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|\geq t$ has a subsequence in $Ω$.We provide some first results and open problems on $d_Ω(G)$.

Given a finite commutative semigroup $\mathcal{S}$ (written additively), denoted by ${\rm D}(\mathcal{S})$ the Davenport constant of $\mathcal{S}$, namely the least positive integer $\ell$ such that for any $\ell$ elements $s_1,\ldots,s_{\ell}\in \mathcal{S}$ there exists a set $I\subsetneq [1,\ell]$ for which $\sum_{i\in I} s_i=\sum_{i=1}^{\ell} s_i$. Then, for any integers $r\geq 1, n_1,\ldots,n_r>1$, let $R=\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$ be the direct sum of these $r$ residue class rings $\mathbb{Z}_{n_1}, \ldots,\mathbb{Z}_{n_r}$. Moreover, let $\mathcal{S}_R$ be the multiplicative semigroup of the ring $R$, and ${\rm U}(\mathcal{S}_R)$ the group of units of $\mathcal{S}_R$. In this paper, we prove that $${\rm D}({\rm U}(\mathcal{S}_R))+P_2\leq {\rm D}(\mathcal{S}_R)\leq {\rm D}({\rm U}(\mathcal{S}_R))+δ,$$ where $P_2=\sharp\{i\in [1,r]: 2 \parallel n_i\}$ and $δ=\sharp\{i\in [1,r]: 2\mid n_i\}.$ This corrects our previous published wrong result on this problem.

Let $\mathcal{S}$ be a commutative semigroup, and let $T$ be a sequence of terms from the semigroup $\mathcal{S}$. We call $T$ an (additively) {\sl irreducible} sequence provided that no sum of its some terms vanishes. Given any element $a$ of $\mathcal{S}$, let ${\rm D}_a(\mathcal{S})$ be the largest length of the irreducible sequence such that the sum of all terms from the sequence is equal to $a$. In case that any ascending chain of principal ideals starting from the ideal $(a)$ terminates in $\mathcal{S}$, we found the sufficient and necessary conditions of ${\rm D}_a(\mathcal{S})$ being finite, and in particular, we gave sharp lower and upper bounds of ${\rm D}_a(\mathcal{S})$ in case ${\rm D}_a(\mathcal{S})$ is finite. We also applied the result to commutative unitary rings. As a special case, the value of ${\rm D}_a(\mathcal{S})$ was determined when $\mathcal{S}$ is the multiplicative semigroup of any finite commutative principal ideal unitary ring.

Let $\mathcal{S}$ be a finite commutative semigroup. The Davenport constant of $\mathcal{S}$, denoted ${\rm D}(\mathcal{S})$, is defined to be the least positive integer $\ell$ such that every sequence $T$ of elements in $\mathcal{S}$ of length at least $\ell$ contains a proper subsequence $T'$ ($T'\neq T$) with the sum of all terms from $T'$ equaling the sum of all terms from $T$. Let $q>2$ be a prime power, and let $\F_q[x]$ be the ring of polynomials over the finite field $\F_q$. Let $R$ be a quotient ring of $\F_q[x]$ with $0\neq R\neq \F_q[x]$. We prove that $${\rm D}(\mathcal{S}_R)={\rm D}(U(\mathcal{S}_R)),$$ where $\mathcal{S}_R$ denotes the multiplicative semigroup of the ring $R$, and $U(\mathcal{S}_R)$ denotes the group of units in $\mathcal{S}_R$.

Let $\mathcal{S}$ be a finite semigroup, and let $E(\mathcal{S})$ be the set of all idempotents of $\mathcal{S}$. Gillam, Hall and Williams proved in 1972 that every $\mathcal{S}$-valued sequence $T$ of length at least $|\mathcal{S}|-|E(\mathcal{S})|+1$ is not (strongly) idempotent-product free, in the sense that it contains a nonempty subsequence the product of whose terms, in their natural order in $T$, is an idempotent, which affirmed a question of Erdős. They also showed that the value $|\mathcal{S}|-|E(\mathcal{S})|+1$ is best possible. Here, motivated by Gillam, Hall and Williams' work, we determine the structure of the idempotent-product free sequences of length $|\mathcal{S}\setminus E(\mathcal{S})|$ when the semigroup $\mathcal{S}$ (not necessarily finite) satisfies $|\mathcal{S}\setminus E(\mathcal{S})|$ is finite, and we introduce a couple of structural constants for semigroups that reduce to the classical Davenport constant in the case of finite abelian groups.

Let $\mathcal{S}$ be a finite commutative semigroup written additively, and let $\exp(\mathcal{S})$ be its exponent which is defined as the least common multiple of all periods of the elements in $\mathcal{S}$. For every sequence $T$ of elements in $\mathcal{S}$ (repetition allowed), let $σ(T) \in \mathcal{S}$ denote the sum of all terms of $T$. Define the Davenport constant $D(\mathcal{S})$ of $\mathcal{S}$ to be the least positive integer $d$ such that every sequence $T$ over $\mathcal{S}$ of length at least $d$ contains a proper subsequence $T'$ with $σ(T')=σ(T)$, and define the Erdős-Ginzburg-Ziv Theorem constant $E(\mathcal{S})$ to be the least positive integer $\ell$ such that every sequence $T$ over $\mathcal{S}$ of length at least $\ell$ contains a subsequence $T'$ with $|T|-|T'|=\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil\exp(\mathcal{S})$ and $σ(T')=σ(T)$. When $\mathcal{S}$ is a finite abelian group, it is well known that $\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil\exp(\mathcal{S})=|\mathcal{S}|$ and $E(\mathcal{S})=D(\mathcal{S})+|\mathcal{S}|-1$. In this paper we investigate whether $E(\mathcal{S})\leq D(\mathcal{S})+\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil \exp(\mathcal{S})-1$ holds true for all finite commutative semigroups $\mathcal{S}$. We provide a positive answer to the question above for some classes of finite commutative semigroups, including group-free semigroups, elementary semigroups, and archimedean semigroups with certain constraints.

Let $G$ be a finite abelian group, and let $m>0$ with $\exp(G)\mid m$. Let $s_{m}(G)$ be the generalized Erdős-Ginzburg-Ziv invariant which denotes the smallest positive integer $d$ such that any sequence of elements in $G$ of length $d$ contains a subsequence of length $m$ with sum zero in $G$. For any integer $r>0$, let $\mathcal{I}_m^{(r)}$ be the collection of all $r$-uniform intersecting families of size $m$. Let $R(\mathcal{I}_m^{(r)},G)$ be the smallest positive integer $d$ such that any $G$-coloring of the edges of the complete $r$-uniform hypergraph $K_{d}^{(r)}$ yields a zero-sum copy of some intersecting family in $\mathcal{I}_m^{(r)}$. Among other results, we mainly prove that $Ω(s_{m}(G))-1\leq R (\mathcal{I}_{m}^{(r)}, \ G)\leq Ω(s_{m}(G)),$ where $Ω(s_{m}(G))$ denotes the least positive integer $n$ such that ${n-1 \choose r-1}\geq s_{m}(G)$, and we show that if $r\mid Ω(s_{m}(G))-1$ then $R (\mathcal{I}_{m}^{(r)}, \ G)= Ω(s_{m}(G))$.