Let $G$ be a group generated by $a$ and $b$ such that $\operatorname{ord}(a)=n, \operatorname{ord}(b)= 2$ and $a b=b a^{-1}$, where $n$ is a positive integer, $b \notin\langle a\rangle$ and ord $(x)$ denotes the order of the element $x$.
- Prove that for any positive integer $k, a b^{k}=b a^{-k}$.
- Let $H$ be a cyclic subgroup of $\langle a\rangle$. Show that $H$ is a normal subgroup of $G$.