# Galois extension?

I need to prove if $\mathbb{Q}(\sqrt{3},i)$ is a Galois extension or not. I thought that $\mathbb{Q}(\sqrt{3},i)$ is the splitting field of $(x^2-3)(x^{2}+1)$ so it is separable, but I am not sure about it being normal; I think that it is. Could someone give some help?

-
Hint: Look at the definition of a normal extension again. Every finite extension of $\Bbb{Q}$ is separable. –  user38268 Feb 19 '13 at 2:11
Dear @Dimitri, I'm guessing your definition of Galois is separable and normal. As Gerry Myerson indicates in his answer, splitting fields are normal, but this is a non-trivial fact. The converse, however, that normal extensions are splitting fields, is immediate from the definitions. –  Keenan Kidwell Feb 19 '13 at 2:14
Thanks, yes i know that splitting fields are normal, maybe i got confuse because i started with other descrition of the extension and then i see the fact that was the splitting field of a polynomial. Thanks for the answer to all. –  Dimitri Feb 19 '13 at 2:22