>>159
使ってない。
Mが有限A-moduleで、aをAのidealとする。
aM=Mならば、あるx\in aが存在して、(1-x)M=0
ということでしょう？
行列式トリックで一発では？