Book contents
- Frontmatter
- Contents
- Preface
- Part one The Kronecker – Duval Philosophy
- 1 Euclid
- 2 Intermezzo: Chinese Remainder Theorems
- 3 Cardano
- 4 Intermezzo: Multiplicity of Roots
- 5 Kronecker I: Kronecker's Philosophy
- 6 Intermezzo: Sylvester
- 7 Galois I: Finite Fields
- 8 Kronecker II: Kronecker's Model
- 9 Steinitz
- 10 Lagrange
- 11 Duval
- 12 Gauss
- 13 Sturm
- 14 Galois II
- Part two Factorization
- Bibliography
- Index
11 - Duval
from Part one - The Kronecker – Duval Philosophy
Published online by Cambridge University Press: 15 October 2009
- Frontmatter
- Contents
- Preface
- Part one The Kronecker – Duval Philosophy
- 1 Euclid
- 2 Intermezzo: Chinese Remainder Theorems
- 3 Cardano
- 4 Intermezzo: Multiplicity of Roots
- 5 Kronecker I: Kronecker's Philosophy
- 6 Intermezzo: Sylvester
- 7 Galois I: Finite Fields
- 8 Kronecker II: Kronecker's Model
- 9 Steinitz
- 10 Lagrange
- 11 Duval
- 12 Gauss
- 13 Sturm
- 14 Galois II
- Part two Factorization
- Bibliography
- Index
Summary
Clever triviality is the essence of geniality.
E.B. Gebstadter, Copper, Silver, Gold: an Indestructible Metallic AlloyKronecker's Model gives a powerful tool for computing, at least within the field of the algebraic complex numbers, and for solving polynomial equations there, provided we have an algorithm for factorizing polynomials over a given algebraic extension of the rationals. Such an algorithm exists, but its practical complexity is so unsatisfactory, that the solution of polynomial equations provided by Kronecker's ideas has no practical impact and the state of the art on Solving Polynomial Equation Systems was again in an impasse: as Macaulay put it. ‘the solution is only a theoretical one’…
… until in 1987, more than one hundred years after Kronecker's Grundzüge, Duval added an unexpected twist to Kronecker's proposal, showing how factorization can be easily avoided. Her proposal threw light on Kronecker's ideas, clarifying the philosophy behind them.
I will introduce Duval's idea by discussing how to represent rings explicitly.
Explicit Representation of Rings
In all the cases we have seen up to now, a ring A is effectively given by taking a set R, whose elements are in biunivocal correspondence with the elements of A, and defining in R those operations which turn R into a ring isomorphic to A.
- Type
- Chapter
- Information
- Solving Polynomial Equation Systems IThe Kronecker-Duval Philosophy, pp. 221 - 231Publisher: Cambridge University PressPrint publication year: 2003