math-chap6-6.离散数学_群.pptVIP

庄伯金 bjzhuang@bupt.edu.cn 庄伯金 bjzhuang@bupt.edu.cn 庄伯金 bjzhuang@bupt.edu.cn * 第六章 典型代数系统 庄伯金 bjzhuang@bupt.edu.cn * 主要内容 半群的概念与性质 群的概念与性质 环的概念与性质 域的概念 庄伯金 bjzhuang@bupt.edu.cn * 半群的概念 定义：设代数系统V=A,?，?为A上的二元运算，若?满足结合律，则称V为半群。 半群由一个集合与一个二元运算组成； 满足结合律； 若半群满足交换律，则称为可交换半群。 定义：设V=A,?为半群，若该半群中的二元运算?含有幺元e，则称V为含幺半群或幺群或独异点。记作A,?,e 若含幺半群满足交换律，则称为交换幺群。 庄伯金 bjzhuang@bupt.edu.cn * 循环幺群 定义： A,?,e为幺群，若存在一个元素g∈A，使得对任意的a∈A，都有a=gn成立，则称A,?,e为循环幺群，并且称g是A的一个生成元。 定理：循环幺群是可交换幺群。 庄伯金 bjzhuang@bupt.edu.cn * 子半群与子幺群 定义：设A,?为半群，B?A，运算?在B中封闭，则称B,?为A,?的子半群。 定义：设A,?,e为幺群， B?A，运算?在B中封闭，且e∈B，则称B,?为A,?的子幺群。 定理：设f为代数系统A,*到B,?的满同