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