# Singular

 Note: If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters.

 Smilies
 Font size: Tiny Small Normal Large Huge Font colour
Options:
 BBCode is ON [img] is ON [flash] is OFF [url] is ON Smilies are ON
 Disable BBCode Disable smilies Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.

Topic review - homomorphisms between modules
Author Message
 Junyan
 Post subject: homomorphisms between modules
 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 asR^p --B--> R^q --A--> R --> R/Ibut 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 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 asR^p --B--> R^q --A--> R --> R/Ibut 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
 Posted: Wed Jan 30, 2013 12:50 am

 It is currently Thu Nov 15, 2018 10:55 am