Consider the group \((\Q^*,\cdot)\text{,}\) the non-zero rational numbers under multiplication. Let \(H = \{2^k \st k \in \Z\}\text{.}\) Prove that \(H\) is a subgroup of \(G\text{.}\)
Find a set of elements of \(S_4\) that generates all of \(S_4\text{.}\) Ensure that your set is as small as possible. Justify your answer (both that your set generates \(S_4\) and that no smaller set does).