Machine-translated by Google. Questions are authored in English.
Top

Discussion

Which ONE of the following statements is FALSE?

  • A.\(S_{3}\) is isomorphic to a subgroup of \(S_{4}\).
  • B.\(\mathbb{Z}_{3}\) is isomorphic to a subgroup of \(S_{4}\).
  • C.\(S_{3}\) is isomorphic to a quotient group of \(S_{4}\).
  • D.\(\mathbb{Z}_{6}\) is isomorphic to a quotient group of \(S_{4}\).

Answer: D

The FALSE statement is \(\mathbb{Z}_{6}\) is isomorphic to a quotient group of \(S_{4}\).

The normal subgroups of \(S_{4}\) are \(\{e\}\), the Klein four-group \(V_4\), \(A_4\) and \(S_4\). Their quotients have orders 24, 6, 2 and 1, and are \(S_4\), \(S_4/V_4 \cong S_3\), \(\mathbb{Z}_2\) and the trivial group. The only quotient of order 6 is \(S_3\), which is non-abelian, so the cyclic group \(\mathbb{Z}_6\) is not a quotient.

The other statements are true. The permutations fixing the symbol 4 form a subgroup isomorphic to \(S_3\). The 3-cycle \((1\,2\,3)\) generates a subgroup isomorphic to \(\mathbb{Z}_3\). And \(S_4/V_4 \cong S_3\), as above, so \(S_3\) is also a quotient.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.