Next Article in Journal
Accelerated Diffusion-Based Sampling by the Non-Reversible Dynamics with Skew-Symmetric Matrices
Next Article in Special Issue
A New Group Decision-Making Technique under Picture Fuzzy Soft Expert Information
Previous Article in Journal
A Stochastic Model for Block Segmentation of Images Based on the Quadtree and the Bayes Code for It
Previous Article in Special Issue
Entropy as an Objective Function of Optimization Multimodal Transportations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Novel Algebraic Structure of (α,β)-Complex Fuzzy Subgroups

by
Hanan Alolaiyan
1,
Halimah A. Alshehri
2,
Muhammad Haris Mateen
3,
Dragan Pamucar
4,* and
Muhammad Gulzar
5
1
Department of Mathematics, King Saud University, Riyadh 11451, Saudi Arabia
2
Department of Computer Science and Engineering, King Saud University, Riyadh 11451, Saudi Arabia
3
Department of Mathematics, University of the Punjab, Lahore 54590, Pakistan
4
Department of Logistics, Military Academy, University of Defence in Belgrade, 11000 Belgrade, Serbia
5
Department of Mathematics, Government College University Faisalabad, Faisalabad 38000, Pakistan
*
Author to whom correspondence should be addressed.
Entropy 2021, 23(8), 992; https://doi.org/10.3390/e23080992
Submission received: 1 July 2021 / Revised: 25 July 2021 / Accepted: 26 July 2021 / Published: 30 July 2021

Abstract

:
A complex fuzzy set is a vigorous framework to characterize novel machine learning algorithms. This set is more suitable and flexible compared to fuzzy sets, intuitionistic fuzzy sets, and bipolar fuzzy sets. On the aspects of complex fuzzy sets, we initiate the abstraction of ( α , β ) -complex fuzzy sets and then define α , β -complex fuzzy subgroups. Furthermore, we prove that every complex fuzzy subgroup is an ( α , β ) -complex fuzzy subgroup and define ( α , β ) -complex fuzzy normal subgroups of given group. We extend this ideology to define ( α , β ) -complex fuzzy cosets and analyze some of their algebraic characteristics. Furthermore, we prove that ( α , β ) -complex fuzzy normal subgroup is constant in the conjugate classes of group. We present an alternative conceptualization of ( α , β ) -complex fuzzy normal subgroup in the sense of the commutator of groups. We establish the ( α , β ) -complex fuzzy subgroup of the classical quotient group and show that the set of all ( α , β ) -complex fuzzy cosets of this specific complex fuzzy normal subgroup form a group. Additionally, we expound the index of α , β -complex fuzzy subgroups and investigate the ( α , β ) -complex fuzzification of Lagrange’s theorem analog to Lagrange’ theorem of classical group theory.

1. Introduction

In 1965, Zadeh [1] presented the theory of fuzzy sets and discussed their initiatory results. The action of fuzzy set theory is a decisive structure to deal vagueness and uncertainty in real life problems. Thus, crisp sets commonly do not have suitable response and feedback for actual worldly conditions of happening issues. In addition, this particular set plays a remarkable role in various scientific fields with wide applications in topological spaces, medical diagnosis determination, coding theory, computer sciences, and module theory.
The idea of fuzzy subgroups was introduced by Rosenfeld [2] in 1971. The abstraction of fuzzy subrings was proposed by Liu [3]. Later, these notions were discussed in [4,5,6]. Atanassov [7] initiated the theory of intuitionistic fuzzy sets and established the basic algebraic properties of intuitionistic fuzzy sets. The complex numbers with fuzzy sets were combined by Buckley [8]. Kim [9] presented the idea of the fuzzy order of elements of a group. Ajmal [10] established the fuzzy homomorphism theorems of fuzzy subgroups. He also discussed the fuzzy quotient group and correspondence theorem.
Ray [11] initiated the notion of Cartesian product of fuzzy subgroup. Moreover, the volume and intricacy which exist in the collected information of our daily life are developing rapidly with the phase shift of data. Then, there is regularly existing various sorts of uncertainty in that information is represented with complicated problems in different disciplines, such as biology, economics, social science, computer science, mathematics, and environmental science. With the development of science and technology, the decision making problems are becoming increasingly difficult.
To overcome this drawback, Ramot et al. [12,13] presented the generalized form of fuzzy set by combining a phase term, called a complex fuzzy set. The efficiency of complex fuzzy logic in the respect of membership has a powerful role to deal with concrete problems. It is highly valuable for calculating unevenness, and also it is very useful way to address ambiguous ideas. Despite its efficacy, we have serious problems about physical features on complex membership related function.
Thus, it is highly essential to formulate extra theories of complicated fuzzy set relating intricate set members. This reasoning is a direct version of traditional fuzzy logic, which results in problem related fuzzy reasoning. Thus, it is not favorable for superficial membership function. This set has a very specific role in wide variety of applications in modern commanding systems especially those that forecast periodic events in which a number of variables are interconnected in complex ways and fuzzy operations cannot run it effectively.
The fundamental set theoretic operations of complex fuzzy sets were presented by Zhang et al. [14]. Recently, the possible applications, which explain the novel ideas, including complex fuzzy sets in forecasting issues, solar activity, and time series were investigated by Thirunavukarasu et al. [15]. The complex fuzzy sets have wide applications in decision making, image restoration, and reasoning schemes. Ameri et al. [16] invented the of Engel fuzzy subgroups in 2015. The notion of complex vague soft sets were defined by Selvachandran [17]. Al-Husban and Salleh [18] developed a connection between complex fuzzy sets and group theory in 2016.
Singh et al. [19] discussed the link between complex fuzzy set and metric spaces. In 2016, Thirunavukarasu et al. [20] depicted the abstraction of complex fuzzy graph and find energy of this newly defined graph. In 2017, Alsarahead and Ahmed [21,22,23] presented a new abstraction of complex fuzzy subgroup. They also introduced novel conception complex fuzzy subring and complex fuzzy soft subgroups. These abstractions are completely different from Rosenfeld fuzzy subgroups [2] and Liu fuzzy subring [3]. The parabolic fuzzy subgroups were introduced by Makamba and Murali [24]. Then, certain algebraic properties of Engel fuzzy subgroups were discussed in [25].
Moreover, the Mohamadzahed et al. [26] established the novel concept of nilpotent fuzzy subgroup. The fuzzy homomorphism structures on fuzzy subgroups was discussed by Addis [27]. The algebraic structure between fuzzy sets and normed rings were proposed in [28]. Gulistan et al. [29] presented the notion of ( α , β ) -complex fuzzy hyper-ideal and investigated many algebraic properties of this phenomena. Liu and Shi [30] presented a novel framework to fuzzification of lattice, which is known as an M-hazy lattice. The complex fuzzy sub-algebra commenced in [31].
Currently, the novel environment of complex fuzzy set in decision making problems has been used frequently [32,33,34,35,36,37,38], owing to the existence of complex fuzzy information in several practical situations. Gulzar et al. [39] published a inventive theory of complex fuzzy subfields. The new development about Q-complex fuzzy subring was introduced in [40]. For other useful results of fuzzy subgroups not mentioned in the article, readers are referred to [41,42,43,44,45,46,47].
The motivation of the proposed concept is explained as follows: (1) To present a more generalized concept, i.e., ( α , β ) -complex fuzzy sets. (2) Note that for α = 1 and β = 2 π , our proposed definition can be converted into a classical complex fuzzy set. The purpose of this paper is to present the study of ( α , β ) -complex fuzzy sets and ( α , β ) -complex fuzzy subgroups as a powerful extension of complex fuzzy sets and complex fuzzy subgroups.
We organized this article as follows: Section 2 contains the basic notions of complex fuzzy sets (CFSs), complex fuzzy subgroups (CFSGs), and associated results, which are important for our paper. In Section 3, we expound the abstraction of ( α , β ) -complex fuzzy set (CFS) and ( α , β ) -complex fuzzy subgroup ( ( α , β ) -CFSG). We prove that every complex fuzzy subgroup (CFSG) is also an ( α , β ) -complex fuzzy subgroup ( ( α , β ) -CFSG) and discuss fundamental properties of this newly defined CFSG. In Section 4, we explicate the ( α , β ) -complex fuzzy cosets and ( α , β ) -complex fuzzy normal subgroups ( ( α , β ) -CFNSGs) and investigate many algebraic characteristics of these specific groups. Moreover, we find the quotient group with respect to ( α , β ) -complex fuzzy cosets and prove the ( α , β ) -complex fuzzy quotient group. We initiate the definition of the index of ( α , β ) -CFSG and develop the ( α , β ) -complex fuzzification of Lagrange’s Theorem.

2. Preliminaries

In this section, we describe the CFSs and CFSGs, and then we discuss the basic operations of complex fuzzy sets.
Definition 1 
([1]). A fuzzy subset is mapping from universe of discourse to [ 0 , 1 ] .
Definition 2 
([12]). A CFS A of nonempty set Z is function from nonempty set to unit disk and is derived as θ A : Z { z C : z 1 } . The θ A ( p ) = μ A ( p ) e i φ A ( p ) is membership function of CFS A, where i = 1 both μ A ( p ) and φ A ( p ) are real valued such that μ A ( p ) 0 , 1 and φ A ( p ) 0 , 2 π , for all p Z .
Definition 3 
([21]). Let A = { ( p , A ( p ) ) : p G } be a fuzzy subset. Then, the set
A π = { ( p , A π ( p ) ) : A π ( p ) = 2 π A ( p ) , p G }
is called a π-fuzzy subset.
Definition 4 
([21]). A π-fuzzy set A π of group G is called a π-fuzzy subgroup of G if
1. 
A π ( p q ) min A π p , A π q , for all p , q G ,
2. 
A π ( p 1 ) A π ( p ) , for all p G .
Definition 5 
([21]). Let A = { ( p , μ A ( p ) e i φ A ( p ) ) : p G } and B = { ( p , μ B ( p ) e i φ B ( p ) ) : p G } be two CFSs of G . Then,
1. 
A CFS A is homogeneous CFS if p , q G , we have μ A p     μ A q if and only if φ A p     φ A q .
2. 
A CFS A is homogeneous CFS with B if p , q G , we have μ A p     μ B p if and only if φ A p     φ B p .
Definition 6 
([14]). Let A = { ( p , μ A ( p ) e i φ A ( p ) ) : p G } and B = { ( p , μ B ( p ) e i φ B ( p ) ) : p G } be a CFSs of set P. Then, the operation of intersection and union is defined as:
( A B ) ( p ) = μ A B p e i φ A B p = min μ A p e i φ A p , μ B p e i φ B p , p G .
( A B ) ( p ) = μ A B p e i φ A B p = max μ A p e i φ A p , μ B p e i φ B p , p G .
Definition 7 
([21]). Let A = { ( p , μ A ( p ) e i φ A ( p ) ) : p G } be a homogeneous CFS of group G. Then, A is called CFSG of group G if the following conditions hold.
1. 
μ A p q e i φ A p q min μ A p e i φ A p , μ A q e i φ A q ,
2. 
μ A p 1 e i φ A p 1 μ A p e i φ A p , for all p , q G .
Definition 8 
([21]). A homogeneous CFS A = { ( p , μ A ( p ) e i φ A ( p ) ) : p G } of group G is said to be CFNSG of group G if: μ A p q e i φ A p q = μ A q p e i φ A q p , for all p , q G .

3. Algebraic Properties of ( α , β ) -Complex Fuzzy Subgroups

In this section, we define the hybrid models of ( α , β ) -CFSs and ( α , β ) -CFSGs. We prove that every CFSG is also ( α , β ) -CFSG but the converse may not be true generally, and we discuss some basic characterization of this phenomenon.
Definition 9.
Let A = ( p , μ A ( p e i φ A ( p ) ) : p G } be CFS of group G, for any α [ 0 , 1 ] and β [ 0 , 2 π ] , such that μ A ( p ) α and φ A ( p ) β or ( μ A ( p ) α and φ A ( p ) β ) . Then, the set A ( α , β ) is called an ( α , β ) -CFS and is defined as:
μ A α ( p ) e i φ A β ( p ) = min { μ A ( p ) e i φ A β ( p ) , α e i β } = min { μ A ( p ) , α } e i min { φ A ( p ) , β } ,
where μ A α ( p ) = min { μ A ( p ) , α } and φ A β ( p ) = min { φ A ( p ) , β } .
In this paper, we shall use μ A α ( p ) e i φ A β ( p ) and μ B α ( p ) e i φ B β ( p ) , as a membership function of ( α , β ) -CFSs A ( α , β ) and B ( α , β ) , respectively.
Definition 10.
Let A ( α , β ) and B ( α , β ) be a two ( α , β ) -CFSs of G . Then,
1. 
A ( α , β ) -CFS A ( α , β ) is homogeneous ( α , β ) -CFS if, for all p , q G , we have μ A α ( p ) μ A α ( q ) if and only if φ A β ( p ) φ A β ( q ) .
2. 
A ( α , β ) -CFS A ( α , β ) is homogeneous ( α , β ) -CFS with B ( α , β ) if, for all p , q G , we have μ A α ( p ) μ B α ( p ) if and only if φ A β ( p ) φ B β ( p ) .
In this article, we take ( α , β ) -CFS as homogeneous ( α , β ) -CFS.
Remark 1.
It is an interesting that we obtain classical CFS A by taking the value of α = 1 and β = 2 π in the above definition.
Remark 2.
Let M ( α , β ) and N ( α , β ) be two ( α , β ) -CFSs of group G. Then, ( M N ) ( α , β ) = M ( α , β ) N ( α , β ) .
Definition 11.
Let A ( α , β ) be an ( α , β ) -CFS of group G for α [ 0 , 1 ] and β [ 0 , 2 π ] . Then, A ( α , β ) is called ( α , β ) -complex fuzzy subgroupoid of group G if it satisfies the following axiom:
μ A α ( p q ) e i φ A β ( p q ) min { μ A α ( p ) e i φ A β ( p ) , μ A α ( q ) e i φ A β ( q ) } .
Definition 12.
Let A ( α , β ) be an ( α , β ) -CFS of group G for α [ 0 , 1 ] and β [ 0 , 2 π ] . Then, A ( α , β ) is called ( α , β ) -CFSG of group G if it satisfies the following axioms:
1. 
μ A α ( p q ) e i φ A β ( p q ) min { μ A α ( p ) e i φ A β ( p ) , μ A α ( q ) e i φ A β ( q ) } ,
2. 
μ A α ( p 1 ) e i φ A β ( p 1 ) μ A α ( p ) e i φ A β ( p ) for all p , q G .
Remark 3.
If A ( α , β ) is ( α , β ) -CFSG of group G for α [ 0 , 1 ] . Then,
μ A α ( p 1 q ) e i φ A β ( p 1 q ) min { μ A α ( p ) e i φ A β ( p ) , μ A α ( q ) e i φ A β ( q ) } .
Theorem 1.
If A ( α , β ) is an ( α , β ) -CFSG of group G, for all p , q G . Then,
1. 
μ A α ( q ) e i φ A β ( q ) μ A α ( e ) e i φ A β ( e ) ,
2. 
μ A α ( p q 1 ) e i φ A β ( p q 1 ) = μ A α ( e ) e i φ A β ( e ) ,
which implies that μ A α ( p ) e i φ A β ( p ) = μ A α ( q ) e i φ A β ( q ) .
Proof. 
Obviously. □
Theorem 2.
Let A ( α , β ) be an ( α , β ) -complex fuzzy subgroupoid of a finite group, and then A ( α , β ) is ( α , β ) -CFSG of finite group.
Proof. 
Assume that p G . Given that G is a finite group; therefore, p has finite order n. p n = e , where e is the natural element of group G. Then, we have p 1 = p n 1 . Now, we apply the Definition 11 repeatedly. Then, we obtain
μ A α ( p 1 ) e i φ A β ( p 1 ) = μ A α ( p n 1 ) e i φ A β ( p n 1 ) = μ A α ( p n 2 p ) e i φ A β ( p n 2 p ) μ A α ( p ) e i φ A β ( p ) .
Hence, we proved the claim. □
Theorem 3.
If A ( α , β ) is an ( α , β ) -CFSG of a group G, let p G and μ A α ( p ) e i φ A β ( p ) = μ A α ( e ) e i φ A β ( e ) , and then μ A α ( p q ) e i φ A β ( p q ) = μ A α ( q ) e i φ A β ( q ) , for all q G .
Proof. 
Given that μ A α ( p ) e i φ A β ( p ) = μ A α ( e ) e i φ A β ( e ) . Then, from Theorem 2, we have
μ A α ( q ) e i φ A β ( q ) μ A α ( p ) e i φ A β ( p ) , q G .
Consider
μ A α ( p q ) e i φ A β ( p q ) min { μ A α ( p ) e i φ A β ( p ) , μ A α ( q ) e i φ A β ( q ) }
μ A α ( p q ) e i φ A β ( p q ) μ A α ( q ) e i φ A β ( q ) . From Theorem 2 .
Now , assume that μ A α ( q ) e i φ A β ( q ) = μ A α ( p 1 p q ) e i φ A β ( p 1 p q ) min { μ A α ( p ) e i φ A β ( p ) , μ A α ( p q ) e i φ A β ( p q ) } . Again , from Theorem 2 , we have min { μ A α ( p ) e i φ A β ( p ) , μ A α ( p q ) e i φ A β ( p q ) } = μ A α ( p q ) e i φ A β ( p q ) . Therefore , we obtain
μ A α ( q ) e i φ A β ( q ) μ A α ( p q ) e i φ A β ( p q ) , for all q G ,
From Equations ( 1 ) and ( 2 ) , we have μ A α ( q ) e i φ A β ( q ) = μ A α ( p q ) e i φ A β ( p q ) , for all q G .
This establishes the proof. □
Theorem 4.
Every CFSG of group G is also ( α , β ) -CFSG of G.
Proof. 
Let A be CFSG of group G, for any p , q G . Consider
μ A α ( p q ) e i φ A β ( p q ) = min { μ A ( p q ) e i φ A ( p q ) , α e i β } min { min { μ A ( p ) e i φ A ( p ) , μ A ( q ) e i φ A ( q ) } , α e i β } = min { min { μ A ( p ) e i φ A ( p ) , α e i β } , min { μ A ( q ) e i φ A ( q ) , α e i β } } = min { μ A α ( p ) e i φ A β ( p ) , μ A α ( q ) e i φ A β ( q ) } .
Further, we assume that
μ A α ( p 1 ) e i φ A β ( p 1 ) = min { μ A ( p 1 ) e i φ A ( p 1 ) , α e i β } min { μ A ( p ) e i φ A ( p ) , α e i β } = μ A α ( p ) e i φ A β ( p ) .
This establishes the proof. □
Remark 4.
If A ( α , β ) -CFSG then it is not necessary A is CFSG.
Example 1.
Let G = { e , r , s , r s } be the Klein four group. One can see that A = { < e , 0.1 e i π 9 > , < s , 0.3 e i π 3 > , < r , 0.3 e i π 3 > , < r s , 0.2 e i π 6 > } is not CFSG of G. Take α = 0.01 and β = π 10 then easily we can see that μ A ( p ) e i φ A ( p ) > α e i β , for all y G . Then, we obtain μ A α ( p ) e i φ A β ( p ) = α e i β , p G . Therefore, μ A α ( p q ) e i φ A β ( p q ) min { μ A α ( p ) e i φ A β ( p ) , μ A α ( q ) e i φ A β ( q ) } , for all p , q G . Moreover, r 1 = r , s 1 = s , ( r s ) 1 = r s .
Thus, μ A α ( p 1 ) e i φ A β ( p 1 ) μ A α ( p ) e i φ A β ( p ) . Hence, A ( α , β ) is ( α , β ) -CFSG.
Theorem 5.
Let A be a CFS of group G such that μ A ( p 1 ) e i φ A ( p 1 ) = μ A ( p ) e i φ A ( p ) , p G . Let α e i β r e i ω such that α r and β ω , where r e i ω = min { μ A ( p ) e i φ A ( p ) : p G } and α , r [ 0 , 1 ] and β , ω [ 0 , 2 π ] . Then, A ( α , β ) is an ( α , β ) -CFSG of G.
Proof. 
Note that α e i β r e i ω implies that min { μ A ( p ) e i φ A ( p ) : p G } α e i β , which implies that min { μ A ( p ) e i φ A ( p ) , α e i β } = α e i β , for all p G , which implies that μ A α ( p ) e i φ A β ( p ) = α e i β .
μ A α ( p q ) e i φ A β ( p q ) min { μ A α ( p ) e i φ A β ( q ) , μ A α ( q ) e i φ A β ( q ) } . Moreover , μ A ( p 1 ) e i φ A ( p 1 ) = μ A ( p ) e i φ A ( p ) , p G . This implies that μ A α ( p 1 ) e i φ A β ( p 1 ) = μ A α ( p ) e i φ A β ( p ) .
Hence, A ( α , β ) is ( α , β ) -CFSG of G. □
Theorem 6.
If M ( α , β ) and N ( α , β ) are two ( α , β ) -CFSGs of G, then M ( α , β ) N ( α , β ) is also ( α , β ) -CFSG of G.
Proof. 
Given that M ( α , β ) and N ( α , β ) are two ( α , β ) -CFSGs of G, for any p , q G .
Consider , μ ( M N ) α ( p q ) e φ ( M N ) β ( p q ) = μ M α N α ( p q ) e i φ M β N β ( p q ) = min { μ M α ( p q ) e i φ M β ( p q ) , μ N α ( p q ) e i φ N β ( p q ) } min min { μ M α ( p ) e i φ M β ( p ) , μ M α ( q ) e i φ M β ( q ) } , min { μ N α ( p ) e i φ N β ( p ) μ N α ( q ) e i φ N β ( q ) } . = min min { μ M α ( p ) e i φ M β ( p ) , μ N α ( p ) e i φ N β ( p ) } , min { μ M α ( q ) e i φ M β ( q ) , μ N α ( q ) e i φ N β ( q ) } . = min { μ M α N α ( p ) e i φ N β M β ( p ) , μ N α M α ( q ) e i φ M β N β ( q ) } = min { μ ( M N ) α ( p ) e i φ ( M N ) β ( p ) , μ ( M N ) α ( q ) e i φ ( M N ) β ( q ) } . Further , μ ( M N ) α ( p 1 ) e φ ( M N ) β ( p 1 ) = μ M α N α ( p 1 ) e i φ M β N β ( p 1 ) = min { μ M α ( p 1 ) e i φ M β ( p 1 ) , μ N α ( p 1 ) e i φ N β ( p 1 ) } min { μ M α ( p ) e i φ M β ( p ) , μ N α ( p ) e i φ N β ( p ) } = μ ( M N ) α ( p ) e φ ( M N ) β ( p ) .
Consequently, M ( α , β ) N ( α , β ) is ( α , β ) -CFSG of G. □
Remark 5.
The union of two ( α , β ) -CFSGs may not be ( α , β ) -CFSG.
Example 2.
Consider a symmetric group S 4 of all permutation of four elements. Define two ( α , β ) -CFSGs A 0.6 , π and B 0.6 , π of S 4 for the value α e i β = 0.6 e π given as:
A 0.6 , π ( p ) = 0.5 e π / 2 , if p < 1 3 > 0.4 e π / 4 , otherwise and B 0.6 , π ( p ) = 0.6 e π , if p < 1 3 2 4 > 0.3 e π / 5 , otherwise
This implies that
( A 0.6 , π B 0.6 , π ) p = 0.6 e π , if p < ( 1 32 4 ) > 0.5 e π / 2 , if p < ( 1 3 ) > < ( 1 3 2 4 ) > 0.4 e π / 4 , otherwise
Take p = ( 1 2 ) ( 3 4 ) , q = ( 1 3 ) and p q = ( 1 2 3 4 ) . Therefore, ( A 0.6 , π B 0.6 , π ) p = 0.6 e π .   ( A 0.6 , π B 0.6 , π ) ( q ) = 0.5 e π / 2 and ( A 0.6 , π B 0.6 , π ) ( p q ) = 0.4 e π / 4 .
Clearly, we can see that
A 0.6 , π B 0.6 , π p q min A 0.6 , π B 0.6 , π p , A 0.6 , π B 0.6 , π y
Hence, this proves the claim.

4. ( α , β ) -Complex Fuzzification of Lagrange’s Theorem

In this section, we investigate the algebraic attributions of ( α , β ) -CFNSGs. We start the study of the concept of ( α , β ) -complex fuzzy cosets of ( α , β ) -CFSG and develop a quotient group induced by this particular CFNSGs. We also establish ( α , β ) -CFSG of classical quotient group and prove some important properties of these CFNSGs. Moreover, we discuss ( α , β ) -complex fuzzification of Lagrange’s heorem.
Definition 13.
Let A ( α , β ) be an ( α , β ) -CFSG of group G, where α [ 0 , 1 ] and β [ 0 , 2 π ] . Then, the ( α , β ) -CFS p A ( α , β ) ( x ) = { ( x , μ p A α ( x ) e i φ p A β ( x ) ) , x G } of G is called a ( α , β ) -complex fuzzy left coset of G determined by A ( α , β ) and p and is described as:
μ p A α ( x ) e i φ p A β ( x ) = μ A α ( p 1 x ) e i φ A β ( p 1 x ) = min { μ A ( p 1 x ) e i φ A ( p 1 x ) , α e i β } , for all x , p G .
Similarly we can define ( α , β ) -complex fuzzy right coset A ( α , β ) p ( x ) = { ( x , μ A α p ( x ) e i φ A β p ( x ) ) , } x G of of G determined by A ( α , β ) and p and is described as:
μ A α x ) e i φ A β p ( x ) = μ A α ( x p 1 ) e i φ A β ( x p 1 ) = min { μ A ( x p 1 ) e i φ A ( x p 1 ) , α e i β } , for all x , p G .
The following example illustrates the notion of ( α , β ) -complex fuzzy cosets of A ( α , β ) .
Example 3.
Take G = { ( 1 ) , ( 2 4 ) , ( 1 3 ) , ( 1 2 ) ( 3 4 ) , ( 1 3 ) ( 2 4 ) , ( 1 4 ) ( 2 3 ) , ( 1 2 3 4 ) , ( 1 4 3 2 ) } a permutation group of order 8 . Define ( α , β ) -CFSG of G for the value of α = 0.6 and β = π / 2 as follows:
A ( 0.6 , π / 2 ) ( x ) = 0.6 e π / 2 if x { ( 1 ) , ( 1 3 ) ( 2 4 ) } , 0.5 e π / 4 , if x { ( 1 4 ) ( 2 3 ) , ( 1 2 ) ( 3 4 ) } , 0.4 e π / 6 , otherwise
From Definition 13, we have μ p A ( 0.6 , π / 2 ) ( x ) e φ p A ( 0.6 , π / 2 ) ( x ) = μ A ( 0.6 , π / 2 ) ( p 1 x ) e φ A ( 0.6 , π / 2 ) ( p 1 x ) .
Hence, the ( 0.6 , π / 2 ) -complex fuzzy left coset of A ( 0.6 , π / 2 ) ( x ) in G for p = ( 2 4 ) is as follows:
p A ( 0.6 , π / 2 ) ( x ) = 0.6 e π / 2 if x { ( 1 3 ) , ( 2 4 ) } , 0.5 e π / 4 , if x { ( 1 4 3 2 ) , ( 1 2 3 4 ) } , 0.4 e π / 6 , otherwise
Similarly, one can find ( 0.6 , π / 2 ) -complex fuzzy left coset of A ( 0.6 , π / 2 ) ( x ) , for each p G .
Definition 14.
Let A ( α , β ) be an ( α , β ) -CFSG of group G, where α [ 0 , 1 ] and β [ 0 , 2 π ] . Then, A ( α , β ) is called a ( α , β ) -CFNSG if A ( α , β ) ( p q ) = A ( α , β ) ( q p ) . Equivalently ( α , β ) -CFSG A ( α , β ) is ( α , β ) -CFNSG of group G if: A ( α , β ) p ( q ) = p A ( α , β ) ( q ) , for all p , q G .
Note that ( 1 , 2 π ) -CFNSG is classical CFNSG of G.
Remark 6.
Let A ( α , β ) be an ( α , β ) -CFNSG of group G . Then, A ( α , β ) ( q 1 p q ) = A ( α , β ) ( p ) , for all p , q G .
Theorem 7.
If A is CFNSG of group G, then A ( α , β ) is an ( α , β ) -CFNSG of G.
Proof. 
Let x , p be any elements of G. Therefore, we have
μ A ( p 1 x ) e i φ A ( p 1 x ) = μ A ( x p 1 ) e i φ A ( x p 1 ) . This implies that { μ A ( p 1 x ) e i φ A ( p 1 x ) , α e i β } = min { μ A ( x p 1 ) e i φ A ( x p 1 ) , α e i β } , which implies that μ p A α ( x ) e i φ p A β ( x ) = μ A α p ( x ) e i φ A β p ( x ) . This implies that p A ( α , β ) ( x ) = A ( α , β ) p ( x ) .
Consequently, A ( α , β ) is ( α , β ) -CFNSG of G .  □
The converse of the above result does not hold generally. In the following example, we explain this fact.
Example 4.
Let G = D 3 = < r , s : r 3 = s 2 = e , s r = r 2 s > be the dihedral group.
Let A be a CFS of G and described as:
A = 0.8 e π / 3 i f x < s > , 0.7 e π / 6 , otherwise
Note that A is not a CFNSG of group G. For μ A ( r 2 ( r s ) ) e i φ A ( r 2 ( r s ) ) = 0.8 e π / 3 0.7 e π / 6 = μ A ( ( r s ) r 2 ) e i φ A ( ( r s ) r 2 ) . Now, we take α e i β = 0.5 e i π / 9 , and we obtain
μ p A 0.5 ( x ) e i φ p A π / 9 ( x ) = min { μ A ( p 1 x ) e i φ A ( p 1 x ) , 0.5 e i π / 9 } = 0.5 e i π 9
= min { μ A ( x p 1 ) e i φ A ( x p 1 ) , 0.5 e i π / 9 } = μ A 0.5 p ( x ) e i φ A π / 9 p ( x ) .
Next, we prove that every ( α , β ) -CFSG of group G will be ( α , β ) -CFNSG of group G, for some specific values of α and β . In this direction, we prove the following results.
Theorem 8.
Let A ( α , β ) be ( α , β ) -CFSG of group G such that α e i β < r e i ω such that α r and β ω , where r e i ω = min { μ A ( x ) e i φ A ( x ) , x G } and α , r [ 0 , 1 ] and β , ω [ 0 , 2 π ] . Then, A ( α , β ) is a ( α , β ) -complex fuzzy normal subgroup of group G.
Proof. 
Given that α e i β r e i ω implies that min { μ A ( x ) e i φ A ( x ) : for all x G } α e i β , which implies that μ A ( x ) e i φ A ( x ) α e i β , for all x G .
Thus, μ p A α ( x ) e i φ p A β ( x ) = min { μ A ( p 1 x ) e i φ A ( p 1 x ) , α e i β } = α e i β , for any x G .
Similarly, μ A α p ( x ) e i φ A β p ( x ) = min { μ A ( x p 1 ) e i φ A ( x p 1 ) , α e i β } = α e i β .
This implies that μ p A α ( x ) e i φ p A β ( x ) = μ A α p ( x ) e i φ A β p ( x ) . Hence, we proved the result. □
Theorem 9.
Let A ( α , β ) be an ( α , β ) -CFSG of a group G, then A ( α , β ) is an ( α , β ) -complex fuzzy normal subgroup if and only if A ( α , β ) is constant in the in the conjugacy class of group G.
Proof. 
Assume that A ( α , β ) is an ( α , β ) -complex fuzzy normal subgroup of group G. Then, we have
μ A α ( q 1 p q ) e i φ A β ( q 1 p q ) = μ A α ( p q q 1 ) e i φ A β ( p q q 1 ) . = μ A α ( p ) e i φ A β ( p ) , p , q G .
Conversely, suppose that A ( α , β ) is constant in all conjugate classes of group G. Then,
μ A α ( p q ) e i φ A β ( p q ) = μ A α ( p q p p 1 ) e i φ A β ( p q p p 1 ) . = μ A α ( p ( q p ) p 1 ) e i φ A β ( p ( q p ) p 1 ) . = μ A α ( q p ) e i φ A β ( q p ) , p , q G .
Hence, we prove the claim. □
Theorem 10.
If A ( α , β ) is an ( α , β ) -CFSG of a group G, then A ( α , β ) is an ( α , β ) -complex fuzzy normal subgroup if and only if μ A α ( [ p , q ] ) e i φ A β ( [ p , q ] ) μ A α ( p ) e i φ A β ( p ) , p , q G .
Proof. 
Suppose that A ( α , β ) is an ( α , β ) -complex fuzzy normal subgroup of group G. Let x , y G be element of group. Consider
μ A α ( p 1 q 1 p q ) e i φ A β ( p 1 q 1 p q ) min { μ A α ( q 1 p q ) e i φ A β ( q 1 p q ) , μ A α ( p 1 ) e i φ A β ( p 1 ) } = min { μ A α ( p ) e i φ A β ( p ) , μ A α ( p ) e i φ A β ( p ) } μ A α ( [ p , q ] ) e i φ A β ( [ p , q ] ) μ A α ( p ) e i φ A β ( p ) .
Conversely, suppose that μ A α ( [ p , q ] ) e i φ A β ( [ p , q ] ) μ A α ( p ) e i φ A β ( p ) . Let p , r G be an element.
Consider μ A α ( p 1 r p ) e i φ A β ( p 1 r p ) = μ A α ( r r 1 p 1 r p ) e i φ A β ( r r 1 p 1 r p ) min { μ A α ( r ) e i φ A β ( r ) , μ A α ( [ r , p ] ) e i φ A β ( [ r , p ] ) } = μ A α ( r ) e i φ A β ( r )
Thus , μ A α ( p 1 r p ) e i φ A β ( p 1 r p ) μ A α ( r ) e i φ A β ( r ) , r , p G .
Now , μ A α ( r ) e i φ A β ( r ) = μ A α ( p p 1 r p p 1 ) e i φ A β ( p p 1 r p p 1 ) min { μ A α ( p ) e i φ A β ( p ) , μ A α ( p 1 r p ) e i φ A β ( p 1 r p ) } .
Now, we expound two possible cases.
Case 1
If min { μ A α ( p ) e i φ A β ( p ) , μ A α ( p 1 r p ) e i φ A β ( p 1 r p ) } = μ A α ( p ) e i φ A β ( p ) . Then , we obtain μ A α ( r ) e i φ A β ( r ) μ A α ( p ) e i φ A β ( p ) , r , p G .
This implies that A ( α , β ) is a constant mapping and, in this case, the result holds obviously.
Case 2
If min { μ A α ( p ) e i φ A β ( p ) , μ A α ( p 1 r p ) e i φ A β ( p 1 r p ) } = μ A α ( p 1 r p ) e i φ A β ( p 1 r p ) . Then , from Equation ( 5 ) we have μ A α ( r ) e i φ A β ( r ) } μ A α ( p 1 r p ) e i φ A β ( p 1 r p ) . In the view of Equations ( 4 ) and ( 6 ) we have μ A α ( r ) e i φ A β ( r ) } = μ A α ( p 1 r p ) e i φ A β ( p 1 r p ) .
Hence, A ( α , β ) is constant. □
Theorem 11.
Let A ( α , β ) be ( α , β ) -CFNSG of group G. Then, the set A ( α , β ) e = { x G : A ( α , β ) ( x 1 ) = A ( α , β ) ( e ) } is a normal subgroup of group G.
Proof. 
We know that A ( α , β ) e φ because e G . Let x , y A ( α , β ) e be any elements.
Consider
μ A α ( x y ) e i φ A β ( x y ) min { μ A α ( x ) e i φ A β ( x ) , μ A α ( y ) e i φ A β ( y ) } = min { μ A α ( e ) e i φ A β ( e ) , μ A α ( e ) e i φ A β ( e ) } .
This implies that μ A α ( x y ) e i φ A β ( x y ) μ A α ( e ) e i φ A β ( e ) . However, μ A α ( x y ) e i φ A β ( x y ) μ A α ( e ) e i φ A β ( e ) . Therefore, μ A α ( x y ) e i φ A β ( x y ) = μ A α ( e ) e i φ A β ( e ) . This implies that A ( α , β ) ( x 1 ) = A ( α , β ) ( e ) , which implies that x y A ( α , β ) e . Further, μ A α ( y 1 ) e i φ A β ( y 1 ) μ A α ( y ) e i φ A β ( y ) = μ A α ( e ) e i φ A β ( e ) . However, μ A α ( x ) e i φ A β ( x ) μ A α ( e ) e i φ A β ( e ) . Thus, A ( α , β ) e is subgroup of group G. Moreover, let x A ( α , β ) e and y G . We have μ A ( α , β ) ( y 1 x y ) e i φ A ( α , β ) ( y 1 x y ) = μ A ( α , β ) ( x ) e i φ A ( α , β ) ( x ) . This implies that y 1 x y A ( α , β ) e . Hence, A ( α , β ) e is a normal subgroup. □
Theorem 12.
Let A ( α , β ) be an ( α , β ) -CFNSG of group G. Then,
1. 
p A ( α , β ) = q A ( α , β ) if and if only p 1 q A ( α , β ) e
2. 
A ( α , β ) p = A ( α , β ) q if and if only p q 1 A ( α , β ) e
Proof. 
For any p , q G , we have p A ( α , β ) = q A ( α , β ) .
Consider,
μ A α ( p 1 q ) e i φ A β ( p 1 q ) = min { μ A ( p 1 q ) e i φ A ( p 1 q ) , α e i β } = min { μ p A ( q ) e i φ p A ( q ) , α e i β } = μ p A α ( q ) e i φ p A β ( q ) = μ q A α ( q ) e i φ q A β ( q ) = min { μ A ( q 1 q ) e i φ β ( q 1 q ) , α e i β } = min { μ A ( e ) e i φ A ( e ) , α e i β } = μ A α ( e ) e i φ A β ( e ) .
Therefore, p 1 q A ( α , β ) e .
Conversely, let p 1 q A ( α , β ) e implies that μ A α ( p 1 q ) e i φ A β ( p 1 q ) = μ A α ( e ) e i φ A β ( e ) .
Consider , μ p A α ( a ) e i φ p A β ( a ) = min { μ A ( p 1 a ) e i φ A ( p 1 a ) , α e i β } = μ A α ( p 1 a ) e i φ A ( p 1 a ) = μ A α ( p 1 q ) ( q 1 a ) e i φ A β ( p 1 q ) ( q 1 a ) min { μ A α ( p 1 q ) e i φ A β ( p 1 q ) , μ A α ( q 1 a ) e i φ A β ( q 1 a ) } = min { μ A α ( e ) e i φ A β ( e ) , μ A α ( q 1 a ) e i φ A β ( q 1 a ) } = μ A α ( q 1 a ) e i φ A β ( q 1 a ) = μ q A α ( a ) e i φ q A β ( a ) .
Interchange the role of p and q, and we obtain μ q A α ( a ) e i φ q A β ( a ) μ p A α ( a ) e i φ p A β ( a ) . Therefore, μ p A α ( a ) e i φ p A β ( a ) = μ q A α ( a ) e i φ q A β ( a ) .
(ii) Similarly one can prove that as part (i). □
Theorem 13.
Let A ( α , β ) be an ( α , β ) -CFNSG of group G and p , q , a , and b be any elements in G. If p A ( α , β ) = a A ( α , β ) and q A ( α , β ) = b A ( α , β ) , then p q A ( α , β ) = a b A ( α , β ) .
Proof. 
Given that p A ( α , β ) = a A ( α , β ) and q A ( α , β ) = b A ( α , β ) . This implies that p 1 a , q 1 b A ( α , β ) e .
Consider, ( p q ) 1 ( a b ) = q 1 ( p 1 a ) b = q 1 ( p 1 a ) ( q q 1 ) b = [ q 1 ( p 1 a ) ( q ) ] ( q 1 b ) . As A ( α , β ) e is normal subgroup of G. Thus, ( p q ) 1 ( a b ) A ( α , β ) e . Consequently, p q A ( α , β ) = a b A ( α , β ) .
In the following result, we establish ( α , β ) -complex fuzzy quotient group analog to the classical quotient group. □
Theorem 14.
Let G / A ( α , β ) = { p A ( α , β ) : p G } be the collection of all ( α , β ) -complex fuzzy cosets of ( α , β ) -CFNSG A ( α , β ) of G. Then, the binary operator 🟉 is a well-defined operation of set G / A ( α , β ) and is defined as p A ( α , β ) 🟉 q A ( α , β ) = p q A ( α , β ) for all p , q G .
Proof. 
We have p A ( α , β ) = q A ( α , β ) a n d a A ( α , β ) = b A ( α , β ) , for any a , b , p , q G . Let g G be any element, then
[ p A ( α , β ) 🟉 a A ( α , β ) ] ( g ) = ( p a A ( α , β ) ( g ) ) = ( g , μ p a A α ( g ) e i φ p a A β ( g ) )
Consider , μ p a A α ( g ) e i φ p a A β ( g ) = min { μ p a A ( g ) e i φ p a A ( g ) , α e i β } = min { μ A ( ( p a ) 1 g ) e i φ A ( ( p a ) 1 g ) , α e i β } = min { μ A ( a 1 ( p 1 g ) ) e i φ A ( a 1 ( p 1 g ) ) , α e i β } = μ a A α ( p 1 g ) e i φ a A β ( p 1 g ) = μ b A α ( p 1 g ) e i φ b A β ( p 1 g ) = min { μ A ( b 1 ( p 1 g ) ) e I φ A ( b 1 ( p 1 g ) ) , α e i β } = min { μ A ( p 1 ( g b 1 ) ) , α e i β } = μ p A α ( g b 1 ) e i φ p A β ( g b 1 ) = μ q A α ( g b 1 ) e i φ q A β ( g b 1 ) = min { μ A ( q 1 ( g b 1 ) ) e i φ A ( q 1 ( g b 1 ) ) , α e i β } = min { μ A ( q 1 g ) b 1 e i φ A ( q 1 g ) b 1 , α e i β } = min { μ A ( b 1 q 1 ( g ) ) e I φ A ( b 1 q 1 ( g ) ) , α e i β } = min { μ A ( ( q b ) 1 ( g ) ) e I φ A ( ( q b ) 1 ( g ) ) , α e i β } = μ q b A α ( g ) e i φ q b A β ( g ) .
Thus, 🟉 is well-defined operation on G / A ( α , β ) . Note that the set G / A ( α , β ) fulfills the closure and associative axioms with respect to the well-defined binary operation 🟉. Further, μ A α e i φ A β 🟉 μ p A α e i φ p A β = μ e A α e i φ e A β 🟉 μ p A α e i φ p A β = μ p A α e i φ p A β = μ p A α e i φ p A β   μ A α e i φ A is neutral element of G / A ( α , β ) . Clearly the inverse of every element of G / A ( α , β ) exist if μ p A α e i φ p A β G / A ( α , β ) , and then there exists an element, μ p 1 A α e i φ p 1 A β G / A ( α , β ) such that μ p 1 p A α e i φ p 1 p A β = μ A α e i φ A β . As a result, G / A ( α , β ) is a group. The group G / A ( α , β ) is called the quotient group of the G by A ( α , β ) . □
Lemma 1.
Let h : G G / A ( α , β ) be natural homomorphism from group G onto G / A ( α , β ) and defined by the rule, h ( p ) = p A ( α , β ) with the kernel h = A ( α , β ) e .
Proof. 
Let p , q be any elements of group G, and then
h ( p q ) = p q A ( α , β ) = μ p q A α e i φ p q A β = μ p A α e i φ p A β 🟉 μ q A α e i φ q A β = p A ( α , β ) 🟉 q A ( α , β ) = h ( p ) 🟉 h ( q ) .
Thus, h is homomorphism. Further, f is as well
Now , K e r h = { p G : f ( p ) = e A ( α , β ) } = { p G : p A ( α , β ) = e A ( α , β ) } = { p G : p e 1 A ( α , β ) e } = { p G : p A ( α , β ) e } = A ( α , β ) e .
 □
In the following result, we establish ( α , β ) -CFSG of the quotient group induced by the normal subgroup A α , β e .
Theorem 15.
Let A α , β e be a normal subgroup of G. If A ( α , β ) = { ( p , μ A α ( p ) e i φ A β ( p ) ) : p G } is ( α , β ) -CFSG, then, the ( α , β ) -CFS A ¯ ( α , β ) = { ( p A ( α , β ) e , μ ¯ A α ( p A ( α , β ) e ) e i φ ¯ A β ( p A ( α , β ) e ) ) : p G } of G / A ( α , β ) e is also a ( α , β ) -CFSG of G / A α , β e , where μ ¯ A α ( p A ( α , β ) e ) e i φ ¯ A β ( p A ( α , β ) e ) = max { μ A α ( p a ) e i φ A β ( p a ) : a A ( α , β ) e } .
Proof. 
First, we shall prove that μ ¯ A α ( p A ( α , β ) e ) e i φ ¯ A β ( p A ( α , β ) e ) is well-defined. Let p A α , β e = q A α , β e then q = p a , for some a A ( α , β ) e .
Now , μ ¯ A α ( q A ( α , β ) e ) e i φ ¯ A β ( q A α , β e ) = max { μ A α ( q b ) e i φ A β ( q b ) : b A ( α , β ) e } = max { μ A α ( p a b ) e i φ A β ( p a b ) : c = a b A ( α , β ) e } = max { μ A α ( p c ) e i φ A β ( p c ) : c A ( α , β ) e } = μ ¯ A α ( p A ( α , β ) e ) e i φ ¯ A β ( p A ( α , β ) e )
Therefore, μ ¯ A α ( p A ( α , β ) e ) e i φ ¯ A β ( p A ( α , β ) e ) is well-defined.
Consider μ ¯ A α { ( p A ( α , β ) e ) ( q A ( α , β ) e ) } e i φ ¯ A β { ( p A ( α , β ) e ) ( q A ( α , β ) e ) } = μ ¯ A α ( p q A ( α , β ) e ) e i φ ¯ A β ( p q A ( α , β ) e ) = max { μ A α ( p q a ) e i φ A β ( p q a ) : a A ( α , β ) e } max { min { μ A α ( p b ) e i φ A ( α , β ) ( p b ) , μ A α ( q c ) e i φ A β ( q c ) } : b , c A α , β e } = min { max { μ A α ( p b ) e i φ A β ( p b ) } : b A α , β e , max { μ A α ( q c ) e i φ A β ( q c ) } : c A α , β e } = min { μ ¯ A α ( p A ( α , β ) e ) e i φ ¯ A β ( p A ( α , β ) e ) , μ ¯ A α ( q A ( α , β ) e ) e i φ ¯ A β ( q A ( α , β ) e ) } .
μ ¯ A α ( ( p A ( α , β ) e ) 1 ) e i φ ¯ A β ( ( p A ( α , β ) e ) 1 ) = μ ¯ A α ( p 1 A α , β e ) e i φ ¯ A β ( p 1 A α , β e ) = max { μ A α ( p 1 a ) e i φ A β ( p 1 a ) : a A α , β e } max { μ A α ( p a ) e i φ A β ( p a ) : a A α , β e } = μ ¯ A α ( p A ( α , β ) e ) e i φ ¯ A β ( p A ( α , β ) e ) .
This concludes the proof. □
Remark 7.
If A ( α , β ) is an ( α , β ) -CFSG of a group G, let p G and μ A α ( p q ) e i φ A β ( p q ) = μ A α ( p ) e i φ A β ( p ) , for all q G then μ A α ( p ) e i φ A β ( p ) = μ A α ( e ) e i φ A β ( e ) .
Definition 15.
Let A ( α , β ) be a ( α , β ) -complex fuzzy subgroup of finite group G . Then, the cardinality of the set G / A ( α , β ) of all ( α , β ) -complex fuzzy left cosets of G by A ( α , β ) is called the index of ( α , β ) -complex fuzzy subgroup and is denoted by [ G : A ( α , β ) ] .
Theorem 16. 
( ( α , β ) -Complex Fuzzification of Lagrange’s Theorem): Let us assume that there exists a ( α , β ) -complex fuzzy subgroup A ( α , β ) of finite group G . Then, the index of ( α , β ) -complex fuzzy subgroup of G divides the order of G .
Proof. 
By Lemma 1, we have a natural homomorphism h from G to G / A ( α , β ) .
Define a subgroup H ¯ = { x G : x A ( α , β ) = e A ( α , β ) } . By applying the Definition 13 x H ¯ and g G , we have x A ( α , β ) ( g ) = e A ( α , β ) ( g ) . This implies that A ( α , β ) ( x 1 g ) = A ( α , β ) ( g ) , by Remark 7, which shows that x A ( α , β ) e . Therefore, H ¯ is contained in A ( α , β ) e . Now, we take any element x A ( α , β ) e and using the fact A ( α , β ) e is subgroup of G, we have A ( α , β ) ( x 1 ) = A ( α , β ) ( e ) . From Theorem 13, the elements x 1 , g A ( α , β ) e , which means that x A ( α , β ) = e A ( α , β ) , which implies that x H ¯ . Hence, A ( α , β ) e is contained in H ¯ . From this discussion, we can say that H ¯ = A ( α , β ) e .
Now, we define the partition of the group G into the disjoint union of right cosets, and this is defined as G = m 1 H ¯
m 2 H ¯ m k H ¯ . ( i )
where m 1 H ¯ = H ¯ . Now, we prove that, to each coset m j H ¯ in relation ( i ) , there exists an ( α , β ) -complex fuzzy coset m j A ( α , β ) in G / A ( α , β ) e , and this corresponding is injective.
Consider any coset m j A ( α , β ) e . Let x A ( α , β ) e , then
h ( m j x ) = m j x A ( α , β ) = m j A ( α , β ) x A ( α , β ) = m j A ( α , β ) e A ( α , β ) = m j A ( α , β ) .
Thus, h maps each element of m j A ( α , β ) e into the ( α , β ) -complex fuzzy coset m j A ( α , β ) .
Now, we establish a natural correspondence h ¯ between the set { m j A ( α , β ) e : 1 j k } and the set G / A ( α , β ) e defined by
h ¯ ( m j A ( α , β ) e ) = m j A ( α , β ) , 1 j k .
The correspondence h is injective.
For this, let m i A ( α , β ) = m l A ( α , β ) , then m l 1 m i A ( α , β ) = e A ( α , β ) . By using ( A ) , we have m l 1 m i H ¯ , which means that m i A ( α , β ) e = m i A ( α , β ) e , and hence h ¯ is injective. It is quite clear from the above discussion that [ G : A ( α , β ) e ] a n d [ G : A ( α , β ) ] are equal. Hence, [ G : A ( α , β ) e ] divides O ( G ) .  □
Example 5.
Consider G = { < u , v : u 3 = v 2 = e , u v = v u 2 } as a finite permutation group of order 6. The ( α , β ) -complex fuzzy subgroup A ( α , β ) of G corresponding to the value α = 1 and β = 2 π is defined as
A ( α , β ) ( x ) = 0.9 e 3 π i 2 if x = e , 0.7 e π i , if x = u , u 2 , 0.6 e 3 π i 4 , otherwise .
The set of all ( α , β ) -complex fuzzy left cosets of G by A ( α , β ) is given by:
G / A ( α , β ) = { e A ( α , β ) , u A ( α , β ) , v A ( α , β ) } .
This means that [ G : A ( α , β ) ] = C a r d ( G / A ( α , β ) ) = 3 .

5. Conclusions

The concept of α , β -CFSs is a valuable extension of classical CFSs. In this article, we defined α , β -CFSGs and proved fundamental algebraic attributions of these newly defined CFSGs. We presented α , β -complex fuzzy cosets and used these concepts to develop the α , β -CFNSGs. Moreover, we established an α , β -complex fuzzy quotient ring induced by α , β -CFNSG. We derived the ( α , β ) -complex fuzzification of Lagrange’s Theorem. In the future, we shall use the concept of the ( α , β ) -complex fuzzy set in algebraic structures [48,49] and decision-making problems [50]. Moreover, with the help of this newly defined complex fuzzy set, we shall propose novel ( α , β ) -complex fuzzy machine learning algorithms.

Author Contributions

M.G., M.H.M. and D.P. developed the theory and performed the computations. H.A. and H.A.A. verified the analytical methods. All authors have read and agreed to the published version of the manuscript.

Funding

This project is supported by the Researchers Supporting Project Number (RSP-2021/317), King Saud University, Riyadh, Saudi Arabia.

Data Availability Statement

No real data were used to support this study. The data used in this study are hypothetical and anyone can use them by citing this article.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
  2. Rosenfeld, A. Fuzzy groups. J. Math. Anal. Appl. 1971, 35, 512–517. [Google Scholar] [CrossRef] [Green Version]
  3. Liu, W.J. Fuzzy invariant subgroups and fuzzy ideals. Fuzzy Sets Syst. 1982, 8, 133–139. [Google Scholar] [CrossRef]
  4. Yetkin, E.; Olgun, N. Direct product of fuzzy groups and fuzzy rings. Int. Math. Forum. 2011, 6, 1005–1015. [Google Scholar]
  5. Azam, F.A.; Mamun, A.A.; Nasrin, F. Anti fuzzy ideal of ring. Annal. Fuzzy Math. Inform. 2013, 25, 349–360. [Google Scholar]
  6. Kellil, R. Sum and product of fuzzy ideals of ring. Int. J. Math. Comput. Sci. 2018, 13, 187–205. [Google Scholar]
  7. Atanassov, K.T. Intuitionistic fuzzy sets. Fuzzy Sets Syst. 1986, 20, 87–96. [Google Scholar] [CrossRef]
  8. Buckley, J.J. fuzzy complex numbers. Fuzzy Sets Syst. 1989, 33, 333–345. [Google Scholar] [CrossRef]
  9. Kim, J.G. Fuzzy orders relative to fuzzy subgroups. Inf. Sci. 1994, 80, 341–348. [Google Scholar] [CrossRef]
  10. Ajmal, N. Homomorphism of fuzzy groups, correspondence theorem and fuzzy quotient groups. Fuzzy Sets Syst. 1994, 61, 329–339. [Google Scholar] [CrossRef]
  11. Ray, A.K. On product of fuzzy subgroups. Fuzzy Sets Syst. 1999, 105, 181–183. [Google Scholar] [CrossRef]
  12. Ramot, D.; Milo, R.; Friedman, M.; Kandel, A. Complex fuzzy sets. IEEE Trans. Fuzzy Syst. 2002, 10, 450–461. [Google Scholar] [CrossRef]
  13. Ramot, D.; Friedman, M.; Langholz, G.; Kandel, A. Complex fuzzy logic. IEEE Trans. Fuzzy Syst. 2003, 11, 171–186. [Google Scholar] [CrossRef]
  14. Zhang, G.Q.; Dillon, T.S.; Cai, K.Y.; Ma, J.; Lu, J. Operation properties and δ-equalities of complex fuzzy sets. Int. J. Approx. Reason. 2009, 50, 1227–1249. [Google Scholar] [CrossRef] [Green Version]
  15. Thirunavukarasu, P.; Suresh, R.; Thamilmani, P. Application of complex fuzzy sets. J. Appl. Math. 2013, 6, 5–22. [Google Scholar]
  16. Ameri, R.; Borzooei, R.A.; Mohammadzadeh, E. Engel fuzzy subgroups. Ital. J. Pure Appl. Math. 2015, 34, 251–262. [Google Scholar]
  17. Selvachandran, G.; Maji, P.K.; Abed, I.E.; Salleh, A.R. Relations between complex vague soft sets. Appl. Soft Comput. 2016, 47, 438–448. [Google Scholar] [CrossRef]
  18. Al-Husban, A.; Salleh, A.R. Complex fuzzy group based on complex fuzzy space. Glob. J. Pure Appl. Math. 2016, 12, 1433–1450. [Google Scholar]
  19. Singh, D.; Joshi, V.; Imdad, M.; Kumam, P. A novel framework of complex valued fuzzy metric spaces and fixed point theorems. J. Intell. Fuzzy Syst. 2016, 164, 3227–3238. [Google Scholar] [CrossRef]
  20. Thirunavukarasu, P.; Suresh, R.; Viswanathan, K.K. Energy of complex fuzzy graph. Int. J. Math. Sci. Eng. Appl. 2016, 10, 243–248. [Google Scholar]
  21. Alsarahead, M.O.; Ahmad, A.G. Complex fuzzy subgroups. Appl. Math. Sci. 2017, 11, 2011–2021. [Google Scholar] [CrossRef]
  22. Alsarahead, M.O.; Ahmad, A.G. Complex fuzzy subrings. Int. J. Pure Appl. Math. 2017, 117, 563–577. [Google Scholar]
  23. Alsarahead, M.O.; Ahmad, A.G. Complex fuzzy soft subgroups. J. Qual. Meas. Anal. 2017, 13, 17–28. [Google Scholar]
  24. Makamba, B.B.; Murali, V. A class of fuzzy subgroups of finite reflection groups. J. Intell. Fuzzy Syst. 2017, 33, 979–983. [Google Scholar] [CrossRef]
  25. Mohamadzadeh, E.; Borzouei, R.A.; Jun, Y.B. Results on Engel fuzzy subgroups. Algeb. Struc. Appl. 2017, 4, 1–14. [Google Scholar] [CrossRef]
  26. Mohamadzadeh, E.; Borzouei, R.A. Nilpotent fuzzy subgroups. Mathematics 2018, 6, 27. [Google Scholar] [CrossRef] [Green Version]
  27. Addis, G.M. Fuzzy homomorphism theorem on groups. Korean J. Math 2018, 26, 373–385. [Google Scholar]
  28. Emniyet, A.; Sahin, M. Fuzzy normed rings. Symmetry 2018, 10, 515. [Google Scholar] [CrossRef] [Green Version]
  29. Gulistan, M.; Yaqoob, N.; Nawaz, S.; Azhar, M. A study of (α, β)-complex fuzzy hyperideals in non-associative hyperrings. J. Intell. Fuzzy Syst. 2019, 36, 1–17. [Google Scholar] [CrossRef]
  30. Liu, Q.; Shi, F.G. M-hazy lattices and its induced fuzzifying convexities. J. Intell. Fuzzy Syst. 2019, 37, 2419–2433. [Google Scholar] [CrossRef]
  31. Yun, Y.B.; Xin, X.L. Complex fuzzy sets with application in BCK/BCI-Algebras. Bull. Sect. Log. 2019, 48, 265–274. [Google Scholar]
  32. Yazdanbakhsh, O.; Dick, S. A systematic review of complex fuzzy sets and logic. Fuzzy Sets Syst. 2018, 338, 1–22. [Google Scholar] [CrossRef]
  33. Hu, B.; Bi, L.; Dai, S.; Li, S. The approximate parallelity of complex fuzzy sets. J. Intell. Fuzzy Syst. 2018, 6, 6343–6351. [Google Scholar] [CrossRef]
  34. Hu, B.; Bi, L.; Dai, S.; Li, S. Distances of complex fuzzy sets and continuity of complex fuzzy operations. J. Intell. Fuzzy Syst. 2018, 35, 2247–2255. [Google Scholar] [CrossRef]
  35. Al-Qudah, Y.; Hassan, M.; Hassan, N. Fuzzy parameterized complex multi-fuzzy soft expert set theory and its application in decision making. Symmetry 2019, 11, 358. [Google Scholar] [CrossRef] [Green Version]
  36. Liu, P.; Ali, Z.; Mahmood, T. The distance measures and cross-entropy based on complex fuzzy sets and their application in decision making. J. Intell. Fuzzy Syst. 2020, 39, 3351–3374. [Google Scholar] [CrossRef]
  37. Alcantud, J.C.R.; Khameneh, A.Z.; Kilicman, A. Aggregation of infinite chains of intuitionistic fuzzy sets and their application to choices with temporal intuitionistic fuzzy information. Inf. Sci. 2020, 514, 106–117. [Google Scholar] [CrossRef]
  38. Liu, Z.; Alcantud, J.C.R.; Qin, K.; Xiong, L. The Soft sets and fuzzy sets based neural networks and application. IEEE Access 2020, 8, 41615–41625. [Google Scholar] [CrossRef]
  39. Gulzar, M.; Dilawar, F.; Alghazzawi, D.; Mateen, M.H. A note on complex fuzzy subfield. Indones. J. Electr. Comput. Sci. 2021, 21, 1048–1056. [Google Scholar] [CrossRef]
  40. Gulzar, M.; Dilawar, F.; Alghazzawi, D.; Mateen, M.H.; Premkumar, M. On some characterization of Q complex fuzzy subrings. J. Math. Comput. Sci. 2021, 22, 295–305. [Google Scholar] [CrossRef]
  41. Trevijano, S.A.; Chasco, M.J.; Elorza, J. The annihilator of fuzzy subgroups. Fuzzy Sets Syst. 2019, 369, 122–131. [Google Scholar] [CrossRef]
  42. Gulzar, M.; Mateen, M.H.; Alghazzawi, D.; Kausar, N. A Novel Applications of Complex Intuitionistic Fuzzy Sets in Group Theory. IEEE Access 2020, 8, 196075–196085. [Google Scholar] [CrossRef]
  43. Gulzar, M.; Abbas, G.; Dilawar, F. Algebraic properties of ω-Q-fuzzy subgroup. Int. J. Math. Comput. Sci. 2020, 15, 265–274. [Google Scholar]
  44. Gulzar, M.; Alghazzawi, D.; Mateen, M.H.; Kausar, N. A Certain Class of t-Intuitionistic Fuzzy Subgroups. IEEE Access 2020, 8, 163260–163268. [Google Scholar] [CrossRef]
  45. Imtiaz, A.; Shuaib, U.; Razaq, A.; Gulistan, M. Image development in the framework of ζ–complex fuzzy morphisms. J. Intell. Fuzzy Syst. 2021, 1–13, Preprint. [Google Scholar]
  46. Imtiaz, A.; Shuaib, U.; Alolaiyan, H.; Razaq, A.; Gulistan, M. On Structural Properties of -Complex Fuzzy Sets and Their Applications. Complexity 2020, 2020, 2038724. [Google Scholar] [CrossRef]
  47. Altassan, A.; Mateen, M.H.; Pamucar, D. On Fundamental Theorems of Fuzzy Isomorphism of Fuzzy Subrings over a Certain Algebraic Product. Symmetry 2021, 13, 998. [Google Scholar] [CrossRef]
  48. Belov, A.Y.; Borisenko, V.V.; Latyshev, V.N. Monomial algebras. J. Math. Sci. 1997, 87, 3463–3575. [Google Scholar] [CrossRef]
  49. Latyshev, V.N. Combinatorial Ring Theory. Complexity of Algebraic Algorithms; Moscow State University Publishing: Moscow, Russia, 1987. [Google Scholar]
  50. Ishkina, S.K.; Vorontsov, K.V. Sharpness Estimation of Combinatorial Generalization Ability Bounds for Threshold Decision Rules. Autom. Remote Control 2021, 82, 863–876. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Alolaiyan, H.; Alshehri, H.A.; Mateen, M.H.; Pamucar, D.; Gulzar, M. A Novel Algebraic Structure of (α,β)-Complex Fuzzy Subgroups. Entropy 2021, 23, 992. https://doi.org/10.3390/e23080992

AMA Style

Alolaiyan H, Alshehri HA, Mateen MH, Pamucar D, Gulzar M. A Novel Algebraic Structure of (α,β)-Complex Fuzzy Subgroups. Entropy. 2021; 23(8):992. https://doi.org/10.3390/e23080992

Chicago/Turabian Style

Alolaiyan, Hanan, Halimah A. Alshehri, Muhammad Haris Mateen, Dragan Pamucar, and Muhammad Gulzar. 2021. "A Novel Algebraic Structure of (α,β)-Complex Fuzzy Subgroups" Entropy 23, no. 8: 992. https://doi.org/10.3390/e23080992

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop