A structure theorem of post-Hopf modules over a cocommutative post-Hopf algebra
In this paper,we mainly give a structure theorem of post-Hopf modules over a cocommutative post-Hopf algebra.Meanwhile,we construct a Hopf module structure of a post-Hopf modules over a cocommutative post-Hopf algebra,and construct a post-Hopf module structure of a Hopf module by the aid of relative Rota-Baxter operator with respect to a module bialgebra.