20/08/22 10:41:51.51 qg6YAvVW.net
>>551
>だから可換環だっちゅーにｗ 学習せん奴やのうｗ
>非可換環では反例が存在することをまさにいま見たばっかりだろｗ
そうそう、下記の鈴木 咲衣ちゃん
はっきり、可換の場合とうたった方が良いと思う
ここでは、可換の場合のみ扱うと宣言して
このテキストでは、イデアルは、両側イデアルを意味すると、一言いっておく
(>>389より)
URLﾘﾝｸ(www.is.c.titech.ac.jp)
代数系
鈴木 咲衣
2019 年 11 月 30 日
P30
6.2 イデアルと剰余環
定義 6.2.2 (イデアル). 環 R において，次の性質を満たす空でない部分集合 I をイデアルと呼ぶ．
(1) R の加法について，I は群になる．
(2) 任意の a ∈ I と c ∈ R について，ca ∈ I, ac ∈ I.
R 自身，および {0} は明らかにイデアルである．これらを自明なイデアルという�