منابع مشابه
Quasi-Prime Algebraic Domains
The purpose of this paper is to introduce a new class of domains called quasi-prime algebraic domains. We show that this class is a good candidate for the purpose of denotational semantics of programming languages. This is achieved by exhibiting many constructions usually needed for denotational semantics on quasi-prime algebraic domains. In the first part we motivate the notion of quasi-primes...
متن کاملUniversal Quasi-Prime Algebraic Domains
This paper demonstrates the existence of a saturated quasi-prime algebraic domain. It also presents a cpo of quasi-prime generated information systems for solving domain equations.
متن کاملAlgebraic and topological aspects of quasi-prime ideals
In this paper, we define the new notion of quasi-prime ideal which generalizes at once both prime ideal and primary ideal notions. Then a natural topology on the set of quasi-prime ideals of a ring is introduced which admits the Zariski topology as a subspace topology. The basic properties of the quasi-prime spectrum are studied and several interesting results are obtained. Specially, it is pro...
متن کامل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...
متن کامل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...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00133-6