あのイデアルって具体的になんなんですか？
環の加法部分群と部分環とイデアルの包括関係ってどうなるんですか？