|
7.7.11.0. CentralQuot
Procedure from library ncdecomp.lib (see ncdecomp_lib).
- Usage:
- CentralQuot(M, G), M a module, G an ideal
- Assume:
- G is an ideal in the center of the base ring
- Return:
- module
- Purpose:
- compute the central quotient M:G
- Theory:
- for an ideal G of the center of an algebra and a submodule M of A^n,
the central quotient of M by G is defined to be
M:G := { v in A^n | z*v in M, for all z in G }.
- Note:
- the output module is not necessarily given in a Groebner basis
Example:
See also:
CenCharDec;
CentralSaturation.
|