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.Comment: 12 pages. V2 is an extended version of v1: Sections 2.3 and 3 are
new; title has been changed and references added. V3: a few typos correcte
