More Related Content Similar to 2. Areej Tawfeeq Hameed.pdf Similar to 2. Areej Tawfeeq Hameed.pdf (20) More from BRNSS Publication Hub More from BRNSS Publication Hub (20) 2. Areej Tawfeeq Hameed.pdf1. *Corresponding Author: Areej Tawfeeq Hameed, Email: areej238@gmail.com
RESEARCH ARTICLE
Available Online at
Cubic KUS-Ideals of KUS-Algebras
Areej Tawfeeq Hameed1
, Samy M. Mostafa2
, Ahmed Hamza Abed3
1,3
Department of Mathematics, Faculty of Education for Girls, University of Kufa , Najaf, Iraq.
2
Department of Mathematics, Faculty of Education, Ain Shams University, Roxy, Cairo, Egypt
Received on: 16/02/2017, Revised on: 01/03/2017, Accepted on: 07/03/2017
ABSTRACT
In this paper , the notion of cubic KUS-ideals in KUS-algebras is introduced and several properties are
investigated. The image and inverse image of cubic KUS-ideals in KUS-algebras are defined.
Keywords: KUS-algebras, cubic KUS-algebras, homomorphism of KUS-algebras.
2010 Mathematics Subject classification: 06F35, 03G25
INTRODUCTION
Is’eki K. and Tanaka S. ([3]) studied ideals and congruence of BCK-algebras. S.M. Mostafa et al.
([1],[7]) introduced a new algebraic structure which is called KUS-algebras and investigated some related
properties. The concept of a fuzzy set, was introduced by L.A. Zadeh[4]. O.G. Xi[6] applied the concept
of fuzzy set to BCK-algebras and gave some of its properties Jun et al. [8] introduced the notion of cubic
sub algebras(ideals) in BCK-algebras, and then they discussed the relationship between a cubic sub
algebra and a cubic ideal. In this paper, we introduce the notion of cubic KUS-ideals of a KUS-algebra,
and then we study the homomorphic image and inverse image of cubic KUS-ideals.
PRELIMINARIES
In this section, we include some elementary aspects necessary for this paper.
Definition.1 ([7]). Let (X;
www.ajms.in
Asian Journal of Mathematical Sciences 2017; 1(2):36-43
∗,0) be an algebra with a single binary operation (∗). X is called a KUS-
algebra if it satisfies the following identities:
(kus1): (z∗y) ∗ (z∗x) = y∗x,
(kus2): 0 ∗ x = x,
(kus3): x ∗ x = 0,
(kus4): x ∗ (y ∗z) = y∗ (x∗z), for any x, y, z ∈ X,
In what follows, let (X; ∗,0) be denote a KUS-algebra unless otherwise specified.
For brevity we also call X a KUS-algebra. In X we can define a binary relation (
≤) by: x ≤ y if and only
if y ∗ x = 0.
Example.2 Let X = {0, a, b, c, d} in which (∗) is defined by the following table:
It is easy to show that (X; ∗,0) is a KUS-algebra .
∗ 0 a b c d
0 0 a b c d
a d 0 a b c
b c d 0 a b
c b c d 0 a
d a b c d 0
2. Arrej Tawfeeq Hameed et al. Cubic KUS-Ideals of KUS-Algebras
37
© 2017, AJMS. All Rights Reserved.
Lemma.3 ([7]). In any KUS-algebra (X; ∗,0), the following properties hold: for all x, y, z ∈X;
• x∗ y = 0 and y∗ x = 0 imply x = y,
• y ∗ [(y∗z) ∗z] = 0,
• (0∗x) ∗ (y∗x) = y∗0 ,
• x ≤ y implies that y ∗z ≤ x ∗z and z ∗x ≤ z ∗y ,
• x ≤ y and y ≤ z imply x ≤ z ,
• x ∗y ≤ z implies that z∗y ≤ x .
Definition.4 ([7]). Let (X; ∗,0) be a KUS-algebra and let S be a nonempty set of X. S is called a KUS-
sub-algebra of X if x∗y ∈ S whenever x, y ∈ S.
Definition.5 ([7]). A nonempty subset I of a KUS-algebra X is called a KUS-ideal of X if it satisfies: for
all x , y, z ∈ X,
(Ikus1) (0 ∈ I),
(Ikus2) (z∗y)∈ I and (y∗x)∈ I imply (z∗x)∈ I.
Definition.3 ([3]). Let X be a nonempty set, a fuzzy subset μ in X is a function μ: X → [0, 1].
Definition.4 ([5]). Let X be a set and μ be a fuzzy subset of X , for t ∈ [0,1] , the set μ t ={ x ∈ X |
μ(x) ≥ t} is called a level subset of μ .
Definition.5 ([2]) .Let (X ; ∗,0) and (Y; ∗`,0`) be nonempty sets . The mapping
f : (X; ∗,0) → (Y; ∗`,0`) is called a homomorphism if it satisfies
f (x∗y) = f (x) ∗` f (y) for all x , y ∈X. The set {x∈X | f (x) = 0'} is called the Kernel of f and
is denoted by Ker f .
Definition.6 ([2]). Let f : (X; ∗,0) →(Y; ∗',0') be a mapping from the set X to a set Y. If μ is a
fuzzy subset of X, then the fuzzy subset β of Y defined by:
≠
=
∈
=
∈
=
−
−
otherwise
y
x
f
X
x
y
f
if
y
f
x
x
y
f
0
}
)
(
,
{
)
(
)}
(
:
)
(
sup{
)
)(
(
1
1
φ
µ
µ
is said to be the image of μ under f .
Similarly if β is a fuzzy subset of Y , then the fuzzy subset μ = (β
о f ) in X ( i.e the fuzzy
subset defined by μ (x) = β ( f (x)) for all x ∈ X ) is called the pre-image of β under f .
Theorem.7 ([1]). Let f : (X; ∗,0) → (Y; ∗`,0`) be an into homomorphism of a KUS-algebras, then :
(F1) f (0) = 0’.
(F2) If S is a KUS-sub-algebra of X, then f (S) is a KUS-sub-algebra of Y.
(F3) If I is a KUS-ideal of X, then f (I) is a KUS-ideal in Y.
(F4) If B is a KUS-sub-algebra of Y, then 1
−
f (B) is a KUS-sub-algebra of X.
(F5) If J is a KUS- ideal in Y, then 1
−
f (J) is a KUS-ideal in X.
(F6) f is injective if and only if Ker f = {0}.
Now, we will recall the concept of interval-valued fuzzy subsets.
An interval number is a
~ = [
−
a ,
+
a ] , where 0 ≤
−
a ≤
+
a ≤ 1 . Let I be a closed unit interval, i.e., I
= [0, 1]. Let D [0, 1] denote the family of all closed subintervals of I = [0, 1] , that is ,
D [0, 1] = { a
~ = [
−
a ,
+
a ] |
−
a ≤
+
a , for
−
a ,
+
a ∈ I} .
Now we define what is known as refined minimum (briefly, rmin) of two element in D[0, 1] . We
also define the symbols (≽) , (≼) , (=) , "rmin " and "rmax " in case of two elements in D[0, 1] . Consider
two interval numbers (elements numbers)
AJMS,
Mar-April,
2017,
Vol.
1,
Issue
2
3. Arrej Tawfeeq Hameed et al. Cubic KUS-Ideals of KUS-Algebras
38
© 2017, AJMS. All Rights Reserved.
a
~ = [
−
a ,
+
a ] , b
~
= [
−
b ,
+
b ] in D[0, 1] : Then
(1) a
~ ≽ b
~
if and only if
−
a ≥
−
b and
+
a ≥
+
b ,
(2) a
~ ≼ b
~
if and only if
−
a ≤
−
b and
+
a ≤
+
b ,
(3) a
~ = b
~
if and only if
−
a =
−
b and
+
a =
+
b ,
(4) rmin { a
~ , b
~
} = [min {
−
a ,
−
b }, min {
+
a ,
+
b }] ,
(5) rmax { a
~ , b
~
} = [max {
−
a ,
−
b }, max {
+
a ,
+
b }] ,
It is obvious that (D[0, 1] , ≼ , ∨ , ∧ ) is a complete lattice with 0
~
= [0, 0] as its least element and 1
~
=
[1, 1] as its greatest element. Let i
a
~ ∈ D[0, 1] where i ∈ Λ .
We define
i
i
a
r ~
inf
Λ
∈
= [ i
i
a
r
−
Λ
∈
inf , i
i
a
r
+
Λ
∈
inf ], i
i
a
r ~
sup
Λ
∈
= [ i
i
a
r
−
Λ
∈
sup , i
i
a
r
+
Λ
∈
sup ].
An interval-valued fuzzy subset A
µ
~ on X is defined as
A
µ
~ = {< x, [ A
−
µ (x) , A
+
µ (x) ]> | x∈ X} .
Where A
−
µ (x) ≤ A
+
µ (x), for all x∈ X. Then the ordinary fuzzy subsets A
−
µ : X → [0, 1] and A
+
µ : X →
[0, 1] are called a lower fuzzy subset and an upper fuzzy subset of A
µ
~ respectively . Let A
µ
~ (x) = [
A
−
µ (x) , A
+
µ (x) ] , A
µ
~ :X → D[0, 1], then A = {< x, A
µ
~ (x) > | x∈ X} .
Cubic KUS-ideals of KUS-algebras
In this section, we will introduce a new notion called cubic KUS-ideal of KUS-algebras and study several
properties of it.
Definition.1 ([8]). Let X be a non-empty set. A cubic set Ω in a structure Ω = {< x, Ω
µ
~ (x), Ω
λ (x)
> | x∈ X} which is briefly denoted by Ω =< Ω
µ
~ , Ω
λ > , where Ω
µ
~ :X → D[0, 1] , Ω
µ
~ is an
interval-valued fuzzy subset of X and Ω
λ :X → [0, 1], Ω
λ is a fuzzy subset of X.
Definition.2 Let X be a KUS-algebra. A cubic set Ω =< Ω
µ
~ , Ω
λ > of X is called cubic KUS-sub-
algebra of X if
Ω
µ
~ (x ∗y) ≽ rmin{ Ω
µ
~ (x), Ω
µ
~ (y)}, and
Ω
λ (x ∗y) ≤ max{ Ω
λ (x), Ω
λ (y)}, for all x, y∈ X.
Proposition.3 Let Ω =< Ω
µ
~ , Ω
λ > be a cubic KUS-sub-algebra of a KUS-algebra X , then Ω
µ
~
(0) ≽ Ω
µ
~ (x) and Ω
λ (0) ≤ Ω
λ (x), for all x∈ X .
Proof. For all x∈ X, we have
Ω
µ
~ (0) = Ω
µ
~ (x * x) ≽ rmin{ Ω
µ
~ (x), Ω
µ
~ (x)}
= rmin {[ Ω
−
µ (x), Ω
+
µ (x)], [ Ω
−
µ (x), Ω
+
µ (x)]}
= rmin {[ Ω
−
µ (x), Ω
+
µ (x)]} = Ω
µ
~ (x) .
Similarly, we can show that Ω
λ (0) ≤ max {[ Ω
λ (x), Ω
λ (x)]} = Ω
λ (x) . ⌂
AJMS,
Mar-April,
2017,
Vol.
1,
Issue
2
4. Arrej Tawfeeq Hameed et al. Cubic KUS-Ideals of KUS-Algebras
39
© 2017, AJMS. All Rights Reserved.
Proposition.4 Let Ω =< Ω
µ
~ , Ω
λ > be a cubic KUS-sub-algebra of a KUS-algebra X , if there exist a
sequence { Xn} in X such that )
(
~
lim n
n
x
Ω
→∞
µ = [1,1] , then Ω
µ
~ (0) = [1, 1].
Proof. By proposition (3.3), we have Ω
µ
~ (0) ≽ Ω
µ
~ (x) , for all x∈ X . Then
Ω
µ
~ (0) ≽ Ω
µ
~ (xn) , for every positive integer n, Consider the inequality
[1,1] ≽ Ω
µ
~ (0) ≽ )
(
~
lim n
n
x
Ω
→∞
µ = [1,1]. Hence Ω
µ
~ (0) = [1,1] . ⌂
Definition .5 Let X be a KUS-algebra. A cubic set Ω = < Ω
µ
~ , Ω
λ > of X is called cubic KUS-
ideal if it satisfies the following conditions:
(A1) Ω
µ
~ (0) ≽ Ω
µ
~ (x) , and Ω
λ (0) ≤ Ω
λ (x)
(A2) Ω
µ
~ (z∗x) ≽ rmin{ Ω
µ
~ (z∗y), Ω
µ
~ (y∗x)}, and
Ω
λ (z∗x) ≤ max{ Ω
λ (z∗y), Ω
λ (y∗x)}, for all x, y, z ∈ X.
Example .6 Let X = {0, 1, 2, 3} in which the operation as in example (∗) be define by the following
table:
∗ 0 1 2 3
0 0 1 2 3
1 1 0 3 2
2 2 3 0 1
3 3 2 1 0
Then (X; ∗,0) is a KUS-algebra.
Define a cubic set Ω =< Ω
µ
~ , Ω
λ > of X as follows:
fuzzy subset μ: X→ [0,1] by
Ω
µ
~ (x) =
=
otherwise
x
if
]
6
.
0
,
1
.
0
[
}
1
,
0
{
]
9
.
0
,
3
.
0
[
Ω
λ =
=
otherwise
x
if
6
.
0
}
1
,
0
{
1
.
0
.
The cubic set Ω = < Ω
µ
~ , Ω
λ > is a cubic KUS-ideal of X .
Theorem .7 Let X be a KUS-algebra. A cubic set Ω =< Ω
µ
~ , Ω
λ > of X . A cubic set Ω of X
is a cubic KUS-ideal of X if and only if Ω
−
µ , Ω
+
µ and Ω
λ are cubic KUS-ideals of X.
Proof. If Ω
−
µ and Ω
+
µ are cubic KUS-ideals of X . For any x, y, z ∈ X . Observe Ω
µ
~ (z∗x) = [
Ω
−
µ (z∗x), Ω
+
µ (z∗x)] ≽ [ min { Ω
−
µ (z∗y), Ω
−
µ (y∗x)} , min { Ω
+
µ (z∗y), Ω
+
µ (y∗x)}]
= rmin {[ Ω
−
µ (z∗y), Ω
+
µ (z∗y)], [ Ω
−
µ (y∗x), Ω
+
µ (y∗x)]}
= rmin { Ω
µ
~ (z∗y), Ω
µ
~ (y∗x)] .
Similarly, we can show that Ω
λ (z∗x) ≤ max {[ Ω
λ (z∗y), Ω
λ (y∗x)]}.
From what was mentioned above we can conclude that Ω is a cubic KUS-ideal of X.
Conversely, suppose that Ω is a cubic KUS-ideal of X . For all x, y, z ∈ X we have [ Ω
−
µ (z∗x),
Ω
+
µ (z∗x)]= Ω
µ
~ (z∗x) ≽ rmin{ Ω
µ
~ (z∗y), Ω
µ
~ (y∗x)}
AJMS,
Mar-April,
2017,
Vol.
1,
Issue
2
5. Arrej Tawfeeq Hameed et al. Cubic KUS-Ideals of KUS-Algebras
40
© 2017, AJMS. All Rights Reserved.
= rmin{[ Ω
−
µ (z∗y), Ω
+
µ (z∗y)], [ Ω
−
µ (y∗x), Ω
+
µ (y∗x)]}
= [ min { Ω
−
µ (z∗y), Ω
−
µ (y∗x) } , min { Ω
+
µ (z∗y), Ω
+
µ (y∗x) }] .
There fore, Ω
−
µ (z∗x) ≥ min{ Ω
−
µ (z∗y), Ω
−
µ (y∗x)} and Ω
+
µ (z∗x) ≥ min{ Ω
+
µ (z∗y), Ω
+
µ (y∗x)}.
Similarly, we can show that Ω
λ (z∗x) ≤ max{ Ω
λ (z∗y), Ω
λ (y∗x)}
Hence, we get that Ω
−
µ , Ω
+
µ and Ω
λ are cubic KUS-ideals of X. ⌂
Theorem .8 Let { i
Ω | i∈ Λ} be family of cubic KUS-ideals of a KUS-algebra X. Then
Λ
∈
Ω
i
i is a cubic
KUS-ideal of X.
Proof. Let { i
Ω | i∈ Λ} be family of cubic KUS-ideals of X, then for any x, y, z ∈ X,
( i
Ω
µ
~ )(0) = rinf ( i
Ω
µ
~ (0))≽ rinf ( i
Ω
µ
~ (x)) = ( i
Ω
µ
~ )(x)
( i
Ω
µ
~ (z∗x)) = rinf ( i
Ω
µ
~ (z∗x))
≽ rinf ( rmin { i
Ω
µ
~ (z∗y), i
Ω
µ
~ (y∗x)} )
= rmin { rinf ( i
Ω
µ
~ (z∗y)), rinf ( i
Ω
µ
~ (y∗x)) }
= rmin { ( i
Ω
µ
~ ) (z∗y) , ( i
Ω
µ
~ ) (y∗x) }
Also,
( i
Ω
λ )(0) = sup( i
Ω
λ (0))≤ sup ( i
Ω
λ (x)) = ( i
Ω
λ )(x)
( i
Ω
λ (z∗x)) = sup ( i
Ω
λ (z∗x))
≤ sup ( max { i
Ω
λ (z∗y), i
Ω
λ (y∗x)} )
= max { sup ( i
Ω
λ (z∗y)), sup( i
Ω
λ (y∗x)) }
= max { ( i
Ω
λ ) (z∗y) , ( i
Ω
λ ) (y∗x) } . ⌂
Theorem .9 Let X be a KUS-algebra. A cubic subset Ω =< Ω
µ
~ , Ω
λ > of X , then Ω is a cubic
KUS-ideal of X if and only if for all t
~
∈ D[0, 1] and
s ∈ [0, 1] , the set U
~
( Ω ; t
~
, s ) is either empty or a KUS-ideal of X, where
U
~
( Ω ; t
~
, s ) = :={ x∈ X | Ω
µ
~ (x)≽ t
~
, Ω
λ (x) ≤ s} .
Proof. Assume that Ω =< Ω
µ
~ , Ω
λ > is a cubic KUS-ideal of X and let t
~
∈ D[0, 1] and s ∈ [0,
1] ,be such that U
~
( Ω ; t
~
, s ) ≠ ∅ , and let x, y, z ∈ X such that (z∗y), (y∗x) ∈ U
~
( Ω ; t
~
, s ) , then
Ω
µ
~ (z∗y) ≽ t
~
, Ω
µ
~ (y∗x) ≽ t
~
and Ω
λ (z∗y) ≤ s , Ω
λ (y∗x) ≤ s. . By (A2) , we get
Ω
µ
~ (z∗x) ≽ rmin { Ω
µ
~ (z∗y), Ω
µ
~ (y∗x) } ≽ t
~
, and
Ω
λ (z∗x) ≤ max { Ω
λ (z∗y), Ω
λ (y∗x) } ≤ s .
Hence the set U
~
( Ω ; t
~
, s ) is a KUS-ideal of X .
Conversely, suppose that U
~
( Ω ; t
~
, s) is a KUS-ideal of X and let x, y, z ∈ X be such that
Ω
µ
~ (z∗x) ≺ rmin { Ω
µ
~ (z∗y), Ω
µ
~ (y∗x)}, and
Ω
λ (z∗x) > max { Ω
λ (z∗y), Ω
λ (y∗x) } .
Consider
AJMS,
Mar-April,
2017,
Vol.
1,
Issue
2
6. Arrej Tawfeeq Hameed et al. Cubic KUS-Ideals of KUS-Algebras
41
© 2017, AJMS. All Rights Reserved.
β
~
=
2
1
{ Ω
µ
~ (z0 ∗ x0) + rmin{ Ω
µ
~ (z0 ∗ y0)), Ω
µ
~ ( y0 ∗ x0)} } and
β =
2
1
{ Ω
λ (z0 ∗ x0) + max{ Ω
λ (z0 ∗ y0)), Ω
λ ( y0 ∗ x0)} }
We have β
~
∈ D[0, 1] and β ∈ [0, 1], and
Ω
µ
~ (z∗x) ≺ β
~
≺ rmin { Ω
µ
~ (z∗y), Ω
µ
~ (y∗x) }, and
Ω
λ (z∗x) > β > max { Ω
λ (z∗y), Ω
λ (y∗x) } .
It follows that (z∗y), (y∗x) ∈ U
~
( Ω ; t
~
, s ) , and (z∗x) ∉ U
~
( Ω ; t
~
, s ) . This is a contradiction and
therefore Ω =< Ω
µ
~ , Ω
λ > is a cubic KUS-ideal of X . ⌂
Homomorphism of Cubic KUS-ideals of KUS-algebras
In this section, we will present some results on images and preimages of cubic KUS-ideals of KUS-
algebras.
Definition 1. Let f : (X; ∗,0) →(Y; ∗',0') be a mapping from the set X to a set Y. If Ω = < Ω
µ
~ ,
Ω
λ > is a cubic subset of X, then the cubic subset β = < β
µ
~ , β
λ > of Y defined by:
≠
=
∈
=
=
=
−
Ω
∈
Ω
−
otherwise
y
x
f
X
x
y
f
if
x
r
y
y
f y
f
x
0
}
)
(
,
{
)
(
)
(
~
sup
)
(
~
)
)(
~
(
1
)
(
1
φ
µ
µ
µ β
≠
=
∈
=
=
=
−
Ω
∈
Ω
−
otherwise
y
x
f
X
x
y
f
if
x
y
y
f y
f
x
1
}
)
(
,
{
)
(
)
(
inf
)
(
)
)(
(
1
)
(
1
φ
λ
λ
λ β
is said to be the image of Ω = < Ω
µ
~ , Ω
λ > under f .
Similarly if β = < β
µ
~ , β
λ > is a cubic subset of Y , then the cubic subset Ω = (β о f ) in X
( i.e the cubic subset defined by Ω
µ
~ (x) = β
µ
~ ( f (x)) , Ω
λ (x) = β
λ ( f (x)) for all x ∈ X ) is
called the preimage of β under f .
Theorem.2 An onto homomorphic preimage of cubic KUS-ideal is also cubic KUS-ideal.
Proof. Let f : (X; ∗,0) →(Y; ∗',0') be onto homomorphism from a KUS-algebra X into a KUS-algebra
Y.
If β = < β
µ
~ , β
λ > is a cubic KUS-ideal of Y and Ω = < Ω
µ
~ , Ω
λ > the preimage of β under f
, then Ω
µ
~ (x) = β
µ
~ ( f (x)) , Ω
λ (x) = β
λ ( f (x)) , for all x ∈ X . Let x ∈X, then
( Ω
µ
~ )(0) = β
µ
~ ( f (0)) ≽ β
µ
~ ( f (x)) = Ω
µ
~ (x), and
( Ω
λ )(0) = β
λ ( f (0)) ≤ β
λ ( f (x)) = Ω
λ (x).
Now, let x, y, z ∈ X, then
Ω
µ
~ (z∗x) = β
µ
~ ( f (z∗x)) ≽ rmin { β
µ
~ ( f (z∗y)) , β
µ
~ ( f (y∗x)) }
= rmin { Ω
µ
~ (z ∗y) , Ω
µ
~ (y ∗x)}, and
Ω
λ (z∗x) = β
λ ( f (z∗x)) ≤ max { β
λ ( f (z ∗y)) , β
λ ( f (y ∗x))}
= max { Ω
λ (z ∗y) , Ω
λ (y ∗x)} . ⌂
Definition.3 Let f : (X; ∗,0) →(Y; ∗',0') be a mapping from a set X into a set Y . Ω = < Ω
µ
~ ,
Ω
λ > is a cubic subset of X has sup and inf properties if for any subset T of X, there exist t, s ∈ T such
that
AJMS,
Mar-April,
2017,
Vol.
1,
Issue
2
7. Arrej Tawfeeq Hameed et al. Cubic KUS-Ideals of KUS-Algebras
42
© 2017, AJMS. All Rights Reserved.
)
(
~
sup
)
(
~ t
r
t
T
t
Ω
∈
Ω = µ
µ and )
(
inf
)
( s
s
T
s
Ω
∈
Ω = λ
λ .
Theorem.4 Let f : (X; ∗,0) →(Y; ∗',0') be a homomorphism from a KUS-algebra X into a KUS-
algebra Y . For every cubic KUS-ideal
Ω = < Ω
µ
~ , Ω
λ > of X, then f ( Ω ) is a cubic KUS-ideal of Y.
Proof. By definition )
(
~
sup
)
'
)(
~
(
)
'
(
~
)
'
(
1
x
r
y
f
y
y
f
t
Ω
∈
Ω
−
=
= µ
µ
µβ and
)
(
inf
)
'
)(
(
)
'
(
)
'
(
1
x
y
f
y
y
f
t
Ω
∈
Ω −
=
= λ
λ
λ β for all y' ∈ Y and rsup(∅) = [0, 0] and inf (∅) = 0 .
We have prove that
Ω
µ
~ (z'∗x') ≽ rmin { Ω
µ
~ (z' ∗y') , Ω
µ
~ (y' ∗x')}, and
Ω
λ (z'∗x') ≤ max{ Ω
λ (z' ∗y') , Ω
λ (y' ∗x')}, for all x', y' , z' ∈ Y .
Let f : (X; ∗,0) →(Y; ∗',0') be a homomorphism of KUS-algebras,
Ω = < Ω
µ
~ , Ω
λ > is a cubic KUS-ideal of X has sup and inf properties, and
β = < β
µ
~ , β
λ > the image of Ω = < Ω
µ
~ , Ω
λ > under f .
Since Ω = < Ω
µ
~ , Ω
λ > is a cubic KUS-ideal of X, we have
( Ω
µ
~ )(0) ≽ Ω
µ
~ (x), and ( Ω
λ )(0) ≤ Ω
λ (x), for all x ∈ X .
Note that 0 ∈
1
−
f (0') where 0, 0' are the zero of X and Y, respectively. Thus
)
0
(
~
)
(
~
sup
)
'
0
(
~
)
'
0
(
1
Ω
Ω
∈
=
=
−
µ
µ
µβ t
r
f
t
≽ Ω
µ
~ (x) = )
'
(
~
)
(
~
sup
)
'
(
1
x
t
r
x
f
t
β
µ
µ =
Ω
∈ −
,
)
(
)
0
(
)
(
inf
)
'
0
(
)
'
0
(
1
x
t
f
t
Ω
Ω
Ω
∈
≤
=
= −
λ
λ
λ
λ β = )
'
(
)
(
inf
)
'
(
1
x
t
x
f
t
β
λ
λ =
Ω
∈ −
,
for all x ∈ X , which implies that
β
µ
~ (0') ≽ )
'
(
~ x
β
µ , and )
'
(
)
'
0
( x
β
β λ
λ ≤ , for all x' ∈ Y .
For any x' , y' , z' ∈ Y, let x 0 ∈
1
−
f (x') , y0 ∈
1
−
f (y') , and z0 ∈
1
−
f (z')be such that
)
(
~
sup
)
(
~
)
'
'
(
0
0
1
t
r
y
z
y
z
f
t
Ω
∗
∈
Ω
−
=
∗ µ
µ , )
(
~
sup
)
(
~
)
'
'
(
0
0
1
t
r
x
y
x
y
f
t
Ω
∗
∈
Ω
−
=
∗ µ
µ
and )
(
~
0
0 x
z ∗
Ω
µ = )}
(
{
~
0
0 x
z
f ∗
β
µ
= )
'
'
(
~ x
z ∗
β
µ )
(
~
sup 0
0
)
'
'
(
)
( 1
0
0
x
z
r
x
z
f
x
z
∗
= Ω
∗
∈
∗ −
µ
)
(
~
sup
)
'
'
(
1
t
r
x
z
f
t
Ω
∗
∈ −
= µ
Also,
)
(
inf
)
(
)
'
'
(
0
0 1
t
y
z
y
z
f
t
Ω
∗
∈
Ω −
=
∗ λ
λ , )
(
inf
)
(
)
'
'
(
0
0 1
t
x
y
x
y
f
t
Ω
∗
∈
Ω −
=
∗ λ
λ
and
)}
(
{
)
( 0
0
0
0 x
z
f
x
z ∗
=
∗
Ω β
λ
λ )}
'
'
(
{ x
z
f ∗
= β
λ
)
(
inf 0
0
)
'
'
(
)
( 1
0
0
x
z
x
z
f
x
z
∗
= Ω
∗
∈
∗ −
λ
)
(
inf
)
'
'
(
1
t
x
z
f
t
Ω
∗
∈ −
= λ
Then
)
'
'
(
~ x
z ∗
β
µ )
(
~
sup
)
'
'
(
1
t
r
x
z
f
t
Ω
∗
∈ −
= µ = )
(
~
0
0 x
z ∗
Ω
µ
AJMS,
Mar-April,
2017,
Vol.
1,
Issue
2
8. Arrej Tawfeeq Hameed et al. Cubic KUS-Ideals of KUS-Algebras
43
© 2017, AJMS. All Rights Reserved.
rmin { Ω
µ
~ (z0 ∗y0) , Ω
µ
~ (y0 ∗x0)},
= rmin { )
(
~
sup
)
'
'
(
1
t
r
y
z
f
t
Ω
∗
∈ −
µ , )
(
~
sup
)
'
'
(
1
t
r
x
y
f
t
Ω
∗
∈ −
µ }
= rmin { )
'
'
(
~ y
z ∗
β
µ , )
'
'
(
~ x
y ∗
β
µ }
and
=
∗ )
'
'
( x
z
β
λ )
(
inf
)
'
'
(
1
t
x
z
f
t
Ω
∗
∈ −
λ )
'
'
( x
z ∗
= Ω
λ
≤ Max { )
( 0
0 y
z ∗
Ω
λ , )
( 0
0 x
y ∗
Ω
λ }
= max { )
(
inf
)
'
'
(
1
t
y
z
f
t
Ω
∗
∈ −
λ , )
(
inf
)
'
'
(
1
t
x
y
f
t
Ω
∗
∈ −
λ }
= max { )
'
'
( y
z ∗
β
λ , )
'
'
( x
y ∗
β
λ }
Hence, β is a cubic KUS-ideal of Y. ⌂
REFERENCES
1. A.T. Hameed, Fuzzy ideal of some algebras ,PH.D.SC. Thesis, Faculty of Science, Ain Shams
University, Egypt ,2015.
2. C. Prabpayak and U. Leerawat , On isomorphisms of KU-algebras , scientia magna journal , vol.5,
no .3 (2009), 25-31.
3. K. Is´eki and S.Tanaka, Ideal theory of BCK-algebras, Math. Japon. , vol.21 (1976), 351-366.
4. L. A. Zadeh, Fuzzy sets, Inform. And Control, vol. 8 (1965) 338-353.
5. L. A. Zadeh, The concept of a linguistic variable and its application to approximate I,
Information Sci. And Control , vol.8 (1975) , 199-249.
6. O. G. Xi, Fuzzy BCK-algebra, Math. Japon. , vol.36 (1991) 935-942.
7. S.M. Mostafa, M.A. Abdel Naby , F. Abdel Halim and A.T. Hameed , On KUS-algebras , Int.
Journal of Algebra, vol. 7 , no. 3 (2013) , 131-144.
8. Y.B. Jun, C.S. Kim, and M.S. Kang , Cubic subalgebras and ideals of BCK/BCI-algebras, Far
East Journal of Math. Sciences, vol. 44 , no. 2 (2010) , 239-250.
AJMS,
Mar-April,
2017,
Vol.
1,
Issue
2