Semisimple extensions and elements of trace 1 (Q1194045)

This paper studies Hopf algebras \(H\) which are Frobenius over a commutative ring \(k\), extending results known when \(H\) is finite dimensional and semisimple. To start with, let \([A^ H,A,A,A\# H]\) be the Morita context given in the authors' earlier paper [J. Algebra 100, 363-379 (1986; Zbl 0591.16005)]. Then it is shown here that the surjectivity of the structure map \(( , ): A\otimes_{A\# H}A\to A^ H\) is equivalent to the existence of an element \(c\in A\) of \(H\)-trace 1. Furthermore, if \(c\) can be chosen to centralize \(A^ H\), then \(A^ H\) is an \(A^ H\)-bimodule direct summand of \(A\). As a consequence, if \(A/A^ H\) is \(H^*\)-Galois, then the separability of this extension is equivalent to the existence of an element \(w\in A\# H\) of \(H^*\)-trace 1 which centralizes \(A\). This in turn is equivalent to \(A\) being an \(A\)- bimodule direct summand of \(A\# H\) and it implies that \(A/A^ H\) is a semisimple extension. Finally, the main results here are applied to the \(H\)-Galois extension \(A\#_ \sigma H \supseteq A\).