  We show that every action of a smooth algebraic group on a variety admits a
normal projective model. Along the way, we present new proofs of some basic
results on algebraic transformation groups, including Weil's regularization
theorem.
