0
$\begingroup$

Thanks for your answer Ram. But I will change my question , because I want a more directly answer. And I'll write exactly what I want.

Edited question:

Let's consider a finite Galois extension $L/K$. And let's take $\alpha \in L$. Let $ G = Gal(L,K)$ . Let's consider the conjugates of $\alpha$ i.e $ \sigma(\alpha) $ where $\sigma \in G $. Let's call the different roots of the minimal polynomial of $\alpha$ by $m_{\alpha}(x) \in K[x] $ by $ \alpha_1 , ... \alpha_r $. Since $L/K$ is Galois, we know that these roots are contained in the set of all the conjugates of $\alpha$.

Let $ d= [K(\alpha):K]$ . What I want to prove is that each $\alpha_i $ appears exacly $d$ times in the conjugates.

  • 0
    http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/tracenorm.pdf This might help2012-11-15
  • 0
    Well thanks! yes this might help and it's very interesting! But I want also a direct proof, not searching equivalent definitions to prove what I want! Someone has a direct proof of this?2012-11-15
  • 0
    @Ram: When pointing someone to an 11-page document it is helpful to indicate which part you have in mind (most of that file is not about the question being asked).2012-11-15
  • 2
    @Daniel: The group $G$ acts transitively on the roots $\alpha_1,\dots,\alpha_r$, and the size of the stabilizer subgroup of $\alpha_1$, say, is $[L:K(\alpha_1)]$ by Galois theory. Therefore the orbit-stabilizer formula says the length $r$ of the orbit is $\#G/[L:K(\alpha_1)] = [L:K]/[L:K(\alpha_1)] = [K(\alpha_1):K]$, so $r = d$. By the way, your use of the term "conjugate" is incorrect. A conjugate is any $\sigma(\alpha)$, but they don't have multiplicity. For example, in ${\mathbf Q}(i,\sqrt{2})$, $\sqrt{2}$ has just 2 ${\mathbf Q}$-conjugates, not 4, even though the Galois group has size 4.2012-11-15
  • 0
    @KCd Great answer!! Thanks for the help :D!!!!2012-11-15
  • 0
    @KCd, the question was as such that it wants to be comfortable with the whole 11 pages :-).2012-11-16

0 Answers 0