ここは阿呆しかいないな。
>>904
部分環とイデアルの包括関係はある。
イデアル⇒部分環は成り立たつし部分環⇒イデアルも成り立つ。