In this paper we solve some
problems posed by Kolchin about differential algebraic groups. The main result (from
which the others follow) is the embeddability of any differential algebraic group in an
algebraic group. A crucial intermediate result, and one of independent interest, is a
generalisation of Weil’s theorem on recovering an algebraic group from birational
data, to pro-algebraic groups.