素理想环.doc

正式定义[编辑] 环R的理想P是素理想，当且仅当它是一个真理想（也就是说，P ≠ R），且对于R的任何两个理想A和B使得AB ? P，都有A ? P或B? P。 交换环的素理想[编辑] 素理想对交换环有一个较简单的描述：如果R是一个交换环，那么R的理想P是素理想，如果它具有以下两个性质： 只要a，b是R的两个元素，使得它们的乘积ab位于P内，那么要么a位于P内，要么b位于P内。 P不等于整个环R。 这推广了素数的以下性质：如果p是一个素数，且p能整除两个整数的乘积ab，那么p要么能整除a，要么能整除b。因此，我们可以说： 正整数n是素数，当且仅当理想nZ是Z的素理想。 例子[编辑] 如果R表示复系数二元多项式环C[X, Y]，那么由多项式Y2 ? X3 ? X ? 1生成的理想是素理想（参见椭圆曲线）。 在整系数多项式环Z[X]中，由2和X生成的理想是素理想。它由所有系数项为偶数的多项式组成。 在任何环R中，极大理想是一个理想M，它是R的所有真理想的集合中的极大元，也就是说，M包含在R的正好两个理想内，即M本身和整个环R。每一个极大理想实际上是素理想；在主理想整环中，每一个非零的素理想都是极大的，但这一般不成立。 如果M是光滑流形，R是M上的光滑函数环，而x是M中的一个点，那么所有满足f(x) = 0的光滑函数f形成了R内的一个素理想（甚至是极大理想）。 性质[编辑] 交换环R中的理想I是素理想，当且仅当商环R/I是整环。 环R的理想I是素理想，当且仅当R \ I在乘法运算下封闭。 每一个非零的交换环都含有至少一个素理想（实际上它含有至少一个极大理想），这是克鲁尔定理的一个直接结果。 一个交换环是整环，当且仅当{0}是一个素理想。 一个交换环是域，当且仅当{0}是唯一的素理想，或等价地，当且仅当{0}是一个极大理想。 一个素理想在环同态下的原像是素理想。 两个素理想的和不一定是素理想。例如，考虑环，它的素理想为P = (x2 + y2 - 1)和Q = (x)（分别由x2 + y2 - 1和x生成）。然而，它们的和P + Q = (x2 + y2 - 1 , x) = (y2 - 1 , x)不是素理想。注意商环具有零因子意味着不是整环，因此P + Q不能是素理想。 非交换环的素理想[编辑] 如果R是非交换环，那么R的理想P是素理想，如果它具有以下两个性质： 只要a，b是R的两个元素，使得对于R的所有元素r，它们的乘积arb都位于P内，那么要么a位于P内，要么b位于P内。 P不等于整个环R。 对于交换环，这个定义等价于前面所述的定义。对于非交换环，这两个定义是不同的。使ab位于P内意味着a或b位于P内的理想称为完全素理想。完全素理想是素理想，但反过来不成立。例如，n × n矩阵环中的零理想是素理想，但不是完全素理想。 例子[编辑] 任何极大理想都是素理想。 任何本原理想都是素理想。 任何素环的零理想都是素理想。 参考文献[编辑] David S. Dummit and Richard M. Foote. Abstract Algebra 第三版. John Wiley Sons, Inc. 2004年: 第255–256页. 环的定义类似于可交换群，只不过在原来“+”的基础上又增添另一种运算“·”（注意我们这里所说的 + 与 · 一般不是通常意义下我们所熟知的加法和乘法）。在抽象代数中，研究环的分支为环论。 目录 [隐藏] 1 定义 1.1 基本性质 2 环的相关概念 2.1 特殊的环 3 例子 4 环的理想 4.1 示例 4.2 基本性质 4.3 相关概念 5 有关环的其它概念 定义[编辑] 集合R和定义于其上的二元运算 + 和·，(R, +, ·)构成一个环，若它们满足： (R, +)形成一个交换群，其单位元称为零元素，记作‘0’。即： (R, +)是封闭的 (a + b) = (b + a) (a + b) + c = a + (b + c) 0 + a = a + 0 = a ?a ?(?a) 满足 a + ?a = ?a + a = 0 (R, ·)形成一个半群，即： (a·b)·c = a·(b·c) (R, ·)是封闭的 乘法关于加法满足分配律： a·(b + c) = (a·b) + (a·c) (a + b)·c = (a·c) + (b·c) 其中，乘法运算符·常被省略，所以 a·b 可简写为 ab。 此外，乘法是比加法优先的运算，所以 a + bc 其实是 a + (b·c)。 基本性质[编辑] 考虑一个环R，根据环的定义，易知R有以下性质： ?a∈R，a·0 = 0·a = 0；（这也是为什么0作为加法群的单位元，却被称为“零元素”） ?a，b∈R，(-a)·b = a·(-b) = -(a·b