Power reductivity over an arbitrary base.