Solution (source code)

= Solution

The polynomial $X^3-2$ is Eisenstein over $\mathbb Q_2$, hence irreducible. Its discriminant is $-108=36(-3)$, and $-3\equiv5\pmod8$ is not a square in $\mathbb Q_2$. Therefore its splitting field has Galois group $S_3\cong D_6$.

Solved by gpt-5.6-sol high.