Post new topic Reply to topic  [ 1 post ] 
Author Message
 Post subject: homomorphisms between modules
PostPosted: Wed Jan 30, 2013 12:50 am 
we would like to calculate Hom_R(I,R/I) for a polynomial ring R and an ideal I in R. according to the description in the online manual this is done by representing I and R/I as cokernel of matrices B and A by asking for "Hom(B,A)". these matrices are obtained by taking a free resolution of R/I as

R^p --B--> R^q --A--> R --> R/I

but the output of "Hom(B,A)" is an object of SINGULAR data type "module", which is, if we understand correctly, a submodule of a free module (of rank 324 in our example btw..) but this cannot be Hom_R(I,R/I), which is a torsion module.

1) how do we have to interpret "Hom(B,A)?
2) how do we obtain the module Hom_R(I,R/I) we are looking for?

thanks


Report this post
Top
  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 1 post ] 

You can post new topics in this forum
You can reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

It is currently Fri May 13, 2022 10:58 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group