Computation of bases of free modules over the Weyl algebras. (Q2466875)

Let \(A_n(k)\) be the \(n\)-th Weyl algebra over a field \(k\) of characteristic zero with standard set of generators \(x_1,\dots,x_n,\partial_1,\dots,\partial_n\) such that \([x_i,\partial_j]=\delta_{ij}\) and \([x_i,x_j]=[\partial_i,\partial_j]=0\). All nonzero elements in \(k[x_1,\dots,x_n]\) form an Ore set. Put \(B_n(k)=S^{-1}A_n(k)\). \textit{J. T. Stafford}, [J. Lond. Math. Soc., II. Ser. 18, 429-442 (1978; Zbl 0394.16001)], has shown that any left ideal in \(A_n(k)\), \(B_n(k)\) is stable two-generated. Moreover, stably free left modules over these algebras of rank at least two are free. The purpose of the present paper is to give a constructive proof of these results. The proof is based on detailed consideration of actions of elementary matrices on unimodular rows with an estimation of degrees of entries in these matrices. Similar problems were considered by \textit{A. Hillebrand} and \textit{W. Schmale} [J. Symb. Comput. 32, No. 6, 699-716 (2001; Zbl 1015.16030)], and by \textit{A. Leykin} [ibid. 38, No. 6, 1535-1550 (2004; Zbl 1130.16304)].