2016-02-15 イデアル 環 イデアル (環論) - Wikipedia 環Rの部分集合Iがイデアルとはr∈R i∈Iri = i'となるi'∈Iがある。ここでは左イデアルで説明した。両側イデアルを単にイデアルと呼ぶ。 環が0と自身以外にイデアルを持たないとき、つまり自明なイデアルしか持たない時、その環を体と呼ぶ。環が0と自身以外に両側イデアルを持たないとき、その環を単純環と呼ぶ。(左イデアルとかはあってよし)