A Proof of the Barsotti-Chevalley Theorem on Algebraic Groups
arXiv:1311.6060
Abstract
A fundamental theorem of Barsotti and Chevalley states that every smooth 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. In this expository article, we explain his proof in the language of modern algebraic geometry.
v2 Expanded exposition; fixed gap