Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 41706

A Hopf algebra is a vector space $H$ over a field $k$ endowed with an associative product $\times:H\otimes_k H\to H$ and a coassociative coproduct $\Delta:H\to H\otimes_k H$ which is a morphism of algebras. Unit $1:k\to H$, counit $\epsilon:H\to k$ and antipode $S:H\to H$ are also required. Such a structure exists on the group algebra $k G$ of a finite group $G$.

4 votes
2 answers
194 views

Bialgebras with rigid representation theory

Repost from math.SE since no answer after two months, but feel free to close if not appropriate: Everything is finite-dimensional over a field $k$. Let $B$ be a bialgebra with $B\text{-mod}$ its cate …
Jo Mo's user avatar
  • 338
4 votes
0 answers
106 views

Categorical interpretation of the comodulus of a Hopf algebra?

Let $H$ be a finite-dimensional Hopf algebra. Then it has a right cointegral $\lambda \in H^*$ and a left integral $c \in H$, characterized uniquely (up to scalar) by \begin{align} (\lambda \otime …
Jo Mo's user avatar
  • 338