昨日のは，$k = 0$の時は普通に一元生成な気がしてきた．

とか言っている間に三月が半分ほどなくなっている……．今日は法$p$の場合には放物型誘導が有限生成加群を有限生成加群には写すとは限らないことがわかった，気がする．