A right normed basis for free Lie algebras and Lyndon-Shirshov words (Q855732)

The authors provide a new construction for a basis of a free Lie algebra that consists of right-normed words, i.e. the words that have the following form: \([a_{i_1}[a_{i_2}[\cdots [a_{i_{t-1}}a_{i_t}]\cdots ]]]\), where \(a_{i_p}\) are free generators of the Lie algebra. Previously, linear bases for the free Lie algebra were given by M. Hall (1950), and later on by Lyndon and Shirshov using different methods. Shirshov's construction was further generalized by \textit{G. P. Kukin} [Math. Notes 24, 700--704 (1979); translation from Mat. Zametki 24, 375--382 (1978; Zbl 0404.17013)] whose proof had some gaps that are corrected in the paper under review.