Displaying 461 – 480 of 557

Showing per page

Testing flatness and computing rank of a module using syzygies

Oswaldo Lezama (2009)

Colloquium Mathematicae

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₁,...,xₙ] 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...

The equations of space curves on a quadric.

Roberta Di Gennaro, Uwe Nagel (2007)

Collectanea Mathematica

The homogeneous ideals of curves in a double plane have been studied by Chiarli, Greco, Nagel. Completing this work we describe the equations of any curve that is contained in some quadric. As a consequence, we classify the Hartshorne-Rao modules of such curves.

The existence of equivariant pure free resolutions

David Eisenbud, Gunnar Fløystad, Jerzy Weyman (2011)

Annales de l’institut Fourier

Let A = K [ x 1 , , x m ] be a polynomial ring in m variables and let d = ( d 0 < < d m ) be a strictly increasing sequence of m + 1 integers. Boij and Söderberg conjectured the existence of graded A -modules M of finite length having pure free resolution of type d in the sense that for i = 0 , , m the i -th syzygy module of M has generators only in degree d i .This paper provides a construction, in characteristic zero, of modules with this property that are also G L ( m ) -equivariant. Moreover, the construction works over rings of the form A K B where A is a polynomial...

Currently displaying 461 – 480 of 557