Rを整域、Kをその商体
KがR加群として有限生成になるのは、R = Kの場合だけですか?