PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
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)

View style:

Log in to rate this entry.
(view current ratings)

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 MSC16W30 (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
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)