Skip to main content
Contents Embed Dark Mode Prev Up Next \(\require{mathtools}\require{color} \setcounter{MaxMatrixCols}{15}
\newcommand{\mbu}[1]{\mathbf{\mathrm{#1}}}
\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\cC}{\mathcal{C}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\GF}{\mathrm{GF}}
\DeclareMathOperator{\Span}{Span}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\lcm}{lcm}
\DeclareMathOperator{\rk}{rk}
\DeclareMathOperator{\wt}{wt}
\DeclareMathOperator{\im}{im}
\makeatletter
\@ifundefined{char}{
\DeclareMathOperator{\char}{char}
}{}
\makeatother
\DeclareMathOperator{\GRS}{GRS}
\DeclareMathOperator{\RS}{RS}
\DeclareMathOperator{\BCH}{BCH}
\newcommand{\transpose}[1]{#1^{\top}}
\newcommand{\by}{\mathbf{y}}
\newcommand{\bc}{\mathbf{c}}
\newcommand{\bx}{\mathbf{x}}
\newcommand{\bm}{\mathbf{m}}
\newcommand{\bs}{\mathbf{s}}
\newcommand{\be}{\mathbf{e}}
\newcommand{\bu}{\mathbf{u}}
\newcommand{\bv}{\mathbf{v}}
\newcommand{\bh}{\mathbf{h}}
\newcommand{\br}{\mathbf{r}}
\newcommand{\bzero}{\mathbf{0}}
\newcommand{\balpha}{\boldsymbol{\alpha}}
\newcommand{\subgroup}[1]{\langle{#1}\rangle}
\newcommand{\isom}{\cong}
\DeclareMathOperator\Aut{Aut}
\DeclareMathOperator\Char{char}
\DeclareMathOperator\cl{cl}
\DeclareMathOperator\Conj{Conj}
\DeclareMathOperator\Inn{Inn}
\DeclareMathOperator\Gal{Gal}
\DeclareMathOperator\Out{Out}
\DeclareMathOperator\orb{orb}
\DeclareMathOperator\Orb{Orb}
\DeclareMathOperator\Perm{Perm}
\DeclareMathOperator\stab{stab}
\DeclareMathOperator\Stab{Stab}
\DeclareMathOperator\fix{fix}
\DeclareMathOperator\Fix{Fix}
\DeclareMathOperator\Syl{Syl}
\DeclareMathOperator\Sym{Sym}
\DeclareMathOperator\soc{soc}
\DeclareMathOperator{\nil}{nil}
\DeclareMathOperator{\Nil}{Nil}
\DeclareMathOperator\jac{jac}
\DeclareMathOperator\Jac{Jac}
\DeclareMathOperator\Eq{Eq}
\DeclareMathOperator\Hol{Hol}
\DeclareMathOperator\Frac{Frac}
\DeclareMathOperator\GL{GL}
\DeclareMathOperator\SL{SL}
\DeclareMathOperator\So{SO}
\DeclareMathOperator\SU{SU}
\DeclareMathOperator\PGL{PGL}
\DeclareMathOperator\PSL{PSL}
\DeclareMathOperator\PSU{PSU}
\DeclareMathOperator\PSP{PsP}
\DeclareMathOperator\AGL{AGL}
\DeclareMathOperator\Heis{Heis}
\DeclareMathOperator\Dic{Dic}
\DeclareMathOperator\SA{SA}
\DeclareMathOperator\SD{SD}
\DeclareMathOperator\Fr{Fr}
\DeclareMathOperator\Mod{Mod}
\DeclareMathOperator\DQ{DQ}
\DeclareMathOperator\QD{QD}
\DeclareMathOperator\OD{OD}
\DeclareMathOperator\Cl{Cl}
\DeclareMathOperator\BinTet{2T}
\DeclareMathOperator\BinOct{2O}
\DeclareMathOperator\BinIcos{2I}
\DeclareMathOperator\Aff{Aff}
\DeclareMathOperator\BS{BS}
\newcommand{\normal}{\lhd}
\newcommand{\normaleq}{\unlhd}
\newcommand{\nnormal}{\ntriangleleft}
\newcommand{\nnormaleq}{\ntrianglelefteq}
\def\longto{\longrightarrow}
\def\into{\hookrightarrow}
\def\longinto{\longhookrightarrow}
\def\onto{\twoheadrightarrow}
\DeclareRobustCommand\longonto{\relbar\joinrel\twoheadrightarrow}
\DeclareMathOperator{\Image}{Im}
\DeclareMathOperator\Ker{Ker}
\DeclareMathOperator{\Id}{Id}
\newcommand{\ceil}[1] {\left\lceil #1 \right\rceil}
\newcommand{\floor}[1] {\left\lfloor #1 \right\rfloor}
\definecolor{xRed}{RGB}{229, 31, 58}
\definecolor{xBlue}{RGB}{68, 119, 170}
\definecolor{xGreen}{RGB}{33, 135, 51}
\definecolor{xPurple}{RGB}{170, 51, 119}
\definecolor{xOrange}{RGB}{ 197, 83, 17}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\newcommand{\fillinmath}[1]{\mathchoice{\underline{\displaystyle \phantom{\ \,#1\ \,}}}{\underline{\textstyle \phantom{\ \,#1\ \,}}}{\underline{\scriptstyle \phantom{\ \,#1\ \,}}}{\underline{\scriptscriptstyle\phantom{\ \,#1\ \,}}}}
\)
Section Permutations and Symmetric Groups
Worksheet Part 1: Permutation Computations
The goal of these problems is to practice computing in permutation groups and determine the order of a cycle.
1.
Let
\(\alpha=(1\;2\;5)(4\;6\;7)\) and
\(\beta=(1\;3\;4\;7\;2)(5\;6)\text{.}\) Write each of the following in disjoint cycle form. Remember to work from right to left!
(a)
(b)
(c)
2.
Compute the order of each permutation below.
(a)
(b)
(c)
(d)
(e)
(f)
Worksheet Part 2: Cycle Inverses and Decomposition Into Transpositions
In this part of the activity you will learn how to quickly compute the inverse of a cycle and investigate cycle types and parity.
1. In the first activity you worked out that the order of an
\(m\) -cycle is
\(m\text{.}\) From this, you can deduce that the inverse of an
\(m\) -cycle is which power of that cycle between
\(1\) and
\(m\text{?}\)
2. If you didn’t already on the first worksheet, compute the power you found in the last exercise for the permutations
\((1\;5\;2)\) and
\((2\;5\;3\;4)\text{.}\)
3. Give a formula for
\((a_1\; a_2\; \dots\; a_m)^{-1}\text{.}\)
Definition 44 .
Two permutations in
\(S_n\) have the same
cycle type if they have the same number of cycles of each length in their unique decomposition into disjoint cycles.
4. Do permutations with the same cycle type have the same parity?
5. Fill in the chart below for
\(S_4\text{.}\)
Table 45. Cycle Types in \(S_4\)
example element
parity
# elements
order
