Search

Abstract: Lawrence semigroups arise as a tool to compute Graver bases of semigroup ideals. It is known that the minimal free resolution of semigroup ideals is characterized by the reduced homologies of certain simplicial complexes. In this paper we study the minimal degrees of a Lawrence semigroup ideal and its first syzygy given a combinatorial characterization of the nonvanishing cycles in their associated reduced homologies. We specialize the results that appeared in [Briales, E., Campillo, A., Marijuán, C., Pisón, P., 1998. Minimal systems of generators for ideals of semigroups. J. Pure Appl. Algebra, 127, 7–30] and [Pisón-Casares, P., Vigneron-Tenorio, A., 2001. First syzygies of toric varieties and diophantine equations in congruence. Comm. Alg. 29 (4), 1445–1466] to the Lawrence semigroups. [Copyright &y& Elsevier]

Abstract: One of the main contributions which Volker Weispfenning made to mathematics is related to Gröbner bases theory. In this paper we present an algorithm for computing all algebraic intermediate subfields in a separably generated unirational field extension (which in particular includes the zero characteristic case). One of the main tools is Gröbner bases theory. Our algorithm also requires computing primitive elements and factoring over algebraic extensions. Moreover, the method can be extended to finitely generated -algebras. [Copyright &y& Elsevier]

Abstract: Let be a field and a finite directed multi-graph. The focus of this paper is to offer a complete description of all path algebras and admissible orders with the property that all of their finitely generated ideals have finite Gröbner bases and of those which contain a finitely generated ideal whose Gröbner bases are all infinite. [Copyright &y& Elsevier]

Abstract: Algebraic function fields of positive characteristic are non-perfect fields, and many standard algorithms for solving some fundamental problems in commutative algebra simply do not work over these fields. This paper presents practical algorithms for the first time for (1) computing the primary decomposition of ideals of polynomial rings defined over such fields and (2) factoring arbitrary multivariate polynomials over such fields. Difficulties involving inseparability and the situation where the transcendence degree is greater than one are completely overcome, while the algorithms avoid explicit construction of any extension of the input base field. As a corollary, the problem of computing the primary decomposition of a positive-dimensional ideal over a finite field is also solved. The algorithms perform very effectively in an implementation within the Magma Computer Algebra System, and an analysis of their practical performance is given. [Copyright &y& Elsevier]