Hopf Order Module Algebra Orders

We aim to study a theory for orders in Hopf module algebras with respect to their behaviour under actions by Hopf orders induced from the given action. The technique of Hopf filtrations and Hopf valuations play a central role