Powers of commutators in linear algebraic groups

Abstract

Let ${\mathcal G}$ be a linear algebraic group over k, where k is an algebraically closed field, a pseudo-finite field or the valuation ring of a non-archimedean local field. Let $G= {\mathcal G}(k)$. We prove that if $\gamma\in G$ such that γ is a commutator and $\delta\in G$ such that $\langle \delta\rangle= \langle \gamma\rangle$ then δ is a commutator. This generalises a result of Honda for finite groups. Our proof uses the Lefschetz principle from first-order model theory.