Pareigis Hopf algebra

In algebra, the Pareigis Hopf algebra is the Hopf algebra over a field k whose left comodules are essentially the same as complexes over k, in the sense that the corresponding monoidal categories are isomorphic. It was introduced by Pareigis (1981) as a natural example of a Hopf algebra that is neither commutative nor cocommutative.

Construction

As an algebra over k, the Pareigis algebra is generated by elements x,y, 1/y, with the relations xy + yx = x2 = 0. The coproduct takes x to x⊗1 + (1/y)⊗x and y to y⊗y, and the counit takes x to 0 and y to 1. The antipode takes x to xy and y to its inverse and has order 4.

Relation to complexes

If M = ⊕Mn is a complex with differential d of degree –1, then M can be made into a comodule over H by letting the coproduct take m to Σ yn⊗mn + yn+1x⊗dmn, where mn is the component of m in Mn. This gives an equivalence between the monoidal category of complexes over k with the monoidal category of comodules over the Pareigis Hopf algebra.

gollark: Wait, the UK?! I live there!
gollark: It comes with many features like:- account on the osmarks.tk RSS reader and wiki thing- you can get random bits of the SQL dumps if you want- access to some of the osmarks.tk™ media library and memeCLOUD™- priority support - maximum turnaround time of 10^36 years
gollark: You could also buy an osmarks.tk™ premium subscription and support osmarks.tk.
gollark: <@151391317740486657> I considered it for Chorus City, but it would have been pointless.
gollark: Nobody made one. That is why.

See also

References
  • Pareigis, Bodo (1981), "A noncommutative noncocommutative Hopf algebra in "nature"", J. Algebra, 70 (2): 356–374, doi:10.1016/0021-8693(81)90224-6, MR 0623814
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.