前回詰まっていた帰着をいじっていると, 一次変換の話になって固有ベクトルの話が出てきて困ったという話. しかもC^nじゃなくって, (Z/qZ)^nで. そのせいで, n|q-1が必要. 何だそりゃ. で, 問題はZ/qZの元を要素とするn次正方行列があったときに, その固有ベ…