Abstract
In this paper, the notion of the conjugate of an L-subgroup by an L-point has been introduced. Then, several properties of conjugate L-subgroups have been studied analogous to their group-theoretic counterparts. Also, the notion of conjugacy has been investigated in the context of normality of L-subgroups. Furthermore, some important relationships between conjugate L-subgroups and normalizer have also been established. Finally, the normalizer of an L-subgroup has been defined by using the notion of conjugate L-subgroups.
1. Introduction
The studies of fuzzy algebraic structures began in 1971 when Rosenfeld [Citation1] applied the notion of fuzzy sets to subgroupoids and subgroups. In 1981, Liu [Citation2], replaced the closed unit interval with ‘lattices’ in the definition of fuzzy sets and introduced the notion of lattice valued fuzzy subgroups. Subsequently, a number of researchers investigated fuzzy algebraic structures and generalized various concepts to the fuzzy setting. We mention here that in majority of these studies, the parent structure was considered to be a classical group rather than an L(fuzzy)-group. This setting has a significant limitation that it does not allow the formulation of various concepts from classical group theory to the fuzzy (lattice valued) group theory. This drawback can be easily removed by taking the parent structure to be a L(fuzzy)-group rather than an ordinary group. Indeed, in [Citation3–8], Ajmal and Jahan have introduced and studied various algebraic structures in L-setting specifically keeping in view their compatibility. Additionally, the authors of this paper have continued this research in [Citation9,Citation10] by introducing the maximal and Frattini L-subgroups of an L-group and exploring their relationship with various structures in L-group theory. This paper is a continuation of similar studies.
In classical group theory, the notion of the conjugate has important relationships with the notions of normality and normalizer of subgroups. Moreover, several important notions such as pronormal and abnormal subgroups, etc are defined through the notion of the conjugate. Hence a detailed study of the conjugate was necessitated in L(fuzzy)-group theory that extends the notion while keeping various relationships intact. The notion of the conjugate of a fuzzy group was introduced by Mukherjee and Bhattacharya [Citation11] in 1986. A similar definition has also appeared in [Citation12] in 2013. We note here that in their study, the notion of conjugate fuzzy subgroup of an ordinary group has been discussed rather than conjugate fuzzy subgroups of a fuzzy group. Moreover, the conjugate fuzzy subgroup has been defined with respect to a crisp point of the classical group instead of an element of the fuzzy group itself. This definition has two major limitations. Firstly, in [Citation7], Ajmal and Jahan have provided an improved definition of the normalizer of an L(fuzzy)-subgroup of an L-subgroup that is consistent with the corresponding notions in classical group theory. The conjugate developed by Mukherjee and Bhattacharya in [Citation11] is completely incompatible with this definition of the normalizer. Secondly, the notion of the conjugate in [Citation11] cannot be used to extend several significant concepts to the L(fuzzy) setting such as the notions of pronormal and abnormal subgroups, etc. Hence a new study of conjugate L-subgroups of an L-group was required. In this paper, we have removed these limitations by firstly taking the parent structure to be an L-group μ and secondly by defining the conjugate of an L-subgroup by an L-point in μ rather than an element of the ordinary group G. The new definition of the conjugate thus introduced has been found to be perfectly compatible with the related notions, while at the same time revealing various peculiarities of L-group theory.
We begin our work in Section 3 by introducing the notion of the conjugate of an L-subgroup by an L-point in the parent L-group μ. Moreover, we show that the conjugate L-subset so formed defines an L-subgroup of μ. This notion of conjugate L-subgroup has been illustrated through an example. Next, It has been shown that the image as well as the pre-image of a conjugate L-subgroup of an L-group under a group homomorphism are themselves conjugate L-subgroups. Then, a level subset characterization for conjugate L-subgroups has been developed. We end the section by exploring the properties of maximality under conjugacy.
In Section 4, we investigate the relationship between the notions of normality and conjugacy of L-subgroups. Firstly, we show that η is a normal L-subgroup of μ if and only if every conjugate L-subgroup of η is contained in η. Moreover, the equality holds if tip of η is equal to the tip of the conjugate L-subgroup. Next, we exhibit a significant relationship between the normalizer of a conjugate L-subgroup, , and the conjugate of the normalizer of the L-subgroup, . This has also been demonstrated with the help of an example. Next, we provide a new definition of the normalizer of an L-subgroup using the notion of conjugacy developed in this paper. We conclude the section by exhibiting this definition by an example.
2. Preliminaries
Throughout this paper, L denotes a completely distributive lattice, ‘≤’ denotes the partial ordering on L and ‘'and ‘’ denote, respectively, the join and meet of the elements of L. Moreover, the maximal and minimal elements of L are denoted by 1 and 0, respectively. The reader may refer to [Citation13] for the concept of completely distributive lattices.
The notion of a fuzzy subset of a set was introduced by Zadeh [Citation14] in 1965. In 1967, Goguen [Citation15] extended this concept to L-fuzzy sets. In this section, we recall the basic definitions and results associated with L-subsets that shall be used throughout this work. These definitions can be found in chapter 1 of [Citation16].
Definition 2.1
[Citation15]
Let X be a non-empty set. An L-subset of X is a function from X into L.
The set of L-subsets of X is called the L-power set of X and is denoted by . For the set is called the image of μ and is denoted by Im μ. The tip and tail of μ are defined as and , respectively.
Definition 2.2
[Citation14]
An L-subset μ of X is said to be contained in an L-subset η of X if for all . This is denoted by .
Definition 2.3
[Citation14]
For a family of L-subsets in X, where I is a non-empty index set, the union and the intersection of are, respectively, defined by for each .
Definition 2.4
[Citation14]
If and , then the level subset of μ is defined as
For , it can be verified easily that if , then for each .
Definition 2.5
[Citation17]
For and , we define as follows: for all , is referred to as an L-point or L-singleton.
We say that is an L-point of μ if and only if and we write .
Definition 2.6
[Citation17]
Let S be a groupoid. The set product of is an L-subset of S defined by
Remark 2.1
If x cannot be factored as x = yz in S, then , being the least upper bound of the empty set, is zero.
It can be verified that the set product is associative in if S is a semigroup.
Definition 2.7
[Citation14]
Let f be a mapping from a set X to a set Y. If and , then the image of μ under f and the preimage of ν under f are L-subsets of Y and X respectively, defined by and
Remark 2.2
If , then , being the least upper bound of the empty set, is zero.
Let G be a group and ‘e’ be the identity element of G. For any non-empty set A, let be the characteristic function of A.
Definition 2.8
[Citation2]
Let . Then, μ is called an L-subgroup of G if for each ,
,
.
The set of L-subgroups of G is denoted by . Clearly, the tip of an L-subgroup is attained at the identity element of G.
Theorem 2.9
[Citation16, Lemma 1.2.5]
Let . Then, μ is an L-subgroup of G if and only if each non-empty level subset is a subgroup of G.
Theorem 2.10
[Citation16, Theorems 1.2.10, 1.2.11]
Let be a group homomorphism. Let and . Then, and .
Theorem 2.11
[Citation1]
The intersection of an arbitrary family of L-subgroups of a group is an L-subgroup of the given group.
The concept of normal fuzzy subgroup of a group was introduced by Liu [Citation17] in 1982. We define the normal L-subgroup of a group G below:
Definition 2.12
[Citation17]
Let . Then, μ is called a normal L-subgroup of G if for all , .
The set of normal L-subgroups of G is denoted by .
Theorem 2.13
[Citation16, Theorem 1.3.3]
Let . Then, if and only if each non-empty level subset is a normal subgroup of G.
Let such that . Then, η is said to be an L-subset of μ. The set of all L-subsets of μ is denoted by . Moreover, if such that , then η is said to be an L-subgroup of μ. The set of all L-subgroups of μ is denoted by . It is well known that the intersection of an arbitray family of L-subgroup of an L-group μ is again an L-subgroup of μ.
Definition 2.14
[Citation4]
Let . Then, the L-subgroup of μ generated by η is defined as the smallest L-subgroup of μ which contains η. It is denoted by , that is,
From now onwards, μ denotes an L-subgroup of G which shall be considered as the parent L-group.
Definition 2.15
[Citation8]
Let such that η is non-constant and . Then, η is said to be a proper L-subgroup of μ.
Clearly, η is a proper L-subgroup of μ if and only if η has distinct tip and tail and .
Definition 2.16
[Citation6]
Let . Let and denote the tip and tail of η, respectively. We define the trivial L-subgroup of η as follows:
Theorem 2.17
[Citation6, Theorem 2.1]
Let . Then, if and only if each non-empty level subset is a subgroup of .
The normal fuzzy subgroup of a fuzzy group was introduced by Wu [Citation18] in 1981. We note that for the development of this concept, Wu[Citation18] preferred L-setting.
Definition 2.18
[Citation18]
Let . Then, we say that η is a normal L-subgroup of μ if
The set of normal L-subgroups of μ is denoted by . If , then we write .
Here, we mention that the arbitrary intersection of a family of normal L-subgroups of an L-group μ is again a normal L-subgroup of μ.
Theorem 2.19
[Citation16, Theorem 1.4.3]
Let . Then, if and only if each non-empty level subset is a normal subgroup of .
Lastly, recall the following form [Citation3]:
Theorem 2.20
[Citation3, Theorem 3.1]
Let Let and define an L-subset of G by Then, and . Moreover, tip .
3. Conjugate L-subgroups
The notion of conjugate subgroups has played an important role in the evolution of classical group theory. We are motivated to contemplate such progress in L-group theory. For this, we firstly recall the definition of conjugate of an L-subset by an L-subset from [Citation19]:
Definition 3.1
[Citation19]
Let . Define an L-subset of G as follows: For all , We call the conjugate of η by θ. Clearly, Hence the L-subgroup and is denoted by If η and θ are L-subgroups of μ, then clearly, in view of Theorem 2.20, the tip of the L-subgroup is .
The notion of conjugate fuzzy subgroups has appeared in [Citation11]. However, in this definition the notion of conjugate fuzzy subgroup of an ordinary group has been discussed rather than conjugate fuzzy subgroups of a fuzzy group. Below, we introduce the notion of conjugate L-subgroups of an L-group. Firstly, observe that in view of the Definition 3.1, the conjugate of an L-subgroup η by an L-point is given by: Here, we show that the conjugate of an L-subgroup by an L-point in μ is an L-subgroup of μ.
Theorem 3.2
Let and be an L-point of μ. Then, is an L-subgroup of μ.
Proof.
Let . Then, Similarly, we can verify that . Thus Now, to show that , let . Then, This proves that .
Remark 3.1
Clearly, , since .
We demonstrate the notion of conjugate L-subgroups with the following example:
Example 3.1
Let be the lattice given by Figure . Let , the group of all permutations of the set with the identity element e. Let , , and denote the dihedral subgroups of G and denote the Klein-4 subgroup of G. Define the L-subgroup μ of G as follows: Next, let η be the L-subset of μ be defined by By Theorem 2.17, η is an L-subgroup of μ. Note that . We determine .
By definition, for all . Hence Thus
Below, we discuss the set product of conjugate L-subgroups:
Theorem 3.3
Let and be an L-point of μ. Then,
Proof.
Let . Then, Hence the result.
In Theorems 3.4 and 3.5, we study the properties of conjugate L-subgroups under group homomorphisms.
Theorem 3.4
Let be a group homomorphism and . Then, for and , the L-subgroup is a conjugate L-subgroup of in . In fact,
Proof.
Firstly, note that , since Next, let . Then, Hence the result.
Theorem 3.5
Let be a surjective group homomorphism and let . Then, for and , the L-subgroup is a conjugate L-subgroup of in . In fact, where .
Proof.
Let . Firstly, note that , since Next, let . Then, This proves that .
In Theorem 3.6, we discuss the level subset characterization for conjugate L-subgroups.
Theorem 3.6
Let and such that . Then, for if and only if for all .
Proof.
(⇒) Let . Let and let . Then, , that is, This implies , that is, . Thus . Hence To show the reverse inclusion, let . Then, for some . This implies , that is, . Moreover, by assumption, . Hence Thus and we conclude that .
(⇐) Suppose that for all . Let and let . Then, and by the hypothesis, . Thus , that is, for some . This implies , and hence . Thus and we conclude that . For the reverse inclusion, let and let . Then, by hypothesis, , or equivalently, . Now, implies for some . Thus and hence Thus and we conclude that .
Theorem 3.7
Let H and K be subgroups of G. Then, K is conjugate to H in G if and only if is conjugate to as L-subgroups of .
Proof.
Since H and K are conjugate in G, there exists such that . Since , . We claim that .
Let . If , then . If , then for some . This implies So we conclude that . Similarly we can prove that .
(⇐) Since and are conjugate L-subgroups in , there exists such that . Note that a>0, for if a = 0, then for all , which contradicts the fact that . We claim that .
Let . Then, . This implies Thus a = 1 and . Hence , that is, . Consequently, . For the reverse inclusion, let . This implies, Thus . It follows that , that is, . Therefore, . Hence the result.
The maximal L-subgroup of an L-group has been introduced in [Citation9]. We recall the definition below:
Definition 3.8
[Citation9]
Let . A proper L-subgroup η of μ is said to be a maximal L-subgroup of μ if, whenever for some , then either or .
Here, we discuss conjugate of a maximal L-subgroup of an L-group.
Theorem 3.9
Let L be a chain. Let η be a maximal L-subgroup of an L-group μ and be an L-point of μ. Then, either or is a maximal L-subgroup of .
Proof.
If , then there is nothing to prove. So, let . Suppose that is not a maximal L-subgroup of . Then, there exists an L-subgroup θ of such that (1) (1) We shall construct an L-subgroup γ of μ such that which will contradict maximality of η. Define as follows: Firstly, we claim that . Clearly, . Next, as , it follows that for all , . Also, . Consequently, This proves the claim. Now, we shall show that . So let and consider Similarly, we can verify that . Thus . Next, we claim that In view of (Equation1(1) (1) ), there exist such that This implies (2) (2) Note that by (Equation1(1) (1) ), . Hence implies . As L is a chain, we must have . Hence by (Equation2(2) (2) ), (3) (3) Now, consider This implies . Further, by (Equation2(2) (2) ), we have (4) (4) In view of (Equation1(1) (1) ) (5) (5) Since L is a chain, either or . In the first case, we have Thus . However, by (Equation4(4) (4) ), . That is . So there is a contradiction. Hence we must have, . Now by (Equation5(5) (5) ), Therefore, by (Equation2(2) (2) ), Consequently, . This completes the proof of the claim. However, this a contradiction to the maximality of η in μ. Hence the result.
4. Conjugacy and Normality of L-subgroups
In this section, we explore the inter-connections between the concepts of conjugacy and normality of L-subgroups. We prove significant results pertaining to the notions of conjugate L-subgroups and normalizer [Citation7] and explore the various similarities as well as peculiarities of these concepts compared to their group theoretic counterparts. We end this section by providing a new definition of the normalizer using the concept of conjugacy of L-subgroups. Thus this section demonstrates the compatibility of the conjugacy of L-subgroups with the several concepts developed so far in the study of L-subgroups of L-groups.
Proposition 4.1
Let . Then, η is a normal L-subgroup of μ if and only if for every L-point . Moreover, if and , then .
Proof.
Let η be a normal L-subgroup of μ and be an L-point of μ. Then, for all , Hence . Conversely, suppose that for all L-points . Let and let . Then and by the hypothesis, . Thus Therefore η is a normal L-subgroup of μ.
Next, let η be a normal L-subgroup of μ and be an L-point of μ such that . Then, by Remark 3.1, . Thus for all , Hence and we conclude that .
In [Citation7], Ajmal and Jahan have introduced the notion of the normalizer of an L-subgroup by introducing the coset of an L-subgroup with respect to an L-point. We recall these concepts below:
Definition 4.2
[Citation7]
Let and let be an L-point of μ. The left (respectively, right) coset of η in μ with respect to is defined as the set product ().
From the definition of set product of two L-subsets, it can be easily seen that for all ,
Definition 4.3
[Citation7]
Let . The normalizer of η in μ, denoted by ), is the L-subgroup defined as follows: is the largest L-subgroup of μ such that η is a normal L-subgroup of . Also, it has been established in [Citation7] that η is a normal L-subgroup of μ if and only if .
Below, we demonstrate the conjugate of the normalizer of the L-subgroup η:
Theorem 4.4
Let and be an L-point of μ. Then, for all ,
Proof.
Let . Then, since L is completely distributive. Similarly, Let and We claim that if , then . For this, let . Then, Firstly, since , . This, and the fact that , implies Hence . Next, let . Since , we have that is, Hence This implies or equivalently (6) (6) for all . Now, let y be any arbitrary element of G. Since Equation (Equation6(6) (6) ) holds for all , taking , we get This implies Therefore Since, by assumption, y is an arbitrary element of G, we conclude that Therefore we have shown that Hence . Finally, For the reverse inequality, let . We show that . Firstly, since , . Thus Therefore . Next, let . Since , we have that is, Thus for all , (7) (7) Let y be any arbitrary element of G. Since Equation (Equation7(7) (7) ) holds for all , taking , we get or equivalently, Since, by assumption, y is an arbitrary element of G, we conclude that Hence we have shown that and . Thus . Therefore We conclude that
Corollary 4.5
Let H be a subgroup of a group G and . Then,
Example 4.1
Let G be the dihedral group of order 16, that is, The dihedral group of order 8 be the dihedral subgroup of , where Define as follows: for all , By Theorem 2.9, . Now, we define as follows: Clearly, by Theorem 2.17, . Now, let . Then, , since . We evaluate and and show that for all .
Firstly, if H denotes the subgroup of , then it is easy to see that Thus the conjugate L-subgroup of , defined as is given by Now, the conjugate L-subgroup of η is given by Thus the normalizer of is From this, we can easily see that for all .
Proposition 4.6
Let . Then, if and only if for all .
Lemma 4.7
Let η be an L-subgroup of μ and . Then, if and only if .
Proof.
Suppose that . Then, by Proposition 4.6, for all . By Theorem 3.6, for all . Thus This implies for all . Since the normalizer of is a subgroup of G, for all . Thus Again, by Theorem 3.6, for all . Thus for all . Hence by Proposition 4.6, .
The converse part can be obtained by replacing z by in the above exposition.
We wish to characterize the concept of normalizer of an L-subgroup with the help of the notion of conjugacy. In order to achieve this goal, we prove the following lemma:
Lemma 4.8
Let η be an L-subgroup of μ and . Then,
Proof.
Let and . Then, consider Thus .
Let . We shall show that . Let and consider Thus . For the reverse inclusion, note that by Lemma 4.7, . Thus Thus and we conclude that .
Thus in view of the above lemma, we have the following definition of the normalizer of an L-subgroup η of μ:
Definition 4.9
Let . The normalizer of η in μ, denoted by ), is the L-subgroup defined as follows:
We demonstrate the above definition of the normalizer with the following example:
Example 4.2
Let and let μ and η be the L-subgroups of G defined in Example 4.1. We use Definition 4.9 to determine the normalizer of η in μ. Note that for , (8) (8) Taking x = s in Equation Equation8(8) (8) , we see that for all , Thus for all . This implies Next, taking x = r in Equation Equation8(8) (8) , Hence it is clear that if and only if . Thus Using similar computations, we get which is the normalizer N(η) of η in μ obtained in Example 4.1.
5. Conclusion
In classical group theory, the conjugate subgroups play an indispensable role in the studies of normality. In fact, the normalizer of a subgroup H of a group G can be defined as the collection of all elements x in G such that the conjugate of H with respect to x is contained in H. While the notion of the normalizer of an L-subgroup was efficiently introduced in [Citation7], the concept of the conjugate of an L-subgroup that was compatible with the normality and the normalizer of L-subgroups was absent. We have, in this paper, succeeded in providing such a notion of the conjugate. The relation of the conjugate with the normalizer provides us with a new method to evaluate the nomalizer of L-subgroups and thus can be easily applied in future studies of these and related topics. Moreover, the notion of the conjugate developed in this study can be utilized to develop the concepts of pronormal, abnormal and contranormal L-subgroups. These notions are closely related to the concept of normality. However, a proper research on these topics is lacking due to the absence of a comprehensive recent study of the conjugate. The conjugate developed in this paper has removed this limitation and opens the door to research on these topics.
While the research in areas such as fuzzy topology [Citation20,Citation21] and fuzzy ring theory [Citation22,Citation23] has been thriving, the research in the discipline of fuzzy group theory came to a halt after Tom Head's metatheorem and subdirect product theorems. This is because most of the concepts and results in the studies of fuzzy algebra could be established through simple applications of the metatheorem and the subdirect product theorem. However, the metatheorem and the subdirect product theorems are not applicable in the L-setting. Hence we suggest the researchers pursuing studies in these areas to investigate the properties of L-subalgebras of an L-algebra rather than L-subalgebras of classical algebra.
Disclosure statement
No potential conflict of interest was reported by the author(s).
Additional information
Funding
Notes on contributors
Iffat Jahan
Iffat Jahan did her Ph.D. from Department of Mathematics, University of Delhi, India, in 2014. She is working as a Professor in the Department of Mathematics, Ramjas College, University of Delhi, India. She has authored more than 15 research papers in the area of L-Group Theory. Her areas of interest and research are Group Theory, Ring Theory, Lattice Theory, and Fuzzy Sets.
Ananya Manas
Ananya Manas is a doctoral student at Department of Mathematics, University of Delhi. His areas of research are Group Theory, Lattice Theory, and L-Groups.
References
- Rosenfeld A. Fuzzy groups. J Math Anal Appl. 1971;35:512–517.
- Liu WJ. Operation on fuzzy ideals. Fuzzy Sets Syst. 1983;11:31–41.
- Ajmal N, Jahan I. Generated L-subgroup of an L-group. Iranian J Fuzzy Syst. 2015;12(2):129–136.
- Ajmal N, Jahan I. A study of normal fuzzy subgroups and characteristic fuzzy subgroups of a fuzzy group. Fuzzy Inform Eng. 2012;2:123–143.
- Ajmal N, Jahan I. Normal closure of an L-subgroup of an L-group. J Fuzzy Math. 2014;22:115–126.
- Ajmal N, Jahan I. Nilpotency and theory of L-subgroups of an L-group. Fuzzy Inform Eng. 2014;6:1–17.
- Ajmal N, Jahan I. An L-point characterization of normality and normalizer of an L-subgroup of an L-group. Fuzzy Inform Eng. 2014;6:147–166.
- Ajmal N, Jahan I. Solvable L-subgroup of an L-group. Iranian J Fuzzy Syst. 2015;12:151–161.
- Jahan I, Manas A. Maximal and frattini L-subgroups of an L-group. J Intell Fuzzy Syst. 2020;39(3):3995–4007.
- Jahan I, Manas A. An application of maximality to nilpotent and finitely generated L-subgroups of an L-group. Submitted for review.
- Mukherjee NP, Bhattacharya P. Fuzzy groups: some group theoretic analogs. Inform Sci. 1986;39:247–268.
- Shukla S. Conjugate fuzzy subgroup. Int J Sci Eng Res. 2013;4:14–22.
- Gratzer G. General lattice theory. New York: Academic Press; 1978.
- Zadeh L. Fuzzy sets. Inform Control. 1965;8:338–353.
- Goguen JA. L-fuzzy sets. J Math Anal Appl. 1967;18:145–174.
- Mordeson JN, Malik DS. Fuzzy commutative algebra. Singapore: World Scientific; 1998.
- Liu WJ. Fuzzy invariant subgroups and fuzzy ideals. Fuzzy Sets Syst. 1982;8:133–139.
- Wu WM. Normal fuzzy subgroups. Fuzzy Math. 1981;1:21–30.
- Jahan I, Davvaz B, Ajmal N. Nilpotent L-subgroups satisfy the normalizer condition. J Intell Fuzzy Syst. 2017;33:1841–1854.
- Pu PM, Liu YM. Fuzzy topology I neighborhood structure of a fuzzy point and Moore-Smith convergence. J Math Anal Appl. 1980;76:571–599.
- Pu PM, Liu YM. Fuzzy topology II product and quotient spaces. J Math Anal Appl. 1980;77:20–37.
- Hayat K, Mahmood T, Cao BY. On bipolar anti fuzzy h-ideals in hemi-rings. Fuzzy Inform Eng. 2013;9:1–19.
- Hayat K, Liu XC, Cao BY. Bipolar fuzzy BRK-ideals in BRK-algebras. In: IWDS 2016: Fuzzy Information and Engineering and Decision, Vol. 646. Cham: Springer; 2017. p. 3–15.