A proof of the Barsotti–Chevalley theorem on algebraic groups, http://arxiv.org/abs/1311.6060 preprint

A fundamental theorem of Barsotti and Chevalley states that every smooth con-nected algebraic group over a perfect field is an extension of an abelian variety by a smooth affine algebraic group. In 1956 Rosenlicht gave a short proof of the theorem. We explain his proof in the language of modern algebraic geometry. Contents 1 Affine algebraic subgroups................... 2 2 Rosenlicht’s decomposition theorem................ 4 3 The quasi-projectivity of algebraic groups..............