On a problem of Rohrbach for finite groups (Q1187813)

Let \(G\) be a multiplicative group, and let \(h\geq 2\). A subset \(B\) of \(G\) is called basis of order \(h\) if every element in \(G\) is a produt of \(h\) not necessarily distinct elements from \(B\). In 1937, \textit{H. Rohrbach} [Math. Z. 42, 538-542 (1937; Zbl 0016.15602)] asked if, for every \(h\geq 2\), there exists a constant \(c=c(h)\) such that every finite group \(G\) has a basis \(B\) of order \(h\) such that \(| B|\leq c| C|^{1/h}\). In this paper, the author proves that every finite group \(G\) of order \(n\) has a basis \(B\) of order two such that \[ | B|\leq 2(n\cdot\log n)^{1/2}+2, \] and, for every \(h\geq 3\) and \(\delta>0\), there exists an integer \(M=M(h,\delta)\) such that every finite group \(G\) of order \(n\geq M\) has a basis \(B\) of order \(h\) such that \[ | B| < h+\delta)(n\cdot\log n)^{1/h}. \]