|
|
|
|
almost cocommutative bialgebra
|
(Definition)
|
|
|
A bialgebra $A$ is called almost cocommutative if there is an unit $\mc{R}\in A\otimes A$ such that $$\mc{R}\Delta(a)=\Delta^{op}(a)\mc{R}$$ where $\Delta^{op}$ is the opposite comultiplication (the usual comultiplication, composed with the flip map of the tensor product $A\otimes A$ ). The element $\mc{R}$ is often called the $\mc{R}$ -matrix of $A$ .
The significance of the almost cocommutative condition is that $\sigma_{V,W}=\sigma\circ\mc{R}:V\otimes W\to W\otimes V$ gives a natural isomorphism of bialgebra representations, where $V$ and $W$ are $A$ -modules, making the category of $A$ -modules into a quasi-tensor or braided monoidal category. Note that $\sigma_{W,V}\circ\sigma_{V,W}$ is not necessarily the identity (this is the braiding of the category).
|
"almost cocommutative bialgebra" is owned by bwebste.
|
|
(view preamble | get metadata)
Cross-references: identity, monoidal category, category, representations, natural isomorphism, tensor product, map, comultiplication, opposite, unit, cocommutative, bialgebra
This is version 2 of almost cocommutative bialgebra, born on 2003-03-24, modified 2003-03-24.
Object id is 4123, canonical name is AlmostCocommutativeBialgebra.
Accessed 1739 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
|
|
|
|
|
|
|
|
|
|
|