On the lower bounds of Davenport constant (Q2299618)

Let \(G = C_{n_1}\oplus\cdots\oplus C_{n_r}\) with \(1 < n_1\mid\dots \mid n_r\) be a finite abelian group. The Davenport constant \(\mathrm{D}(G)\) is the smallest integer \(\ell\) such that every sequence \(S\) over \(G\) of length at least \(\ell\) has a nonempty subsequence with sum being the identity element of \(G\). This invariant has a trivial lower bound \(\mathrm{D}(G)\geq\mathrm{D}^*(G)= 1+\sum\limits_{i=1}^r (n_i-1)\), which is attained in some cases, including the case that \(G\) is a \(p\)-group and the case that \(r\leq 2\). The author investigates the non-dispersive sequences over groups \(C_n^r\), thereby revealing the growth of \(\mathrm{D}(G)-\mathrm{D}^*(G)\) over non-\(p\)-groups \(G= C_n^r \oplus C_{kn}\) with \(n,k\neq 1\). The author gives a general lower bound of \(\mathrm{D}(G)\) over non-\(p\)-groups and show that if the \(G\) is an abelian group with \(\exp(G) = m\) and rank \(r\), fix \(m > 0\) a non-prime-power, then for each \(N > 0\) there exists an \(\varepsilon>0\) such that if \(|G|/m^r<\varepsilon\), then \(\mathrm{D}(G)-\mathrm{D}^*(G)> N\).