next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
TensorComplexes :: traceMap

traceMap -- produces the trace map from a ring to a free module tensored with its dual

Synopsis

Description

If F is a free labeled module, then this produces the trace map S→F⊗F*.

i1 : S=ZZ/101[x,y,z];
i2 : F=labeledModule(S^3);

o2 : free S-module with labeled basis
i3 : traceMap F

o3 = | 1 |
     | 0 |
     | 0 |
     | 0 |
     | 1 |
     | 0 |
     | 0 |
     | 0 |
     | 1 |

             9       1
o3 : Matrix S  <--- S

Ways to use traceMap :