Let $n \ge 2$, $n \in \mathbb N$ and set $\sigma=(1,2,3,...,n)$ and $\tau=(1,2)$. Show that $\mathrm{Sym}(n)=\left<\sigma,\tau\right>$.
Approach: Induction
Proof:
Base case $n=2$
$\sigma=(1,2)$
$\tau=(1,2)$
$Sym(2)=\{Id_2,(1,2)\}$ $(1,2)=\tau$ and $Id_2=\tau\sigma$
so base case holds
Inductive step assume $Sym(k)=<\sigma,\tau>$ where $\sigma=(1,2,3,4,...,k)$ and $\tau=(1,2)$
Show $Sym(k+1)=<\lambda,\tau>$ where $\lambda={1,2,...,k+1}$ and $\tau=<1,2>$
To prove the inductive step, I was thinking we have to use the fact that every $x\in Sym(k+1)$ can be represented as the product of pairwise disjoint cycles. I think that we can express $\lambda$ in terms of $\sigma$