Faithful flatness of Hopf algebras (Q1340006): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jabr.1994.1332 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1969903778 / rank | |||
Normal rank |
Latest revision as of 18:43, 21 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Faithful flatness of Hopf algebras |
scientific article |
Statements
Faithful flatness of Hopf algebras (English)
0 references
11 September 1995
0 references
The aim of this paper is to study the flatness and faithful flatness of Hopf algebras over right coideal subalgebras. Let \(A\) be a Hopf algebra with bijective antipode and \(B\) a right coideal subalgebra of \(A\). Then \(A\) is faithfully flat as a left \(B\)-module if and only if \(A\) is flat as a left \(B\)-module and \(B\) is a simple object in the category \(M^ A_ B\), and also if and only if \(A\) is a projective generator as a left \(B\)- module. The authors prove that a commutative Hopf algebra is a flat module over every right coideal subalgebra. Hence a commutative Hopf algebra \(A\) is faithfully flat as a \(B\)-module if and only if \(B\) is a simple object in \(M^ A_ B\) where \(B\) is a right coideal subalgebra of \(A\). Note that a Hopf subalgebra is necessarily a right coideal subalgebra. Applying the results in this paper, an important theorem of \textit{M. Takeuchi} [Manuscr. Math. 7, 251-270 (1972; Zbl 0238.16011)] is proved easily: a commutative Hopf algebra is a faithfully flat module, or more strongly a projective generator over every Hopf subalgebra.
0 references
faithful flatness of Hopf algebras
0 references
right coideal subalgebras
0 references
bijective antipode
0 references
projective generators
0 references
commutative Hopf algebras
0 references
flat modules
0 references
simple objects
0 references