7,297 research outputs found
Classification theorems for sumsets modulo a prime
Let be the finite field of prime order and be a subsequence
of . We prove several classification results about the following
questions: (1) When can one represent zero as a sum of some elements of ?
(2) When can one represent every element of as a sum of some elements
of ? (3) When can one represent every element of as a sum of
elements of ?Comment: 35 pages, to appear in JCT
Arithmetic-Progression-Weighted Subsequence Sums
Let be an abelian group, let be a sequence of terms
not all contained in a coset of a proper subgroup of
, and let be a sequence of consecutive integers. Let
which is a particular kind of weighted restricted sumset. We show that , that if , and also
characterize all sequences of length with . This
result then allows us to characterize when a linear equation
where are
given, has a solution modulo with all
distinct modulo . As a second simple corollary, we also show that there are
maximal length minimal zero-sum sequences over a rank 2 finite abelian group
(where and ) having
distinct terms, for any . Indeed, apart from
a few simple restrictions, any pattern of multiplicities is realizable for such
a maximal length minimal zero-sum sequence
On n-sum of an abelian group of order n
Let be an additive finite abelian group of order , and let be a
sequence of elements in , where . Suppose that contains
distinct elements. Let denote the set that consists of all
elements in which can be expressed as the sum over a subsequence of length
. In this paper we prove that, either or This confirms a conjecture by Y.O. Hamidoune in 2000
Representation of Finite Abelian Group Elements by Subsequence Sums
Let be a finite and nontrivial
abelian group with . A conjecture of Hamidoune says that if
is a sequence of integers, all but at most one relatively prime
to , and is a sequence over with ,
the maximum multiplicity of at most , and ,
then there exists a nontrivial subgroup such that every element
can be represented as a weighted subsequence sum of the form
, with a subsequence of . We give two
examples showing this does not hold in general, and characterize the
counterexamples for large .
A theorem of Gao, generalizing an older result of Olson, says that if is
a finite abelian group, and is a sequence over with , then either every element of can be represented as a
-term subsequence sum from , or there exists a coset such that
all but at most terms of are from . We establish some very
special cases in a weighted analog of this theorem conjectured by Ordaz and
Quiroz, and some partial conclusions in the remaining cases, which imply a
recent result of Ordaz and Quiroz. This is done, in part, by extending a
weighted setpartition theorem of Grynkiewicz, which we then use to also improve
the previously mentioned result of Gao by showing that the hypothesis can be relaxed to , where
d^*(G)=\Sum_{i=1}^{r}(n_i-1). We also use this method to derive a variation
on Hamidoune's conjecture valid when at least of the are
relatively prime to
- …