Ebook: Local Fields

The mathematical content and exposition are at a high level typical of Serre.

I have not finished reading the entire book, but here are some misprints I have found that may serve as a useful warning. NB: most of these errors are Not in the 3rd French edition...

Chapter 1:

section 4, pg. 14, 2nd centered display: the ramification indices should be e_{beta} not e_{p} in the product.

section 5, pg. 15, first formula needs to be N: I_{B}-> I_{A}, Not the other way around.

section 6, pg. 17, last sentence of first paragraph, replace the inclusion symbol $in$ with the word "in". Clearly, f is an element of A[X] and not an element of k[X]. In the French ed. Serre correctly used "dans" and did not us the symbol $in$.

section 7, pg. 22, in proof of Prop. 21, 2nd paragraph, 3rd sentence, replace "contain" with "contains".
4th sentence: should be, "... we must have bar{L}_{S} = bar{K}_{T}" not bar{L}. [separable consequence is later, namely in the Corollary(!)]

Chapter 2:

sec 1, pg. 28: third sentence should be "one sees that E is the union of (A:xA) cosets of modules xE,...". As is in the book, the sentence does not make grammatical sense.

sec 2, pg. 29: the def. of w must carry a v' not just v, that is: w = (1/m) v' is a discrete valuation of L.

sec 3, theorem 1, (i): change K to hat{K}; so the completion of L_i has degree n_i over the completion of K.

sec 3, exercise 1: the suggested reference should say Section 3 of Bourbaki Algebra, not 7. (going by Hermann Paris 1958 as usual)

Chapter 4:

sec 1, pg. 63, prop 3, need K' (not K) in def. of e', that is: e' = e_{L/K'}.

in the proof of prop 3, the s and t for "st, t in H" need to be italicized.

sec 2, prop 6, first line of proof: gothic beta should be gothic p, that is to each x in p^{i}_{L}

sec 3, lemma 3, last line of proof: upper case Phi is nowhere defined, need lower case phi, that is: phi'(u)....so theta and phi must coincide.

sec 3, statement of lemma 5, again phi, not Phi.

Some tips for the beginner:

- Know how localization behaves as a functor via, say Atiyah-Macdonald.

- For a clean and clear proof that separable <=> nondegenerate Tr(,) see Roman's "Field Theory" (Bourbaki uses etale algebras to get this result, a bit more than needed).

- P. Samuel's "Algebraic theory of numbers" (Dover publ. now!) has a very elegant exposition of the proof of quadratic reciprocity that is alluded to at the end of section 8.