I have seen the the thread here related to the computation of the Galois group of the same polynomial. However, my question is not about the computation itself but about the group presentation of the Galois group. I will explain.
I have determined that the polynomial $x^6 +3 \in \Bbb{Q}[x]$ has Galois group of order 6. The splitting field is $\Bbb{Q}(a)$, where $a$ is a root of $x^6 + 3$. One can take $a = \sqrt[6]{3}\zeta$ where $\zeta = e^{2\pi i/6} = e^{\pi i/6}$.
Now I have determined the rest of the roots to be:
$\begin{array}{ccccc} \alpha_1 &=& a &&& \alpha_4 = -\alpha_1 \\ \alpha_2 &=& \frac{a^4 + a}{2}= \zeta a &&& \alpha_5 = -\alpha_2 \\ \alpha_3 &=& \frac{a^4 - a}{2} = \zeta^2 a &&& \alpha_6 = - \alpha_3 \end{array}. $
I have also computed some automorphisms of the Galois group, for example the automorphism $\tau : \alpha_1 \mapsto \alpha_4$ that has order 2, $\sigma : \alpha_1 \mapsto \alpha_2$ that has order 2 and $\rho : \alpha_1 \mapsto \alpha_3$ that has order 3. The presence of two automorphisms of order 2 tells me that the Galois group is isomorphic to $S_3$
However the problem now is if I want to identify my $\tau,\sigma$ and $\rho$ as cycles in $S_6$, I get the cycles $(14)$, $(12)$ and $(132)$. I don't think these cycles lie in the copy of $S_3$ inside of $S_6$; what am I misunderstanding here?
Thanks.
Edit: I made a mistake in the calculations. We actually need $\alpha_1 = a = \sqrt[3]{3}\zeta$ where $\zeta = e^{\pi i/6}$. I did not take a primitive 6-th root of unity earlier. Now if I write $a = \sqrt[6]{3}e^{\pi i/6}$, then $a^3 = \sqrt{3}i$ and so $\frac{1 + a^3}{2} = \frac{1 + \sqrt{3}i}{2} = \zeta^2$. So indeed with the redefined $\zeta$ and $a$, the equations now are
$\begin{array}{ccccc} \alpha_1 &=& a &&& \alpha_4 = -\alpha_1 \\ \alpha_2 &=& \frac{a^4 + a}{2}= \zeta^2 a &&& \alpha_5 = -\alpha_2 \\ \alpha_3 &=& \frac{a^4 - a}{2} = \zeta^4 a &&& \alpha_6 = - \alpha_3. \end{array} $
After all this mess, I have got the automorphisms $\sigma = (12)(45)(36)$ and $\gamma = (135)(246)$. We check that $\sigma\gamma = \gamma^2\sigma$. $\sigma\gamma = (12)(36)(45)(135)(246) = (16)(25)(34)$.
$\gamma^2\sigma = (153)(264)(12)(36)(45) = (16)(25)(34)$ so indeed $\sigma\gamma = \gamma^2\sigma$. Hence the Galois group has elements
$\{1,\gamma,\gamma^2,\sigma,\sigma\gamma, \sigma\gamma^2\} = \{1, (135)(246),(153)(264),(12)(45)(36),(14)(23)(56),(16)(34)(25)\}.$