A primality test for submodules using Grobner basis

Abstract

In this paper, an algorithm is presented to check if a submodule of the free module R [X]s is prime, using Gr¨obner Basis.