Tr-r,must be one of the following cases: 1→(ab)(ab)=id 得证 (be)(ab)=(ac)(bc) 2 (cd)(ab)=(ab)(cd) 定义a元素，不断运用这个等式， (ac)(ab)=(ab)(bc), 将a向前“shuffle”,直到两个 相邻对换相同 (16)(35)(16)(13)(16)(13)(35)(56) 定义5为a (ca)(ab) (16)(35)(16)(13)(16)(13)(56)(36) 会不会不出现相邻的同对换？ (16)(35)(16)(13)(16)(56)(13)(36) (16)(35)(16)(13)(51)(16)(13)(36) Done! (16)(35)(16)(53)(31)(16)(13)(36)川(16)(35)(53)(16)(31)(16)(13)(36)1 2 得证 定义a元素，不断运用这个等式， 将a向前“shuffle”，直到两个 相邻对换相同 (16)(35)(16)(13)(16)(13)(35)(56) 定义5为a (ca)(ab) (16)(35)(16)(13)(16)(13)(56)(36) (16)(35)(16)(13)(16)(56)(13)(36) (16)(35)(16)(13)(51)(16)(13)(36) (16)(35)(16)(53)(31)(16)(13)(36) (16)(35)(53)(16) (31)(16)(13)(36) Done! 会不会不出现相邻的同对换？