>>643
成分の条件ない?
CならUが群なこと、Uの中に固有値1を持たない元があることからすぐ出る
正標数だと半単純元以外もあり得るから面倒なような