9
$\begingroup$

In A. Fröhlich's article Local Fields in Algebraic Number Theory, the following claim is made: if $R$ is a Dedekind domain with field of fractions $K$, $L$ is a finite separable extension of $K$ and $S$ is the integral closure of $R$ in $L$, and $x$ is an element of $S$ with minimal polynomial $g$, then, "by Euler's formulae",

$$\text{tr}_{L/K}(x^i/g'(x)) \in R$$ for each $0 \leq i \leq n-1$, where $n=\text{deg } g$.

Which formulae of Euler are being referred to? The claim can be proven by the Lagrange interpolation formula; in fact the given quantity is $1$ if $i=n-1$, and $0$ for $0 \leq i < n-1$. However, I have no idea what proof Fröhlich has in mind. I also cannot resist pointing out the humor in appealing to Euler's "formulae" without further precision. Perhaps the formulae in question are well-known, and I am the only one who has not been invited to the party? In any case, more details would be greatly appreciated!

Thank you.

$\endgroup$
3
  • 3
    $\begingroup$ See Lemma 2 (Euler) on p.56 of Serre's Local Fields. $\endgroup$ May 7, 2012 at 5:56
  • 7
    $\begingroup$ Serre makes a similar comment in "Writing mathematics badly" (it's a lecture, google it to find a video), that if you want to make sure your article or lecture's title contains no information at all then call it "On a theorem of Euler". $\endgroup$ May 7, 2012 at 8:31
  • 1
    $\begingroup$ This is also in the proof of Prop. 2 on p. 58 of Lang's Algebraic Number Theory. $\endgroup$
    – KConrad
    May 7, 2012 at 14:06

1 Answer 1

5
$\begingroup$

I believe the reference is to this formula of Euler (see here): If $P(x)/Q(x)$ is a rational function and $ax+b$ is a simple factor of $Q(x)$, then the coefficient of $1/(ax+b)$ in the partial fraction decomposition of $P/Q$ is given by $$ \lim_{x\to \frac{-b}{a}} \frac{a P(x)}{Q'(x)}. $$


To see how this applies here, proceed as Serre does in Local Fields. That is, write (in a suitable extension of $L$) $$ \frac{1}{g(X)} = \sum_{k=1}^n \frac{a_k}{X-x_k} \qquad (*) $$ where the $x_k$ are the conjugates of $x$. Then a formal application of Euler's formula gives $$ a_k = \lim_{X \to x_k} \frac{1}{g'(X)} = \frac{1}{g'(x_k)}. $$ Now expand both sides of (*) as power series in $1/X$ and compare coefficients.

$\endgroup$
1
  • $\begingroup$ Wonderful! Thanks for writing that out, Faisal. $\endgroup$ May 7, 2012 at 18:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.