Kassel進捗

今日はKasselのセミナーをした. Lie algebra Uの有限次元加群がsemisimpleであることの証明が重かった. 結局V, V’がU-modの時にHom(V, V’)にU-modの構造が入ることが本質のように見えるのだが, そのように思うのはHopf代数を勉強している生だろうか.