离散数学 教学课件 作者 赵一鸣 阚海斌 吴永辉 dshu3n.pptVIP

* * * * * * * * * * * * * 定理13.8:[G;?]为有限半群,它是群,当且仅当运算满足消去律。 证明 若条件中去掉有限，结论是否成立? §2 变换群、置换群与循环群 例13.8:证明不等边长方形所有对称的集合, 关于其合成?构成群。 B4={e,?,?,?},[B4;?]是4元素群,称为Klein四元群。 一、变换群 变换:非空集合S到S的一个映射, 当映射是一一对应时, 称为一一变换。 SS表示S到S的所有映射全体组成的集合, SS={f|f:S?S}， [SS;?]是半群。是拟群。不是群 T(S)表示S上所有一一变换组成的集合。 T(S)={f|f?SS,且f为一一对应} [T(S);?]是群 定义13.5:设G?T(S),当[G;?]为群时,就称该群为变换群,其中?为一一变换的合成(复合)运算,并称为变换的乘法。 定理13.9:[T(S);?]是一个变换群。 变换群不一定是交换群 二、置换群 定义13.6:设S??,|S|+?,S上的一个一一变换称为置换。S上的某些置换关于乘法运算构成群时, 就称为置换群。 若|S|=n,设S={1,2,?,n},其置换全体组成的集合表示为Sn; [Sn;?]是一个置换群, n次对称群。 S上的置换??Sn,习惯上写成 这里?(i)即为i在函数?下的象，这里1,2, ?,n次序无关，即 n次对称群Sn