最近は可換環論では Gorenstein 環の基本的なことをゆっくり勉強していたりする. 先に小咄的なことなんだけど, があったとき, を の injective hull とする. このとき, って の完備化と同型だったりする. (証明は簡単で, の素因子が しかないから とかけて, …