An algorithmic proof of Suslin's stability theorem for polynomial rings

DOI10.1006/JABR.1995.1349zbMATH Open0841.19001arXivalg-geom/9405003OpenAlexW1990716575MaRDI QIDQ1904081FDOQ1904081

Authors: Hyungju Park, Cynthia J. Woodburn 

Publication date: 1 February 1996

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Let $k$ be a field. Then Gaussian elimination over $k$ and the Euclidean division algorithm for the univariate polynomial ring $k[x]$ allow us to write any matrix in $S{L}_n(k)$ or $S{L}_n(k[x])$, $ngeq2$, as a product of elementary matrices. Suslin's stability theorem states that the same is true for the multivariate polynomial ring $S{L}_n(k[x_1,ldots,x_m])$ with $ngeq3$. As Gaussian elimination gives us an algorithmic way of finding an explicit factorization of the given matrix into elementary matrices over a field, we develop a similar algorithm over polynomial rings.

Full work available at URL: https://arxiv.org/abs/alg-geom/9405003

Recommendations

• On Suslin's stability theorem for \(R[x_1,\dots,x_m]\)
• Suslin's lemma for rings containing an infinite field
• A Realization Algorithm for SL₂(R[x₁ , . . . ,x_m]) over the Euclidean Domain
• TheK₁-functor of a polynomial ring
• Algorithms for the Quillen-Suslin theorem

zbMATH Keywords

factorization by elementary matricesGröbner basis

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Stability for linear groups (19B14)

Cited In (36)

• Automorphisms fixing a variable of \(K\langle x,y,z\rangle\).
• \(K_{1}\) of Chevalley groups are nilpotent
• NON-SEPARABLE 2D BIORTHOGONAL WAVELETS WITH TWO-ROW FILTERS
• Suslin's algorithms for reduction of unimodular rows
• An anisotropic directional subdivision and multiresolution scheme
• On homotopy invariance for homology of rank two groups.
• Multiple filterbanks for image processing: implementation issues
• Multi-dimensional filter banks and wavelets -- a system theoretic perspective
• Recent progress in an algebraic analysis approach to linear systems
• From frame-like wavelets to wavelet frames keeping approximation properties and symmetry
• Calculations in exceptional groups over rings.
• Quillen-Suslin theory for the special linear group
• Bounded reduction of orthogonal matrices over polynomial rings
• Stable tameness of two-dimensional polynomial automorphisms over a regular ring
• An algorithm for unimodular completion over noetherian rings
• The Steinberg group of a monoid ring, nilpotence, and algorithms
• Constructions in \(R[x_1,\dots ,x_n]\): applications to K-theory
• Symbolic computation and signal processing
• An algorithm for the Quillen-Suslin theorem for monoid rings
• On Suslin's stability theorem for \(R[x_1,\dots,x_m]\)
• Making the use of maximal ideals constructive
• Nontrivial quantum cellular automata in higher dimensions
• A generalization of Serre's conjecture and some related issues
• Factorizations for \(n\)D polynomial matrices
• Applications of Gröbner bases to signal and image processing: a survey
• Linear groups over general rings. I: Generalities.
• An algorithm for unimodular completion over Laurent polynomial rings
• Title not available (Why is that?)
• Coordinates and automorphisms of polynomial and free associative algebras of rank three.
• Factoring perfect reconstruction filter banks into causal lifting matrices: a Diophantine approach
• Practical exact proofs from lattices: new techniques to exploit fully-splitting rings
• On the stabilizer of a column in a matrix group over a polynomial ring
• Filters for anisotropic wavelet decompositions
• On \(K_ 1\)-theory of the Euclidean space
• New stably tame automorphisms of polynomial algebras
• Superrigidity from Chevalley groups into acylindrically hyperbolic groups via quasi-cocycles

This page was built for publication: An algorithmic proof of Suslin's stability theorem for polynomial rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1904081)