Semisimple extensions and elements of trace 1
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\).
- A Hopf Algebra Freeness Theorem
- Crossed products and Galois extensions of Hopf algebras
- Crossed Products and Inner Actions of Hopf Algebras
- Galoiserweiterungen von night-kommutativen ringen
- Hopf algebra actions
- Hopf algebra constructions and representation theory
- Hopf extensions of algebras and Maschke type theorems
- Hopf Galois extensions, smash products, and Morita equivalence
- Hopf-Galois extensions of algebras, the Miyashita-Ulbrich action, and Azumaya algebras
- scientific article; zbMATH DE number 3920699 (Why is no real title available?)
- scientific article; zbMATH DE number 3687544 (Why is no real title available?)
- scientific article; zbMATH DE number 3704768 (Why is no real title available?)
- scientific article; zbMATH DE number 3747352 (Why is no real title available?)
- scientific article; zbMATH DE number 3463819 (Why is no real title available?)
- scientific article; zbMATH DE number 3309240 (Why is no real title available?)
- It's essentially Maschke's theorem
- Minimal quasitriangular Hopf algebras
- On semisimple extensions and separable extensions over non commutative rings
- Skew group algebras in the representation theory of Artin algebras
- When Hopf algebras are Frobenius algebras
- Separable functors for the category of Doi-Hopf modules, applications
- Semiinvariants for Hopf algebra actions
- A Maschke type theorem for Doi-Hopf modules and applications
- Galois extensions for co-Frobenius Hopf algebras
- Morita theory for corings and cleft entwining structures.
- Hochschild cohomology on Hopf Galois extensions
- Inductions and coinductions for Hopf extensions
- Induction functors and stable Clifford theory for Hopf modules
- On weak crossed products of weak Hopf algebras.
- Subrings of invariants for actions of finite-dimensional Hopf algebras
- Frobenius cowreaths and Morita contexts
- On Frobenius and separable Galois cowreaths
- On Hopf Galois extension of separable algebras
- Morita, Galois, and the trace map: a survey
- Cosemisimple coextensions and homological dimension of smash coproducts.
- Galois theory for comatrix corings: Descent theory, Morita theory, Frobenius and separability properties
- A Hopf algebra having a separable Galois extension is finite dimensional
- The semisimplicity of smash products of quantum commutative algebras
- A co-Frobenius Hopf algebra with a separable Galois extension is finite
- Separable extensions for crossed products over monoidal Hom-Hopf algebras
- scientific article; zbMATH DE number 2156378 (Why is no real title available?)
- Integrals in Hopf Algebras over Rings
- Crossed coproducts and cleft coextensions
- Morita Contexts, π-Galois Extensions for Hopf π-Coalgebras
- Braided module and comodule algebras, Galois extensions and elements of trace 1.
This page was built for publication: Semisimple extensions and elements of trace 1
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194045)
