几个典型的代数系统离散数学.pptVIP

又如，?也是{1, 2, …, 6}上的置换，且 则有?=(1 4 3 2 5)。 根据这种表法，{1, 2, 3}上的置换 可记为： ?1=(1), ?2=(1 2), ?3=(1 3), ?4=(2 3), ?5=(1 2 3), ?6=(1 3 2) * * 第二十九页，共61页 设S={1, 2, …, n}，S上的n!个置换构成集合Sn，其中恒等置换IS=(1)?Sn，在Sn上规定二元运算?，对任意n元置换?, ??Sn，?表示?与?的复合。 证明Sn关于置换的复合构成一个群。 证明：(1) 设??, ??Sn，?与?的复合???显然也是S上的n元置换，即??? ?Sn，∴ Sn对?运算是封闭的。 (2) ??, ?, ??Sn，显然(???)??=??(???)，∴Sn对?运算是可结合的。 (3) ??, ??Sn，有??IS = IS?? =?，则恒等置换IS 是Sn中的幺元，且?的逆置换 就是?的逆元。 ∴ Sn关于置换的复合?构成一个群。 S上的n元对称群 * * 第三十页，共61页 n元对称群的任何子代数称为n元置换群。 如：S3={(1), (1 2), (1 3), (2 3), (1