Skip to main content
\(\newcommand{\set}[1]{\{1,2,\dotsc,#1\,\}} \newcommand{\ints}{\mathbb{Z}} \newcommand{\posints}{\mathbb{N}} \newcommand{\rats}{\mathbb{Q}} \newcommand{\reals}{\mathbb{R}} \newcommand{\complexes}{\mathbb{C}} \newcommand{\twospace}{\mathbb{R}^2} \newcommand{\threepace}{\mathbb{R}^3} \newcommand{\dspace}{\mathbb{R}^d} \newcommand{\nni}{\mathbb{N}_0} \newcommand{\nonnegints}{\mathbb{N}_0} \newcommand{\dom}{\operatorname{dom}} \newcommand{\ran}{\operatorname{ran}} \newcommand{\prob}{\operatorname{prob}} \newcommand{\Prob}{\operatorname{Prob}} \newcommand{\height}{\operatorname{height}} \newcommand{\width}{\operatorname{width}} \newcommand{\length}{\operatorname{length}} \newcommand{\crit}{\operatorname{crit}} \newcommand{\inc}{\operatorname{inc}} \newcommand{\HP}{\mathbf{H_P}} \newcommand{\HCP}{\mathbf{H^c_P}} \newcommand{\GP}{\mathbf{G_P}} \newcommand{\GQ}{\mathbf{G_Q}} \newcommand{\AG}{\mathbf{A_G}} \newcommand{\GCP}{\mathbf{G^c_P}} \newcommand{\PXP}{\mathbf{P}=(X,P)} \newcommand{\QYQ}{\mathbf{Q}=(Y,Q)} \newcommand{\GVE}{\mathbf{G}=(V,E)} \newcommand{\HWF}{\mathbf{H}=(W,F)} \newcommand{\bfC}{\mathbf{C}} \newcommand{\bfG}{\mathbf{G}} \newcommand{\bfH}{\mathbf{H}} \newcommand{\bfF}{\mathbf{F}} \newcommand{\bfI}{\mathbf{I}} \newcommand{\bfK}{\mathbf{K}} \newcommand{\bfP}{\mathbf{P}} \newcommand{\bfQ}{\mathbf{Q}} \newcommand{\bfR}{\mathbf{R}} \newcommand{\bfS}{\mathbf{S}} \newcommand{\bfT}{\mathbf{T}} \newcommand{\bfNP}{\mathbf{NP}} \newcommand{\bftwo}{\mathbf{2}} \newcommand{\cgA}{\mathcal{A}} \newcommand{\cgB}{\mathcal{B}} \newcommand{\cgC}{\mathcal{C}} \newcommand{\cgD}{\mathcal{D}} \newcommand{\cgE}{\mathcal{E}} \newcommand{\cgF}{\mathcal{F}} \newcommand{\cgG}{\mathcal{G}} \newcommand{\cgM}{\mathcal{M}} \newcommand{\cgN}{\mathcal{N}} \newcommand{\cgP}{\mathcal{P}} \newcommand{\cgR}{\mathcal{R}} \newcommand{\cgS}{\mathcal{S}} \newcommand{\bfn}{\mathbf{n}} \newcommand{\bfm}{\mathbf{m}} \newcommand{\bfk}{\mathbf{k}} \newcommand{\bfs}{\mathbf{s}} \newcommand{\bijection}{\xrightarrow[\text{onto}]{\text{$1$--$1$}}} \newcommand{\injection}{\xrightarrow[]{\text{$1$--$1$}}} \newcommand{\surjection}{\xrightarrow[\text{onto}]{}} \newcommand{\nin}{\not\in} \newcommand{\prufer}{\mbox{prüfer}} \DeclareMathOperator{\fix}{fix} \DeclareMathOperator{\stab}{stab} \DeclareMathOperator{\var}{var} \newcommand{\inv}{^{-1}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Section15.6Exercises

1

Write the permutations shown below in cycle notation.

\begin{align*} \pi_1 \amp = \begin{pmatrix} 1 \amp 2 \amp 3 \amp 4 \amp 5 \amp 6\\ 4 \amp 2 \amp 5 \amp 6 \amp 3 \amp 1 \end{pmatrix} \amp \pi_2 \amp = \begin{pmatrix} 1 \amp 2 \amp 3 \amp 4 \amp 5 \amp 6\\ 5 \amp 6 \amp 1 \amp 3 \amp 4 \amp 2 \end{pmatrix}\\ \pi_3 \amp = \begin{pmatrix} 1 \amp 2 \amp 3 \amp 4 \amp 5 \amp 6 \amp 7 \amp 8\\ 3 \amp 1 \amp 5 \amp 8 \amp 2 \amp 6 \amp 4 \amp 7 \end{pmatrix} \amp \pi_4 \amp = \begin{pmatrix} 1 \amp 2 \amp 3 \amp 4 \amp 5 \amp 6 \amp 7 \amp 8\\ 3 \amp 7 \amp 1 \amp 6 \amp 8 \amp 4 \amp 2 \amp 5 \end{pmatrix} \end{align*}
2

Compute \(\pi_1\pi_2\text{,}\) \(\pi_2\pi_1\text{,}\) \(\pi_3\pi_4\text{,}\) and \(\pi_4\pi_3\) for the permutations \(\pi_i\) in Exercise 15.6.1.

3

Find \(\stab_{D_8}(C_3)\) and \(\stab_{D_8}(C_{16})\) for the colorings of the vertices of the square shown in Figure 15.1 by referring to Table 15.2.

4

In Figure 15.15, we show a regular pentagon with its vertices labeled. Use this labeling to complete this exercise.

<<SVG image is unavailable, or your browser cannot render it>>

Figure15.15A pentagon with labeled vertices

  1. The dihedral group of the pentagon, \(D_{10}\text{,}\) contains \(10\) permutations. Let \(r_1=(12345)\) be the clockwise rotation by \(72^\circ\) and \(f_1=(1)(25)(34)\) be the flip about the line passing through \(1\) and perpendicular to the opposite side. Let \(r_2\text{,}\) \(r_3\text{,}\) and \(r_4\) be the other rotations in \(D_{10}\text{.}\) Denote the flip about the line passing through vertex \(i\) and perpendicular to the other side by \(f_i\text{,}\) \(1\leq i\leq 5\text{.}\) Write all \(10\) elements of \(D_{10}\) in cycle notation.

  2. Suppose we are coloring the vertices of the pentagon using black and white. Draw the colorings fixed by \(r_1\text{.}\) Draw the colorings fixed by \(f_1\text{.}\)

  3. Find \(\stab_{D_{10}}(C)\) where \(C\) is the coloring of the vertices of the pentagon in which vertices \(1\text{,}\) \(2\text{,}\) and \(5\) are colored black and vertices \(3\) and \(4\) are colored white.

  4. Find the cycle index of \(D_{10}\text{.}\)

  5. Use the cycle index to determine the number of nonequivalent colorings of vertices of the pentagon using black and white.

  6. Making an appropriate substitution for the \(x_i\) in the cycle index, find the number of nonequivalent colorings of the vertices of the pentagon in which two vertices are colored black and three vertices are colored white. Draw these colorings.

5

Write all permutations in \(C_{12}\text{,}\) the cyclic group of order \(12\text{,}\) in cycle notation.

6

The \(12\)-note western scale is not the only system on which music is based. In classical Thai music, a scale with seven equally-spaced notes per octave is used. As in western music, a scale is a subset of these seven notes, and two scales are equivalent if they are transpositions of each other. Find the number of \(k\)-note scales in classical Thai music for \(1\leq k\leq 7\text{.}\)

7

Xylene is an aromatic hydrocarbon having two methyl groups (and four hydrogen atoms) attached to the hexagonal carbon ring. How many isomers are there of xylene?

8

Find the permutations in \(S_4^{(2)}\) corresponding to the permutations \((1234)\) and \((12)(34)\) in \(S_4\text{.}\) Confirm that the first consists of a \(4\)-cycle and a \(2\)-cycle and the second consists of two \(2\)-cycles and two \(1\)-cycles.

9

Draw the three nonisomorphic graphs on four vertices with \(3\) edges and the two nonisomorphic graphs on four vertices with \(4\) edges.

10

  1. Use the method of Subsection 15.5.3 to find the cycle index of the pair group \(S_5^{(2)}\) of the symmetric group on five elements.

  2. Use the cycle index from Item 15.6.10.a to determine the number of nonisomorphic graphs on five vertices. How many of them have \(6\) edges?

11

Tic-tac-toe is a two-player game played on a \(9\times 9\) grid. The players mark the squares of the grid with the symbols X and O. This exercise uses Pólya's enumeration theorem to investigate the number of different tic-tac-toe boards. (The analysis of games is more complex, since it requires attention to the order the squares are marked and stopping when one player has won the game.)

<<SVG image is unavailable, or your browser cannot render it>>

Figure15.16Numbered squares of a tic-tac-toe board

  1. Two tic-tac-toe boards are equivalent if one may be obtained from the other by rotating the board or flipping it over. (Imagine that it is drawn on a clear piece of plastic.) Since the \(9\times 9\) grid is a square, the group that acts on it in this manner is the dihedral group \(D_8\) that we have studied in this chapter. However, as with counting nonisomorphic graphs, we have to be careful to choose the way this group is represented in terms of cycles. Here we are interested in how permutations rearrange the nine squares of the tic-tac-toe board as numbered in Figure 15.16. For example, the effect of the transformation \(r_1\text{,}\) which rotates the board \(90^\circ\) clockwise, can be represented as a permutation of the nine squares as \((13971)(2684)(5)\text{.}\)

    Write each of the eight elements of \(D_8\) as permutations of the nine squares of a tic-tac-toe board.

  2. Find the cycle index of \(D_8\) in terms of these permutations.

  3. Make an appropriate substitution for \(x_i\) in the cycle index to find a generating function \(t(X,O)\) in which the coefficient on \(X^iO^j\) is the number of nonequivalent tic-tac-toe boards having \(i\) squares filled by symbol X and \(j\) squares filled by symbol O. (Notice that some squares might be blank!)

  4. How many nonequivalent tic-tac-toe boards are there?

  5. How many nonequivalent tic-tac-toe boards have three X's and three O's?

  6. When playing tic-tac-toe, the players alternate turns, each drawing their symbol in a single unoccupied square during a turn. Assuming the first player marks her squares with X and the second marks his with O, then at each stage of the game there are either the same number of X's and O's or one more X than there are O's. Use this fact and \(t(X,O)\) to determine the number of nonequivalent tic-tac-toe boards that can actually be obtained in playing a game, assuming the players continue until the board is full, regardless of whether one of them has won the game.

12

Suppose you are painting the faces of a cube and you have white, gold, and blue paint available. Two painted cubes are equivalent if you can rotate one of them so that all corresponding faces are painted the same color. Determine the number of nonequivalent ways you can paint the faces of the cube as well as the number having two faces of each color.

Hint