15.12.2012 Views

Why Read This Book? - Index of

Why Read This Book? - Index of

Why Read This Book? - Index of

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Thus<br />

f 2 = f ◦ f = (132)(56) ◦ (132)(56) = (123)<br />

f 3 = f 2 ◦ f = (123) ◦ (132)(56) = (56)<br />

f 4 = f 3 ◦ f = (56) ◦ (132)(56) = (132)<br />

f 5 = f 4 ◦ f = (132) ◦ (132)(56) = (123)(56)<br />

f 6 = f 5 ◦ f = (123)(56) ◦ (132)(56) = (1)<br />

8.4 Permutation Groups 271<br />

(f ) ={(1), f, f 2 ,f 3 ,f 4 ,f 5 }<br />

={(1), (132)(56), (123), (56), (132), (123)(56)}<br />

EXERCISE 8.4.5 In S6, determine the subgroup generated by (125)(346).<br />

(8.55)<br />

(8.56)<br />

EXERCISE 8.4.6 For g = (12) and h = (34) in S4, determine ({g, h}), the<br />

subgroup <strong>of</strong> S4 generated by g and h.<br />

EXERCISE 8.4.7 In S4, let f = (123) and g = (14). Determine whether g<br />

generates the same left and right cosets <strong>of</strong> the subgroup generated by f .<br />

8.4.3 The Alternating Group<br />

Now let’s look at an important subgroup <strong>of</strong> Sn. A permutation <strong>of</strong> the form (ij) is<br />

called a transposition because all it does is switch the positions <strong>of</strong> two elements.<br />

Notice (ij) −1 = (ij) and (ij) = (ji). Ifi = 1 (or j = 1, it doesn’t matter), then (ij)<br />

becomes (1j). If neither i nor j is 1, then<br />

(ij) = (1i)(1j)(1i) (8.57)<br />

By Eq. (8.57), every transposition that does not involve 1 can be written as a<br />

product <strong>of</strong> three transpositions, each <strong>of</strong> which involves 1. So if you’re playing<br />

some game where objects are lined up in positions 1,...,nand you want to swap<br />

the positions <strong>of</strong> the objects in positions i and j, it is possible to do it even if you<br />

restrict yourself to swapping an object’s position only with the object in position 1.<br />

It just takes three moves instead <strong>of</strong> one. But notice that both (ij) and its equivalent<br />

in (8.57) use an odd number <strong>of</strong> transpositions.<br />

Even though (ijk) is not a transposition, it can be written as a composition <strong>of</strong><br />

two transpositions. One way to do it is<br />

(ijk) = (ik)(ij) (8.58)<br />

If none <strong>of</strong> {i, j, k} is 1, what does (8.58) become if we require that all transpositions<br />

involve 1, as in (8.57)? Taking a hint from Eq. (8.57) and applying it to both (ik)<br />

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!