Let $L/K$ be a finite separable field extension and let $\theta$ be a primitive element for $L/K$ with minimal polynomial $\mu(t) \equiv \mu\_{\theta/K}(t) = \sum\_{k=0}^n c\_k t^k$. I am trying to compute the powers $\theta^n,\dots,\theta^{2n-2}$ in terms of $1,\theta,\dots,\theta^{n-1}$. In other words, I am trying to compute the structure constants of the basis $1,\theta,\dots,\theta^{n-1}$ in terms of the coefficients of $\mu(t)$, but the expressions quickly become unmanageable. I can hardly imagine that I am the first one to attempt such a calculation, so my question is



> 
> Are there perhaps some nice general formulas or manageable expressions/patterns that capture the structure constants of such a basis in terms of the coefficients of $\mu(t)$? Is there some general context where these appear? Or is it hopeless?
> 
> 
> 


Notice that using the dual basis with respect to the trace essentially seems to run into the same issues. I have looked into J.S.Milne's notes on Fields and Galois Theory and on Algebraic Number Theory as well as in Neukirch's Algebraic Number Theory, but in this regard they don't seem to go beyond calculating the discriminant.



Formulas for the structure constants of a field extension basis given by a primitive element
I am not entirely sure on the policy of answering one's own question, I am posting this for the sake of completeness and closure for anyone who might be interested in the same question.


Following Ofir Gorodetsky's observation above, let is denote by
$$
h\_k := h\_k(X\_1,\dots,X\_n) := \sum\_{1\leq i\_1\leq i\_2\leq\dots\leq i\_k\leq n}X\_{i\_1}X\_{i\_2}\dots X\_{i\_k}
$$
$$
\sigma\_k := \sigma\_k (X\_1,\dots,X\_n) := \sum\_{1\leq i\_1< i\_2<\dots< i\_k\leq n}X\_{i\_1}X\_{i\_2}\dots X\_{i\_k},\ \sigma\_0 := 1
$$
the complete homogeneous symmetric polynomials and the elementary symmetric polynomials in $n$ variables respectively. We have the following fundamental relation (which can be found for example in Stanley's Enumerative Combinatorics Vol.2):


**Lemma:** $\forall m\geq 1$:
$$
\sum\_{\ell=0}^{m}(-1)^{m-\ell} \sigma\_{m-\ell} h\_\ell = 0
$$
In particular, we have the recursion $\forall m\geq 0$:
$$
h\_{m+1} = - \sum\_{\ell=0}^m (-1)^{m-\ell+1}\sigma\_{m-\ell+1}h\_\ell,\ h\_0 = 1
$$
$\square$


As a corollary of this, if $\theta\_1,\dots,\theta\_n$ are the roots of the minimal polynomial $\mu$, we obtain the following recursive relation:
$$
h\_{m+1}(\theta\_1,\dots,\theta\_n) = -\sum\_{\ell=0}^m c\_{n-m-1+\ell} h\_\ell(\theta\_1,\dots,\theta\_n),\ h\_0(\theta\_1,\dots,\theta\_n) = 1,
$$
which we are going to use to prove the next


**Claim:** We have $\forall m\geq 0$:
$$
\theta^{n+m} = -\sum\_{k=0}^{n-1}\left(\sum\_{\ell=0}^m c\_{k-m+\ell} h\_\ell \right)\theta^k
$$


*Proof*: Induction on $m$. The cases $m=0$ and $m=1$ are known from Dirk Liebhold's answer. Now suppose the claim is true for $m$. We calculate:
$$
\theta^{n+m+1} = -\sum\_{k=0}^{n-1}\left(\sum\_{\ell=0}^m c\_{k-m+\ell} h\_\ell\right)\theta^{k+1}
= -\sum\_{k=1}^{n-1}\left(\sum\_{\ell=0}^m c\_{k-1-m+\ell} h\_\ell\right)\theta^k -\left(\sum\_{\ell=0}^m c\_{n-1-m+\ell}h\_\ell \right)\left(-\sum\_{k=0}^{n-1}c\_k\theta^k\right)
= \sum\_{k=0}^{n-1}\left(\sum\_{\ell=0}^m \left(c\_k c\_{n-1-m+\ell}-c\_{k-1-m+\ell}\right)h\_\ell \right)\theta^k,
$$
where we have used that $c\_{k-1-m+\ell}=0$ for $k=0$ and $0\leq\ell\leq m$. Therefore it suffices to show that $\forall 0\leq k\leq n-1$:
$$
\sum\_{\ell=0}^m \left(c\_k c\_{n-1-m+\ell}-c\_{k-1-m+\ell}\right) h\_\ell = 
-\sum\_{\ell=0}^{m+1} c\_{k-m-1+\ell} h\_\ell
$$
We compute the difference of both terms:
$$
c\_k h\_{m+1} + \sum\_{\ell=0}^m c\_{k-m-1+\ell} h\_\ell + \sum\_{\ell=0}^m c\_k c\_{n-1-m+\ell} h\_\ell - \sum\_{\ell=0}^m c\_{k-1-m+\ell} h\_\ell 
= c\_k \Bigg(h\_{m+1} + \underbrace{\sum\_{\ell=0}^m c\_{n-1-m+\ell} h\_\ell}\_{=-h\_{m+1}}\Bigg)=0
$$
$\square$


