کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
438217 | 690240 | 2008 | 5 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Making the use of maximal ideals constructive
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
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 v1 is monic and n≥3, then there exist such that, denoting by wi 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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 392, Issues 1–3, 28 February 2008, Pages 174-178
Journal: Theoretical Computer Science - Volume 392, Issues 1–3, 28 February 2008, Pages 174-178