We prove that if the initial ideal of a prime ideal is Borel-fixed and the dimension of the quotient ring is less than or equal to two, then given any non-minimal associated prime ideal of the initial ideal it contains another associated prime ideal of dimension one larger. Let R = k[x1, x2, . . . , xr] be a polynomial ring over a field. We will say that an ideal I ⊆ R has the saturated chain p...

In this paper we introduce the concept of ideal elements in poe-AG-groupoid and give some characterizations and properties of their ideal elements. So we consider some results concerning ideals in poe-semigroups and investigate them in poe-AG-groupoids. Also, the class of ideal elements of poe-AG-groupoids are studied, certain intrinsic and basic properties of poe-AG-groupoids including: ideal,...

In this paper, with a new idea, we redefine generalized fuzzy ideal and investigate some of its properties. We generalize fuzzy prime ideals and introduce the notions of (∈,∈ ∨q)−fuzzy prime ideal of ordered semigroups. We characterize (∈,∈ ∨q)−fuzzy prime ideal by its image and level ideals. We establish necessary and sufficient condition for fuzzy set to be a (∈,∈ ∨q)−fuzzy prime ideal. 2010 ...

The aim of this short note is to introduce the concepts of prime and semiprime ideals in ordered AG-groupoids with left identity. These concepts are related to the concepts of quasi-prime and quasi-semiprime ideals, play an important role in studying the structure of ordered AG-groupoids, so it seems to be interesting to study them.

The aim of this paper is to introduce and study set- valued homomorphism on lattices and T-rough lattice with respect to a sublattice. This paper deals with T-rough set approach on the lattice theory. The result of this study contributes to, T-rough fuzzy set and approximation theory and proved in several papers. Keywords: approximation space; lattice; prime ideal; rough ideal; T-rough set; set...

in this paper, we introduce the notion of ($epsilon $, $epsilon $ $vee$ q_{k})− fuzzy subnear-ring which is a generalization of ($epsilon $, $epsilon $ $vee$ q)−fuzzy subnear-ring. we have given examples which are ($epsilon $, $epsilon $ $vee$ q_{k})−fuzzy ideals but they are not ($epsilon $, $epsilon $ $vee$ q)−fuzzy ideals. we have also introduced the notions of ($epsilon $, $epsilon $ $vee$ ...

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.

in this paper we define the notions of ultra and involution ideals in bck-algebras. then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. specially, we show that in a bounded implicative bck-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower bck-semilattice, the notions of...