For a connected reductive group G and a finite–dimensional G–module V , we study the invariant Hilbert scheme that parameterizes closed G–stable subschemes of V affording a fixed, multiplicity–finite representation of G in their coordinate ring. We construct an action on this invariant Hilbert scheme of a maximal torus T of G, together with an open T–stable subscheme admitting a good quotient. ...