Abstract

The notion of intersectional soft subalgebras of a BE-algebra is introduced, and related properties are investigated. Characterization of an intersectional soft subalgebra is discussed. The problem of classifying intersectional soft subalgebras by their inclusive subalgebras will be solved.

1. Introduction

In 1966, Imai and Iséki [1] and Iséki [2] introduced two classes of abstract algebras: BCK-algebras and BCI-algebras. It is known that the class of BCK-algebras is a proper subclass of the class of BCI-algebras. Ma et al. studied -tyle (interval-valued) fuzzy ideals in BCI-algebras and soft -algebras (see [35]). As a generalization of a BCK-algebra, H. S. Kim and Y. H. Kim [6] introduced the notion of a BE-algebra and investigated several properties. In [7], Ahn and So introduced the notion of ideals in BE-algebras. They gave several descriptions of ideals in BE-algebras. Song et al. [8] considered the fuzzification of ideals in BE-algebras. They introduced the notion of fuzzy ideals in -algebras and investigated related properties. They gave characterizations of a fuzzy ideal in BE-algebras.

Various problems in system identification involve characteristics which are essentially nonprobabilistic in nature [9]. In response to this situation, Zadeh [10] introduced fuzzy set theory as an alternative to probability theory. Uncertainty is an attribute of information. In order to suggest a more general framework, the approach to uncertainty is outlined by Zadeh [11]. To solve complicated problem in economics, engineering, and environment, we cannot successfully use classical methods because of various uncertainties typical for those problems. There are three theories: theory of probability, theory of fuzzy sets, and the interval mathematics which we can consider as mathematical tools for dealing with uncertainties. But all these theories have their own difficulties. Uncertainties cannot be handled using traditional mathematical tools but may be dealt with using a wide range of existing theories such as probability theory, theory of (intuitionistic) fuzzy sets, theory of vague sets, theory of interval mathematics, and theory of rough sets. However, all of these theories have their own difficulties which are pointed out in [12]. Maji et al. [13] and Molodtsov [12] suggested that one reason for these difficulties may be due to the inadequacy of the parametrization tool of the theory. To overcome these difficulties, Molodtsov [12] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. Molodtsov pointed out several directions for the applications of soft sets. At present, works on the soft set theory are progressing rapidly. Maji et al. [13] described the application of soft set theory to a decision making problem. Maji et al. [14] also studied several operations on the theory of soft sets. Chen et al. [15] presented a new definition of soft set parametrization reduction and compared this definition to the related concept of attributes reduction in rough set theory. The algebraic structure of set theories dealing with uncertainties has been studied by some authors. Çağman et al. [16] introduced fuzzy parameterized (FP) soft sets and their related properties. They proposed a decision making method based on FP-soft set theory and provided an example which shows that the method can be successfully applied to the problems that contain uncertainties. Feng [17] considered the application of soft rough approximations in multicriteria group decision making problems. Aktaş and Çağman [18] studied the basic concepts of soft set theory and compared soft sets to fuzzy and rough sets, providing examples to clarify their differences. They also discussed the notion of soft groups. After that, many algebraic properties of soft sets are studied (see [1929]).

In this paper, we introduce the notion of int-soft subalgebras of a BE-algebra and investigate their properties. We consider characterization of an int-soft subalgebra, and solve the problem of classifying int-soft subalgebras by their inclusive subalgebras.

2. Preliminaries

Let be the class of all algebras of type . By a BE-algebra we mean a system in which the following axioms hold (see [6]):

A relation “” on a BE-algebra is defined by

A BE-algebra is said to be transitive (see [7]) if it satisfies

A BE-algebra is said to be self distributive (see [6]) if it satisfies

Note that every self distributive BE-algebra is transitive, but the converse is not true in general (see [7]).

A mapping of BE-algebras is called a homomorphism if for all .

A soft set theory is introduced by Molodtsov [12], and Çağman and Enginoğlu [30] provided new definitions and various results on soft set theory.

In what follows, let be an initial universe set, and let be a set of parameters. Let denote the power set of and .

Definition 1 (see [12, 13]). A soft set over is defined to be the set of ordered pairs where such that if .

The function is called an approximate function of the soft set .

In what follows, denote by the set of all soft sets over by Çağman and Enginoğlu [30].

For any soft sets and over , we call a soft subset of , denoted by if for all . The soft of and is defined to be a soft set , where for all .

Definition 2 (see [31, 32]). Assume that has a binary operation . For any nonempty subset of , a soft set over is said to be intersectional over if it satisfies

For a soft set over and a subset of , the -inclusive set of , denoted by , is defined to be the set

3. Intersectional Soft Subalgebras

In what follows, we take as a set of parameters, which is a BE-algebra under the operation “” unless otherwise specified.

Definition 3. A soft set over is called an intersectional soft subalgebra (briefly, int-soft subalgebra) over if it satisfies

Example 4. Let be the set of parameters where is a -algebra with the following Cayley table: Let be a soft set over defined as follows: where , and are subsets of with . It is easy to check that is an int-soft subalgebra over .

Example 5. Let be the set of parameters, and let be the initial universe set, where is a -algebra [7] with the following Cayley table: Let be a class of subsets of which is a poset under the following Hasse diagram:
             368962.fig.001
Let be a soft set over defined as follows: It is easy to check that is an int-soft subalgebra over .

Theorem 6. A soft set over is an int-soft subalgebra over if and only if is a subalgebra of for all .

The subalgebra in Theorem 6 is called the inclusive subalgebra of .

Proof. Assume that is an int-soft subalgebra over . Let and . Then, and . It follows from (11) that that is, . Thus, is a subalgebra of .
Conversely, suppose that is a subalgebra of for all . Let be such that and . Take . Then, , and so by assumption. Hence, Therefore, is an int-soft subalgebra over .

Lemma 7. Every int-soft subalgebra over satisfies the following inclusion:

Proof. Using (1) and (11), we have for all .

Proposition 8. For any int-soft subalgebra over , if a fixed element satisfies , then

Proof. Assume that a fixed element satisfies . Then, for all .

Proposition 9. Let be an int-soft subalgebra over . If a fixed element satisfies the following condition: then .

Proof. Taking in (22) implies that by (3). It follows from Lemma 7 that .

For any -algebras and , let be a function and , and let be soft sets over .

(1) The soft set where , is called the soft preimage of under .

(2) The soft set where is called the soft image of under .

Proposition 10. For any -algebras and , let be a function. Then,

Proof. Note that for all . Hence, for all , and therefore (26) is valid.

Theorem 11. Let be a homomorphism of -algebras and . If is an int-soft subalgebra over , then the soft preimage of under is also an int-soft subalgebra over .

Proof. For any , we have Hence, is also an int-soft subalgebra over .

Theorem 12. Let be a homomorphism of -algebras and . If is an int-soft subalgebra over and is injective, then the soft image of under is also an int-soft subalgebra over .

Proof. Let . If at least one of and is empty, then the inclusion is clear. Assume that and . Since is injective, we have Therefore, is an int-soft subalgebra over .

Theorem 13. Let and define a soft set over by where is any subset of and is a subset of satisfying . If is an int-soft subalgebra over , then so is .

Proof. If is an int-soft subalgebra over , then is a subalgebra of for all by Theorem 6. Let . If , then . Hence, If or , then or . Thus, Therefore, is an int-soft subalgebra over .

Theorem 14. If and are int-soft subalgebras over , then the soft intersection of and is an int-soft subalgebra over .

Proof. Let . Then, Hence, is an int-soft subalgebra over .

The following example shows that the soft union of int-soft subalgebras over may not be an int-soft subalgebra over .

Example 15. Let be the set of parameters where is a -algebra [7] with the following Cayley table: Let and be soft sets over defined, respectively, as follows: where , and are subsets of with . It is easy to check that and are int-soft subalgebras over . But is not an int-soft subalgebra over , since .

Theorem 16. Let be an int-soft subalgebra over . Let and be subsets of such that . If the -inclusive set of is equal to the -inclusive set of , then there is no such that .

Proof. Straightforward.

The converse of Theorem 16 is not true in general as seen in the following example.

Example 17. Let be the set of parameters, and let be the initial universe set where is a -algebra as in Example 4. Consider a soft set over which is given by Then, is an int-soft subalgebra over . The -inclusive sets of are described as follows: If we take and , then and there is no such that . But .

Theorem 18. Let be an int-soft subalgebra over . Let and be subsets of such that and are totally ordered by set inclusion for all . If there is no such that , then the -inclusive set of is equal to the -inclusive set of .

Proof. Since , we have . If , then . Since is totally ordered by inclusion and there is no such that , it follows that , that is, . Therefore, the -inclusive set of is equal to the -inclusive set of .

Theorem 19. Let be a soft set over in which is totally ordered by set inclusion. For each subset of , if the -inclusive set of is a subalgebra of , then is an int-soft subalgebra over .

Proof. Let be such that and . Then, either or . We may assume that without loss of generality. Then, , and . Since is a subalgebra of , it follows that so that Therefore, is an int-soft subalgebra over .

We have the following question.

Question. Let be an int-soft subalgebra over . Does any subalgebra can be represented as a -inclusive set of ?

The following example shows that the answer to the question above is false.

Example 20. Let be the set of parameters, and let be the initial universe set where is a -algebra as in Example 15. Consider a soft set over which is given by Then, is an int-soft subalgebra over . The -inclusive sets of are described as follows: The subalgebra cannot be a -inclusive set , since there is no such that .

However, we have the following theorem.

Theorem 21. Every subalgebra of a -algebra can be represented as a -inclusive set of an int-soft subalgebra.

Proof. Let be a subalgebra of a -algebra . For a subset of , define a soft set over by Obviously, . We now prove that is an int-soft subalgebra over . Let . If , then because is a subalgebra of . Hence, , and so . If and , then and which imply that Similarly, if and , then . Obviously, if and , then . Therefore, is an int-soft subalgebra over .

Note that if is a finite -algebra, then the number of subalgebras of is finite whereas the number of -inclusive sets of an int-soft subalgebra over appears to be infinite. But, since every -inclusive set is indeed a subalgebra of , not all these -inclusive sets are distinct. The next theorem characterizes this aspect.

Theorem 22. Let be an int-soft subalgebra over and let such that is a chain for all . Two -inclusive sets and are equal if and only if there is no such that .

Proof. Let and be subsets of such that . Assume that there exists such that . Then, is a proper subset of , which contradicts the hypothesis.
Conversely, suppose that there is no such that . Obviously, . If , then . It follows from the assumption that , that is, . Therefore, .

Remark 23. As a consequence of Theorem 22, if is a finite -algebra, then the -inclusive sets of an int-soft subalgebra over form a chain. But for all . Therefore, , where , is the smallest inclusive subalgebra but not always as seen in the following example, and so we have the chain where .

Example 24. Let be a subalgebra of a -algebra such that . Let be the int-soft subalgebra over which is given in the proof of Theorem 21. Then, . Further, the -inclusive sets of are and . Thus, we have but .

Corollary 25. Let be a finite -algebra, and let be an int-soft subalgebra over . If , then the family of -inclusive sets , constitutes all the -inclusive sets of .

Proof. Let and . If , where , then by Theorem 22. If , where is the least element (under the set inclusion) of , then . Assume that , where is the greatest element (under the set inclusion) of . If there is such that and , then . It is a contradiction. It follows from Theorem 22 that . Thus, for any , the inclusive subalgebra is one of .

The following example shows that two int-soft subalgebras over may have an identical family of -inclusive sets but the int-soft subalgebras over may not be equal.

Example 26. Let be the set of parameters, and let be the initial universe set where is a -algebra as in Example 15. Consider a soft set over which is given by where are subsets of . It is easy to verify that is an int-soft subalgebra over . The -inclusive sets of are and . Now let , and be subsets of such that and for and . Define a soft set over as follows: Then, is an int-soft subalgebra over , and the -inclusive sets of are and . Hence, the two int-soft subalgebras and over have an identical family of -inclusive sets. However, it is clear that is not equal to .

Lemma 27. Let be a finite -algebra, and let be an int-soft subalgebra over . If and are elements of such that , then .

Proof. Straightforward.

Theorem 28. Let be a finite -algebra, and let and be two int-soft subalgebras over having the identical family of -inclusive sets. If and , where then we have
(1) ,
(2) ,
(3) .

Proof. Corollary 25 implies that the only -inclusive sets of and are the two families and . Since and have the same family of -inclusive sets, we have which proves (1).
(2) Using (1) and Remark 23, we have two chains of -inclusive sets: Clearly, we have Since two families of -inclusive sets are identical, it is clear that . By hypothesis, for some . Assume that . Then, for some , and for some . Thus, by (49) and (50), we have and . This is a contradiction, and so . By mathematical induction on , we finally obtain .
(3) Let be such that and , where and . It is sufficient to show that . Now, implies that . This gives from (50) that . Since , it follows from (2) that and so . Hence, by (49). Using (2), we have . Thus, , and so . This completes the proof.

Theorem 29. Let be a -algebra. Given any chain of subalgebras there exists an int-soft subalgebra over whose -inclusive sets are exactly the subalgebras of this chain.

Proof. Consider a class of subsets of such that Define a soft set by and . We will prove that is an intersectional soft -algebra over . Note that if , then . If , then either or for . Thus, if , then . If , then . Let . We distinguish two cases as follows:
Case  1. Let . Then, . Since is a subalgebra, we have , and so either or . In any case we know that Case  2. For , let and . Then, and . It follows that Hence, we conclude that is an intersectional soft -algebra over . From the definition of , we have . Thus, the -inclusive sets of are given by the chain of subalgebras Now, . Finally, we prove that for . Clearly . If , then , and so for . Hence, , and thus for some . Since , we have , and so for . This completes the proof.

Theorem 29 is illustrated as an example.

Example 30. Let be the initial universe set, and let be the set of parameters where is a -algebra as in Example 5. Consider subalgebras , and . Then, . Define a soft set over by Then, is an int-soft subalgebra over with , , , and .

Theorem 31. Let be a soft set over , and let be a subset of . Define a soft set over by If is an int-soft subalgebra over , then so is .

Proof. Let . If , then , and so If or , then or . Hence, Therefore, is an int-soft subalgebra over .

4. Conclusion

Using the notion of int-soft sets, we have introduced the concept of int-soft subalgebras in -algebras and investigated related properties. We have considered characterization of an int-soft subalgebra and solved the problem of classifying int-soft subalgebras by their inclusive subalgebras. We have shown that(1)every soft image of an int-soft subalgebra is also an int-soft subalgebra;(2)the soft intersection of int-soft subalgebras is an int-soft subalgebra.

We have made a new int-soft subalgebra from the old one. Work is ongoing. Some important issues for future work are as follows:(1)to develop strategies for obtaining more valuable results,(2)to apply these notions and results for studying related notions in other (soft) algebraic structures,(3)to study the soft set application in ideal and filter theory of -algebras.

Acknowledgments

The authors wish to thank the anonymous reviewer(s) for their valuable suggestions. This work (RPP-2012-021) was supported by the fund of Research Promotion Program, Gyeongsang National University, 2012.