𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Degrevlex Gröbner bases of generic complete intersections

✍ Scribed by Guillermo Moreno-Socı́as


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
246 KB
Volume
180
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.

✦ Synopsis


In this paper, we study the Hilbert-Samuel function of a generic standard graded K-algebra K[X1; : : : ; Xn]=(g1; : : : ; gm) when reÿned by an (')-adic ÿltration, ' being a linear form. From this we obtain a structure theorem which describes the stairs of a generic complete intersection for the degree-reverse-lexicographic order. We show what this means for generic standard (or Gr obner) bases for this order; in particular, we consider an "orderly ÿlling up" conjecture, and we propose a strategy for the standard basis algorithm which could be useful in generic-like cases.


📜 SIMILAR VOLUMES


Gröbner Bases Applied to Finitely Genera
✍ Jörn Müller-Quade; Rainer Steinwandt 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 442 KB

Using a constructive field-ideal correspondence it is shown how to compute the transcendence degree and a (separating) transcendence basis of finitely generated field extensions k( x)/k( g), resp. how to determine the (separable) degree if k( x)/k( g) is algebraic. Moreover, this correspondence is u

On the Complexity of Gröbner Bases Conve
✍ Michael Kalkbrener 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 201 KB

In this paper, the complexity of the conversion problem for Gröbner bases is investigated. It is shown that for adjacent Gröbner bases F and G, the maximal degree of the polynomials in G, denoted by deg(G), is bounded by a quadratic polynomial in deg(F ). For non-adjacent Gröbner bases, however, the

Gröbner Bases of Modules over Reduction
✍ S. Stifter 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 374 KB

Reduction rings are rings in which the Gröbner bases approach is possible, i.e., the Gröbner basis of an ideal in a reduction ring can be computed using Buchberger's algorithm. We show that one can also compute Gröbner bases of modules over reduction rings. Our approach is much more general than oth

Gröbner Bases in Orders of Algebraic Num
✍ David Andrew Smith 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 281 KB

We prove that any order O of any algebraic number field K is a reduction ring. Rather than showing the axioms for a reduction ring hold, we start from scratch by well-ordering O, defining a division algorithm, and demonstrating how to use it in a Buchberger algorithm which computes a Gröbner basis g

On the Stability of Gröbner Bases Under
✍ MICHAEL KALKBRENER 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 344 KB

Let R be a Noetherian commutative ring with identity, K a field and π a ring homomorphism from R to K. We investigate for which ideals in R[x 1 , . . . , xn] and admissible orders the formation of leading monomial ideals commutes with the homomorphism π.