Testing flatness and computing rank of a module using syzygies

Volume 117 / 2009

Oswaldo Lezama Colloquium Mathematicum 117 (2009), 65-79 MSC: Primary 13P10; Secondary 13D02, 13D05. DOI: 10.4064/cm117-1-4


Using syzygies computed via Gröbner bases techniques, we present algorithms for testing some homological properties for submodules of the free module $A^m$, where $A=R[x_1,\dots,x_n]$ and $R$ is a Noetherian commutative ring. We will test if a given submodule $M$ of $A^m$ 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 $A^m$ and also an algorithm that computes the projective dimension of an arbitrary submodule of $A^m$. All algorithms are illustrated with examples.


  • Oswaldo LezamaDepartamento de Matemáticas
    Universidad Nacional de Colombia
    Bogotá, Colombia

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image