English

Extremal product-one free sequences over $C_n \rtimes_s C_2$

Number Theory 2021-08-03 v1 Combinatorics

Abstract

Let GG be a finite group multiplicatively written. The small Davenport constant of GG is the maximum positive integer d(G){\sf d}(G) such that there exists a sequence SS of length d(G){\sf d}(G) for which every subsequence of SS is product-one free. Let s21(modn)s^2 \equiv 1 \pmod n, where s≢±1(modn)s \not\equiv \pm1 \pmod n. It has been proven that d(CnsC2)=n{\sf d}(C_n \rtimes_s C_2) = n (see Lemma 6 of [Zhuang, Gao; Europ. J. Combin. 26 (2005), 1053-1059]). In this paper, we determine all sequences over CnsC2C_n \rtimes_s C_2 of length nn which are product-one free. It completes the classification of all product-one free sequences over every group of the form CnsC2C_n \rtimes_s C_2, including the quasidihedral groups and the modular maximal-cyclic groups.

Keywords

Cite

@article{arxiv.2108.00822,
  title  = {Extremal product-one free sequences over $C_n \rtimes_s C_2$},
  author = {Fabio Enrique Brochero Martínez and Sávio Ribas},
  journal= {arXiv preprint arXiv:2108.00822},
  year   = {2021}
}

Comments

9 pages. This is a complete answer to the inverse problem proposed in the old versions of the paper "The $\{1,s\}$-weighted Davenport constant in $C_n^k$". In those old versions, partial answers were given using the bounds of the weighted problem. This complete answer does not use any bound obtained there