Macaulay2 » Documentation
Packages » Macaulay2Doc » homological algebra » Ext » Ext^ZZ(Module,Matrix)

next | previous | forward | backward | up | index | toc

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

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

freeResolution -- compute a free resolution of a module or ideal
resolution -- projective resolution
Tor -- Tor module
Hom -- module of homomorphisms
Ext^ZZ(Module,Module) -- Ext module
Ext^ZZ(Matrix,Module) -- map between Ext modules

Ways to use this method:

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

The source of this document is in Macaulay2Doc/functions/Ext-doc.m2:175:0.