inria-00099487, version 1
Resultant over the residual of a complete intersection
Laurent Busé
a, 1, 2Mohamed Elkadi a, 1Bernard Mourrain
b, 1
Journal of Pure and Applied Algebra 164, 1-2 (2001) 35--57
Abstract: In this article, we study the residual resultant which is the necessary and sufficient condition for a polynomial system F to have a solution in the residual of a variety, defined here by a complete intersection G. We show that it corresponds to an irreducible divisor and give an explicit formula for its degree in the coefficients of each polynomial. Using the resolution of the ideal (F:G) and computing its regularity, we give a method for computing the residual resultant using a matrix which involves a Macaulay and a Bezout part. In particular, we show that this resultant is the gcd of all the maximal minors of this matrix. We illustrate our approach for the residual of points and end by some explicit examples.
- a – Université de Nice Sophia-Antipolis
- b – INRIA
- 1: GALAAD (INRIA Sophia Antipolis)
- INRIA – CNRS : UMR6621 – Université de Nice Sophia Antipolis (UNS)
- 2: Laboratoire Jean Alexandre Dieudonné (JAD)
- CNRS : UMR6621 – Université de Nice Sophia Antipolis (UNS)
- Domain : Computer Science/Symbolic Computation
Mathematics/Commutative Algebra
Mathematics/Algebraic Geometry
- inria-00099487, version 1
- http://hal.inria.fr/inria-00099487
- oai:hal.inria.fr:inria-00099487
- From: Laurent Busé
- Submitted on: Tuesday, 26 September 2006 09:27:57
- Updated on: Tuesday, 26 September 2006 09:52:50






Associated documents

Export