Group actions and orbits

Question

Let $X=\{\{1,2\},\{1,3\},\{1,4\},\{2,3\},\{2,4\},\{3,4\}\}$ and $G=S_4$

(a) Show that $\phi \{x_1,x_2\}=\{\phi (x_1),\phi (x_2)\}$ determines an action of $S_4$ on $X$, where $\phi \in G$

(b) Determine the number of orbits of this action.

(a) I’m not really sure how to explain this but it comes as an intuitive action that if you act $\phi$ on $x_1$, it is just mapping $x_1$ to $\phi (x_1)$, which essentially is just mapping 1 to $\phi (1)$. But I’m not sure how to present this formally.

(b) Any hints on how I can do this? I’m not sure if I should write out all 24 elements in $S_4$ and use Burnside’s Theorem to find the number of orbits. But if I do so it might be too tedious. What happens when the it becomes larger? i.e $S_5$ acting on $X$; I don’t think I can write out all 120 elements.

Wondering if anyone can help with this?

Answer 1

a) Note that $X$ contains all 2 elements subsets of $\{1,2,3,4\}$, so $X$ is indeed closed under the given map and that map satisfies the condition of being a group action.

b) Start with an element of $X$ and find its orbit. If there's any element left off, find its orbit too, and so on..

Answer 2

The stabilizer of $\{i,j\}$ consists of the permutations $e, (ij), (kl)$, and $(ij)(kl)$ where $k,l$ are the "other two" elements of $\{1,2,3,4\}$. So by the orbit-stabilizer theorem, $|Orb_{\{i,j\}}|\cdot 4 = |S_4|= 24$.

Answer 3

a) To formally show that $\phi\{x_1,x_2\}=\{\phi(x_1),\phi(x_2)\}$ is an action, you need to show two things:

1) $e\{x_1,x_2\}=\{x_1,x_2\} \space \forall \{x_1,x_2\} \in X$ where $e$ is the identity in $G$.

2) $\phi_1(\phi_2\{x_1,x_2\}) = (\phi_1 \phi_2)\{x_1,x_2\} \space \forall \{x_1,x_2\} \in X \space \forall \phi_1, \phi_2 \in G$

These are both straightforward.

b) Given two elements of $X$, think about how you can find a member of $G$ that maps one to the other (in fact, there is more than one as user25959 hints at above). This shows that $G$ acts transitively on $X$, so there is only one orbit.