离散数学p—代数(11.24版).pptVIP

定理 6.8-4 设h是从环〈R, +, ·〉到环〈S, ⊕, ⊙〉的环同态, 那么, (1) h诱导的R上的等价关系是环〈R , +, ·〉的同余关系。 (2) h的关于加法的核K是环〈R, +, ·〉的理想。 (3) K的加法陪集就是上述同余关系的同余类。 证  (1) 应用定理6.4-2可直接得出。 (2) 根据定理6.7-21, h的核K是〈R, +〉的正规子群。现只需证明对任意元素a∈R, 和任意元素k∈K有ak∈K和ka∈K。记〈S,⊕, ⊙〉的法么元为0S, 于是 h(ak) = h(a)⊙h(k) = h(a)⊙0S = 0S 所以, ak∈K。 类似地可证ka∈K。这样, 就证明了〈K, +, ·〉是理想。 (3) 因为〈R, +, ·〉中的理想〈K, +, ·〉就是〈R, +〉中的正规子群〈K, +〉, 后者的陪集划分就是〈K, +, ·〉的陪集划分, 引用定理6.7-21第三点, 立即得到本定理第三点。 定理 6.8-5 设h是从环〈R, +, ·〉到环〈R′, +′, ·′〉的环同态,K是同态h的核, 则〈R/K, , ⊙〉同构于〈h(R), +′, ·′〉。 根据定理6.5-2