JEDNOSTKA NAUKOWA KATEGORII A+

Testing flatness and computing rank of a module using syzygies

Tom 117 / 2009

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

Streszczenie

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.

Autorzy

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

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek