ネーター環
2. ネーター環 "R" の完備化は "R" 上平坦加群である。