> 86
単位元の扱いって具体的にどんな事ですか?

>87
部分環になりますね。だから部分環と仮定してもいいのですね。