Smash products, inner actions and quotient rings

centralizers finite-dimensional separable algebras fully integral extensions Hopf algebras inner actions module algebras quotient rings X-inner automorphisms

Mathematics Subject Classification ID

Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05) Localization and associative Noetherian rings (16P50) Centralizing and normalizing extensions (16S20) Automorphisms and endomorphisms (16W20)

Review text

Let \(H\) be a Hopf algebra over a field \(k\), and \(A\) an \(H\)-module algebra over \(k\). Let \(A^ H=\{a\in A\mid h\cdot a=\varepsilon(h)a\), all \(h\in H\}\). This paper is mainly concerned with inner actions. We prove the existence of a ``symmetric quotient ring \(Q\) of \(A\) which is also an \(H\)-module algebra, and consider \(Q\)-inner actions, an analogue of X-inner automorphisms. Under certain conditions on \(A\) and \(H\) we show that \(Q\) contains \(B\), a finite- dimensional separable algebra over its center \(C\), a field. Moreover, the centralizer of \(B\) in \(Q\) is \(Q^ H\). This is used to prove that if \(A^ H\) is P.I. then so is \(A\), and that \(A\) is fully integral over \(A^ HC\) of bounded degree. We also consider connections between the \(A\), \(A^ H\) and \(A{\#}H\) module structures.

Recommendations

Cited in

(27)

This page was built for publication: Smash products, inner actions and quotient rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q802002)