Examples of polynomial identities distinguishing the Galois objects over finite-dimensional Hopf algebras

We define polynomial H-identities for comodule algebras over a Hopf algebra H and establish general properties for the corresponding T-ideals. In the case H is a Taft algebra or the Hopf algebra E(n), we exhibit a finite set of polynomial H-identities which distinguish the Galois objects over H up to isomorphism.