Title: | Unimodular rows over Laurent polynomial rings (English) |
Author: | Mnif, Abdessalem |
Author: | Amidou, Morou |
Language: | English |
Journal: | Czechoslovak Mathematical Journal |
ISSN: | 0011-4642 (print) |
ISSN: | 1572-9141 (online) |
Volume: | 72 |
Issue: | 4 |
Year: | 2022 |
Pages: | 927-934 |
Summary lang: | English |
. | |
Category: | math |
. | |
Summary: | We prove that for any ring ${\bf R}$ of Krull dimension not greater than 1 and $n\geq 3$, the group ${\rm E}_{n}({\bf R}[X, X^{-1}])$ acts transitively on ${\rm Um}_{n}({\bf R} [X, X^{-1}])$. In particular, we obtain that for any ring ${\bf R}$ with Krull dimension not greater than 1, all finitely generated stably free modules over ${\bf R} [X, X^{-1}]$ are free. All the obtained results are proved constructively. (English) |
Keyword: | Quillen-Suslin theorem |
Keyword: | stably free module |
Keyword: | Hermite ring conjecture |
Keyword: | Laurent polynomial ring |
Keyword: | constructive mathematics |
MSC: | 03F65 |
MSC: | 13C10 |
MSC: | 14Q20 |
MSC: | 19A13 |
idZBL: | Zbl 07655772 |
idMR: | MR4517585 |
DOI: | 10.21136/CMJ.2022.0002-20 |
. | |
Date available: | 2022-11-28T11:31:31Z |
Last updated: | 2023-04-11 |
Stable URL: | http://hdl.handle.net/10338.dmlcz/151118 |
. | |
Reference: | [1] Amidou, M., Yengui, M.: An algorithm for unimodular completion over Laurent polynomial rings.Linear Algebra Appl. 429 (2008), 1687-1698. Zbl 1147.13004, MR 2444354, 10.1016/j.laa.2008.05.002 |
Reference: | [2] Barhoumi, S., Yengui, I.: On a localization of the Laurent polynomial ring.JP J. Algebra Number Theory Appl. 5 (2005), 591-602. Zbl 1095.13006, MR 2189971 |
Reference: | [3] Bass, H.: Libération des modules projectifs sur certains anneaux des polynômes.Sém. Bourbaki 1973/1974, Expose 448 Lecture Notes in Mathematics 431. Springer, Berlin (1975), 228-354 French. Zbl 0304.13012, MR 0472826 |
Reference: | [4] Coquand, T., Lombardi, H., Quitté, C.: Generating non-Noetherian modules constructively.Manuscr. Math. 115 (2004), 513-520. Zbl 1059.13006, MR 2103665, 10.1007/s00229-004-0509-2 |
Reference: | [5] Ellouz, A., Lombardi, H., Yengui, I.: A constructive comparison for the rings $R(X)$ and $R\langle X\rangle$ and application to the Lequain-Simis induction theorem.J. Algebra 320 (2008), 521-533. Zbl 1147.13012, MR 2422305, 10.1016/j.jalgebra.2007.12.004 |
Reference: | [6] Huckaba, J. A.: Commutative Rings with Zero Divisors.Monographs and Textbooks in Pure and Applied Mathematics 117. Marcel Dekker, New York (1988). Zbl 0637.13001, MR 0938741 |
Reference: | [7] Kunz, E.: Introduction to Commutative Algebra and Algebraic Geometry.Birkhäuser, Boston (1985). Zbl 0563.13001, MR 0789602, 10.1007/978-1-4614-5987-3 |
Reference: | [8] Lam, T. Y.: Serre's Conjecture.Lecture Notes in Mathematics 635. Springer, Berlin (1978). Zbl 0373.13004, MR 0485842, 10.1007/BFb0068340 |
Reference: | [9] Lam, T. Y.: Serre's Problem on Projective Modules.Springer Monograph Mathematics. Springer, Berlin (2006). Zbl 1101.13001, MR 2235330, 10.1007/978-3-540-34575-6 |
Reference: | [10] Lombardi, H., Quitté, C.: Commutative Algebra: Constructive Methods.Algebra and Applications 20. Springer, Dordrecht (2015). Zbl 1327.13001, MR 3408454, 10.1007/978-94-017-9944-7 |
Reference: | [11] Lombardi, H., Yengui, I.: Suslin's algorithms for reduction of unimodular rows.J. Symb. Comput. 39 (2005), 707-717. Zbl 1120.13034, MR 2168615, 10.1016/j.jsc.2005.01.004 |
Reference: | [12] Mines, R., Richman, F., Ruitenburg, W.: A Course in Constructive Algebra.Universitext. Springer, New York (1988). Zbl 0725.03044, MR 0919949, 10.1007/978-1-4419-8640-5 |
Reference: | [13] Roitman, M.: On stably extended projective modules over polynomial rings.Proc. Am. Math. Soc. 97 (1986), 585-589. Zbl 0595.13009, MR 0845969, 10.1090/S0002-9939-1986-0845969-9 |
Reference: | [14] Suslin, A. A.: On the structure of the special linear group over polynomial rings.Math. USSR, Izv. 11 (1977), 221-238. Zbl 0378.13002, MR 0472792, 10.1070/IM1977v011n02ABEH001709 |
Reference: | [15] Yengui, I.: Making the use of maximal ideals constructive.Theor. Comput. Sci. 392 (2008), 174-178. Zbl 1141.13303, MR 2394992, 10.1016/j.tcs.2007.10.011 |
Reference: | [16] Yengui, I.: The Hermite ring conjecture in dimension one.J. Algebra 320 (2008), 437-441. Zbl 1151.13009, MR 2417998, 10.1016/j.jalgebra.2008.02.007 |
Reference: | [17] Yengui, I.: Constructive Commutative Algebra: Projective Modules over Polynomial Rings and Dynamical Gröbner Bases.Lecture Notes in Mathematics 2138. Springer, Cham (2015). Zbl 1360.13002, MR 3409062, 10.1007/978-3-319-19494-3 |
. |
Fulltext not available (moving wall 24 months)