Ideal

Ideal -- the class of all ideals.

The justification for considering an ideal I as different from a submodule M of R^1 is some methods are different. For example, M^3 is a direct sum, whereas I^3 is still an ideal. Similar remarks apply to dim and codim.

Creating ideals:

  • annihilator
  • fittingIdeal
  • ideal
  • quotient
  • Operations on ideals:

  • codim
  • decompose
  • dim
  • Ideal * Ideal
  • Ideal ^ ZZ
  • module
  • radical
  • removeLowestDimension
  • top
  • Go to main index.

    Go to concepts index.