On the commutator lengths of certain classes of finitely presented groups. (Q884192)

Summary: For a finite group \(G=\langle X\rangle\) (\(X\neq G\)), the least positive integer \(\text{ML}_X(G)\) is called the maximum length of \(G\) with respect to the generating set \(X\) if every element of \(G\) may be represented as a product of at most \(\text{ML}_X(G)\) elements of \(X\). The maximum length of \(G\), denoted by \(\text{ML}(G)\), is defined to be the minimum of \(\{\text{ML}_X(G)\mid G=\langle X\rangle\), \(X\neq G\), \(X\neq G-\{1_G\}\}\). The well-known commutator length of a group \(G\), denoted by \(c(G)\), satisfies the inequality \(c(G)\leq\text{ML}(G')\), where \(G'\) is the derived subgroup of \(G\). In this paper we study the properties of \(\text{ML}(G)\) and by using this inequality we give upper bounds for the commutator lengths of certain classes of finite groups. In some cases these upper bounds involve the interesting sequences of Fibonacci and Lucas numbers.