Primitive element of $\mathbb{Q}(\sqrt{2}+i,\sqrt{3}-i)/\mathbb{Q}$ Is there a clever way to determine a primitive element of the finite extension
$$F=\mathbb{Q}(\sqrt{2}+i,\sqrt{3}-i)/\mathbb{Q} \text{ ?}$$
On simpler examples, I've been able to find one by determining all field morphisms $\sigma: F\to\mathbb{C}$ such that $\sigma|_\mathbb{Q}=\text{id}$ and finding $x\in F$ with a different image under each such $\sigma$. But here, it seems quite painful since the degree is between 8 and 16...
 A: It is relatively straightforward to show that $F=\mathbb{Q}(i,\sqrt2,\sqrt3)$, because it is easy to see that
$\mathbb{Q}(\sqrt2+i)=\mathbb{Q}(\sqrt2,i)$, and similarly $\mathbb{Q}(\sqrt3-i)=\mathbb{Q}(\sqrt3,i)$. Thus $[F:\mathbb{Q}]=8$, this extension is Galois, and the Galois group is elementary 2-abelian. An automorphism $\sigma$ is uniquely determined once we specify
$\sigma(i)=\pm i$ (two choices), $\sigma(\sqrt2)=\pm\sqrt2$ and $\sigma(\sqrt3)=\pm\sqrt3$ (again two choices). If an element $z\in F$ is not fixed by any of these automorphisms, it is not in any of the subfields, so for example
$$
z=2i+3\sqrt2+5\sqrt3
$$
will be a primitive element.
A: The Galois group of $\mathbb{Q}(\sqrt{2},\sqrt{3},i)$ over $\mathbb{Q}$ is of order $8$; it should not be hard to verify that it is in fact isomorphic to $C_2\times C_2\times C_2$; the generators are complex conjugation, the map that sends $\sqrt{2}$ to $-\sqrt{2}$ and fixes $\sqrt{3}$ and $i$; and the map that sends $\sqrt{3}$ to $-\sqrt{3}$ and fixes $\sqrt{2}$ and $i$.
Now, your field contains $\sqrt{2}+\sqrt{3}+i$. It has eight different images under the automorphisms of $\mathbb{Q}(\sqrt{2},\sqrt{3},i)$: $\pm\sqrt{2}\pm\sqrt{3}\pm i$. So $\mathbb{Q}(\sqrt{2}+\sqrt{3}+i) = \mathbb{Q}(\sqrt{2},\sqrt{3},i)$. Also, your field is contained in $\mathbb{Q}(\sqrt{2},\sqrt{3},i)$, hence in $\mathbb{Q}(\sqrt{2}+\sqrt{3}+i)$.
Your field contains $\sqrt{2}+\sqrt{3}$, and so contains $\sqrt{2}$ and $\sqrt{3}$ (since $\mathbb{Q}(\sqrt{2}+\sqrt{3}) = \mathbb{Q}(\sqrt{2},\sqrt{3})$). So it is equal to $\mathbb{Q}(\sqrt{2},\sqrt{3},i)$, and you are done.
