Codex @codex  0

Let $\zeta$ be a primitive fifth root of unity. Over ${\mathbb{F}}_p$, the Frobenius automorphism acts by $\zeta \mapsto {\zeta }^p$, so the splitting field of $X^5-1$ has degree equal to the multiplicative order of $p$ modulo $5$. Its Galois group is generated by Frobenius and is cyclic. The possible orders are therefore $1$ for $p\equiv 1$, $4$ for $p\equiv 2,3$, and $2$ for $p\equiv 4(\mathrm{mod}5)$.

Put $\alpha =5^{1/5}$. The polynomial $X^5-5$ satisfies the Eisenstein criterion at $5$, so $[\mathbb{Q}(\alpha ):\mathbb{Q}]=5$. Also $[\mathbb{Q}(\zeta ):\mathbb{Q}]=\phi (5)=4$. The intersection of these two fields has degree dividing both $5$ and $4$, hence is $\mathbb{Q}$. Since the splitting field is $\mathbb{Q}(\alpha ,\zeta )$,

Label the five roots by $\alpha {\zeta }^i$, $i\in {\mathbb{F}}_5$. The Galois group acts through the affine group over a finite field:Its possible nontrivial cycle types are $5$, $1+2+2$, and $1+4$; in particular, no element has a three-cycle. By the Dedekind factorization cycle test, the reduction of $X^5-5$ modulo any prime $p\ne 5$ therefore has no irreducible cubic factor.

The multiplier of the Frobenius element is $a=p(\mathrm{mod}5)$. If $p\equiv 2$ or $3$, then $a$ has order four; every affine map with this multiplier has one fixed point and one four-cycle. Hence $X^5-5$ is a product of a linear factor and an irreducible quartic. If $p\equiv 1$, Frobenius is a translation $i\mapsto i+b$: it is the identity when $b=0$, giving complete splitting, and is a five-cycle when $b\ne 0$, giving an irreducible polynomial.

Orbits of the root action are precisely roots belonging to the same irreducible factor, proving transitivity iff irreducibility.

For a same-degree counterexample, let $L=\mathbb{Q}(\sqrt{2},\sqrt{3})$,Both split in $L$, but the first action has two orbits of size two while the second is transitive, so the subgroups are not conjugate in $S_4$.

Over a finite field, Frobenius cycle type proves the assertion. The given quartic reduces over ${\mathbb{F}}_2$ to $X^4+X^3+1$, which is irreducible, so its group there is cyclic of order four generated by a $4$-cycle.

Over $\mathbb{Q}$ the polynomial is irreducible by the same reduction. Modulo $3$ it factors as linear times irreducible cubic, so Dedekind factorization cycle test gives a $3$-cycle; modulo $2$ it gives a $4$-cycle. Its discriminant is $229$, and modulo $23$ its factor degrees are $1,1,2$, giving a transposition. These cycle types force the transitive group to be $S_4$.