sect; 8.商（剩余类）环、同态与理想.ppt

§ 8.商(剩余类)环、同态与理想 8.1 商(剩余类)环的定义 8.2 自然同态 8.3 同态映射的核 8.4 同态基本定理 8.5 同态的性质 8.1 商(剩余类)环的定义 8.2 自然同态 8.3 同态映射的核 8.4 同态基本定理 8.5 同态的性质 * 理想在环里所占地位同不变子群在群论里所占的地位类似。 (首先复习陪集及商群) 给了一个环R和R的一个理想 ，若我们只就加法来看，R作成一个群， 作成R的一个不变子群。这样 的陪集 作成R的一个分类。我们现在把这些类叫做模 的剩余类。 这个分类相当于R的元间的一个等价关系，这个等价关系是 我们现在用符号 即 来表示（读成 与 模 同余）。 一个类 包含所有可以写成 的形式的元. 两个元的剩余类相等的条件是： 我们把所有剩余类所作成的集合叫做 ，即 = 它有一个加群结构 进一步, 定义乘法: 由于 是一个理想，利用上述同余条件容易证明， 上述定义的乘法的合理性,并且 构成环(见定理1). 这个环称为