Fuzzy Ideals in Γ−BCK-Algebras
Fuzzy Ideals in Γ−BCK-Algebras
Fuzzy Ideals in Γ−BCK-Algebras
net/publication/346773750
CITATIONS READS
0 421
1 author:
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
ALGEBRAIC GRAPH THEOREY AND FUZZY GRAPH OF ALGEBRAIC STRUCTURE View project
All content following this page was uploaded by Murali Krishna Rao Marapureddy on 01 January 2023.
1 Introduction
In 1995, M.Murali Krishna Rao introduced the notion of a Γ−semiring as
a generalization of Γ− ring, ternary semiring and semiring [8]. As a gen-
eralization of ring, the notion of a Γ−ring was introduced by Nobusawa in
1964. Sen introduced the notion of a Γ−semigroup as a generalization of
semigroup [12]. Murali Krishna Rao studied regular Γ−incline, Γ−group
and Γ− Field. The set of all negative integers Z is not a semiring with re-
spect to usual addition and multiplication but Z forms a Γ−semiring where
Γ = Z. The important reason for the development of Γ−semiring is a gen-
1
eralization of results of rings, Γ−rings, semirings, semigroups and ternary
semirings.
Two classes of abstract algebras namely BCK and BCI-algebras were ini-
tially introduced by Y. Imai and K. Iseki Japanee mathematicians in 1966 as
a generalization of the concept of set theoretic difference and propositional
calculus [4]. Every BCI-algebra M satisfy 0∗x = 0, for all x ∈ M is a BCK-
algebra. Residuated lattices, Boolean algebras, MV-algebras, BE-algebras,
Wajsberg algebras, BL-algebras, Hilbert algebras, Heyting algebras, NM-
algebras, MTL-algebras, Weak −R0 algebras etc., can be expressed as par-
ticular cases of BCK- algebras. For the general development of BCK/BCI
algebras, the ideal theory and its fuzzification play an important role.
Many real-world problems are complicated due to various uncertainties.
In addressing them, classical methods may not be the best option. To
mention few, artificial intelligence plays an important role in dealing with
uncertain information by simulating the peoples needs comprising of uncer-
tain data. Several theories like Probability, Randomness, Rough sets were
introduced. In addressing uncertainty one of the appropriate theory is the
fuzzy set theory. The fuzzy set theory was developed by Zadeh in 1965
[13]. Many papers on fuzzy sets appeared showing the importance of the
concept and its applications to logic, set theory, group theory, ring theory,
real analysis, topology, measure theory etc. The fuzzification of algebraic
structure was introduced by Rosenfeld and he introduced the notion of fuzzy
subgroups in 1971[11]. Hong, S. M., Jun, Y. B. studied anti fuzzy ideals in
BCK-algebras. In 1991, Xi applied the concept of fuzzy sets to BCK-algebra
which was introduced by Imai and Iseki[3].
BCK-algebras have been studied by many mathematicians and applied
to group theory, functional analysis, probability theory, topology and so on.
Ideal theory plays an important role in studying of these algebras. The study
of BCK-algebras were motivated from classical and non-classical proposi-
tional calculii modeling logical implications. BCK-algebras are algebraic
formulation of the BCK system in combinatory logic which has applications
in the language of functional programming. The purpose of this paper is
to introduce the concepts of fuzzy subalgebra, fuzzy ideals, homomorphism,
epimorphism in terms of Γ−BCK- algebras, study some of the properties
and relations between them.
2 Preliminaries
In this section, we recall the following definitions and results which are
necessary for completeness.
Definition 2.1. [8] Let M and Γ be two non- empty sets. Then M is called
a Γ−semigroup if it satisfies
(i) xαy ∈ M,
2
(ii) xα(yβz) = (xαy)βz for all x, y, z ∈ M, α, β ∈ Γ.
3
Definition 2.10. [7] A BCK-algebra M can be partially ordered by x ≤ y
if and only if x ∗ y = 0, for all x, y ∈ M . This ordering is called a BCK
ordering.
Then M is a BCK-algebra.
If Γ = {0} the ternary operation x0y is defined by the following table
0 0 b1 b2 b3
0 0 0 0 0
b1 b1 0 0 0
b2 b2 b1 0 0
b3 b3 b3 b3 0
Then M is a Γ−BCK-algebra.
4
Example 2.15. Let M = {0, x, y} and Γ = {α, β}. The ternary operation
is defined by the following tables
α 0 x y β 0 x y
0 0 0 0 0 0 0 0
x x 0 0 x x 0 y
y y x 0 y y 0 0
Then M is a Γ−BCK-algebra.
Example 2.16. Let M = {0, x, y, z} and Γ = {α, β, γ}.The ternary opera-
tion is defined by the following tables
α 0 x y z β 0 x y z γ 0 x y z
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x x 0 x x x x 0 y y x x 0 z z
y y y 0 y y y z 0 z y y x 0 x
z z z z 0 z z x x 0 z z y y 0
Then M is a Γ−BCK-algebra.
Definition 2.17. [10] A non-empty subset I of a Γ−BCK-algebra M is
called a subalgebra of M, if xαy ∈ I, for all α ∈ Γ, x, y ∈ M.
Note: Let I be a subalgebra of a Γ−BCK-algebra M. Then 0 ∈ I.
Definition 2.18. [10] Let M be a Γ−BCK-algebra and I be a non-empty
subset of M. Then I is called an ideal of M if
i) 0 ∈ I
ii) xαy ∈ I, α ∈ Γ, y ∈ I ⇒ x ∈ I.
M and {0} are trivial ideals.
An ideal I is proper if I 6= M.
Example 2.19. Let M = {0, x, y, z} and Γ = {α, β}. The ternary operation
is defined by the following tables
α 0 x y z β 0 x y z
0 0 0 0 0 0 0 0 0 0
x x 0 x y x x 0 x y
y y y 0 y y y y 0 y
z z y z 0 z z z z 0
I = {0, x, y} is an ideal.
Definition 2.20. A Γ−BCK-algebra M is said to be commutative if
yα(yβx) = xα(xβy), for all x, y ∈ M , α, β ∈ Γ.
A Γ−BCK-algebra M can be partially ordered by x ≤ y if and only if
xαy = 0, for all α ∈ Γ, x, y ∈ M . This ordering is called a Γ−BCK ordering.
5
Example 2.21. Let M = {0, x, y, z}, Γ = {α, β}. Then ternary operation
is defined with the following tables
α 0 x y z β 0 x y z
0 0 0 0 0 0 0 0 0 0
x x 0 x x x x 0 x x
y y y 0 y y y y 0 y
z z z z 0 z z z z 0
Then M is a commutative BCK-algebra.
α 0 a b c d β 0 a b c d
0 0 0 0 0 0 0 0 0 0 0 0
a a 0 a a a a a 0 b b b
b b b 0 b b b b c 0 c c
c c c c 0 c c c c d 0 d
d d d d d 0 d d a a a 0
γ 0 a b c d δ 0 a b c d
0 0 0 0 0 0 0 0 0 0 0 a
a a 0 c c c a a 0 d d d
b b d 0 d d b b a 0 a a
c c a a 0 a c c b b 0 b
d d b b b 0 d d c c c 0
6
Let t0 < t1 < t2 < t3 < t4 such that t0 , t1 , t2 , t3 , t4 ∈ [0, 1].
Define µ : M → [0, 1] such that µ(0) = t0 , µ(a) = t1 , µ(b) = t2 , µ(c) = t3 ,
and µ(d) = t4 . By routine verification, µ is fuzzy subalgebra and an anti
fuzzy ideal of the Γ−BCK-algebra M .
Lemma 3.3. If µ is a fuzzy subalgebra of a Γ−BCK-algebra M, then
µ(0) ≥ µ(x), for all x ∈ M.
Proof. We have xαx = 0 for all α ∈ Γ, x ∈ M.
µ(0) = µ(xαx) ≥ min{µ(x), µ(x)} = µ(x). Hence µ(0) ≥ µ(x).
µ(xαy) ≥ µ(x)
⇒ µ(xαy) ≥ µ(x) ≥ min{µ(xαy), µ(y)}
⇒ µ(xαy) ≥ min{µ(x), µ(y)}.
7
We now give a condition for a fuzzy subalgebra to be a fuzzy ideal.
Theorem 3.8. Let µ be a fuzzy subalgebra of a Γ−BCK-algebra M such
that, µ(x) ≥ min{µ(y), µ(z)} if xαy ≤ z for all α ∈ Γ, x, y, z ∈ M. Then µ
is a fuzzy ideal of M.
Proof. We have µ(x) ≥ min{µ(y), µ(z)} if xαy ≤ z
⇒ µ(xαy) ≥ µ(z)
Therefore µ(x) ≥ min{µ(xαy), µ(y)}.
Hence µ is the fuzzy ideal of Γ−BCK-algebra M.
8
Definition 3.13. Let µ be a fuzzy subset of a Γ−BCK-algebra M. Then for
t ∈ [0, 1] the lower level t-cut of µ is the set µt = {x ∈ M/µ(x) ≤ t} and the
upper level t-cut of µ is the set µt = {x ∈ M/µ(x) ≥ t}. Obviously µ1 = M
and µt ∪ µt = M for all t ∈ [0, 1]. If t1 < t2 then µt1 ≤ µt2 .
Theorem 3.14. Let µ be a fuzzy subset of a Γ−BCK-algebra M. Then µ is
an anti fuzzy ideal of M if and only if for each t ∈ [0, 1] µt 6= φ, then lower
t-level cut µt is an ideal of M.
Proof. Let µ be an anti fuzzy ideal of M and t ∈ [0, 1]. Obviously 0 ∈ µt .
Let xαy ∈ µt , y ∈ µt , x, y ∈ M and α ∈ Γ. Then
µ(x) ≤ max{µ(xαy), µ(y)}
≤ max{t, t}
= t. Implies x ∈ µt .
Hence µt is an ideal of M.
Conversely suppose that µt is an ideal of M for all t ∈ [0, 1].
Suppose there exists x0 ∈ M such that µ(0) > µ(x0 ).
put t0 = 12 {µ(0) + µ(x0 )}
⇒ µ(x0 ) < t0 < µ(0) < 1.
Then x0 ∈ µt0 , since µt0 is an ideal of M.
Thus 0 ∈ µt0 ⇒ µ(0) ≤ t0 . Which is a contradiction.
Hence, µ(0) ≤ µ(x0 ) for all x ∈ M.
9
Theorem 3.18. Let f : M → N be a homomorphism of a Γ−BCK-algebras
M, N . If µ is a fuzzy ideal of N, then f −1 (µ) is a fuzzy ideal of M.
Proof. We have
Suppose x, y ∈ M, α ∈ Γ. Then
10
Proof. We have µf (x) = µ(f (x)) ≤ µ(0) ≤ µ(f (0)) = µf (0), for all
x ∈ M, α ∈ Γ. Then
4 Conclusion:
In this paper, we introduced the concepts of fuzzy(anti) ideals of Γ−BCK-
algebras. We studied the properties of fuzzy ideals and anti fuzzy ideals of
Γ−BCK-algebras. We proved that a fuzzy subset of a Γ−BCK-algebra is a
fuzzy ideal if and only if the complement of the fuzzy subset is an anti fuzzy
ideal of Γ−BCK-algebra. If f : M → N is an epimorphism of a Γ−BCK-
algebra M, and f −1 (µ) is a fuzzy ideal of M, then µ is a fuzzy ideal of N.
We further extend this concept to fuzzy soft Γ−BCK-algebras.
References
[1] Y. S. Huang, BCI-Algebra, Science Press, Beijing, China, (2006).
[2] K. Iseki, On BCI-algebras, Kobe University. Mathematics Seminar
Notes, 8(1) (1980) 125 – 130 .
[3] K. Iseki and S. Tanaka, An introduction to the theory of BCK-algebras,
Mathematica Japonica, 23(1) (1978) 1– 26.
11
[4] Y. Imai and K. Iseki, On axiom systems of propositional calculi, XIV,
Proceedings of the Japan Academy, 42 (1966) 19– 22 .
[9] M. M. K. Rao, Γ-Group, Bulletin Int. Math. Virtual Inst., 10(1) (2020)
51-58.
[12] M. K. Sen, On Γ−semigroup, Proc. of Inter. Con. of Alg. and its Appl.,
Decker Publicaiton, New York (1981) 301–308.
[13] L. A. Zadeh, Fuzzy sets. Information and control, 8(3) (1965) 338-353.
12