Smash products, inner actions and quotient rings (Q802002): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2140/pjm.1986.125.45 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2039090617 / rank | |||
Normal rank |
Latest revision as of 18:56, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Smash products, inner actions and quotient rings |
scientific article |
Statements
Smash products, inner actions and quotient rings (English)
0 references
1985
0 references
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.
0 references
Hopf algebras
0 references
module algebras
0 references
inner actions
0 references
quotient rings
0 references
X-inner automorphisms
0 references
finite-dimensional separable algebras
0 references
centralizers
0 references
fully integral extensions
0 references