In this paper, we define a cubic positive implicative-ideal, a cubic implicative-ideal and a cubic commutative-ideal of a semigroup in KU-algebra as a generalization of a fuzzy (positive implicative-ideal, an implicative-ideal and a commutative-ideal) of a semigroup in KU-algebra. Some relations between these types of cubic ideals are discussed. Also, some important properties of these ideals are studied. Finally, some important theories are discussed. It is proved that every cubic commutative-ideal, cubic positive implicative-ideal, and cubic implicative-ideal are a cubic ideal, but not conversely. Also, we show that if Θ is a cubic positive implicative-ideal and a cubic commutative-ideal then Θ is a cubic implicative-ideal. Some examples of the opposite direction of the previous theories are obtained.
We present the notion of bipolar fuzzy k-ideals with thresholds (
The study of homomorphisms in cubic sets is considered one of the important concepts that transfer algebraic properties between different structures, so we study a homomorphism of a cubic set of a semigroup in a KU-algebra and defined the product of two cubic sets in this structure. Firstly, we define the image and the inverse image of a cubic set in a KU-semigroup and achieve some results in this notion. Secondly, the Cartesian product of cubic subsets in a KU-semigroup is discussed and some important characteristics are proved.
In this work, we introduce an intuitionistic fuzzy ideal on a KU-semigroup as a generalization of the fuzzy ideal of a KU-semigroup. An intuitionistic fuzzy k-ideal and some related properties are studied. Also, a number of characteristics of the intuitionistic fuzzy k-ideals are discussed. Next, we introduce the concept of intuitionistic fuzzy k-ideals under homomorphism along with the Cartesian products.
In this paper, the concept of a neutrosophic KU-algebra is introduced and some related properties are investigated. Also, neutrosophic KU-ideals of a neutrosophic KU-algebra are studied and a few properties are obtained. Furthermore, a few results of neutrosophic KU-ideals of a neutrosophic KU-algebra under homomorphism are discussed
For the generality of fuzzy ideals in TM-algebra, a cubic ideal in this algebra has been studied, such as cubic ideals and cubic T-ideals. Some properties of these ideals are investigated. Also, we show that the cubic T-ideal is a cubic ideal, but the converse is not generally valid. In addition, a cubic sub-algebra is defined, and new relations between the level subset and a cubic sub-algebra are discussed. After that, cubic ideals and cubic T-ideals under homomorphism are studied, and the image (pre-image) of cubic T-ideals is discussed. Finally, the Cartesian product of cubic ideals in Cartesian product TM-algebras is given. We proved that the product of two cubic ideals of the Cartesian product of two TM-algebras is also a cubic ideal.
In this paper, we will introduce the concept of interval value fuzzy n-fold KU-ideal in KU-algebras, which is a generalization of interval value fuzzy KU-ideal of KU-algebras and we will obtain few properties that is similar to the properties of interval value fuzzy KU-ideal in KU-algebras, see [8]. Also, we construct some algorithms for folding theory applied to KU-ideals in KU-algebras.
We have studied some types of ideals in a KU-semigroup by using the concept of a bipolar fuzzy set. Bipolar fuzzy S-ideals and bipolar fuzzy k-ideals are introduced, and some properties are investigated. Also, some relations between a bipolar fuzzy k-ideal and k-ideal are discussed. Moreover, a bipolar fuzzy k-ideal under homomorphism and the product of two bipolar fuzzy k-ideals are studied.
The current paper studied the concept of right n-derivation satisfying certified conditions on semigroup ideals of near-rings and some related properties. Interesting results have been reached, the most prominent of which are the following: Let M be a 3-prime left near-ring and A_1,A_2,…,A_n are nonzero semigroup ideals of M, if d is a right n-derivation of M satisfies on of the following conditions,
d(u_1,u_2,…,(u_j,v_j ),…,u_n )=0 ∀ 〖 u〗_1 〖ϵA〗_1 ,u_2 〖ϵA〗_2,…,u_j,v_j ϵ A_j,…,〖u_n ϵA〗_u;
d((u_1,v_1 ),(u_2,v_2 ),…,(u_j,v_j ),…,(u_n,v_n ))=0 ∀u_1,v_1 〖ϵA〗_1,u_2,v_2 〖ϵA〗_2,…,u_j,v_j ϵ A_j,…,〖u_n,v_n ϵA〗_u ;
d((u_1,v_1 ),(u_2,v_2 ),…,(u_j,v_j ),…,(u_n,v_n ))=(u_