comodule -- submodule to quotient module

Synopsis

• Usage:

  comodule M

• Inputs:

  • M, a module, or an ideal
• Outputs:

  • a module, If M is given as a submodule I ⊂Nwhere N is either a free module or a quotient, then the module N/I is returned.

Description

i1 : R = QQ[a..d];

i2 : I = ideal(a,b,c,d^3);

o2 : Ideal of R

i3 : comodule I

o3 = cokernel | a b c d3 |

                            1
o3 : R-module, quotient of R

See also

• image -- image of a map
• cokernel -- cokernel of a map of modules, graded modules, or chaincomplexes
• kernel -- kernel of a ringmap, matrix, or chain complex