整环 发表评论(0) 编辑词条

　　整环是抽象代数中最基本的概念之一。
　　一个环是一个集合 A 以及它上面的两种运算，分别称为“加法”（+）和“乘法”（*），满足以下条件：
　　1、A 关于加法成为一个 Abel 群（其零元素记作 0）；
　　2、乘法满足结合律：(a * b) * c = a * (b * c)；
　　3、乘法对加法满足分配律：a * (b + c) = a * b + a * c, (a + b) * c = a * c + b * c；
　　如果环 A 还满足以下乘法交换律，则称为“交换环”：
　　4、乘法交换律：a * b = b * a。
　　如果交换环 A 还满足以下两条件，就称为“整环”：
　　5、A 中存在非零的乘法单位元，即存在 A 中的一个元素，记作 1，满足：1 不等于 0，且对任意 a，有：1 * a = a * 1 = a；
　　6、ab=0 => a=0 或 b=0。
　　例：
　　1、整数环是整环。
　　2、所有的域（有理数域，实数域，复数域，等等）都是整环。
　　3、整环上的多项式环仍是整环。
　　4、当 n>1 时，任意环上的n阶矩阵环不是整环。