Lecture 03: Permutation Groups, Cycle Decomposition
\(Sym(X)\) equipped with the composition of functions operation is a group. To see this observe that
- \(id: X \rightarrow X, id(x) = x\) is the identity element.
- Composition of functions is associative.
- The composition of two permutations is another permutation.
- Bijections have inverses and the inverse of a bijection is another bijection.
This group is often denoted by the Permutation Group or more often the Symmetric Group.
The standard example for the case of finite sets is the standard set \(X = \{1,2,...,n\}\). The symmetric group has a special name called \(S_n\),
The size of \(S_n\) is \(|S_n| = n!\).
Two Line Notation
Let \(\rho, \psi \in S_4\), then we’ll write
shows that \(\rho(1) = 1\), \(\rho(2) = 4\), \(\rho(3) = 3\) and \(\rho(4) = 2\). Similarly,
shows that \(\psi(1) = 4\), \(\psi(2) = 2\), \(\psi(3) = 1\) and \(\psi(4) = 3\). Finally,
so \(\rho\psi(1) = 2\), \(\rho\psi(2) = 4\), \(\rho\psi(3) = 1\) and \(\rho\psi(4) = 3\).
Cycle Notation
We can decompose the cycles in each permutation above. For example for the first permutation
We can decompose this permutation into the following
In this permutation, we have a cycle of length \(2\) For the second permutation
we have a cycle of length \(3\).
To describe a cycle, we can use cycle notation which is defined as follows
So we can write the first permutation with cycle notation as \((2,4)\) only since by definition for the other elements \(\sigma(x)=x\), while the second permutation can be written as \((1,4,3)\).
What about the following example?
Note here that we have two disjoint cycles. \((1 \quad 4 \quad 3)\) where \(1\) goes to \(3\) and \(3\) goes to \(4\) and \(4\) goes back to \(1\) and \((2 \quad 5)\) where \(2\) goes to \(5\) and \(5\) goes back to \(2\). This permutation can be written as
Facts
Some facts about the cycle notation
- \((1) = (2) = ... (n) = id\). All of these represent the identity permutations.
- The order of the elements in a cycle matters up to "cyclic permutation". \((1 \quad 2 \quad 3 \quad 4) = (2 \quad 3 \quad 4 \quad 1) \neq (1 \quad 3 \quad 4 \quad 2)\)
- For the inverse of a permutation, we just reverse the order of elements so \((a_1 \quad a_2 \quad ... \quad a_k)^{-1} = (a_k \quad a_{k-1} \quad ... \quad a_1)\)
- Two cycles \(\sigma = (a_1 \quad a_2 \quad ... \quad a_k)\) and \(\tau = (b_1 \quad b_{2} \quad ... \quad b_l) \in Sym(X)\) are disjoint if \(\{a_1,a_2,...,a_k\} \cap \{b_1,b_2,...,b_l\} = \emptyset\). Moreover, if the two sets are disjoint, then \(\sigma \circ \tau = \tau \circ \sigma\). This means that the permutation above that we described with \((1 \quad 3 \quad 4)(2 \quad 5)\) can also be written as \((2 \quad 5)(1 \quad 3 \quad 4)\)
Suppose we have \(\sigma = (1 \quad 3)(2 \quad 7 \quad 8)(4 \quad 5 \quad 6)(9) \in S_9\). Any of the cycles in this notation are pairwise disjoint. We have 3 disjoint cycles where \(9\) is fixed.
The proof for this theorem is in the class notes.
Cycle Type
We can classify permutations of a finite set into groups corresponding to the number of cycles of various lengths in their cycle decomposition.
For example for \(S_2\), we have two elements and so we have two permutations
\(1 + 1\) | \(id = (1)(2)\) |
\(2\) | \((1 \quad 2)\) |
For \(S_3\),
\(1 + 1 + 1\) | \(id = (1)(2)(3)\) |
\(2 + 1\) | \((1 \quad 2),(1 \quad 3),(2 \quad 3)\) |
\(3\) | \((1 \quad 2 \quad 3),(1 \quad 3 \quad 2)\) |
For \(S_4\),
\(1 + 1 + 1 + 1\) | \(id = (1)(2)(3)(4)\) |
\(2 + 1 + 1\) | \((1 \quad 2),(1 \quad 3),(1 \quad 4),(2 \quad 3),(2 \quad 4),(3 \quad 4)\) |
\(2 + 2\) | \((1 \quad 2)(3 \quad 4),(1 \quad 3)(2 \quad 4),(1 \quad 4)(2 \quad 3)\) |
\(3 + 1\) | \((1 \quad 2 \quad 3),(1 \quad 2 \quad 4)\),\((1 \quad 3 \quad 4),(2 \quad 3 \quad 4),(1 \quad 3 \quad 2)\),\((1 \quad 4 \quad 2),(1 \quad 4 \quad 3),(2 \quad 4 \quad 3)\) |
\(4\) | \((1 \quad 2 \quad 3 \quad 4),(1 \quad 2 \quad 4 \quad 3)\),\((1 \quad 3 \quad 2 \quad 4),(1 \quad 3 \quad 4 \quad 2)\),\((1 \quad 4 \quad 2 \quad 3),(1 \quad 4 \quad 3 \quad 2)\) |
The Order of an Element
(Start of lecture 4). The first concept that we will talk about is the order of an element in a group.
For example let \(\sigma = (1 \quad 2 \quad 3 \quad 4) \in S_5\) The order of \(\sigma\), \(\text{order}(\sigma)\) is \(4\). This is because it will take \(\sigma^4\) will finally get us back to the identity permutation. In fact that the order of a \(k-\)cycle is \(k\).
What about \(\tau = (1 \quad 2)(3 \quad 4 \quad 5)\)? \(\text{order}(\tau) = 6\) because we have to iterate the operation \(6\) times to get to the identity element. Specifically, we have two disjoint cycles and since they are disjoint, then they operate independently. So we need to find \(n\) such that both of the cycles will return to the identity permutation
This \(n\) must be then the least common multiple of \(2\) and \(3\) which is \(6\).
What about \(\nu = (1 \quad 2)(2 \quad 3 \quad 4)\)? Note here that the two cycles are not disjoint. It’s not clear here what it would be so drawing this permutation might make this very obvious.
[TODO:PIC]
From this we see that \(\text{order}(\nu) = 4\).
Parity of a Permutation
The second concept that we want to talk about is the parity of a permutation but first we’ll start with the following proposition.
For example we can write \((1 \quad 2 \quad 3 \quad 4)\) as \((1 \quad 2)(2 \quad 3)(3 \quad 4)\).
Next, we have the following proposition
Because of this we can classify permutations as even or odd. We also get the fact that composing two even permutations is another even permutations and composing an even permutation with an odd permutation is an odd permutation.
Proof (there is an alternative proof in the notes)
Define a function \(sgn: S_n \rightarrow \{\pm 1\}\) such that
- \(sgn(id) = +1\)
- \(sgn(\sigma \circ \tau) = sgn(\sigma)sgn(\tau)\)
- If \(\tau\) is a transposition, then \(sgn(\tau) = -1\)
So now given a permutation \(\sigma \in S_n\), there is a corresponding permutation matrix \(A_{\sigma} \in GL_{n}(\mathbf{R})\). \(A_{\sigma}\) has the standard basis vectors but permuted according to the permutation \(\sigma\). For example
So
where \(e_{\sigma(k)}\) is the standard column vector \(e_k\) permuted according to \(\sigma(k)\).
The permutation matrix \(A_{\sigma}\) is useful in that left multiplication by \(A_{\sigma}\) permutes the subset \(\{e_1,...,e_n\} \in \mathbf{R}^n\) according to \(\sigma\). So
This actually leads to a formula
This is because
So now define: \(sgn(\sigma) = \det(A_{\sigma})\) where \(sgn: S_n \rightarrow \{\pm 1\}\). This function satisfies the three properties we defined for the \(sgn\) function above.
- \(sgn(id) = +1\). This is true because the permutation matrix for the identity permutation is the identity matrix.
- \(sgn(\sigma \circ \tau) = sgn(\sigma)sgn(\tau)\). This follows from the product property of the determinant. \(\det(AB) = \det(A)\det(B)\).
- If \(\tau\) is a transposition, then \(sgn(\tau) = -1\). This also follows from the fact that interchanging any two columns from a matrix results in switching the sign of the determinant.
References
- MATH417 by Charles Rezk
- Algebra: Abstract and Concrete by Frederick M. Goodman