Field and Galois TheoryIn the fall of 1990, I taught Math 581 at New Mexico State University for the first time. This course on field theory is the first semester of the year-long graduate algebra course here at NMSU. In the back of my mind, I thought it would be nice someday to write a book on field theory, one of my favorite mathematical subjects, and I wrote a crude form of lecture notes that semester. Those notes sat undisturbed for three years until late in 1993 when I finally made the decision to turn the notes into a book. The notes were greatly expanded and rewritten, and they were in a form sufficient to be used as the text for Math 581 when I taught it again in the fall of 1994. Part of my desire to write a textbook was due to the nonstandard format of our graduate algebra sequence. The first semester of our sequence is field theory. Our graduate students generally pick up group and ring theory in a senior-level course prior to taking field theory. Since we start with field theory, we would have to jump into the middle of most graduate algebra textbooks. This can make reading the text difficult by not knowing what the author did before the field theory chapters. Therefore, a book devoted to field theory is desirable for us as a text. While there are a number of field theory books around, most of these were less complete than I wanted. |
Contents
Galois Theory | 3 |
2 Automorphisms | 17 |
3 Normal Extensions | 29 |
4 Separable and Inseparable Extensions | 41 |
5 The Fundamental Theorem of Galois Theory | 53 |
Some Galois Extensions | 67 |
7 Cyclotomic Extensions | 73 |
8 Norms and Traces | 80 |
23 Derivations and Differentials | 212 |
Ring Theory | 227 |
1 Prime and Maximal Ideals | 228 |
2 Unique Factorization Domains | 229 |
3 Polynomials over a Field | 232 |
4 Factorization in Polynomial Rings | 234 |
5 Irreducibility Tests | 236 |
Set Theory | 243 |
9 Cyclic Extensions | 89 |
10 Hilbert Theorem 90 and Group Cohomology | 95 |
11 Kummer Extensions | 106 |
Applications of Galois Theory | 113 |
12 Discriminants | 114 |
13 Polynomials of Degree 3 and 4 | 125 |
14 The Transcendence of 𝜋 and e | 135 |
15 Ruler and Compass Constructions | 142 |
16 Solvability by Radicals | 149 |
Infinite Algebraic Extensions | 157 |
18 Some Infinite Galois Extensions | 166 |
Transcendental Extensions | 175 |
20 Linear Disjointness | 184 |
21 Algebraic Varieties | 194 |
22 Algebraic Function Fields | 203 |
2 Cardinality and Cardinal Arithmetic | 245 |
Group Theory | 247 |
2 The Sylow Theorems | 249 |
3 Solvable Groups | 250 |
4 Profinite Groups | 251 |
Vector Spaces | 257 |
2 Linear Transformations | 259 |
3 Systems of Linear Equations and Determinants | 262 |
4 Tensor Products | 263 |
Topology | 269 |
2 Topological Properties | 272 |
| 277 | |
| 279 | |
Other editions - View all
Common terms and phrases
Abelian group algebraic closure algebraic extension algebraically independent automorphism basis for K/F char(F closure of F constructible Corollary defined definition discriminant disjoint over F divides element Example extension K/F extension of F F-homomorphism F-vector field extension field F field of characteristic field of F finite extension fixed field fundamental theorem Gal(K/F Galois extension Galois group Galois over F Galois theory hence homomorphism independent over F integer intermediate field irreducible over F irreducible polynomial Let F Let f(x Let G linearly disjoint matrix maximal min(F minimal polynomial nonzero nth root prime ideal primitive nth root Problem profinite group Proof Proposition prove purely inseparable radical extension rational function field ring root of f root of unity Section separable over F solvable splitting field subfield subgroup of G subset Suppose t₁ topology transcendence basis transcendental vector space Zorn's lemma