[工学]第六章 代数系统.pptVIP

2021/6/30 2021/6/30 6.4商代数和积代数 定义： 设R为代数系统 上的同余关系，代数系统 称为 关于R的商代数，其中 ，对于每个 ，与 同型的 运算定义为：对任意的 ,有 2021/6/30 商代数 为了保证 确实是一个代数系统，必须验证每个 是良定的，即 与等价类中代表元素 的选取无关。 任取 ,则有 ，而R是 上的同余关系，所以 定义：设R是集合G上的等价关系，定义函数g: G→G/R为 ，称g为G到G/R的正规映射。 2021/6/30 商代数 定理：设R为代数系统 上的同余关系，则正则映射 是 到商代数 的满同态，并称g为自然同态。 证：显然， 和 是同型的。任取 及 ,因为 所以，g是 到 的同态。 又因为对任意 ，总有 ，使g(x)=[x]R=[y]R，所以g是满射。 2021/6/30 商代数 本定理说明，对于代数系统 上任何同余关系R，可以定义从 到 的自然同态；而对于代数系统 到 的任何同态f，也可以定义 上相应的同余关系。由此可见，同态与同余之间有着密切的联系。 2021/6/30 商代数和积代数 定理： 设f为 到 的关于 的同态，Rf是 上对应于f的同余关系，g是 到 的自然同态，则存在从 到 的同构映射 ，且满足 。 证： 定义函数 如下： 对任意 ，需要证明 是良定的。任取 ，若 ，则 ，因而 ，这表明 是良定的。 对任意的 ，存在 使 ，则 。这表明 是满射。 2021/6/30 商代数和积代数 任取 ，若 ，即f(x1)=f(x2)，则 ，故 ，表明 是单射。 定义函数 如下：对任意 ，令 ，显然h是双射，任取 , 2021/6/30 商代数和积代数 综上所述， 是到 的同构映射，并且对任意 ，有 2021/6/30 商代数和积代数 推论：如果f为 到 的满同态，Rf为对应于f的同余关系，则 为 到 的同构映射。 由已知的代数系统构造新代数系统的另一种方法是将同型的代数系统通过“直接积”来构造积代数。 2021/6/30 商代数和积代数 定义：设 为同型的代数系统A1,A2,…,Am的积代数 定义为 。其中对每个