# Constructing Young subgroups of $S_4$

Given the symmetric group $S_4$ and a subgroup $H\subset S_4$ I want to construct a $Y\subset S_4$ such that $Y$ is minimal, meaning that there is no other young subgroup $Y'$ such that $H\subset Y'\subset Y$. My understanding of the problem is in two ways:

1) Consider a partition of the set $\{1,2,3,4\}$. A Young subgroup is the direct product of the symmetric groups on the components of the partition. So the Young subgroup $Y$ must contain all combinations of all permutations on all subsets forming the partition. So we need only to complete the list of permutations that are missing in $H$ to obtain $Y$. For example, consider $H=\{1,(12)(34)\}$ then this subgroup "corresponds" to the partition $\{1,2\}\cup\{3,4\}$, and to obtain $Y$ we just need to add to $H$ the permutations $(12)$ and $(34)$.

2) The second way to do this is to write every permutation in $H$ as a product of disjoint cycles then to write every cycle as a product of transpositions. Then $Y$ will be the subgroup generated by all these transpositions. For example if $H=\{1,(134),(143)\}$ then we write $H=\{1,(13)(14),(14)(13)\}$ and then $Y$ is just the subgroup generated by $(13)$ and $(14)$ which is isomorphic to $S_3$.

Are my thoughts correct? and is there another way to solve the problem?

2
2022-07-25 20:43:26
Source Share