Algebraic groups over finite fields, a quick proof of Lang's
theorem
We give an easy proof of Lang's theorem about the surjectivity of the
Lang map g --> g-1F(g) on a linear algebraic group defined
over a finite field, where F is a Frobenius endomorphism.