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 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...

If R is a valuation domain of maximal ideal P with a maximal immediate extension of finite rank it is proven that there exists a finite sequence of prime ideals P = L0 ⊃ L1 ⊃ · · · ⊃ Lm ⊇ 0 such that RLj /Lj+1 is almost maximal for each j, 0 ≤ j ≤ m − 1 and RLm is maximal if Lm 6= 0. Then we suppose that there is an integer n ≥ 1 such that each torsion-free R-module of finite rank is a direct s...

The prime graph of a finite group $G$ is denoted by $Gamma(G)$ whose vertex set is $pi(G)$ and two distinct primes $p$ and $q$ are adjacent in $Gamma(G)$, whenever $G$ contains an element with order $pq$. We say that $G$ is unrecognizable by prime graph if there is a finite group $H$ with $Gamma(H)=Gamma(G)$, in while $Hnotcong G$. In this paper, we consider finite groups with the same prime gr...

Let C(X) be the ring of all continuous real-valued functions defined on a completely regular T1-space. Let CΨ (X) and CK(X) be the ideal of functions with pseudocompact support and compact support, respectively. Further equivalent conditions are given to characterize when an ideal of C(X) is a P -ideal, a concept which was originally defined and characterized by Rudd (1975). We used this new ch...

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...

The concepts of a prime ideal of a distributively generated (d.g.) nearring R, a prime d.g. near-ring and an irreducible R-group are introduced1). The annihilating ideal of an irreducible R-group with an R-generator is a prime ideal. Consequently we define a prime ideal to be primitively prime if it is the annihilating ideal of such an R-group, and a d.g. near-ring to be a primitively prime nea...