董旭初《离散数学二教学》名词解释2.docVIP

1．运算（教材定义6.1.1） 设S是一个非空集合，称S×S到S的一个映射f为S的一个二元代数运算，即：对于S中任意两个元素a、b，通过f，唯一确定S中一个元素c：f（a，b）= c，常记为a * b = c。 类似地，可定义S的n元代数运算： Sn到S的映射。 （注：运算具有很强的抽象性，不限于+、-、*、/，意义很广泛。） 2．代数系统（教材定义6.1.8） 设S是一个非空集合，f1、……、fm是S 上的若干代数运算，把S及其运算f1、……、fm看成一个整体来看，叫做一个代数系统，记为（S，f1，……，fm）。 3．半群（教材定义6.2.1） 设G是一个非空集合，若·为G上的二元代数运算，且满足结合律，则称该代数系统（G，·）为半群。 4．群、单位元、逆元（教材定义6.2.2） 设（G，·）为半群，如果满足下面条件： (1) G中有一个元素1，适合对于G中任意元素a，都有1·a = a·1 = a; (2) 对于G中任意a，都可找到G中一个元素a-1，满足a·a-1 = a-1·a = 1， 则称（G，·）为群。元素1称为G的单位元素，a-1称为a的逆元素。如果群G包含的元素个数有限，则称G为有限群，否则称G为无限群。 5．交换群（教材定义6.2.3） 若群（G，·）的运算·适合交换律，则称（G，·）为Abel群或交换群。 6．置换（教材定义6.2.4） 设M是一个非空的