Note on Miyashita-Ulbrich action and \(H\)-separable extension (Q5957962): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.14492/hokmj/1350912801 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2165025213 / rank | |||
Normal rank |
Latest revision as of 21:38, 19 March 2024
scientific article; zbMATH DE number 1719290
Language | Label | Description | Also known as |
---|---|---|---|
English | Note on Miyashita-Ulbrich action and \(H\)-separable extension |
scientific article; zbMATH DE number 1719290 |
Statements
Note on Miyashita-Ulbrich action and \(H\)-separable extension (English)
0 references
14 August 2002
0 references
Consider algebras over a given commutative ring \(R\), and let \(A\) be a Hopf algebra which is a finitely generated and projective module over \(R\). Suppose \(B\) is an \(A\)-Galois extension of a subalgebra \(C\) and there is a homomorphism \(\alpha\) of \(B\) into an algebra \(E\). Then \(E\) is a bimodule over \(B\), a bimodule over \(C\) by restriction of \(\alpha\), and the opposite \(\Omega^{\text{op}}\) of the ring \(\Omega\) of endomorphisms of the right \(C\)-module \(E\) is a left \(A\)-module algebra. Right multiplication by an element of the centralizer \(V\) of \(\alpha(C)\) in \(E\) is an endomorphism of the right \(C\)-module \(E\); and thus \(V\) can be identified with a subring of \(\Omega^{\text{op}}\) which is a left \(A\)-module subalgebra, and the action of \(A\) on \(V\) is the Miyashita-Ulbrich action. On the other hand, let \(E\) be a ring extension of an algebra \(C\) such that the right \(C\)-module \(E\) is a progenerator. If \(E\) is an Azumaya algebra; then the ring \(\Omega\) of endomorphisms of the right \(C\)-module \(E\) is isomorphic to \(E\otimes V^{\text{op}}\) where \(V\) is the centralizer of \(C\) in \(E\), and \textit{Y. Doi} and \textit{M. Takeuchi} [J. Algebra 121, No. 2, 488-516 (1989; Zbl 0675.16004)] used Morita duality to show that any action of \(A\) on \(V\) by which \(V\) becomes a left \(A\)-module algebra arises from an \(A\)-Galois extension of \(C\). In this paper, the author shows that \(\Omega\) is isomorphic to \(E\otimes_ZV^{\text{op}}\), where \(Z\) is the center of \(E\), whenever \(E\) is an \(H\)-separable extension of \(C\) and uses the same methods of Morita duality to obtain a very satisfactory generalization of the results of Doi and Takeuchi.
0 references
Hopf-Galois extensions
0 references
Hopf algebras
0 references
endomorphisms
0 references
Miyashita-Ulbrich actions
0 references
progenerators
0 references
Azumaya algebras
0 references
Morita dualities
0 references
\(H\)-separable extensions
0 references