Bases for projective modules in An( k)

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...

Full description

Saved in:
Bibliographic Details
Published in:Journal of symbolic computation Vol. 36; no. 6; pp. 845 - 853
Main Author: Gago-Vargas, Jesús
Format: Journal Article
Language:English
Published: Elsevier Ltd 01.12.2003
Subjects:
Gröbner bases
Non-commutative rings
Projective modules
Gröbner bases
Non-commutative rings
Projective modules
ISSN:0747-7171, 1095-855X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0747-7171
1095-855X
DOI:10.1016/S0747-7171(03)00063-4