典型的代数系统.ppt

用定义证明?H,*?是群?G,*?的子群，要验证三个条件。下面的定理说明，在有限群中，只需验证一个条件也能证明?H,*?是群?G,*?的子群。 * 奇置换与偶置换 注意： 轮换分解中的轮换是可以交换的，且分解式是唯一的 对换分解中的对换不能交换，分解式也不是唯一的， 是分解式含有对换个数的奇偶性不变. 如果一个n元置换在它的对换表示式含有偶数个对换， 称为偶置换，否则称为奇置换. 使用一一对应的思想可以知道奇置换和偶置换的个数都是 n!/2. * n元置换的乘法与求逆 两个 n 元置换的乘法就是函数的复合运算 n 元置换的求逆就是求反函数. 例14 设 使用轮换表示是： ?? = (1 5 4) (2 3) (1 4 2 3) = (1 5 2) ?? = ( 1 4 2 3) (1 5 4) (2 3) = (3 5 4) ??1= (1 5 4)?1 (2 3)?1 = (4 5 1) (2 3) = (1 4 5) (2 3) * n元置换群及其实例 考虑所有的 n 元置换构成的集合 Sn Sn关于置换的乘法是封闭的. 置换的乘法满足结合律. 恒等 置换(1)是 Sn 中的单位元. 对于任何 n元置换σ∈Sn，逆置换 σ?1是σ 的逆元. 这就证明了Sn关于置换的乘法构成一个 群，称为 n元对称群. n元对称群的子群称为n元置换群.  例 设 S = {1, 2, 3}，3元对称群  S3 = {(1), (1 2), (1 3), (2 3), (1 2 3), (1 3 2)} * S3 的运算表 (1) (1 2) (1 3) (2 3) (1 2 3) (1 3 2) (1) (1 2) (1 3) (2 3) (1 2 3) (1 3 2) (1) (1 2) (1 3) (2 3) (1 2 3) (1 3 2) (1 2) (1) (1 2 3) (1 3 2) (1 3) (2 3) (1 3) (1 3 2) (1) (1 2 3) (2 3) (1 2) (2 3) (1 2 3) (1 3 2) (1) (1 2) (1 3) (1 2 3) (2 3) (1 2) (1 3) (1 3 2) (1) (1 3 2) (1 3) (2 3) (1 2) (1) (1 2 3) * 置换群实例 例15 设S=?1,2,3,4?，G=??0,?1,?2,?3?，其中 (1) 验证?G,°?是S上的一个置换群， (2) 找出置换群?G,°?导出的S上的二元关系R。 表 ? s0 s1 s2 s3 s0 s0 s1 s2 s3 s1 s1 s0 s3 s2 s2 s2 s3 s0 s1 s3 s3 s2 s1 s0 证明：证?G,°?是?S4, °?的子群即可。 下表是运算°在G上的运算表。从表中可看出°在G上是封闭的。根据定理，?G,??是?S4,??的子群，即?G,??是S上的一个置换群。 右表是运算°在G上的运算表。从表中可看出°在G上是封闭的。根据定理，?G,??是?S4,??的子群，即?G,??是S上的一个置换群。 表 ? s0 s1 s2 s3 s0 s0 s1 s2 s3 s1 s1 s0 s3 s2 s2 s2 s3 s0 s1 s3 s3 s2 s1 s0 置换群?G,??导出的S上的二元关系 R = ??1,1?,?2,2?,?3,3?,?4,4??∪??1,2?,?2,1?,?3,3?,?4,4?? ∪??1,1?,?2,2?,?3,4?,?4,3??∪??1,2?,?2,1?,?3,4?,?4,3?? = ??1,1?,?2,2?,?3,3?,?4,4?, ?1,2?,?2,1?,?3,4?,?4,3?? = ?1,2?×?1,2?∪?3,4