理想和商（代数）.pdfVIP

§15理想和商

目录

§15理想与商环

§15.1理想

§15.2理想与商环的例子

§15.3理想的几何解释

§15理想与商环

§15.1理想

你可能会这样想：如果⊂R是一个“正常”的子环，那么R/将是某个环。这是对群的盲目类比。然

而，这个类比是错误的。

定义15.1设R是一个交换环。一个子集I⊂R被称为一个理想(ideal)，如果

I

(1)在加法下是一个子群，并且

(2)x∈I蕴含rx∈I对于所有r∈R。

x,y∈Ixy∈II

注注意(2)表明如果，那么。所以看起来像是一个关于成为子对象的闭合条件。但是不

RII

一定包含的乘法单位元，因此绝对不是一个子环。从启发性的角度看，(2)实际上是说通过乘法将

R