第六章代数系统..pptVIP

第六章 代数系统 第六章 代数系统 6.1代数系统的一般概念 6.2同态与同构 6.3同余关系 6.4商代数和积代数 6.5典型代数系统 6.1代数系统的一般概念 代数系统的一般概念 代数系统的一般概念 第六章 代数系统 6.1代数系统的一般概念 6.2同态与同构 6.3同余关系 6.4商代数和积代数 6.5典型代数系统 6.2同态与同构 同型关系 同态和同构 同态和同构 同态和同构 同态和同构 同态和同构 同态和同构 同态和同构 同态和同构 同态和同构 同态和同构 同态和同构 同态和同构 同态和同构 第六章 代数系统 6.1代数系统的一般概念 6.2同态与同构 6.3同余关系 6.4商代数和积代数 6.5典型代数系统 6.3同余关系 同余关系 同余关系 同余关系 同余关系 同余关系 同余关系 第六章 代数系统 6.1代数系统的一般概念 6.2同态与同构 6.3同余关系 6.4商代数和积代数 6.5典型代数系统 6.4商代数和积代数 商代数 商代数 商代数 商代数和积代数 商代数和积代数 商代数和积代数 商代数和积代数 商代数和积代数 商代数和积代数 商代数和积代数 第六章 代数系统 6.1代数系统的一般概念 6.2同态与同构 6.3同余关系 6.4商代数和积代数 6.5典型代数系统 6.5典型代数系统 典型代数系统 典型代数系统 典型代数系统 典型代数系统 典型代数系统 典型代数系统 典型代数系统 典型代数系统 典型代数系统 典型代数系统 典型代数系统 典型代数系统 一个格是分配格，当且仅当它没有子格同构于这两个五元素格之一。 典型代数系统 典型代数系统 典型代数系统 定义： 设R为代数系统 上的同余关系，代数系统 称为 关于R的商代数，其中 ，对于每个 ，与 同型的 运算定义为：对任意的 ,有 为了保证 确实是一个代数系统，必须验证每个 是良定的，即 与等价类中代表元素 的选取无关。 任取 ,则有 ，而R是 上的同余关系，所以 定义：设R是集合G上的等价关系，定义函数g: G→G/R为 ，称g为G到G/R的正规映射。 定理：设R为代数系统 上的同余关系，则正则映射 是 到商代数 的满同态，并称g为自然同态。 证：显然， 和 是同型的。任取 及 ,因为 所以，g是 到 的同态。 又因为对任意 ，总有 ，使g(x)=[x]R=[y]R，所以g是满射。 本定理说明，对于代数系统 上任何同余关系R，可以定义从 到 的自然同态；而对于代数系统 到 的任何同态f，也可以定义 上相应的同余关系。由此可见，同态与同余之间有着密切的联系。 定理： 设f为 到 的关于 的同态，Rf是 上对应于f的同余关系，g是 到 的自然同态，则存在从 到 的同构映射 ，且满足 。 证： 定义函数 如下： 对任意 ，需要证明 是良定的。任取 ，若 ，则 ，因而 ，这表明 是良定的。 对任意的 ，存在 使 ，则