Representation of finite abelian group elements by subsequence sums

DOI10.5802/JTNB.689MaRDI QIDQ988065zbMATH OpenOpenAlexFDO

Authors David J. Grynkiewicz, Oscar Ordaz, Luz E. Marchan

Publication date 25 August 2010

Published in Journal de Théorie des Nombres de Bordeaux (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0806.0309, http://www.numdam.org/item?id=JTNB_2009__21_3_559_0, https://eudml.org/doc/10899

zbMATH Keywords

Davenport constantsetpartitionweighted subsequence sumszero-sum problem

Mathematics Subject Classification ID

Other combinatorial number theory (11B75) Finite abelian groups (20K01)

Abstract: Let $Gcong{C}_{n_1}oplus\mathrm{...}oplus{C}_{n_r}$ be a finite and nontrivial abelian group with $n_1|n_2|\mathrm{...}|n_r$. A conjecture of Hamidoune says that if $W=w_1\mathrm{...}{w}_n$ is a sequence of integers, all but at most one relatively prime to $|G|$, and $S$ is a sequence over $G$ with $|S|geq|W|+|G|-1geq|G|+1$, the maximum multiplicity of $S$ at most $|W|$, and $sigma(W)equiv0mod|G|$, then there exists a nontrivial subgroup $H$ such that every element $ginH$ can be represented as a weighted subsequence sum of the form $g=su{m}_{i=1}^n{w}_i{s}_i$, with $s_1\mathrm{...}{s}_n$ a subsequence of $S$. We give two examples showing this does not hold in general, and characterize the counterexamples for large $|W|geq1/2|G|$. A theorem of Gao, generalizing an older result of Olson, says that if $G$ is a finite abelian group, and $S$ is a sequence over $G$ with $|S|geq|G|+D(G)-1$, then either every element of $G$ can be represented as a $|G|$-term subsequence sum from $S$, or there exists a coset $g+H$ such that all but at most $|G/H|-2$ terms of $S$ are from $g+H$. 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 $|S|geq|G|+D(G)-1$ can be relaxed to $|S|geq|G|+d^{\ast }(G)$, where $d^{\ast }(G)=Su{m}_{i=1}^r(n_i-1)$. We also use this method to derive a variation on Hamidoune's conjecture valid when at least $d^{\ast }(G)$ of the $w_i$ are relatively prime to $|G|$.

Review text

Let \(G\) be a finite abelian group. Hamidoune conjectures that if \(W=w_1\cdot\dots\cdot w_n\) is a sequence of integers, all but at most one relatively prime to \(|G|\), and \(S\) is a sequence over \(G\) with \(|S|\geq |W|+|G|-1\geq |G|+1\), the maximum multiplicity of \(S\) at most \(|W|\), and \(\sigma(W)\equiv 0 \pmod {|G|}\), then there exists a nontrivial subgroup \(H\) such that every element \(g\in H\) can be represented as a weighted subsequence sum of the form \(g=\sum_{i=1}^nw_is_i\), with \(s_1\cdot\dots\cdot s_n\) a subsequence of \(S\). The authors give two examples showing this does not hold in general, and characterize the counterexamples for large \(|W|\geq \frac{1}{2}|G|\). A theorem of Gao states that if \(S\) is a sequence over \(G\) with \(|S|\geq |G|+D(G)-1\), then either every element of \(G\) can be represented as a \(|G|\)-term subsequence sum from \(S\), or there exists a coset \(g+H\) such that all but at most \(|G/H|-2\) terms of \(S\) are from \(g+H\). The authors 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 they use to also improve the previously mentioned result of Gao by showing that the hypothesis \(|S|\geq |G|+D(G)-1\)can be relaxed to \(|S|\geq |G|+d^*(G)\), where \(d^*(G)=\sum_{i=1}^r (n_i-1)\). They also use this method to derive a variation of Hamidoune's conjecture valid when at least \(d^*(G)\) of the \(w_i\) are relatively prime to \(|G|\).

Recommendations

• A weighted generalization of two theorems of Gao
• Representation of group elements as subsequence sums.
• A weighted Erdős-Ginzburg-Ziv theorem
• A Weighted Generalization of Gao's n + D − 1 Theorem
• Number of weighted subsequence sums with weights in \(\{1,-1\}\)

Cites work

• A new critical pair theorem applied to sum-free sets in Abelian groups
• A weighted Erdős-Ginzburg-Ziv theorem
• Abschätzung der asymptotischen Dichte von Summenmengen
• Addition theorems for finite abelian groups
• Additive combinatorics
• An addition theorem for finite abelian groups
• CRITICAL PAIRS IN ABELIAN GROUPS AND KEMPERMAN'S STRUCTURE THEOREM
• Davenport constant with weights and some related questions
• Davenport constant with weights and some related questions. II.
• Ein Satz über abelsche Gruppen mit Anwendungen auf die Geometrie der Zahlen
• scientific article; zbMATH DE number 5014481 (Why is no real title available?)
• scientific article; zbMATH DE number 3458752 (Why is no real title available?)
• scientific article; zbMATH DE number 933467 (Why is no real title available?)
• scientific article; zbMATH DE number 3102822 (Why is no real title available?)
• Monochromatic and zero-sum sets of nondecreasing modified diameter
• Non-unique factorizations. Algebraic, combinatorial and analytic theory
• On a partition analog of the Cauchy-Davenport Theorem
• On Davenport's constant
• On long minimal zero sequences in finite abelian groups
• On small sumsets in an abelian group
• On some developments of the Erdős–Ginzburg–Ziv Theorem II
• On Weighted Sequence Sums
• On weighted sums in abelian groups
• Quasi-periodic decompositions and the Kemperman structure theorem
• Representation of group elements as subsequence sums.
• The Erdős-Ginzberg-Ziv theorem with units
• Weighted sums in finite cyclic groups
• Zero-sum problems -- a survey
• Zero-sum problems in finite Abelian groups: a survey

Cited in

(14)

• Iterated sumsets and subsequence sums
• Iterated sumsets and Olson's generalization of the Erdős-Ginzburg-Ziv theorem
• Arithmetic-progression-weighted subsequence sums
• Normal sequences over finite abelian groups
• Products of two atoms in Krull monoids and arithmetical characterizations of class groups.
• Degree bound for separating invariants of abelian groups
• Onn-Sums in an Abelian Group
• On the number of fully weighted zero-sum subsequences
• Note on a conjecture of Graham
• On the zero-sum subsequences of modular restricted lengths
• The directed Cayley diameter and the Davenport constant
• A weighted generalization of two theorems of Gao
• Iterated sumsets and setpartitions
• Representation of group elements as subsequence sums.

This page was built for publication: Representation of finite abelian group elements by subsequence sums

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q988065)