An Algorithmic Proof of Suslin's Stability Theorem over Polynomial Rings

H. Park, C. Woodburn

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 $…