LIP6 1997/014
- Reports
Construction de l'idéal des relations entre les racines d'un polynôme - A. Valibouze
- 4 pages - 09/10/1997- document en - http://www.lip6.fr/lip6/reports/1997/lip6.1997.014.ps.gz - 36 Ko
- Contact : Annick.Valibouze (at) nulllip6.fr
- Ancien Thème : CALFOR
- Keywords : computer algebra, Galois theorie, ideal fixed by a group, minimal polynomial
- Publisher : Annick.Valibouze (at) nulllip6.fr
Galois theory allows us to deal with effective computation in algebraic extensions of fields. In this aim, the present paper is devoted to an effective inductive construction of an effective generator system for the ideal of relations between the roots of an univariate polynomial over a field.
The idea is to define new ideals between the ideal of symmetric relations and the ideal of relations and to give a correspondance between these ideals and finite sets of permutations. The fundamental tools of this construction are multivariate polynomials called minimal polynomials associated to our ideals. These polynomials characterise the considered ideals and allow to construct a generators system for them.
The idea is to define new ideals between the ideal of symmetric relations and the ideal of relations and to give a correspondance between these ideals and finite sets of permutations. The fundamental tools of this construction are multivariate polynomials called minimal polynomials associated to our ideals. These polynomials characterise the considered ideals and allow to construct a generators system for them.