In algebraic geometry, Chevalley's structure theorem states that a smooth connected algebraic group over a perfect field has a unique normal smooth connected affine algebraic subgroup such that the quotient is an abelian variety.
It was proved by Chevalley (1960) (though he had previously announced the result in 1953), Barsotti (1955a, 1955b), and Rosenlicht (1956).
The original proofs were based on Weil's book Foundations of algebraic geometry and are hard to follow for anyone unfamiliar with Weil's foundations, but Conrad (2002) later gave an exposition of Chevalley's proof in scheme-theoretic terminology.
A consequence of Chevalley's theorem is that any algebraic group over a field is quasi-projective.
There are several natural constructions that give connected algebraic groups that are neither affine nor complete.