Products of squares in finite simple groups

Abstract

The Ore conjecture, proved by the authors, states that every element of every finite non-abelian simple group is a commutator. In this paper we use similar methods to prove that every element of every finite simple group is a product of two squares. This can be viewed as a non-commutative analogue of Lagrange’s four squares theorem. Results for higher powers are also obtained.