Combinatorics Through Guided Discovery, 2004a
Combinatorics Through Guided Discovery, 2004a
Combinatorics Through Guided Discovery, 2004a
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
6.1. Permutation Groups 107<br />
and σ(4) = 2, we write<br />
( )<br />
1 2 3 4<br />
σ =<br />
.<br />
3 1 4 2<br />
We call this notation the two row notation for permutations. In the two row<br />
notation for a permutation of {a 1 , a 2 ,...,a n }, we write the numbers a 1 through a n<br />
in a one row and we write σ(a 1 ) through σ(a n ) in a row right below, enclosing both<br />
rows in parentheses. Notice that<br />
( )<br />
1 2 3 4<br />
=<br />
3 1 4 2<br />
( )<br />
2 1 4 3<br />
,<br />
1 3 2 4<br />
although the second ordering of the columns is rarely used.<br />
If ϕ is given by<br />
( )<br />
1 2 3 4<br />
ϕ =<br />
,<br />
4 1 2 3<br />
then, by applying the definition of composition of functions, we may compute σ ◦ ϕ<br />
as shown in Figure 6.1.2.<br />
1 2 3 4<br />
( ) (<br />
4 1 2 3<br />
)<br />
= 1 2 3 4<br />
(<br />
2 3 1 4<br />
)<br />
1 2 3 4<br />
3 1 4 2<br />
Figure 6.1.2: How to multiply permutations in two-row notation.<br />
We don’t normally put the circle between two permutations in two row notation<br />
when we are composing them, and refer to the operation as multiplying the permutations,<br />
or as the product of the permutations. To see how Figure 6.1.2 illustrates<br />
composition, notice that the arrow starting at 1 in ϕ goes to 4. Then from the 4 in<br />
ϕ it goes to the 4 in σ and then to 2. This illustrates that ϕ(1) = 4 and σ(4) = 2, so<br />
that σ(ϕ(1)) = 2.<br />
( )( )<br />
1 2 3 4 5 1 2 3 4 5<br />
Problem 258. For practice, compute<br />
.<br />
3 4 1 5 2 4 3 5 1 2<br />
6.1.4 The dihedral group<br />
We found four permutations that correspond to rotations of the square. In Problem<br />
255 you found four permutations that correspond to flips of the square in<br />
space. One flip fixes the vertices in the places labeled 1 and 3 and interchanges<br />
the vertices in the places labeled 2 and 4. Let us denote it by ϕ 1|3 . One flip fixes<br />
the vertices in the positions labeled 2 and 4 and interchanges those in the positions<br />
labeled 1 and 3. Let us denote it by ϕ2|4. One flip interchanges the vertices in the<br />
places labeled 1 and 2 and also interchanges those in the places labeled 3 and 4.