This paper extends classical results in the invariant theory of finite groups and finite group schemes to the actions of finite Hopf algebras on commutative rings. Topics considered include integrality over the invariant ...