フィッティングの補題
M が長さ n が有限の加群で f が M の自己準同型であるならば