What is this $\Sigma_4 /\langle (12)(34)\rangle$?

The question that I am supposed to answer is

Are the orbits $\Sigma_4 /\langle (12)(34)\rangle$ and $\Sigma_4 /\langle (13)(24)\rangle$ isomorphic as $\Sigma_4$ sets?

I do not understand what $\Sigma_4 /\langle (12)(34)\rangle$ is in this contex.

Definition of orbit that I know is:

If $x \in X$ (where $X$ is a set) and $G$ is a group then $\operatorname{orb} (x) = \{ \varphi_g(x) : g \in G \}$

So I understand that I can have orbit of an element but what is this $\Sigma_4 /\langle(12)(34)\rangle$ then?


Solution 1:

Assuming $\Sigma_4$ is the symmetric group on four symbols, the notation

$$\Sigma_4 /\langle (12)(34)\rangle$$

means the set of $\Sigma_4$ left cosets of the subgroup $\langle (12)(34)\rangle$ of $\Sigma_4$ generated by the element $(12)(34)$.


For a more specific definition involving actions, see this Wikipedia article:

The set of all orbits of $X$ under the action of $G$ is written as X/G (or, less frequently: G\X), and is called the quotient of the action.