Bases for projective modules in An(k)

Jesús Gago-Vargas
2003 Journal of symbolic computation  
Let A n (k) be the Weyl algebra, with k a field of characteristic zero. It is known that every projective finitely generated left module is free or isomorphic to a left ideal. Let M be a left submodule of a free module. In this paper we give an algorithm to compute the projective dimension of M. If M is projective and rank(M) ≥ 2 we give a procedure to find a basis.
doi:10.1016/s0747-7171(03)00063-4 fatcat:4cvwarzlq5eolbbags5acrn4i4