An algorithm for unimodular completion over Noetherian rings

详细信息    查看全文

• 作者：Abdessalem Mnif ; Ihsen Yengui
• 关键词：Quillen– ; Suslin theorem ; Suslin's stability theorem ; Constructive mathematics ; Computer algebra
• 刊名：Journal of Algebra
• 出版年：2007
• 出版时间：15 October 2007
• 年：2007
• 卷：316
• 期：2
• 页码：483-498
• 全文大小：196 K

文摘

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 d<∞, then for nmax(3,d+2), SL_n(R) acts transitively on Um_n(R). For technical reasons we demand that the Noetherian ring A has a theory of Gröbner bases and contains an infinite set E={y₁,y₂,…} such that y_i−y_jA^× for each i≠j. The most important guiding examples are affine rings K[x₁,…,x_m]/I and localizations of polynomial rings S⁻¹K[x₁,…,x_m], 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 v₁(X),…,v_n(X)=A[X] where v₁ is monic and n3, then there exist γ₁,…,γ_ℓE_n−1(A[X]) such that . Thanks to this constructive proof, Suslin's second proof of Serre's conjecture becomes fully constructive.