Emerging Trends in Soft Set Theory and Related TopicsView this Special Issue
Research Article | Open Access
Hacı Aktaş, Şerif Özlü, "Cyclic Soft Groups and Their Applications on Groups", The Scientific World Journal, vol. 2014, Article ID 437324, 5 pages, 2014. https://doi.org/10.1155/2014/437324
Cyclic Soft Groups and Their Applications on Groups
In crisp environment the notions of order of group and cyclic group are well known due to many applications. In this paper, we introduce order of the soft groups, power of the soft sets, power of the soft groups, and cyclic soft group on a group. We also investigate the relationship between cyclic soft groups and classical groups.
Most of our real life problems in economics, engineering, environment, social science, and medical science involve imprecise data that contain uncertainties. To solve these kinds of problems, it is quite difficult to successfully use classical methods. However, there are some well-known theories (probability, fuzzy sets , vague sets , rough sets , etc.) which can be considered as mathematical tools for dealing with uncertainties. All these theories have their inherent difficulties pointed out by Molodtsov .
The theory of soft sets, proposed by Moldtsov , is an extension of set theory for the study of intelligent systems characterized by insufficient and incomplete information. His pioneer paper has undergone tremendous growth and applications in the last few years. Maji et al.  give an application of soft set theory in a decision making problem by using the rough sets and they conducted a theoretical study on soft sets in a detailed way . Chen et al.  proposed a reasonable definition of parameterizations reduction of soft sets and compared them with the concept of attributes reduction in rough set theory.
The algebraic structures of set theories which deal with uncertainties have been studied by some authors. Rosenfeld  proposed fuzzy groups to establish results for the algebraic structures of fuzzy sets. Rough groups are defined by Biswas and Nanda , and some others (i.e., Bonikowaski  and Iwinski ) studied algebraic properties of rough sets. Fuzzification of algebraic structures was studied by many authors [8, 12, 13].
Many papers on soft algebras have been published since Aktaş and Çaman  introduced the notion of a soft group in 2007. Recently, Jun et al.  studied soft ideals and idealistic soft BCK/BCI-algebras. Acar et al.  introduced initial concepts of soft rings. Aygünoǧlu and Aygün  introduced the concept of fuzzy soft group and, in the meantime, they studied its properties and structural characteristics. Atagün and Sezgin  introduced and studied the concepts of soft subrings, soft ideal of a ring, and soft subfields of a field.
Our interest, in this paper, is to define order of the soft group and cyclic soft group by using definition of the soft group that was defined in . We then find out the relationships between cyclic soft groups and classical groups. Finally, we conclude the study with suggestions for future work.
The following definitions and preliminaries are required in the sequel of our work and they are presented in brief.
Throughout this work, is an initial universe set, is a set of parameters, is the power set of , , and denotes a group with identity .
Definition 1 (see ). A pair is called a soft set over , where is a mapping given by
In other words, a soft set over is a parameterized family of subsets of the universe .
Definition 2 (see ). For two soft sets and over , is called a soft subset of , if (1) and(2); and are identical approximations.
It is denoted by .
is called a soft superset of if is a soft subset of . It is denoted by .
Definition 3 (see ). If and are two soft sets, then AND is denoted . is defined as , where , for all .
Definition 4 (see ). If and are two soft sets, then OR , denoted by , is defined by , where , .
Definition 5 (see ). Union of two soft sets of and over is the soft set , where and , It is denoted by .
Definition 6 (see ). Let be a soft set over . Then is said to be a soft group over if and only if is subgroup of for all .
Definition 7 (see ). One considers the following.(1) is said to be an identity soft group over if for all , where is the identity element of .(2) is said to be an absolute soft group over if for all .
Definition 8 (see ). Let and be two soft groups over . Then is a soft subgroup of , written as , if(1),(2) is a subgroup of for all .
Definition 9 (see ). Let and be two soft groups over and , respectively, and let and be two functions. Then one says is a soft homomorphism and is soft homomorphic to , denoted by , if the following conditions are satisfied: (1) is a homomorphism from onto ,(2) is a mapping from onto ,(3) for all .
In this definition, if is an isomorphism from to and is a one-to-one mapping from onto , then we say that is a soft isomorphism and is soft isomorph to which is denoted by . The image of soft group under soft homomorphism will be denoted by .
Definition 10 (see ). Let and be two soft groups over and , respectively. The product of soft groups and is defined as , where , for all .
3. The Order of Soft Groups
Since the elements of a cyclic group are the powers of the element, properties of cyclic groups are closely related to the properties of the powers of an element. In this paper, we define order of the soft group by using definition of the soft group that was defined in . We then investigate their properties.
Definition 11. A pair is called surjective soft set over , where is a surjective mapping given by .
Throughout this study, denotes a group and the soft set will be a surjective soft set. The element is used instead of the element of .
Definition 12. Let be a soft set over and for . Then is called -power of .
Example 13. Let be a soft set over , where , and let be a soft set over group . And the third power of is .
Of course, when the group is additive, the th power of will be written by .
Theorem 14. Let be a soft set over and for . Then, for all , (1), for all ,(2), for all ,(3), for all .
In general, the opposite of Theorem 14(1) is not true. We illustrate an example of this situation.
Example 15. Let and let be a function such that and . The intersection is . So . On the other hand . Consequently .
Definition 16. Let be a soft set over and . If there is a positive integer such that , then the least such positive integer is called the order of . If no such exists, then has infinite order. The order of is denoted by .
If is a soft group over , then the order of coincides with the order of , which is subgroup of . Of course if there is any element in such that , then the order of is 1.
Example 17. In Example 13 the order of element is 3.
Let be a soft group over group of integer numbers , where is a mapping from natural numbers to such that for all . There is no any positive integer such that , so has infinite order for all .
Theorem 18. Let be finite group and a soft group over . Then, the orders of elements of are finite.
Proof. It is straightforward.
Theorem 19. Let be a soft set over finite group and for . Then, the order of is the least common multiple (LCM) of order of elements of .
Proof. Let be the order of . Then . This means that for all . We know from classical group theory that , namely, , divides for all . Thus, is common multiple of elements of . Let be another common multiple of elements of . Then, by reason of for all , . However, since is the least number that satisfies the condition , hence . This completes the proof.
Theorem 20. Let be finite group, a soft group over , and and the elements of . Then, for all , one has the following: (1) for ,(2) for ,(3) for .
Proof. We consider the following.(1) is subgroup of and , so and . It follows .(2)Let , , and . From Theorem 14. This follows and . Thus is a common multiple of and . Let be another common multiple of and . Consider . Since is the least positive integer that satisfied the condition , divides . Hence is LCM order of and . This completes the proof.(3)Since and are subgroups of , it is seen easily.
Definition 21. Let be group and soft set over . The set
is called th power of soft set .
Example 22. Let be a soft set over defined in Example 13. Then, the second power of is that , and , , , .
Theorem 23. Let and be two soft sets over . Then, (1),(2)if and, for all , and are identical approximations, then .
If and are both soft groups, then, for all , and are all subgroups of , and so and contain the identity element of . Thus, the set contains at least ; hence . It means that if we take in Theorem 23(2) and as soft groups, not soft sets, then the extra condition can be added in Theorem 23(2).
In classical groups, the order of a group is defined as the number of elements it contains. But in soft groups, it differs from classical groups.
Definition 24. Let be soft group over . If is a finite group, then the least common multiple of orders of elements of is called order of . If is an infinite group, then the order of is defined to be the number of elements of and the order of soft group is denoted by .
Of course, if is surjective, then the number of elements of is the number of elements in .
We give the following results similar to Lagrange Theorem in group theory.
Theorem 26. Let be a soft group over a finite group and . Then one has the following. (1)The order of divides the order of . In particular, .(2)The order of divides the order of .
When is a finite group, then the order is a finite and the orders of elements of divide the order of . However when is an infinite group, then the order of can be finite or infinite. Hence, Theorem 26 is not true for infinite groups.
Theorem 27. Let be a finite group and let and be two soft groups over . Then and .
4. Cyclic Soft Groups
The class of cyclic groups is an important class in group theory. In this section, we study soft groups which are generated by one element of . We define cyclic soft group and prove some of their properties which are analogous to the crisp case.
Definition 28. Let be a soft group over and an element of . The set is called a soft subset of generated by the set and denoted by . If , then the soft group is called the cyclic soft group generated by .
If is a cyclic soft group over , then we can write it in this form , where is element of . That is to say, if all the elements of are generated by any elements of of , then is a cyclic soft group over .
If is a cyclic group, then is a soft cyclic group over since all subgroups of cyclic group are cyclic but the reverse is not always true.
As an illustration, let us consider the following example.
Example 29. Let be the symmetric group and the set of parameters. If we construct a soft set over such that for all , then one can easily show that is a soft cyclic group over ; however is not a cyclic group.
In the following theorem, we can give some properties of cyclic soft groups that has similar features of the classical cyclic groups.
Theorem 30. One considers the following.(1)If is a finite cyclic soft group generated by , then , where .(2)If is an infinite cyclic soft group generated by , then .(3)If is an identity soft group, then it is a cyclic soft group generated by .(4)Let be an absolute soft group defined on . Then, is a cyclic soft group if and only if is a cyclic group.(5)Let be a soft group on . If the order of is prime, then is a cyclic soft group.(6)A soft subgroup of a cyclic soft group is cyclic soft group.
Theorem 31. Let be a soft homomorphism of the soft group over into the soft group over . If is a cyclic soft group over , then is a cyclic soft group over .
Proof. First, we show that is a soft group over . Since is a homomorphism from to , is a subgroup of for all . Thus is a soft group over . Since is cyclic subgroup for all in , image of under is cyclic; that is, is cyclic subgroup of for all . Consequently, is a cyclic soft group over .
Theorem 32. Let and be two soft isomorphic soft groups over and , respectively. If is a cyclic soft group, then so is .
Proof. First of all note that since is a soft isomorphic to , there is an homomorphism from to such that for all , where is a one-to-one mapping from onto . Since is a cyclic subgroup for all in and is a homomorphism, then is a cyclic subgroup of . Thus, all elements of are cyclic. This result completes the proof.
Theorem 33. If and are two cyclic soft groups over , then is a cyclic soft group over .
Proof. Let , where , . Since and are cyclic subgroups of for all and and is a subgroup of both and , is cyclic subgroup of for all . Hence, is cyclic soft group over .
Theorem 34. Let and be two cyclic soft groups over and . Then, is a cyclic soft group over .
Proof. It is trivial.
Theorem 35. Let and be two cyclic soft groups of finite orders and over and , respectively. If and are relatively prime, then the product is a cyclic soft group.
Proof. Let . According to Lagrange Theorem, divides and divides for all and for all . Since , and are relatively prime. So is cyclic group for all . This completes the proof.
In this paper, we have expanded the soft set theory. We have focused on order of the soft groups and investigated relationship between the order of soft groups and the order of classical groups. Additionally, we have studied the algebraic properties of cyclic soft groups with respect to a group structure. Our future work will focus on the relationships between cyclic soft groups and other algebraic structures such as rings and fields.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
- L. A. Zadeh, “Fuzzy sets,” Information and Computation, vol. 8, pp. 338–353, 1965.
- W. Gau and D. J. Buehrer, “Vague sets,” IEEE Transactions on Systems, Man and Cybernetics, vol. 23, no. 2, pp. 610–614, 1993.
- Z. Pawlak, “Rough sets,” International Journal of Computer and Information Sciences, vol. 11, no. 5, pp. 341–356, 1982.
- D. Molodtsov, “Soft set theory—first results,” Computers & Mathematics with Applications, vol. 37, no. 4-5, pp. 19–31, 1999.
- P. K. Maji, A. R. Roy, and R. Biswas, “An application of soft sets in a decision making problem,” Computers & Mathematics with Applications, vol. 44, no. 8-9, pp. 1077–1083, 2002.
- P. K. Maji, R. Biswas, and A. R. Roy, “Soft set theory,” Computers & Mathematics with Applications, vol. 45, no. 4-5, pp. 555–562, 2003.
- D. Chen, E. C. C. Tsang, D. S. Yeung, and X. Wang, “The parameterization reduction of soft sets and its applications,” Computers & Mathematics with Applications, vol. 49, no. 5-6, pp. 757–763, 2005.
- A. Rosenfeld, “Fuzzy groups,” Journal of Mathematical Analysis and Applications, vol. 35, pp. 512–517, 1971.
- R. Biswas and S. Nanda, “Rough groups and rough subgroups,” Bulletin of the Polish Academy of Sciences Mathematics, vol. 42, no. 3, pp. 251–254, 1994.
- Z. Bonikowski, “Algebraic structures of rough sets,” in Rough Sets, Fuzzy Sets and Knowledge Discovery, W. P. Ziarko, Ed., pp. 242–247, Springer, Berlin, Germany, 1994.
- T. B. Iwinski, “Algebraic approach to rough sets,” Bulletin of the Polish Academy of Sciences Mathematics, vol. 35, no. 9-10, pp. 673–683, 1987.
- S. Abdullah, M. Aslam, T. A. Khan, and M. Naeem, “A new type of fuzzy normal subgroups and fuzzy cosets,” Journal of Intelligent & Fuzzy Systems, vol. 25, no. 1, pp. 37–47, 2013.
- S. Abdullah, M. Aslam, T. A. Khan, and M. Naeem, “A note on ordered semigroups characterized by their (),” UPB Scientific Bulletin A, vol. 75, pp. 41–44, 2013.
- H. Aktaş and N. Çağman, “Soft sets and soft groups,” Information Sciences, vol. 177, no. 13, pp. 2726–2735, 2007.
- Y. B. Jun and C. H. Park, “Applications of soft sets in ideal theory of BCK/BCI-algebras,” Information Sciences, vol. 178, no. 11, pp. 2466–2475, 2008.
- U. Acar, F. Koyuncu, and B. Tanay, “Soft sets and soft rings,” Computers & Mathematics with Applications, vol. 59, no. 11, pp. 3458–3463, 2010.
- A. Aygünoǧlu and H. Aygün, “Introduction to fuzzy soft groups,” Computers and Mathematics with Applications, vol. 58, no. 6, pp. 1279–1286, 2009.
- A. O. Atagün and A. Sezgin, “Soft substructures of rings, fields and modules,” Computers & Mathematics with Applications, vol. 61, no. 3, pp. 592–601, 2011.
Copyright © 2014 Hacı Aktaş and Şerif Özlü. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.