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

RingMap ** Module -- tensor product of a module via a ring map

Synopsis

Usage:
f ** M
Operator: **
Inputs:
- f, a ring map, a ring map from R to S
- M, a module, an R-module
Outputs:
- a module, the tensor product of M with S over R

Description

i1 : R = QQ[x,y];

i2 : S = QQ[t];

i3 : f = map(S,R,{t^2,t^3})

               2   3
o3 = map(S,R,{t , t })

o3 : RingMap S <--- R

i4 : f ** coker vars R

o4 = cokernel | t2 t3 |

                            1
o4 : S-module, quotient of S

i5 : f ** image vars R

o5 = cokernel {1} | -t3 |
              {1} | t2  |

                            2
o5 : S-module, quotient of S

See also

RingMap Module -- apply a ring map