|
[____]
This chapter describes local polynomial rings.
Let R be the multivariate polynomial ring K[x1, ..., xn], where
K is a field. We denote by
K[x1, ..., xn]< x1, ..., xn >
the collection of all rational functions f/g of x1, ..., xn
with g(p) not= 0, where p=(0, ..., 0).
Such a ring is local (has a unique maximal ideal) and
we will call it a local polynomial ring in Magma. Such a ring
is always multivariate and is related to the corresponding
multivariate polynomial ring K[x1, ..., xn] which will we
will call global (when distinguishing it from the local case).
We will also
call K[x1, ..., xn]< x1, ..., xn >
the localization of K[x1, ..., xn] (this is always
understood to be at the prime ideal generated by x1, ..., xn,
corresponding to the origin).
Much of the theory for multivariate polynomial rings and their ideals
carry over to local polynomial rings, so the reader should first
be familiar with multivariate polynomial rings and their ideals
(see Chapters MULTIVARIATE POLYNOMIAL RINGS and GRÖBNER BASES).
Corresponding to a Gröbner basis of an ideal of a global
multivariate ring is a standard basis of an ideal
of a local polynomial ring.
See [CLO98, Chapter 4] or [GP02, Chapter 1]
for the basics of the theory and algorithms.
The other facilities are currently basic but will be expanded in coming
versions. But note that computations with R -modules, where R is
a local polynomial ring, are fully supported: see Chapter MODULES OVER MULTIVARIATE RINGS.
[Next][Prev] [Right] [____] [Up] [Index] [Root]
|