The large Davenport constant. I: Groups with a cyclic, index 2 subgroup.

DOI10.1016/J.JPAA.2012.09.004MaRDI QIDQ2376542zbMATH OpenOpenAlexFDO

Authors Alfred Geroldinger, David J. Grynkiewicz

Publication date 24 June 2013

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/1211.2612

zbMATH Keywords

combinatorial constants for groupsfinite groupslarge Davenport constantsequences of elementssmall Davenport constantunit-product sequenceszero-sum sequences

Mathematics Subject Classification ID

Other combinatorial number theory (11B75) Arithmetic and combinatorial problems involving abstract finite groups (20D60)

Abstract: Let $G$ be a finite group written multiplicatively. By a sequence over $G$, we mean a finite sequence of terms from $G$ which is unordered, repetition of terms allowed, and we say that it is a product-one sequence if its terms can be ordered so that their product is the identity element of $G$. The small Davenport constant $mathsfd(G)$ is the maximal integer $ell$ such that there is a sequence over $G$ of length $ell$ which has no nontrivial, product-one subsequence. The large Davenport constant $mathsfD(G)$ is the maximal length of a minimal product-one sequence---this is a product-one sequence which cannot be factored into two nontrivial, product-one subsequences. It is easily observed that $mathsfd(G)+1leqmathsfD(G)$, and if $G$ is abelian, then equality holds. However, for non-abelian groups, these constants can differ significantly. Now suppose $G$ has a cyclic, index 2 subgroup. Then an old result of Olson and White (dating back to 1977) implies that $mathsfd(G)=frac12|G|$ if $G$ is non-cyclic, and $mathsfd(G)=|G|-1$ if $G$ is cyclic. In this paper, we determine the large Davenport constant of such groups, showing that $mathsfD(G)=mathsfd(G)+|G^{\prime }|$, where $G^{\prime }=[G,G]leqG$ is the commutator subgroup of $G$.

Review text

For a finite group \(G\) one defines the \textit{large Davenport constant} \(D(G)\) as the maximal length of a sequence of elements of \(G\) with unit product, not containing a proper subsequence with unit product, and the \textit{small Davenport constant} \(d(G)\) as the maximal length of a sequence of elements of \(G\) not containing any subsequence with unit product. One has always \(d(G)+1\leq D(G)\leq |G|\), and for \(G\) Abelian one has \(D(G)=d(G)+1\). The authors prove that if \(G\) has a cyclic subgroup of index \(2\), then \(D(G)=d(G)+|G'|\), where \(G'\) is the commutator subgroup of \(G\). Since it is known [\textit{J. E. Olson} and \textit{E. T. White}, Number Theory and Algebra; Collect. Pap. dedic. H. B. Mann, A. E. Ross, O. Taussky-Todd, 215-222 (1977; Zbl 0368.05009)] that in this case one has \(d(G)=|G|-1\) for cyclic \(G\), and \(d(G)=|G|/2\) for non-cyclic \(G\), a formula for \(D(G)\) follows.

Recommendations

• The Davenport constant of the group \(C_2^{r-1} \oplus C_{2k}\)
• Davenport's constant for groups with large exponent
• scientific article; zbMATH DE number 2233292
• The weighted Davenport constant of a group and a related extremal problem. II
• An upper bound for the Davenport constant of finite groups
• Large cyclic subgroups of finite groups
• scientific article; zbMATH DE number 1803214
• On the Davenport constant and group algebras
• Remarks on group rings and the Davenport constant.
• Largeness and SQ-universality of cyclically presented groups.

Cites work

• A generalization of Kneser's addition theorem
• Characterization of class groups of Krull monoids via their systems of sets of lengths: a status report.
• Davenport constant for semigroups.
• Degree bounds -- an invitation to postmodern invariant theory
• Direct-sum decompositions over one-dimensional Cohen-Macaulay local rings
• Erdős-Ginzburg-Ziv theorem for dihedral groups of large prime index.
• Factorizations of algebraic integers, block monoids, and additive number theory
• Finite abelian groups and factorization problems
• Groups of prime power order. Vol. 1.
• scientific article; zbMATH DE number 194089 (Why is no real title available?)
• scientific article; zbMATH DE number 3573882 (Why is no real title available?)
• scientific article; zbMATH DE number 1324087 (Why is no real title available?)
• scientific article; zbMATH DE number 3192146 (Why is no real title available?)
• scientific article; zbMATH DE number 5663737 (Why is no real title available?)
• Improving the Erdős-Ginzburg-Ziv theorem for some non-Abelian groups.
• Invariant theory
• Invariant theory of finite groups
• Krull monoids and their application in module theory.
• Non-unique factorizations of algebraic integers
• Non-unique factorizations. Algebraic, combinatorial and analytic theory
• Non-unique factorizations: a survey
• On some developments of the Erdős–Ginzburg–Ziv Theorem II
• Structural additive theory. Based on courses given at Karl-Franzens-Universität Graz, Austria, 2008--2012
• The Erdős-Ginzburg-Ziv theorem for dihedral groups.
• The Erdős-Ginzburg-Ziv theorem for finite solvable groups.
• The large Davenport constant. II: General upper bounds.
• Zero-sum problems -- a survey
• Zero-sum problems in finite Abelian groups: a survey

Cited in

(44)

• Erdős-Ginzburg-Ziv theorem and Noether number for \(C_m \ltimes_\varphi C_{mn}\)
• On generalized Erdős-Ginzburg-Ziv constants of C_n^r
• On an inverse problem of Erdős, Kleitman, and Lemke
• Inverse problems associated with subsequence sums in \(C_p \oplus C_p\)
• On a conjecture of the small Davenport constant for finite groups
• Lower bound for the Erdős-Burgess constant of finite commutative rings
• On the inverse problems associated with subsequence sums of zero-sum free sequences over finite abelian groups. II
• Extremal product-one free sequences and \(|G|\)-product-one free sequences of a metacyclic group
• On product-one sequences with congruence conditions over non-abelian groups
• On subsequence sums of a zero-sum free sequence over finite abelian groups
• On the algebraic and arithmetic structure of the monoid of product-one sequences
• On Erdős-Ginzburg-Ziv inverse theorems for dihedral and dicyclic groups
• Zero-sum invariants on finite abelian groups with large exponent
• The Erdős-Ginzburg-Ziv theorem for finite nilpotent groups
• Davenport constant for semigroups. II.
• An upper bound for the Davenport constant of finite groups
• Extremal product-one free sequences over \(C_n \rtimes_sC_2\)
• A note on Bass' conjecture
• On the direct and inverse zero-sum problems over \(C_n \rtimes_s C_2\)
• The interplay of invariant theory with multiplicative ideal theory and with arithmetic combinatorics
• On additive bases III
• The large Davenport constant. II: General upper bounds.
• The Noether number for the groups with a cyclic subgroup of index two
• A reciprocity on finite abelian groups involving zero-sum sequences
• On the invariant \(\mathsf{E}(G)\) for groups of odd order
• Representing sequence subsums as sumsets of near equal sized sets
• On a conjecture of Zhuang and Gao
• On product-one sequences over dihedral groups
• On minimal product-one sequences of maximal length over dihedral and dicyclic groups
• On the inverse problems associated with subsequence sums of zero-sum free sequences over finite abelian groups
• Product-one subsequences over subgroups of a finite group
• The Noether number of \(p\)-groups
• On product-one sequences over subsets of groups
• A classification of finite groups with small Davenport constant
• The directed Cayley diameter and the Davenport constant
• On Bass' conjecture of the small Davenport constant
• On the small Davenport constant for finite groups
• A note on a conjecture of Gao and Zhuang for groups of order 27
• On the isomorphism problem for monoids of product-one sequences
• The Noether numbers and the Davenport constants of the groups of order less than 32
• A generalized Davenport constant of the second kind
• A nonabelian twist on differences of bijections
• Erdős-Ginzburg-Ziv theorem for finite commutative semigroups.
• Iterated sumsets and setpartitions

This page was built for publication: The large Davenport constant. I: Groups with a cyclic, index 2 subgroup.

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