Available in electronic format
Available in print format
Mathematics of Computation
Journal of the American Mathematical Society
ISSN 1088-6842(e) ISSN 0025-5718(p)
     

Structure of Gröbner bases with respect to block orders

Author(s): M'Hammed El Kahoui; Said Rakrak.
Journal: Math. Comp. 76 (2007), 2181-2187.
MSC (2000): Primary 13P10, 12Y05
Posted: April 17, 2007
Retrieve article in: PDF DVI PostScript

Abstract | References | Similar articles | Additional information

Abstract: In this paper we study the structure of Gröbner bases with respect to block orders. We extend Lazard's theorem and the Gianni-Kalkbrenner theorem to the case of a zero-dimensional ideal whose trace in the ring generated by the first block of variables is radical. We then show that they do not hold for general zero-dimensional ideals.


References:

1.
W. W. Adams, A. Boyle, and P. Loustaunau, Transitivity for weak and strong Gröbner bases, J. Symbolic Comput. 15 (1993), no. 1, 49-65. MR 1210447 (94b:68064)

2.
W. W. Adams and P. Loustaunau, An introduction to Gröbner Bases, Graduate Texts in Mathematics, vol. 3, AMS, 1994. MR 1287608 (95g:13025)

3.
-, Gröbner bases and primary decomposition in polynomial rings in one variable over Dedekind domains, J. Pure and Applied Algebra 121 (1997), 1-15. MR 1471120 (98i:13049)

4.
T. Becker, On Gröbner bases under specialization, Appl. Algebra Engrg. Comm. Comput. 5 (1994), no. 1, 1-8. MR 1250930 (94h:13019)

5.
T. Becker and V. Weispfenning, Gröbner Bases: A computational approach to commutative algebra, Springer-Verlag, Berlin and New York, 1993. MR 1213453 (95e:13018)

6.
B. Buchberger, Ein algorithmus zum auffinden der basiselemente des restklassenringes nach einem nulldimensionalen polynomideal, Ph.D. thesis, Inst. University of Insbruck, Innsbruck, Austria, 1965.

7.
-, Gröbner bases: An algorithmic method in polynomial ideal theory, In Recent trends in multidimensional system theory. Bose Ed. Reidel (1985), 184-232.

8.
D. Cox, J. Little, and D. O'Shea, Ideals, varieties, and algorithms, second ed., Springer-Verlag, 1997. MR 1417938 (97h:13024)

9.
S. Gao, V. M. Rodrigues, and J. Stroomer, Gröbner basis structure of finite sets of points, Preprint, Available at http://www.math.clemson.edu/~sgao/pub.html (2003).

10.
P. Gianni, Properties of Gröbner bases under specialization, Lect. N. Comp. Sci. Berlin, Heidelberg, New York: Springer 378 (1987), 293-297. MR 1033305 (91g:13032)

11.
G.-M. Greuel, G. Pfister, and H. Schönemann, SINGULAR 3.0, A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern, June, 2005, http://www.singular.uni-kl.de.

12.
M. Kalkbrenner, Solving systems of algebraic equations using Gröbner bases, Lect. N. Comp. Sci. Berlin, Heidelberg, New York: Springer 378 (1987), 282-292.

13.
D. Lazard, Ideal bases and primary decomposition: Case of two variables, J. Symbolic Computation 1 (1985), 261-270. MR 849035 (87k:13001)

14.
M. G. Marinari and T. Mora, A remark on a remark by Macaulay or enhancing Lazard structural theorem, Bull. Iranian Math. Soc. 29 (2003), no. 1, 1-45, 85. MR 2046304 (2004m:13071)

15.
B. Sturmfels, Solving systems of polynomial equations, CBMS Regional Conference Series in Mathematics, vol. 97, Published for the Conference Board of the Mathematical Sciences, Washington, DC, 2002. MR 1925796 (2003i:13037)


Similar Articles:

Retrieve articles in Mathematics of Computation with MSC (2000): 13P10, 12Y05

Retrieve articles in all Journals with MSC (2000): 13P10, 12Y05


Additional Information:

M'Hammed El Kahoui
Affiliation: Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany
Address at time of publication: Department of Mathematics, Faculty of Sciences Semlalie, Cadi Ayyad University, P.O. Box 2390, Marrakech, Morocco
Email: elkahoui@mpi-sb.mpg.de

Said Rakrak
Affiliation: Department of Mathematics and Computer Science, Faculty of Sciences and Techniques, Cadi Ayyad University, P.O. Box 549 Marrakech, Morocco
Email: rakrak@fstg-marrakech.ac.ma

DOI: 10.1090/S0025-5718-07-01972-2
PII: S 0025-5718(07)01972-2
Keywords: Gr\"obner basis, Lazard structure theorem, Gianni-Kalkbrenner structure theorem.
Received by editor(s): October 28, 2004
Received by editor(s) in revised form: March 22, 2006
Posted: April 17, 2007
Copyright of article: Copyright 2007, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google