なんせ直感的には筋悪な事やってるからな。
わかる範囲内では冪級数環を差が多項式になる同値類で割る。
多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
ちょっと筋悪。
筋悪だから生産的議論が出てこないとまでは言えないけど。
図書館行くまでの価値は無さそう。