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
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
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
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
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
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 π.