Skip to main content
Mathematics LibreTexts

6.4: Groups Acting on Sets (Exercises)

  • Page ID
    6123
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    1. Show that a function from \(S\) to \(T\) has an inverse (defined on \(T\)) if and only if it is a bijection.

    2. How many elements are in the dihedral group \(D_3\)? The symmetric group \(S_3\)? What can you conclude about \(D_3\) and \(S_3\)?

    3. A tetrahedron is a three-dimensional geometric figure with four vertices, six edges, and four triangular faces. Suppose we start with a tetrahedron in space and consider the set of all permutations of the vertices of the tetrahedron that correspond to moving the tetrahedron in space and returning it to its original location, perhaps with the vertices in different places.

    1. Explain why these permutations form a group.
    2. What is the size of this group?
    3. Write down in two row notation a permutation that is not in this group.

    4. Find a three-element subgroup of the group \(S_3\). Can you find a different three-element subgroup of \(S_3\)?

    5. Prove true or demonstrate false with a counterexample: “In a permutation group, \((σ \varphi)^n = σ^n \varphi^n\).”

    6. If a group \(G\) acts on a set \(S\), and if \(σ(x) = y\), is there anything interesting we can say about the subgroups \(\text{Fix}(x)\) and \(\text{Fix}(y)\)?

    7.

    1. If a group \(G\) acts on a set \(S\), does \(\overline{σ}(f) = f ◦ σ\) define a group action on the functions from \(S\) to a set \(T\)? Why or why not?
    2. If a group \(G\) acts on a set \(S\), does \(σ(f) = f ◦ σ^{−1}\) define a group action on the functions from \(S\) to a set \(T\)? Why or why not?
    3. Is either of the possible group actions essentially the same as the action we described on colorings of a set, or is that an entirely different action?

    8. Find the number of ways to color the faces of a tetrahedron with two colors.

    9. Find the number of ways to color the faces of a tetrahedron with four colors so that each color is used.

    10. Find the cycle index of the group of spatial symmetries of the tetrahedron acting on the vertices. Find the cycle index for the same group acting on the faces.

    11. Find the generating function for the number of ways to color the faces of the tetrahedron with red, blue, green and yellow.

    \(\rightarrow\) 12. Find the generating function for the number of ways to color the faces of a cube with four colors so that all four colors are used.

    \(\rightarrow\) 13. How many different graphs are there on six vertices with seven edges?

    \(\rightarrow\) 14. Show that if \(H\) is a subgroup of the group \(G\), then \(H\) acts on \(G\) by \(σ(τ ) = σ ◦ τ\) for all \(σ\) in \(H\) and \(τ\) in \(G\). What is the size of an orbit of this action? How does the size of a subgroup of a group relate to the size of the group?


    This page titled 6.4: Groups Acting on Sets (Exercises) is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Kenneth P. Bogart.

    • Was this article helpful?