成分が有限体の行列とか