Let G be a simply connected Chevalley group over an infinite field K, and let $$ \tilde{w} $$ : Gn → G be a word map that corresponds to a nontrivial word w. In 2015, it has been proved that if w = w1w2w3w4 is the product of four words in independent variables, then every noncentral element of G is contained in the image of $$ \tilde{w} $$. A similar result for a word w = w1w2w3, which is the product of three independent words, was obtained in 2019 under the condition that the group G is not of type B2 or G2. In the present paper, it is proved that for a group of type B2 or G2, all elements of the large Bruhat cell B nw0B are contained in the image of the word map $$ \tilde{w} $$, where w = w1w2w3 is the product of three independent words. For a group G of type Ar, Cr, or G2 (respectively, for a group of type Ar) or a group over a perfect field K (respectively, over a perfect field K the characteristic of which is not a bad prime for G) with dim K ≤ 1 (here, dim K is the cohomological dimension of K), it is proved that all split regular semisimple elements (respectively, all regular unipotent elements) of G are contained in the image of $$ \tilde{w} $$, where w = w1w2 is the product of two independent words. Also, for any isotropic (but not necessary split) simple algebraic group G over a field K of characteristic zero, it is shown that for a word map $$ \tilde{w} $$ : G(K)n → G(K), where w = w1w2 is a product of two independent words, all unipotent elements are contained in Im $$ \tilde{w} $$.
Read full abstract