|
|
|
|
comodule coalgebra
|
(Definition)
|
|
|
Let $H$ be a bialgebra. A right $H$ -comodule coalgebra is a coalgebra $A$ which is a right $H$ -comodule satisfying \begin{equation} (\Delta\otimes\id) t(a) = \sum a_{(1)(1)} \otimes a_{(2)(1)} \otimes a_{(1)(2)}a_{(2)(2)}, \quad (\varepsilon\otimes\id) t(a) = \varepsilon(a) \identity_H, \end{equation}for all $h \in H$ and $a \in A$ .
There is a dual notion of a $H$ -module algebra.
Example 1
Let $H$ be a Hopf algebra. Then $H$ is itself a $H$ -comodule coalgebra for the adjoint coaction $t(h) = h_{(2)} \otimes S(h_{(1)}) h_{(3)}$ .
|
"comodule coalgebra" is owned by mhale.
|
|
(view preamble | get metadata)
Cross-references: coaction, adjoint, Hopf algebra, algebra, coalgebra, right, bialgebra
This is version 4 of comodule coalgebra, born on 2003-02-09, modified 2003-11-18.
Object id is 4007, canonical name is ComoduleCoalgebra.
Accessed 1793 times total.
Classification:
| AMS MSC: | 16W30 (Associative rings and algebras :: Rings and algebras with additional structure :: Coalgebras, bialgebras, Hopf algebras ; rings, modules, etc. on which these act) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
