Gröbner bases of modules over sigma-PBW extensions
For sigma-PWB extensions, we extend to modules the theory of Gröbner bases of left ideals presented in [5]. As an application, if A is a bijective quasi-commutative sigma-PWB extension, we compute the module of syzygies of a submodule of the free module A^m.