Primary decomposition of modules over Dedekind domains using Gröbner bases.
Using syzygies computed via Gröbner bases techniques, we present algorithms for testing some homological properties for submodules of the free module , where A = R[x₁,...,xₙ] and R is a Noetherian commutative ring. We will test if a given submodule M of is flat. We will also check if M is locally free of constant dimension. Moreover, we present an algorithm that computes the rank of a flat submodule M of and also an algorithm that computes the projective dimension of an arbitrary submodule...
Page 1