pdim

pdim M -- calculate the projective dimension of a module M.

For now, the method is to measure the length of a projective resolution.

Go to main index.

Go to concepts index.