离散数学教程-王元元-第12章 群、环、域.pptVIP

离散数学 第12章 群、环、域 第12章 代数结构通论 12.1.1 半群及独异点 定义12.1 如果代数结构S,?中的运算 ? 满足结合律，则称S,? 为半群。当半群S,?含有关于 ? 运算的幺元时，则称 它为独异点，或含幺半群。 例12.1 I+,＋，N,·， ??,并置都是半群，后两个又是独异点。 SS,? 为一半群和独异点，这里SS为S上所有一元函数的集合， ?为函数的合成运算，其幺元是S上的恒等函数IS。 12.1.1 半群及独异点 定理12.1 设S,?为一半群，那么 （1）S,?的任一子代数都是半群，称为S,?的子半群。 （2）若独异点S,?,e的子代数含有幺元e，那么它必为一独异点， 称为S,?,e的子独异点。 定理12.2 设S,?、S’,?’是半群，h为S到S’的同态，这时称h为 半群同态。对半群同态有 （1）同态象h(S),?’为一半群。 （2）当S,?为独异点时，则h(S),?’为一独异点。 12.1.1 半群及独异点 定理12.3 设S,?为一半群,那么 (1) 存在S,?到SS,? 的半群同态h。 (2) S,?在含有幺元时同构于h(S),?, 后者是SS,? 的一个子代数。 证 证(1