# Tagged Questions

91 views

### integrals in Hopf algebras

Let $H$ be a Hopf algebra and $g$ be a group-like element in $H^{*}$. Define $L_{g}=\{x\in H\mid hx=g(h)x,~\forall h\in H\}$. If $H$ is not semisimple, when can we find a group-like element $g$ in ...
143 views

### Is it possible to define Hopf algebra as an object in the category of (associative) algebras?

I think this must be well-known, but I can't find references, so my apologies from the very beginning. Consider first the notion of bialgebra. It is usually defined as an object $B$ in the category ...
185 views

### How to compute the abelianization of the representation theory of a Hopf algebra?

I will ask two versions of my question, which probably aren't precisely the same, and I am also interested in hearing about nuances between the two. Version 1: Let $(C,\otimes)$ be any monoidal ...
167 views

### universal enveloping algebras and commutator subalgebras

Let $A$ and $B$ are Lie subalgebras of a Lie algebra $L$. $U(A)$, $U(B)$ and $U(L)$ are the universal enveloping algebras of $A$, $B$ and $L$, respectively. Let $[A, B]$ be the Lie subalgebras ...
73 views

### Degree of a commutator in a hyperalgebra or enveloping algebra

Consider a semisimple algebraic group $G$ over an algebraically closed field of arbitrary characteristic and let $\bar U(G)$ denote its hyperalgebra (ie, the restricted Hopf dual of the coordinate ...
102 views

### $H$-Hopf modules equal the tensor products of their coinvariants with H

In a comment for this old question, it was said that > There is a theorem that Hopf modules are (up to isomorphism) the tensor products of their coinvariants with H. (This theorem is usually worded ...
239 views

### Category of Hopf algebras.

Can you tell me, where I can find a proof of the following fact: Let $R$ be a commutative ring. Consider the category of commutative Hopf algebras over $R$. Then this category is equivalent to the ...
180 views

### Dimension formula for Cartan-type abelian.group Nichols algebra?

Existence of a root system has been established for Nichols algebras $B(V)$ of a Yetter-Drinfel'd-module $V$ (resp. braided vectorspaces $V$) over abelian groups (resp. with diagonal braiding ...
176 views

### Liftings of Nichols algebras over racks via Doi twist

As a more nontrivial example for my Dissertation thesis, I'd require some example of the following type (of course I'll "cite" ;-) ), so thanx in advance: Andruskiewitsch/Grana have by a new ...
364 views

### A quantum Grothendieck group?

Question 1: Given a co-commutative bialgebra, does there exist a sort of Grothendick group type construction? Presumably this should take the form of a functor from co-commutative bialgebras to hopf ...
113 views

### Hopf Comodule Decompositions and Coinvariant Elements

For $H$ an Hopf algebra, and $V$ a right $H$-comodule with coaction $\Delta_R$, for which there exists a vector space decomposition $V=V_+ \oplus V_-$. Are the following two statements equivalent? ...
825 views

### How to recognize a Hopf algebra?

Suppose we are handed an algebra $A$ over a field $k$. What should we look at if we want to determine whether $A$ can or cannot be equipped with structure maps to make it a Hopf algebra? I guess in ...
817 views

### Lagrange's theorem for Hopf algebras

Under what conditions is a Hopf algebra free over any of its sub-Hopf algebras? I am reading "Hopf algebras and their actions on rings" by Susan Montgomery, specifically chapter 3. Lagrange's theorem ...
139 views

Let $C$ be a connected filtered coalgebra over a field $k$. Maybe $k$ has characteristic $0$ (though I don't know where this can be of use). Let $1$ denote the unique element of $C_0$ mapping to $1\in ... 0answers 495 views ### Given an algebra, can it be realized as a block of a Hopf algebra? During a classification problem I came across a set of algebras given as the path algebra of a quiver with relations. As an example the local ones:$k\langle x,y\rangle/x^2,y^2, xy-qyx$, where$q\in ...
Let $H$ be a Hopf algebra over a field $k$ and $V$ a finite dimensional left $H$-module. Then $End_{k}(V)$ is a right $H$-module via $(f\cdot h)(v)=S(h_{1})f(h_{2}\cdot v)$. We set ...