Abstract
We prove that for any ring R of Krull dimension not greater than 1 and n ⩾ 3, the group En (R[X, X−1]) acts transitively on Umn(R[X, X−1]). In particular, we obtain that for any ring R with Krull dimension not greater than 1, all finitely generated stably free modules over R[X, X−1] are free. All the obtained results are proved constructively.
Similar content being viewed by others
References
M. Amidou, M. Yengui: An algorithm for unimodular completion over Laurent polynomial rings. Linear Algebra Appl. 429 (2008) 1687–1698.
S. Barhoumi, I. Yengui: On a localization of the Laurent polynomial ring. JP J. Algebra Number Theory Appl. 5 (2005) 591–602.
H. Bass: 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, pp. 228–354. (In French.)
T. Coquand, H. Lombardi, C. Quitté: Generating non-Noetherian modules constructively. Manuscr. Math. 115 (2004) 513–520.
A. Ellouz, H. Lombardi, I. Yengui: A constructive comparison for the rings R(X) and R〈X〉 and application to the Lequain-Simis induction theorem. J. Algebra 320 (2008) 521–533.
J. A. Huckaba: Commutative Rings with Zero Divisors. Monographs and Textbooks in Pure and Applied Mathematics 117. Marcel Dekker, New York, 1988.
E. Kunz: Introduction to Commutative Algebra and Algebraic Geometry. Birkhäuser, Boston, 1985.
T. Y. Lam: Serre’s Conjecture. Lecture Notes in Mathematics 635. Springer, Berlin, 1978.
T. Y. Lam: Serre’s Problem on Projective Modules. Springer Monograph Mathematics. Springer, Berlin, 2006.
H. Lombardi, C. Quitté: Commutative Algebra: Constructive Methods. Algebra and Applications 20. Springer, Dordrecht, 2015.
H. Lombardi, I. Yengui: Suslin’s algorithms for reduction of unimodular rows. J. Symb. Comput. 39 (2005) 707–717.
R. Mines, F. Richman, W. Ruitenburg: A Course in Constructive Algebra. Universitext. Springer, New York, 1988.
M. Roitman: On stably extended projective modules over polynomial rings. Proc. Am. Math. Soc. 97 (1986) 585–589.
A. A. Suslin: On the structure of the special linear group over polynomial rings. Math. USSR, Izv. 11 (1977) 221–238.
I. Yengui: Making the use of maximal ideals constructive. Theor. Comput. Sci. 392 (2008) 174–178.
I. Yengui: The Hermite ring conjecture in dimension one. J. Algebra 320 (2008) 437–441.
I. Yengui: Constructive Commutative Algebra: Projective Modules over Polynomial Rings and Dynamical Gröbner Bases. Lecture Notes in Mathematics 2138. Springer, Cham, 2015.
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors would like to thank the Deanship of Scientific Research at Umm Al-Qura University for supporting this work Grant Code: 22UQU4331241DSR01.
Rights and permissions
About this article
Cite this article
Mnif, A., Amidou, M. Unimodular rows over Laurent polynomial rings. Czech Math J 72, 927–934 (2022). https://doi.org/10.21136/CMJ.2022.0002-20
Received:
Published:
Issue Date:
DOI: https://doi.org/10.21136/CMJ.2022.0002-20
Keywords
- Quillen-Suslin theorem
- stably free module
- Hermite ring conjecture
- Laurent polynomial ring
- constructive mathematics