Read-only forum archive

How can I localize a module at a prime ideal?

How can I localize a module at a prime ideal?

wienand ยท Thu Aug 03, 2006 7:41 pm

HOW CAN I LOCALIZE A MODULE AT A PRIME IDEAL?
PLEASE GUIDE ME
-------------------------------------------------------

Dear Hamid Hassanzadeh,

If you want to compute in the localization of K[x_1,...,x_n] with respect
to the maximal ideal P=<x_1,...,x_n> you simply use a local ordering
as in the following example:

Code:
ring R=0,(x(1..n)),ds;


The general case of any prime ideal is reduced to this case. How to do it
is described in the book
Quote:
A Singular Introduction to Commutative Algebra, Springer 2002

at page 223, exercise 3.5.5

Yours
Gerhard Pfister

-----
This question was adressed to the Singular Team via email. For your convenience we decided to make the answer available to the public.

Oliver Wienand
Singular Team