Primary Decomposition of Modules: Two Variables over a Field
نویسندگان
چکیده
منابع مشابه
Quasi-Primary Decomposition in Modules Over Proufer Domains
In this paper we investigate decompositions of submodules in modules over a Proufer domain into intersections of quasi-primary and classical quasi-primary submodules. In particular, existence and uniqueness of quasi-primary decompositions in modules over a Proufer domain of finite character are proved. Proufer domain; primary submodule; quasi-primary submodule; classical quasi-primary; decompo...
متن کاملquasi-primary decomposition in modules over proufer domains
in this paper we investigate decompositions of submodules in modules over a proufer domain into intersections of quasi-primary and classical quasi-primary submodules. in particular, existence and uniqueness of quasi-primary decompositions in modules over a proufer domain of finite character are proved. proufer domain; primary submodule; quasi-primary submodule; classical quasi-primary; decomposi...
متن کاملPrimary Decomposition of Modules over Dedekind Domains Using Gröbner Bases
In [6] was proved that if R is a principal ideal domain and N ⊂ M are submodules of R[x1, . . . , xn], then the primary decomposition for N in M can be computed using Gröbner bases. In this paper we extend this result to Dedekind domains. The procedure that computed the primary decomposition is illustrated with an example.
متن کاملAn Algorithm to Compute a Primary Decomposition of Modules in Polynomial Rings over the Integers
We present an algorithm to compute the primary decomposition of a submodule N of the free module Z[x1, . . . , xn]. For this purpose we use algorithms for primary decomposition of ideals in the polynomial ring over the integers. The idea is to compute first the minimal associated primes of N , i.e. the minimal associated primes of the ideal Ann(Z[x1, . . . , xn]/N ) in Z[x1, . . . , xn] and the...
متن کاملA scheme over quasi-prime spectrum of modules
The notions of quasi-prime submodules and developed Zariski topology was introduced by the present authors in cite{ah10}. In this paper we use these notions to define a scheme. For an $R$-module $M$, let $X:={Qin qSpec(M) mid (Q:_R M)inSpec(R)}$. It is proved that $(X, mathcal{O}_X)$ is a locally ringed space. We study the morphism of locally ringed spaces induced by $R$-homomorphism $Mrightar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1993
ISSN: 0747-7171
DOI: 10.1006/jsco.1993.1019