Theorems of Bertini and Chevalley

We give a short proof of Chevalley’s theorem that every algebraic group is an extension of an Abelian variety by a linear algebraic group. Along the way we treat Bertini’s irreducibility theorem.