まずはSerreの有限群の線型表現じゃね?