离散数学第151156陈瑜.pptx

第15章： 半群与群15.1 半群计算机学院/226群是一种特殊的代数系统，是最重要的代数系统之一。群的理论广泛应用于数学、物理、化学以及很多人们不太熟悉的领域如社会学等。对计算机科学而言，群在自动化理论、形式语言、语法分析、编码理论等方面都有直接应用，并显示出其强大功能。上一章中已经给出了半群的定义，它要求运算是可结合的。许多常见的代数系统都是半群，甚至是含幺半群。下面是一些典型的半群例子。 计算机学院/226群是一种特殊的代数系统，是最重要的代数系统之一。群的理论广泛应用于数学、物理、化学以及很多人们不太熟悉的领域如社会学等。对计算机科学而言，群在自动化理论、形式语言、语法分析、编码理论等方面都有直接应用，并显示出其强大功能。上一章中已经给出了半群的定义，它要求运算是可结合的。许多常见的代数系统都是半群，甚至是含幺半群。下面是一些典型的半群例子。 计算机学院/226例： R,+满足封闭、可结合、有幺元0的条件，因而是含幺半群。另外，它还满足可换性，每个元x∈R都有加法逆元-x，因此， R,+也是一个可换群。 R,×满足封闭、可结合、有幺元1，因此是含幺半群。注意，因为0无乘法逆元，所以R,×只能是含幺半群。 计算机学院/226例 设Mm,n表示全休m行n列矩阵构成的集合，+是矩阵加法，那么 Mm,n，+满足封闭、可结合的条件，元素全为0的m行n列矩阵是幺元，因此 Mm,n，+是