どうして環の剰余は部分環ではなくイデアルで取るんですか?
群の剰余は部分群で取ってると思うんですが。。。