Preface |
|
v | |
|
Historical Aspects of the Resolution of Algebraic Equations |
|
|
1 | (8) |
|
Approximating the Roots of an Equation |
|
|
1 | (1) |
|
Construction of Solutions by Intersections of Curves |
|
|
2 | (1) |
|
Relations with Trigonometry |
|
|
2 | (1) |
|
Problems of Notation and Terminology |
|
|
3 | (1) |
|
The Problem of Localization of the Roots |
|
|
4 | (1) |
|
The Problem of the Existence of Roots |
|
|
5 | (1) |
|
The Problem of Algebraic Solutions of Equations |
|
|
6 | (3) |
|
|
7 | (2) |
|
Resolution of Quadratic, Cubic, and Quartic Equations |
|
|
9 | (16) |
|
|
9 | (4) |
|
|
9 | (2) |
|
|
11 | (1) |
|
|
11 | (1) |
|
|
12 | (1) |
|
|
13 | (5) |
|
|
13 | (1) |
|
Omar Khayyam and Sharaf ad Din at Tusi |
|
|
13 | (1) |
|
Scipio del Ferro, Tartaglia, Cardan |
|
|
14 | (1) |
|
Algebraic Solution of the Cubic Equation |
|
|
15 | (1) |
|
First Computations with Complex Numbers |
|
|
16 | (1) |
|
|
17 | (1) |
|
|
18 | (1) |
|
|
18 | (7) |
|
|
19 | (3) |
|
Solutions to Some of the Exercises |
|
|
22 | (3) |
|
|
25 | (26) |
|
|
25 | (2) |
|
|
25 | (1) |
|
|
26 | (1) |
|
Elementary Symmetric Polynomials |
|
|
27 | (2) |
|
|
27 | (1) |
|
The Product of the X - Xi; Relations Between Coefficients and Roots |
|
|
27 | (2) |
|
Symmetric Polynomials and Elementary Symmetric Polynomials |
|
|
29 | (3) |
|
|
29 | (2) |
|
|
31 | (1) |
|
|
32 | (1) |
|
|
32 | (3) |
|
Resultant of Two Polynomials |
|
|
35 | (2) |
|
|
35 | (1) |
|
|
35 | (2) |
|
Discriminant of a Polynomial |
|
|
37 | (14) |
|
|
37 | (1) |
|
|
37 | (1) |
|
|
38 | (1) |
|
Polynomials with Real Coefficients: Real Roots and Sign of the Discriminant |
|
|
38 | (1) |
|
|
39 | (5) |
|
Solutions to Some of the Exercises |
|
|
44 | (7) |
|
|
51 | (28) |
|
|
51 | (2) |
|
|
51 | (1) |
|
|
52 | (1) |
|
The Degree of an Extension |
|
|
52 | (1) |
|
|
52 | (1) |
|
|
53 | (1) |
|
|
53 | (1) |
|
|
54 | (1) |
|
|
54 | (1) |
|
|
55 | (1) |
|
|
55 | (1) |
|
|
55 | (4) |
|
|
55 | (1) |
|
|
55 | (1) |
|
Minimal Polynomial of an Algebraic Element |
|
|
56 | (1) |
|
|
56 | (1) |
|
Properties of the Minimal Polynomial |
|
|
57 | (1) |
|
Proving the Irreducibility of a Polynomial in Z[ X] |
|
|
57 | (2) |
|
|
59 | (2) |
|
Extensions Generated by an Algebraic Element |
|
|
59 | (1) |
|
|
59 | (1) |
|
|
60 | (1) |
|
Extensions of Finite Degree |
|
|
60 | (1) |
|
Corollary: Towers of Algebraic Extensions |
|
|
61 | (1) |
|
Algebraic Extensions Generated by n Elements |
|
|
61 | (1) |
|
|
61 | (1) |
|
|
61 | (1) |
|
|
62 | (1) |
|
Construction of an Extension by Adjoining a Root |
|
|
62 | (17) |
|
|
62 | (1) |
|
|
62 | (1) |
|
|
63 | (1) |
|
Universal Property of K[ X]/(P) |
|
|
63 | (1) |
|
|
64 | (1) |
|
|
64 | (5) |
|
Solutions to Some of the Exercises |
|
|
69 | (10) |
|
Constructions with Straightedge and Compass |
|
|
79 | (14) |
|
|
79 | (1) |
|
Examples of Classical Constructions |
|
|
80 | (1) |
|
Projection of a Point onto a Line |
|
|
80 | (1) |
|
Construction of an Orthonormal Basis from Two Points |
|
|
80 | (1) |
|
Construction of a Line Parallel to a Given Line Passing Through a Point |
|
|
81 | (1) |
|
|
81 | (1) |
|
Coordinates of Points Constructible in One Step |
|
|
82 | (1) |
|
A Necessary Condition for Constructibility |
|
|
83 | (1) |
|
Two Problems More Than Two Thousand Years Old |
|
|
84 | (1) |
|
|
85 | (1) |
|
|
85 | (1) |
|
A Sufficient Condition for Constructibility |
|
|
85 | (8) |
|
|
87 | (3) |
|
Solutions to Some of the Exercises |
|
|
90 | (3) |
|
|
93 | (14) |
|
|
93 | (1) |
|
|
94 | (1) |
|
|
94 | (1) |
|
|
94 | (1) |
|
Algebraic Elements and K-Homomorphisms |
|
|
95 | (2) |
|
|
95 | (1) |
|
|
96 | (1) |
|
Extensions of Embeddings into C |
|
|
97 | (2) |
|
|
97 | (1) |
|
|
97 | (1) |
|
|
98 | (1) |
|
The Primitive Element Theorem |
|
|
99 | (2) |
|
|
99 | (1) |
|
|
100 | (1) |
|
Linear Independence of K-Homomorphisms |
|
|
101 | (6) |
|
|
101 | (1) |
|
|
101 | (1) |
|
Corollary: Dedekind's Theorem |
|
|
102 | (1) |
|
|
102 | (1) |
|
Solutions to Some of the Exercises |
|
|
103 | (4) |
|
|
107 | (12) |
|
|
107 | (1) |
|
|
107 | (1) |
|
Splitting Field of a Cubic Polynomial |
|
|
108 | (1) |
|
|
108 | (1) |
|
Normal Extensions and K-Homomorphisms |
|
|
109 | (1) |
|
Splitting Fields and Normal Extensions |
|
|
109 | (1) |
|
|
109 | (1) |
|
|
110 | (1) |
|
Normal Extensions and Intermediate Extensions |
|
|
110 | (1) |
|
|
111 | (1) |
|
|
111 | (1) |
|
|
111 | (1) |
|
|
111 | (1) |
|
Splitting Fields: General Case |
|
|
112 | (7) |
|
|
113 | (1) |
|
|
113 | (2) |
|
Solutions to Some of the Exercises |
|
|
115 | (4) |
|
|
119 | (30) |
|
|
119 | (3) |
|
The Galois Group of an Extension |
|
|
119 | (1) |
|
The Order of the Galois Group of a Normal Extension of Finite Degree |
|
|
120 | (1) |
|
The Galois Group of a Polynomial |
|
|
120 | (1) |
|
The Galois Group as a Subgroup of a Permutation Group |
|
|
120 | (1) |
|
A Short History of Groups |
|
|
121 | (1) |
|
|
122 | (2) |
|
Definition and Proposition |
|
|
122 | (1) |
|
|
122 | (2) |
|
The Example of Q [ 3√2, j]: First Part |
|
|
124 | (2) |
|
Galois Groups and Intermediate Extensions |
|
|
126 | (1) |
|
The Galois Correspondence |
|
|
126 | (2) |
|
The Example of Q [ 3√2, j]: Second Part |
|
|
128 | (1) |
|
|
128 | (21) |
|
|
128 | (1) |
|
|
129 | (1) |
|
The Galois Group of X4 + 2 |
|
|
130 | (1) |
|
The Galois Correspondence |
|
|
130 | (2) |
|
Search for Minimal Polynomials |
|
|
132 | (1) |
|
Toward Chapters 9, 10, and 12 |
|
|
133 | (1) |
|
|
133 | (6) |
|
Solutions to Some of the Exercises |
|
|
139 | (10) |
|
|
149 | (30) |
|
The Group U(n) of Units of the Ring Z/nZ |
|
|
149 | (2) |
|
Definition and Background |
|
|
149 | (1) |
|
|
150 | (1) |
|
|
151 | (2) |
|
|
151 | (1) |
|
|
151 | (1) |
|
|
151 | (1) |
|
The Mobius Inversion Formula |
|
|
152 | (1) |
|
|
153 | (1) |
|
|
153 | (1) |
|
|
153 | (1) |
|
|
153 | (1) |
|
Properties of Primitive Roots |
|
|
153 | (1) |
|
|
153 | (3) |
|
|
153 | (1) |
|
Properties of the Cyclotomic Polynomial |
|
|
153 | (3) |
|
The Galois Group over Q of an Extension of Q by a Root of Unity |
|
|
156 | (23) |
|
|
157 | (6) |
|
Solutions to Some of the Exercises |
|
|
163 | (16) |
|
|
179 | (16) |
|
Cyclic and Abelian Extensions |
|
|
179 | (1) |
|
Extensions by a Root and Cyclic Extensions |
|
|
179 | (1) |
|
|
180 | (1) |
|
|
181 | (1) |
|
|
181 | (1) |
|
|
182 | (1) |
|
Extensions by a Root and Cyclic Extensions: Converse |
|
|
182 | (1) |
|
|
183 | (1) |
|
|
183 | (1) |
|
|
183 | (1) |
|
Resolution of the Cubic Equation |
|
|
184 | (2) |
|
Solution of the Quartic Equation |
|
|
186 | (2) |
|
|
188 | (7) |
|
|
188 | (2) |
|
Solutions to Some of the Exercises |
|
|
190 | (5) |
|
|
195 | (12) |
|
|
195 | (1) |
|
Derived or Commutator Subgroup |
|
|
196 | (1) |
|
Second Definition of Solvability |
|
|
196 | (1) |
|
Examples of Solvable Groups |
|
|
197 | (1) |
|
|
197 | (1) |
|
The Group An Is Simple for n ≥ 5 |
|
|
198 | (1) |
|
|
198 | (1) |
|
An Is Not Solvable for n ≥ 5, Direct Proof |
|
|
199 | (1) |
|
|
199 | (8) |
|
|
200 | (3) |
|
Solutions to Some of the Exercises |
|
|
203 | (4) |
|
Solvability of Equations by Radicals |
|
|
207 | (12) |
|
Radical Extensions and Polynomials Solvable by Radicals |
|
|
207 | (2) |
|
|
207 | (1) |
|
Polynomials Solvable by Radicals |
|
|
208 | (1) |
|
|
208 | (1) |
|
|
208 | (1) |
|
If a Polynomial Is Solvable by Radicals, Its Galois Group Is Solvable |
|
|
209 | (1) |
|
Example of a Polynomial Not Solvable by Radicals |
|
|
209 | (1) |
|
The Converse of the Fundamental Criterion |
|
|
210 | (1) |
|
The General Equation of Degree n |
|
|
210 | (9) |
|
Algebraically Independent Elements |
|
|
210 | (1) |
|
Existence of Algebraically Independent Elements |
|
|
211 | (1) |
|
The General Equation of Degree n |
|
|
211 | (1) |
|
Galois Group of the General Equation of Degree n |
|
|
211 | (1) |
|
|
212 | (2) |
|
Solutions to Some of the Exercises |
|
|
214 | (5) |
|
The Life of Evariste Galois |
|
|
219 | (8) |
|
|
227 | (30) |
|
Algebraically Closed Fields |
|
|
227 | (2) |
|
|
227 | (1) |
|
|
228 | (1) |
|
|
228 | (1) |
|
Examples of Finite Fields |
|
|
229 | (1) |
|
The Characteristic of a Field |
|
|
229 | (1) |
|
|
229 | (1) |
|
|
229 | (1) |
|
Properties of Finite Fields |
|
|
230 | (1) |
|
|
230 | (1) |
|
The Frobenius Homomorphism |
|
|
231 | (1) |
|
Existence and Uniqueness of a Finite Field with pr Elements |
|
|
231 | (2) |
|
|
231 | (1) |
|
|
232 | (1) |
|
Extensions of Finite Fields |
|
|
233 | (1) |
|
Normality of a Finite Extension of Finite Fields |
|
|
233 | (1) |
|
The Galois Group of a Finite Extension of a Finite Field |
|
|
233 | (24) |
|
|
233 | (1) |
|
The Galois Correspondence |
|
|
234 | (1) |
|
|
234 | (1) |
|
|
235 | (8) |
|
Solutions to Some of the Exercises |
|
|
243 | (14) |
|
|
257 | (4) |
|
|
257 | (1) |
|
Example of an Inseparable Element |
|
|
258 | (1) |
|
A Criterion for Separability |
|
|
258 | (1) |
|
|
259 | (1) |
|
Perfect Fields and Separable Extensions |
|
|
259 | (1) |
|
|
260 | (1) |
|
|
260 | (1) |
|
|
260 | (1) |
|
The Galois Correspondence |
|
|
260 | (1) |
|
|
260 | (1) |
|
|
261 | (10) |
|
The Inverse Problem of Galois Theory |
|
|
261 | (1) |
|
|
261 | (1) |
|
|
262 | (1) |
|
|
262 | (1) |
|
Computation of Galois Groups over Q for Small-Degree Polynomials |
|
|
262 | (9) |
|
Simplification of the Problem |
|
|
263 | (1) |
|
The Irreducibility Problem |
|
|
263 | (1) |
|
|
263 | (1) |
|
Looking for G Among the Transitive Subgroups of Sn |
|
|
264 | (1) |
|
Transitive Subgroups of S4 |
|
|
264 | (1) |
|
|
265 | (1) |
|
|
266 | (1) |
|
|
267 | (1) |
|
|
268 | (3) |
Bibliography |
|
271 | (6) |
Index |
|
277 | |