No abstract

No abstract

1. Introduction. Let S be a sequence of elements from the cyclic group Z m . We say S is zsf (zero-sum free) if there does not exist an m-term subsequence of S whose sum is zero. Let g(m, k) (resp. g * (m, k)) denote the least integer such that every sequence S with at least (resp. with exactly) k distinct elements and length g(m, k) (resp. g * (m, k)) must contain an m-term subsequence whose sum is zero. By an affine transformation in Z m we mean a map of the form x → ax + b, with a, b ∈ Z m and gcd(a, m) = 1. Furthermore, let E(m, s) denote the set of all equivalence classes of zsf sequences S of length s, up to order and affine transformation, that are not a proper subsequence of another zsf sequence. Using the above notation, the renowned Erdős-Ginzburg-Ziv Theorem (The function g(m, k) was introduced in [4], where it was shown that g(m, 4) = 2m − 3 for m ≥ 4. Furthermore, based on a lower bound construction the authors conjectured the value of g(m, k) for fixed k and sufficiently large m. Concerning the upper bound, they established an upper bound for m prime modulo the affirmation of the Erdős-Heilbronn conjecture (EHC). Since then, the EHC has been affirmed [9], [2], moreover, the bound given in [4] was extended for nonprimes in [19]. As will later be seen, it is worthwhile to mention that the affirmation of the EHC has resulted in several attempted generalizations and related results [6]

Let G be a finite abelian group, and let n be a positive integer. From the Cauchy-Davenport Theorem it follows that if G is a cyclic group of prime order, then any collection of n subsets A1, A2, . . . , An of G satisfiesM. Kneser generalized the Cauchy-Davenport Theorem for any abelian group. In this paper, we prove a sequence-partition analog of the Cauchy-Davenport Theorem along the lines of Kneser's Theorem. A particular case of our theorem was proved by J. E. Olson in the context of the Erdős-Ginzburg-Ziv Theorem.

Abstract. Let R be a ring and let C be a small class of right R-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let V(C) denote a set of representatives of isomorphism classes in C and, for any module M in C, let [M ] denote the unique element in V(C) isomorphic to M . Then V(C) is a reduced commutative semigroup with operation defined by [M ] , and this semigroup carries all information about direct-sum decompositions of modules in C. This semigroup-theoretical point of view has been prevalent in the theory of direct-sum decompositions since it was shown that if End R (M ) is semilocal for all M ∈ C, then V(C) is a Krull monoid. Suppose that the monoid V(C) is Krull with a finitely generated class group (for example, when C is the class of finitely generated torsion-free modules and R is a one-dimensional reduced Noetherian local ring). In this case we study the arithmetic of V(C) using new methods from zero-sum theory. Furthermore, based on module-theoretic work of Lam, Levy, Robson, and others we study the algebraic and arithmetic structure of the monoid V(C) for certain classes of modules over Prüfer rings and hereditary Noetherian prime rings.