Let be $H$ a finite dimensional semisimple-cosemisimple Hopf algebra, and $A$ be a finite dimensional $H$-module algebra. If $M$ is a finitely generated $A\# H$-module.

Is $M$ a direct summand of $A\# H\otimes{A}(A \#H \#H*)\otimes{A\# H}M$?,