Homepage Solution manuals David S. Dummit Abstract Algebra Exercise 4.3.11 (Find $\tau$ such that $\sigma_2 =\tau \sigma_1 \tau^{-1}$)

Exercise 4.3.11 (Find $\tau$ such that $\sigma_2 =\tau \sigma_1 \tau^{-1}$)

In each of (a)–(d) determine whether σ 1 and σ 2 are conjugate. If they are, give an explicit permutation τ such that τ σ 1 τ 1 = σ 2 .

(a)
σ 1 = ( 1 2 ) ( 3 4 5 ) and σ 2 = ( 1 2 3 ) ( 4 5 )
(b)
σ 1 = ( 1 5 ) ( 3 7 2 ) ( 10 6 8 11 ) and σ 2 = ( 3 7 5 10 ) ( 4 9 ) ( 13 11 2 )
(c)
σ 1 = ( 1 5 ) ( 3 7 2 ) and σ 2 = σ 1 3
(d)
σ 1 = ( 1 3 ) ( 2 4 6 ) and σ 2 = ( 3 5 ) ( 2 4 ) ( 5 6 ) .

Answers

Proof. We determine whether σ 1 and σ 2 are conjugate in the following cases:

(a)
σ 1 = ( 1 2 ) ( 3 4 5 ) and σ 2 = ( 1 2 3 ) ( 4 5 ) = ( 4 5 ) ( 1 2 3 ) .

Put τ = ( 1 2 3 4 5 4 5 1 2 3 ) = ( 1 4 2 5 3 ) . Then by Proposition 10

τ σ 1 τ 1 = ( 4 5 ) ( 1 2 3 ) = σ 2 ,

so σ 1 and σ 2 are conjugate.

(b)
σ 1 = ( 1 5 ) ( 3 7 2 ) ( 10 6 8 11 ) and σ 2 = ( 3 7 5 10 ) ( 4 9 ) ( 13 11 2 ) . Then σ 1 = ( 4 ) ( 9 ) ( 12 ) ( 13 ) ( 1 5 ) ( 3 7 2 ) ( 10 6 8 11 ) σ 2 = ( 1 ) ( 6 ) ( 8 ) ( 12 ) ( 4 9 ) ( 13 11 2 ) ( 3 7 5 10 )

Put τ = ( 1 2 3 4 5 6 7 8 9 10 11 12 13 4 2 13 1 9 7 11 5 6 3 10 8 12 ) = ( 1 4 ) ( 3 13 12 8 5 9 6 7 11 10 ) .

Then

τ σ 1 τ 1 = ( 4 9 ) ( 13 11 2 ) ( 3 7 5 10 ) = σ 2 ,

so σ 1 and σ 2 are conjugate.

(c)
σ 1 = ( 1 5 ) ( 3 7 2 ) and σ 2 = σ 1 3 .

Then σ 2 = ( 1 5 ) and σ 1 have not the same cycle type, so σ 1 and σ 2 are not conjugate.

(d)
σ 1 = ( 1 3 ) ( 2 4 6 ) and σ 2 = ( 3 5 ) ( 2 4 ) ( 5 6 ) .

Note that

σ 2 = ( 3 5 ) ( 2 4 ) ( 5 6 ) = ( 2 4 ) ( 3 5 ) ( 5 6 ) = ( 2 4 ) ( 3 5 6 )

has the same cycle type than σ 1 .

Put τ = ( 1 2 3 4 5 6 2 3 4 5 1 6 ) = ( 1 2 3 4 5 ) .

τ σ 1 τ 1 = ( 2 4 ) ( 3 5 6 ) = σ 2 ,

so σ 1 and σ 2 are conjugate.

We check (b) with Sagemath

sage: G = SymmetricGroup(13)
sage: s = G([(1,5),(3,7,2),(10, 6,8,11)]); s
(1,5)(2,3,7)(6,8,11,10)
sage: t = G([(1,4),(3,13,12,8,5,9,6,7,11,10)]); t
(1,4)(3,13,12,8,5,9,6,7,11,10)
sage: t^-1 * s * t
(2,13,11)(3,7,5,10)(4,9)

All is right.

User profile picture
2026-02-04 11:34
Comments