Search

Abstract: In this paper, we extend the notion of “dynamical Gröbner bases” introduced by the second author to Dedekind rings (with zero divisors). As an application, we dynamically solve the ideal membership problem and compute a generating set for the syzygy module over multivariate polynomial rings with coefficients in Dedekind rings. We also give a partial positive answer to a conjecture about Gröbner rings. [Copyright &y& Elsevier]

Abstract: We prove constructively that for any ring R of Krull dimension ⩽1 and , the group acts transitively on . In particular, we obtain that for any ring R with Krull dimension ⩽1, all finitely generated stably free modules over are free. This settles the long-standing Hermite ring conjecture for rings of Krull dimension ⩽1. [Copyright &y& Elsevier]

Abstract: The purpose of this paper is to decipher constructively a lemma of Suslin which played a central role in his second solution of Serre’s problem on projective modules over polynomial rings. This lemma says that for a commutative ring if where is monic and , then there exist such that, denoting by the first coordinate of , we have . By the constructive proof we give, Suslin’s proof of Serre’s problem becomes fully constructive. Moreover, the new method with which we treat this academic example may be a model for miming constructively abstract proofs in which one works modulo a generic maximal ideal in order to prove that an ideal contains 1. [Copyright &y& Elsevier]

Abstract: We give an algorithm for the well-known result asserting that if R is a polynomial ring in a finite number of variables over a Noetherian ring A of Krull dimension , then for , acts transitively on . For technical reasons we demand that the Noetherian ring A has a theory of Gröbner bases and contains an infinite set such that for each . The most important guiding examples are affine rings and localizations of polynomial rings , with K an infinite field. Moreover, we give an algorithmic proof of Suslin''s stability theorem over these rings. For the purpose to prepare the ground for this algorithmic generalizations of the Quillen–Suslin theorem (corresponding to the particular case A is a field), we will give in the first section a constructive proof of an important lemma of Suslin which is the only nonconstructive step in Suslin''s second elementary solution of Serre''s conjecture. This lemma says that for a commutative ring A, if where is monic and , then there exist such that . Thanks to this constructive proof, Suslin''s second proof of Serre''s conjecture becomes fully constructive. [Copyright &y& Elsevier]

Abstract: A well-known lemma of Suslin says that for a commutative ring if is unimodular where is monic and , then there exist such that the ideal generated by equals . This lemma played a central role in the resolution of Serre’s Conjecture. In the case where contains a set of cardinality greater than such that is invertible for each in , we prove that the can simply correspond to the elementary operations , , where . These efficient elementary operations enable us to give new and simple algorithms for reducing unimodular rows with entries in to using elementary operations in the case where is an infinite field. Another feature of this paper is that it shows that the concrete local–global principles can produce competitive complexity bounds. [Copyright &y& Elsevier]

Abstract: We constructively prove that for any ring R with Krull dimension ⩽d, the ring locally behaves like the ring or a localization of a polynomial ring of type with S a multiplicative subset of R such that the Krull dimension of is . As an application, we give a simple and constructive proof of the Lequain–Simis Induction Theorem which is an important variation of the Quillen Induction Theorem. [Copyright &y& Elsevier]