Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions

Oswaldo Lezama, William Fajardo

In this short note we present an elementary matrix-constructive proof of Quillen-Suslin theorem for Ore extensions: If $K$ is a division ring and $A:=K[x;\sigma ,\delta ]$ is an Ore extension,…