  We define and study a new numerical invariant of an algebraic group action
which we call the canonical dimension. We then apply the resulting theory to
the problem of computing the minimal number of parameters required to define a
generic hypersurface of degree d in P^{n-1}.
