|
|
1 | (46) |
|
1.1 Generalized Eigenspaces |
|
|
2 | (10) |
|
1.1.A Big Kernels and Small Images |
|
|
3 | (3) |
|
1.1.B Minimal Polynomials and Eigenspaces |
|
|
6 | (6) |
|
1.2 Minimal and Characteristic Polynomials |
|
|
12 | (5) |
|
1.3 Nilpotent Endomorphisms and Multiplicities |
|
|
17 | (7) |
|
1.4 The Module Structure Given by an Endomorphism |
|
|
24 | (10) |
|
1.5 Commendable Endomorphisms |
|
|
34 | (6) |
|
1.6 Other Special Endomorphisms |
|
|
40 | (7) |
|
2 Families of Commuting Endomorphisms |
|
|
47 | (48) |
|
|
49 | (5) |
|
2.2 Kernels and Big Kernels of Ideals |
|
|
54 | (10) |
|
2.2.A Properties of Zero-Dimensional Rings |
|
|
55 | (4) |
|
2.2.B Properties of Kernels and Big Kernels of Ideals |
|
|
59 | (5) |
|
|
64 | (5) |
|
|
69 | (8) |
|
2.5 Splitting Endomorphisms |
|
|
77 | (12) |
|
2.6 Simultaneous Diagonalization and Triangularization |
|
|
89 | (6) |
|
3 Special Families of Endomorphisms |
|
|
95 | (36) |
|
3.1 F-Cyclic Vector Spaces |
|
|
96 | (5) |
|
3.2 Unigenerated Families |
|
|
101 | (9) |
|
|
110 | (3) |
|
|
113 | (6) |
|
|
119 | (7) |
|
|
126 | (5) |
|
4 Zero-Dimensional Affine Algebras |
|
|
131 | (54) |
|
4.1 Multiplication Endomorphisms |
|
|
134 | (5) |
|
4.2 Primary Decomposition and Separators |
|
|
139 | (6) |
|
4.3 Commendable and Splitting Multiplication Endomorphisms |
|
|
145 | (8) |
|
4.4 Local Multiplication Families |
|
|
153 | (8) |
|
4.5 Dual Multiplication Families |
|
|
161 | (14) |
|
4.6 Hilbert Functions and the Cayley-Bacharach Property |
|
|
175 | (10) |
|
5 Computing Primary and Maximal Components |
|
|
185 | (58) |
|
5.1 Computing Primary Decompositions |
|
|
188 | (15) |
|
5.1.A Using the Generically Extended Linear Form |
|
|
189 | (5) |
|
5.1.B Using Linear Forms and Idempotents |
|
|
194 | (6) |
|
5.1.C Computing Joint Eigenspaces |
|
|
200 | (3) |
|
5.2 Primary Decomposition over Finite Fields |
|
|
203 | (10) |
|
5.3 Computing Maximal Components via Factorization |
|
|
213 | (13) |
|
5.3.A Minimal Polynomials and Finite Field Extensions |
|
|
213 | (5) |
|
5.3.B Factorizing over Extension Fields |
|
|
218 | (5) |
|
5.3.C Using Factorizations to Compute Maximal Components |
|
|
223 | (3) |
|
5.4 Primary Decompositions Using Radical Ideals |
|
|
226 | (11) |
|
5.4.A Maximal Components via Radical Ideals |
|
|
227 | (6) |
|
5.4.B Primary Components from Maximal Components |
|
|
233 | (4) |
|
5.5 The Separable Subalgebra |
|
|
237 | (6) |
|
6 Solving Zero-Dimensional Polynomial Systems |
|
|
243 | (68) |
|
6.1 Rational Zeros via Commuting Families |
|
|
245 | (10) |
|
6.1.A Computing One-Dimensional Joint Eigenspaces |
|
|
246 | (6) |
|
6.1.B Computing Linear Maximal Ideals |
|
|
252 | (3) |
|
6.2 Rational Zeros via Eigenvalues and Eigenvectors |
|
|
255 | (14) |
|
6.2.A The Eigenvalue Method |
|
|
256 | (8) |
|
6.2.B The Eigenvector Method |
|
|
264 | (5) |
|
6.3 Solving Polynomial Systems over Finite Fields |
|
|
269 | (26) |
|
6.3.A Computing Isomorphisms of Finite Fields |
|
|
271 | (8) |
|
6.3.B Solving over Finite Fields via Cloning |
|
|
279 | (6) |
|
6.3.C Solving over Finite Fields via Univariate Representations |
|
|
285 | (5) |
|
6.3.D Solving over Finite Fields via Recursion |
|
|
290 | (5) |
|
6.4 Solving Polynomial Systems over the Rationals |
|
|
295 | (16) |
|
6.4.A Splitting Fields in Characteristic Zero |
|
|
297 | (5) |
|
6.4.B Solving over the Rational Numbers via Cloning |
|
|
302 | (9) |
Notation |
|
311 | (4) |
References |
|
315 | (2) |
Index |
|
317 | |