Preface |
|
ix | |
Notations and Conventions |
|
xiii | |
|
|
1 | (1) |
|
1.1 Preliminaries on ideals and polynomials |
|
|
1 | (14) |
|
1.2 Algebraic field extensions |
|
|
15 | (9) |
|
1.3 Normal field extensions |
|
|
24 | (3) |
|
1.4 Separable and inseparable field extensions |
|
|
27 | (9) |
|
1.5 Galois theory of finite field extensions |
|
|
36 | (5) |
|
1.6 Norms, traces, resultants, and discriminants |
|
|
41 | (12) |
|
1.7 Finite fields, roots of unity, and cyclic field extensions |
|
|
53 | (15) |
|
1.8 Transcendental field extensions |
|
|
68 | (1) |
|
1.9 Exercises for Chapter 1 |
|
|
69 | (6) |
|
|
75 | (114) |
|
|
76 | (8) |
|
|
84 | (4) |
|
2.3 Principal ideal domains |
|
|
88 | (10) |
|
2.4 Integral elements 1: Ring-theoretic aspects |
|
|
98 | (5) |
|
2.5 Integral elements 2: Field-theoretic aspects |
|
|
103 | (5) |
|
2.6 Fractional and invertible ideals |
|
|
108 | (5) |
|
2.7 Quotient domains and localizations |
|
|
113 | (6) |
|
|
119 | (7) |
|
2.9 Ray class groups in Dedekind domains |
|
|
126 | (7) |
|
2.10 Discrete valuation domains and Dedekind domains |
|
|
133 | (12) |
|
2.11 Orders in Dedekind domains |
|
|
145 | (6) |
|
2.12 Extensions of Dedekind domains 1: General theory |
|
|
151 | (13) |
|
2.13 Extensions of Dedekind domains 2: Galois extensions |
|
|
164 | (11) |
|
2.14 Ideal norms and Frobenius automorphisms |
|
|
175 | (9) |
|
2.15 Exercises for Chapter 2 |
|
|
184 | (5) |
|
3 Algebraic Number Fields: Elementary and Geometric Methods |
|
|
189 | (104) |
|
3.1 Complete modules, integral bases and discriminants |
|
|
190 | (15) |
|
3.2 Factorization of primes in algebraic number fields |
|
|
205 | (11) |
|
3.3 Dirichlet characters and abelian number fields |
|
|
216 | (11) |
|
3.4 Quadratic characters and quadratic reciprocity |
|
|
227 | (10) |
|
3.5 The finiteness results for algebraic number fields |
|
|
237 | (16) |
|
3.6 Class groups of algebraic number fields |
|
|
253 | (13) |
|
3.7 The main theorems of classical class field theory |
|
|
266 | (4) |
|
3.8 Arithmetic of quadratic orders |
|
|
270 | (10) |
|
3.9 Genus theory of quadratic orders |
|
|
280 | (8) |
|
3.10 Exercises for Chapter 3 |
|
|
288 | (5) |
|
4 Elementary Analytic Theory |
|
|
293 | (50) |
|
4.1 Euler products and Dirichlet series |
|
|
293 | (9) |
|
4.2 Dirichlet L functions |
|
|
302 | (13) |
|
4.3 Density of prime ideals |
|
|
315 | (14) |
|
4.4 Density results using class field theory |
|
|
329 | (9) |
|
4.5 Exercises for Chapter 4 |
|
|
338 | (5) |
|
|
343 | (122) |
|
|
344 | (10) |
|
5.2 Topology and completion of valued fields |
|
|
354 | (11) |
|
5.3 Non-Archimedian valued fields 1 |
|
|
365 | (12) |
|
5.4 Hensel's lemma, generalizations and applications |
|
|
377 | (14) |
|
5.5 Extension of absolute values |
|
|
391 | (16) |
|
5.6 Unramified field extensions |
|
|
407 | (10) |
|
5.7 Ramified field extensions |
|
|
417 | (5) |
|
5.8 Non-Archimedian valued fields 2 |
|
|
422 | (13) |
|
5.9 Different and discriminant |
|
|
435 | (15) |
|
5.10 Higher ramification groups |
|
|
450 | (11) |
|
5.11 Exercises for Chapter 5 |
|
|
461 | (4) |
|
6 Algebraic Function Fields |
|
|
465 | (102) |
|
6.1 Field theoretic properties |
|
|
466 | (8) |
|
|
474 | (11) |
|
6.3 Repartitions and definition of the genus |
|
|
485 | (6) |
|
6.4 Weil differentials and the theorem of Riemann-Roch |
|
|
491 | (7) |
|
6.5 Algebraic function field extensions 1 |
|
|
498 | (11) |
|
6.6 Algebraic function field extensions 2 |
|
|
509 | (11) |
|
6.7 Derivations and differentials |
|
|
520 | (17) |
|
6.8 Differentials and Weil differentials |
|
|
537 | (9) |
|
|
546 | (16) |
|
6.10 Exercises for Chapter 6 |
|
|
562 | (5) |
Bibliography |
|
567 | (4) |
Index |
|
571 | (8) |
List of Symbols |
|
579 | |