<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[a4paper,12pt]{article}

\begin{document}

\parindent=0pt

QUESTION


\begin{description}

\item[(a)]
Compute the following products of the permutations
$\sigma=(1576)(234),\ \tau=(132)(4675)$ expressing your answers in
disjoint cycle notation:

\begin{description}

\item[(i)]
$\sigma\tau.$

\item[(ii)]
$\tau\sigma.$

\item[(iii)]
$\sigma^2\tau^{-1}.$

\end{description}

\item[(b)]
Express the permutation
$\sigma=\left(\begin{array}{ccccccc}1&amp;2&amp;3&amp;4&amp;5&amp;6&amp;7\\4&amp;6&amp;1&amp;3&amp;7&amp;5&amp;2\end{array}\right)$
in disjoint cycle notation and as a product of transpositions. Fin
the order and sign of $\sigma$ and calculate $\sigma^{2001}$.

\item[(c)]
List all the possible cycle structures for elements of $S_7$ and
use this to find all the possible orders for elements of $S_7$.

\item[(d)]
Find all the possible cycle structures corresponding to elements
of order 6 in $S_9$, and compute the number of elements of $S_9$
corresponding to each cycle structure.

\end{description}



ANSWER


\begin{description}

\item[(a)]

\begin{description}

\item[(i)]
$\sigma\tau=(14)(25)$

\item[(ii)]
$\tau\sigma=(14)(36)$

\item[(iii)]
$\sigma^2\tau^{-1}=(14637)$

\end{description}

\item[(b)]
$\sigma=(143)(2657)=(14)(43)(26)(65)(57)$ has order 12 and sign
$-1$. $2001=166.12+8$ so $\sigma^{2001}=\sigma^9$. Now $\sigma^9$
generates the same subgroup of $\left&lt;\sigma\right&gt;$ as does
$\sigma^3$, hence it has order 4.

\item[(c)]

\begin{tabular}{c|c}
Cycle structure&amp;order\\ \hline $\left[7\right]$&amp;7\\
$\left[6\right]$&amp;6\\ $\left[5,2\right]$&amp;10\\ $\left[5\right]$&amp;5\\
$\left[4,3\right]$&amp;12\\ $\left[4,2\right]$&amp;4\\
$\left[4\right]$&amp;4\\ $\left[3,3\right]$&amp;3\\
$\left[3,2,2\right]$&amp;6\\ $\left[3,2\right]$&amp;6\\
$\left[3\right]$&amp;6\\ $\left[2,2,2\right]$&amp;2\\
$\left[2,2\right]$&amp;2\\ $\left[2\right]$&amp;2\\ $\left[1\right]$&amp;1
\end{tabular}

\item[(d)]
The possible cycle structures are
$\left[3,3,2\right],\left[3,2,2\right],\left[3,2\right],\left[6,3\right],\left[6,2\right],\left[6\right]$.
There are respectively 9.8.7.6.5.4.3.2/(3.3.2.2),
9.8.7.6.5.4.3/(3.2.2.2), 9.8.7.6.5/(3.2), 9.8.7.6.5.4.3.2.1/(6.3),
9.8.7.6.5.4.3.2/(6.2) and 9.8.7.6.5.4/6 elements with these
structures.

\end{description}





\end{document}
</pre></body></html>