( | 1 |
2 |
3 |
6 |
7 |
4 |
5 |
8 |
9 |
10 |
) |
Permutação é ímpar. |
2 | 3 |
1 |
7 |
6 |
5 |
8 |
4 |
9 |
10 |
( |
2 |
4 |
6 |
1 |
3 |
5 |
7 |
8 |
9 |
) |
Permutação é par. |
4 |
6 |
2 |
3 |
5 |
1 |
8 |
9 |
7 |
( |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
) |
Permutação é par. |
4 |
6 |
2 |
7 |
5 |
3 |
1 |
Seja β = (a b) e θ =
τ▪β
Logo:
θ (τ(a)) = τ▪ β(τ(a))
= τ β τ-1 τ(a) = τ β(a) = τ(b).
e
θ (τ(b)) = τ▪ β(τ(b))
= τ β τ-1 τ(b) = τ β(b) = τ(a).
Para x ≠ τ(a) e x ≠
τ(b) ou a ≠ τ-1(x) e b ≠ τ-1(x):
β(τ-1(x)) =
τ-1(x) pelas definições de β e τ-1(x).
Logo τ βτ-1(x)
= x.
Portanto:
τ(a b) τ-1
= (τ(a) τ(b)).
© 2004 João Meidanis