Since a module M may be described as a submodule or a subquotient module, some computation may be required to produce a presentation. The presentation obtained is expressed in terms of the given generators. See also prune which does a bit more work to try to eliminate redundant generators.
For a quotient ring R, the result is a matrix over the ultimate ambient polynomial ring, whose image is the ideal defining R. The entries of the matrix form a Groebner basis.
Go to main index.
Go to concepts index.