设H是域k上的有限维Hopf代数,A是左H-模代数,AH是A的H-不变子环.假定A/AH是半单扩张且A是平坦的右AH-模.如果H*是unimodular,且存......