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.

Скачать книгу бесплатно (pdf, 8.63 Mb)

---

Читать «Local Fields (Graduate Texts in Mathematics)»