Abstract: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 $\sigma(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 $\sigma(T')=\sigma(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 $\sigma(T')=\sigma(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.

Advertising finite commutative semigroups

A computational approach to the study of finite-complement submonids of an affine cone

Computing finite index congruences of finitely presented semigroups and monoids

Generating subdirect products

The multiplicative semigroup of a Dedekind domain

Erdős-Ginzburg-Ziv theorem for finite commutative semigroups

Semigroup algorithmic problems in metabelian groups

Commutative algebra: Constructive methods. Finite projective modules

Arithmetic of semisubtractive semidomains

Some properties of affine $\mathcal C$-semigroups

Finite models for positive combinatorial and exponential algebra

Automatic semigroups vs automaton semigroups

On semigroups that are prime in the sense of Tarski, and groups prime in the senses of Tarski and of Rhodes

Computing the unit group of a commutative finite $\mathbb{Z}$-algebra

Groups with infinite linearly ordered products

Abundance of progression in large set for non commutative semigroup

On the number of countable subdirect powers of finite commutative semigroups

Recent advances in algorithmic problems for semigroups

Compactification of bounded semigroup representations

Extremal factorization lengths of elements in commutative, cancellative semigroups

Quotients Of Admissible Formal Schemes and Adic Spaces by Finite Groups