Ext^ZZ(Module,Matrix) -- map between Ext modules

Synopsis

• Scripted functor: Ext

• Usage:

  Ext^i(M,f)

• Inputs:
  • i, an integer
  • M, a module
  • f, a matrix, N1 --> N2
• Outputs:
  • a matrix, the induced map $Ext^i(M,N1) \rightarrow{} Ext^i(M,N2)$

Description

If M is an ideal, it is regarded as a module in the evident way.

See also

• resolution -- projective resolution
• Tor -- Tor module
• Hom -- module of homomorphisms
• Ext^ZZ(Module,Module) -- Ext module
• Ext^ZZ(Matrix,Module) -- map between Ext modules