top

top I -- yields the intersection of top dimensional primary components of the module or ideal I.

For an example,

See also component example.

If I is a submodule of (a quotient module) M, then a possibly larger submodule of M is returned. The method used is that of Eisenbud-Huneke-Vasconcelos, in their 1993 invent. math. paper.For a very brief description of the method used, see top-method.

See also removeLowestDimension, saturate, quotient, and radical.

Go to main index.

Go to concepts index.