Dimension of a Hopf algebra == sum of squares of its simple modules? - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2013-06-19T21:52:54Z http://mathoverflow.net/feeds/question/74499 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74499/dimension-of-a-hopf-algebra-sum-of-squares-of-its-simple-modules Dimension of a Hopf algebra == sum of squares of its simple modules? X--- 2011-09-04T06:32:00Z 2011-09-04T13:51:55Z <p>when I read an article,I find it seems there is a conclusion like the followings.</p> <p>$H$ is an Hopf algebra(or an abstract group). Then $dimH=\sum_{V:simple ~module ~of ~H}(dimV)^2$.</p> <p>who can tell me where I can find this content?Thank you very much.</p> <p>oh...It seems $H$ need to be semisimple!</p> <p>Oh...I think I already understand this.~When $H$ is a semisimple algebra.The above conclusion is right.For any Hopf algebra,maybe it's wrong. So please vote to close.Thanks everyone!</p> http://mathoverflow.net/questions/74499/dimension-of-a-hopf-algebra-sum-of-squares-of-its-simple-modules/74507#74507 Answer by Ralph for Dimension of a Hopf algebra == sum of squares of its simple modules? Ralph 2011-09-04T10:19:24Z 2011-09-04T10:19:24Z <p>In general, the statement is false: Let $G$ be a non-trivial $p$-group and $k$ a field of characteristic $p$. Then the group ring $kG$ is a Hopf algebra of dimension $|G| > 1$, while the only simple $kG$-module is $k$ with trivial $G$-operation (see: Benson: Representations and Cohomology I, Lemma 3.14.1). </p> http://mathoverflow.net/questions/74499/dimension-of-a-hopf-algebra-sum-of-squares-of-its-simple-modules/74515#74515 Answer by David Jordan for Dimension of a Hopf algebra == sum of squares of its simple modules? David Jordan 2011-09-04T13:34:49Z 2011-09-04T13:51:55Z <p>As Torsten Ekedahl observers, this is a fact about finite dimensional algebras, and doesn't concern the coproduct on $H$ at all. And as you have noted, it's not true as stated for non-semisimple algebras.</p> <p>However, there is a natural modification, which is true for all finite dimensional 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:</p> <p>$dim(A) = \sum_k (dim X_k) (dim P_k)$.</p> <p>Of course if $H$ is semi-simple then this recovers the well-known result you mentioned, since $P_k=X_k$ then.</p> <p>See, for instance, the comprehensive lecture notes:</p> <p><a href="http://ocw.mit.edu/courses/mathematics/18-712-introduction-to-representation-theory-fall-2010/lecture-notes/MIT18_712F10_ch7.pdf" rel="nofollow">http://ocw.mit.edu/courses/mathematics/18-712-introduction-to-representation-theory-fall-2010/lecture-notes/MIT18_712F10_ch7.pdf</a></p>