show/hide this revision's text 3 deleted 45 characters in body

There

As Torsten Ekedahl observers, this is a modification to fact about finite dimensional algebras, and doesn't concern the statement coproduct on $H$ at all. And as you asked abouthave noted, it's not true as stated for non-semisimple algebras.

However, there is a natural modification, which is true for all finite dimensional Hopf algebras . $A$. Let $X_1,\ldots, X_k$ denote the isomorphism classes of simple objects , of $Rep(A)$, and let $P_1,\ldots P_k$ denote their projective covers. Then we have:

$dim(H) dim(A) = \sum_k (dim X_k) (dim P_k)$.

Of course if $H$ is semi-simple then this recovers the well-known result you mentioned, since $P_k=X_k$ then.

See, for instance, Section 1.47 in the comprehensive lecture notes:

http://www-math.mit.edu/~etingof/tenscat1.pdf

where this is discussed in the context of finite tensor categories (which includes the Hopf algebra example you mentioned). Along the lines of Torsten Ekedahl's comment, this surely depends only on $H$ being an algebra (there is no mention of tensor product...), yet I don't know a reference for that offhand.

http://ocw.mit.edu/courses/mathematics/18-712-introduction-to-representation-theory-fall-2010/lecture-notes/MIT18_712F10_ch7.pdf
show/hide this revision's text 2 added 189 characters in body; edited body

There is a modification to the statement you asked about, which is true for all finite dimensional Hopf algebras. Let $X_1,\ldots, X_k$ denote the isomorphism classes of simple objects, and let $P_1,\ldots P_k$ denote their projective covers. Then we have:

$dim(H) = \sum_i sum_k (dim X_k) (dim P_k)$.

Of course if $H$ is semi-simple then this recovers the well-known result you mentioned, since $P_k=X_k$ then.

See, for instance, Section 1.47 in the comprehensive lecture notes:

http://www-math.mit.edu/~etingof/tenscat1.pdf

where this is discussed in the context of finite tensor categories (which includes the Hopf algebra example you mentioned). Along the lines of Torsten Ekedahl's comment, this surely depends only on $H$ being an algebra (there is no mention of tensor product...), yet I don't know a reference for that offhand.

show/hide this revision's text 1

There is a modification to the statement you asked about, which is true for all finite dimensional Hopf algebras. Let $X_1,\ldots, X_k$ denote the isomorphism classes of simple objects, and let $P_1,\ldots P_k$ denote their projective covers. Then we have:

$dim(H) = \sum_i (dim X_k) (dim P_k)$.

Of course if $H$ is semi-simple then this recovers the well-known result you mentioned, since $P_k=X_k$ then.

See, for instance, Section 1.47 in the comprehensive lecture notes:

http://www-math.mit.edu/~etingof/tenscat1.pdf

where this is discussed in the context of finite tensor categories (which includes the Hopf algebra example you mentioned).