In this paper, the modified auxiliary expansion method is used to construct some new soliton solutions of coupled Schrödinger-Boussinesq system that includes beta derivative. The new exact solution is obtained have a hyperbolic function, trigonometric function, exponential function, and rational function. These solutions might appreciate in laser and plasma sciences. It is shown that this method, provides a straightforward and powerful mathematical tool for solving the nonlinear problems. Moreover, the linear stability of this nonlinear system is analyzed.
Citation: Hajar F. Ismael, Hasan Bulut, Haci Mehmet Baskonus, Wei Gao. Dynamical behaviors to the coupled Schrödinger-Boussinesq system with the beta derivative[J]. AIMS Mathematics, 2021, 6(7): 7909-7928. doi: 10.3934/math.2021459
[1] | Doaa Al-Sharoa . (α1, 2, β1, 2)-complex intuitionistic fuzzy subgroups and its algebraic structure. AIMS Mathematics, 2023, 8(4): 8082-8116. doi: 10.3934/math.2023409 |
[2] | Ayesha Shareef, Uzma Ahmad, Saba Siddique, Mohammed M. Ali Al-Shamiri . Pythagorean fuzzy incidence graphs with application in illegal wildlife trade. AIMS Mathematics, 2023, 8(9): 21793-21827. doi: 10.3934/math.20231112 |
[3] | Supriya Bhunia, Ganesh Ghorai, Qin Xin . On the characterization of Pythagorean fuzzy subgroups. AIMS Mathematics, 2021, 6(1): 962-978. doi: 10.3934/math.2021058 |
[4] | Sizhao Li, Xinyu Han, Dapeng Lang, Songsong Dai . On the stability of two functional equations for (S,N)-implications. AIMS Mathematics, 2021, 6(2): 1822-1832. doi: 10.3934/math.2021110 |
[5] | Rizwan Gul, Muhammad Shabir, Tareq M. Al-shami, M. Hosny . A Comprehensive study on (α,β)-multi-granulation bipolar fuzzy rough sets under bipolar fuzzy preference relation. AIMS Mathematics, 2023, 8(11): 25888-25921. doi: 10.3934/math.20231320 |
[6] | Abdul Razaq, Ghaliah Alhamzi . On Pythagorean fuzzy ideals of a classical ring. AIMS Mathematics, 2023, 8(2): 4280-4303. doi: 10.3934/math.2023213 |
[7] | Akarachai Satirad, Ronnason Chinram, Aiyared Iampan . Pythagorean fuzzy sets in UP-algebras and approximations. AIMS Mathematics, 2021, 6(6): 6002-6032. doi: 10.3934/math.2021354 |
[8] | Anas Al-Masarwah, Abd Ghafur Ahmad . Subalgebras of type (α, β) based on m-polar fuzzy points in BCK/BCI-algebras. AIMS Mathematics, 2020, 5(2): 1035-1049. doi: 10.3934/math.2020072 |
[9] | Li Li, Mengjing Hao . Interval-valued Pythagorean fuzzy entropy and its application to multi-criterion group decision-making. AIMS Mathematics, 2024, 9(5): 12511-12528. doi: 10.3934/math.2024612 |
[10] | Saleem Abdullah, Muhammad Qiyas, Muhammad Naeem, Mamona, Yi Liu . Pythagorean Cubic fuzzy Hamacher aggregation operators and their application in green supply selection problem. AIMS Mathematics, 2022, 7(3): 4735-4766. doi: 10.3934/math.2022263 |
In this paper, the modified auxiliary expansion method is used to construct some new soliton solutions of coupled Schrödinger-Boussinesq system that includes beta derivative. The new exact solution is obtained have a hyperbolic function, trigonometric function, exponential function, and rational function. These solutions might appreciate in laser and plasma sciences. It is shown that this method, provides a straightforward and powerful mathematical tool for solving the nonlinear problems. Moreover, the linear stability of this nonlinear system is analyzed.
Lagrange's theorem is one of the most fundamental theorem of Abstract algebra. In the late 18th century, Lagrange's theorem first appeared to handle the polynomial equation of degree five or more and its relation with symmetric functions. But, Lagrange stated his version of the theorem before the invention of group theory. This theorem developed over the decades. Pietro first gave the complete proof of this theorem. This theorem is an important tool for the study of finite groups as it gives an overview of the size of subgroups. Lagrange's theorem has various applications in number theory. This theorem has a significant role in the proof of Fermat's Little theorem. For further details, we refer to [1,2].
Uncertainty is a part of our daily life. This world is neither based on hypothesis nor on accurate measurements. There is not always possible to make an obvious decision. Handling the errors in decision-making situation is a real challenge for us. In 1965, Zadeh [3] first introduced the notion of fuzzy set to handle vagueness in real-life problems, where he broke the conventional idea of yes or not that is zero or one. He defined fuzzy set as a mapping from any set to [0,1]. So the membership value of an element is any number between 0 and 1. After that fuzzy set becomes a trend in worldwide research. In 1971, Rosenfeld [4] first studied the concept of fuzzy subgroup and investigated various properties of it. In 1979, the notion of fuzzy subgroup was redefined by Anthony and Sherwood [5,6]. Fuzzy level subgroups were introduced by Das [7]. In 1992, Ajmal and Prajapati [8] introduced the ideas of fuzzy normal subgroup, fuzzy coset and fuzzy quotient subgroup. In 1988, Choudhury et al. [9] proved various properties of fuzzy subgroups and fuzzy homomorphisms. In 1990, Dixit et al. [10] discussed fuzzy level subgroups and union of fuzzy subgroups. The notion of anti-fuzzy subgroup was first proposed by Biswas [11]. Chakraborty and Khare [12] studied various properties of fuzzy homomorphisms. Ajmal [13] also studied homomorphisms of fuzzy subgroups. In 1994, Kim [14] defined the order of fuzzy subgroups and fuzzy p-subgroups. Many more results on fuzzy subgroups were introduced by Mukherjee [15,16] and Bhattacharya [17,18]. In 1999, Ray [19] introduced the product of fuzzy subgroups. In recent years many researchers studied various properties of fuzzy groups. In 2015, Tarnauceanu [20] classified fuzzy normal subgroups of finite groups. In 2016, Onasanya [21] reviewed some anti fuzzy properties of fuzzy subgroups. Shuaib [22] and Shaheryar [23] studied the properties of omicron fuzzy subgroups and omicron anti fuzzy subgroups. In 2018, Addis [24] developed fuzzy homomorphism theorems on groups.
In decision-making problems, sometimes assigning membership values is not enough. In 1986, assigning non-membership degree with membership degree Atanassov [25] developed intuitionistic fuzzy set. Using this concept, intuitionistic fuzzy subgroups were studied by Zhan and Tan [26]. In 2013, Yager [27] defined Pythagorean fuzzy set. This set gives a modern way to model vagueness and uncertainty with high precision and accuracy compared to intuitionistic fuzzy sets. In 2021, Bhunia et al. [28] introduced Pythagorean fuzzy subgroups. In recent years, some results related to Pythagorean fuzzy sets were given by [29,30,31,32]. In 2021, Bhunia [33] and Ghorai first initiated the study of (α,β)-Pythagorean fuzzy sets, where they imposed the restrictions α and β for more accuracy. They proved that (α,β)-Pythagorean fuzzy sets are more precise than intuitionistic fuzzy sets and Pythagorean fuzzy sets. They defined the notion of (α,β)-Pythagorean fuzzy subgroup and proved various algebraic aspects of it. One of the most important results of finite group theory is the Lagrange's theorem. Our main motive of this paper is to give an (α,β)-Pythagorean fuzzy version of Lagrange's theorem in (α,β)-Pythagorean fuzzy subgroups. We introduce the concept of relative subgroup of a group and define the (α,β)-Pythagorean fuzzy order of an element in (α,β)-Pythagorean fuzzy subgroups. We make a comparison between order of an element in a group and (α,β)-Pythagorean fuzzy order of that element in (α,β)-Pythagorean fuzzy subgroup. We define the extension principle in (α,β)-Pythagorean fuzzy environments and study the effect of group homomorphism on (α,β)-Pythagorean fuzzy subgroups. We introduce (α,β)-Pythagorean fuzzy quotient group and the index of an (α,β)-Pythagorean fuzzy subgroup. Finally, we give an approach to Lagrange's theorem in (α,β)-Pythagorean fuzzy subgroups.
An outline of this paper is given as follows: we recall some important definitions and concepts in Section 2. In Section 3, we define the notion of (α,β)-Pythagorean fuzzy order of elements of groups and discuss many properties of it. Section 4 deals with some algebraic attributes of (α,β)-Pythagorean fuzzy subgroup. In Section 5, we introduce the concept of (α,β)-Pythagorean fuzzy quotient group and give an (α,β)-Pythagorean fuzzy version of Lagrange's theorem. Finally, we make a conclusion in Section 6.
In this section, we recall some basic definitions which are used for the development of later sections.
Definition 2.1. [33] Let S be a crisp set and α, β∈[0,1] be such that 0≤α2+β2≤1. An (α,β)-Pythagorean fuzzy set ψ∗ in S is an object having the form ψ∗={(u,μα(u),νβ(u)|u∈S} where μα(u)=μ(u)∧α and νβ(u)=ν(u)∨β are membership degree and non-membership degree of u∈S respectively, which satisfies the condition 0≤(μα(u))2+(νβ(u))2≤1.
Definition 2.2. [33] Let ψ∗ be an (α,β)-Pythagorean fuzzy set of a group G. Then ψ∗ is said to be an (α,β)-Pythagorean fuzzy subgroup of the group G if the following conditions hold:
● μα(uv)≥μα(u)∧μα(v) and νβ(uv)≤νβ(u)∨νβ(v) for all u,v∈G
● μα(u−1)≥μα(u) and νβ(u−1)≤νβ(u) for all u∈G.
Throughout this paper, we will write (α,β)-Pythagorean fuzzy set as (α,β)-PFS and (α,β)-Pythagorean fuzzy subgroup as (α,β)-PFSG. Also, we will denote (α,β)-PFS as ψ∗=(μα,νβ) instead of ψ∗={(a,μα(a),νβ(a)|a∈S}.
Proposition 2.1. [33] Let ψ∗=(μα,νβ) be an (α,β)-PFS of a group G. Then ψ∗ is an (α,β)-PFSG of G if and only if μα(uv−1)≥μα(u)∧μα(v) and νβ(uv−1)≤νβ(u)∨νβ(v) for all u,v∈G.
Definition 2.3. [33] Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then for u∈G, (α,β)-Pythagorean fuzzy left coset (PFLC) of ψ∗ is the (α,β)-PFS uψ∗=(uμα,uνβ), defined by (uμα)(m)=μα(u−1m), (uνβ)(m)=νβ(u−1m) and (α,β)-Pythagorean fuzzy right coset (PFRC) of ψ∗ is the (α,β)-PFS ψ∗u=(μαu,νβu), defined by (μαu)(m)=μα(mu−1), (νβu)(m)=νβ(mu−1) for all m∈G.
Definition 2.4. [33] Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then ψ∗ is an (α,β)-Pythagorean fuzzy normal subgroup (PFNSG) of the group G if every (α,β)-PFLC of ψ∗ is also an (α,β)-PFRC of ψ∗ in G.
Equivalently, uψ∗=ψ∗u for all u∈G.
Proposition 2.2. [33] Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then ψ∗ is an (α,β)-PFNSG of G if and only if μα(uv)=μα(vu) and νβ(uv)=νβ(vu) for all u,v∈G.
Proposition 2.3. [33] Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then ψ∗ is an (α,β)-PFNSG of G if and only if μα(vuv−1)=μα(u) and νβ(vuv−1)=νβ(u) for all u,v∈G.
In this section, we introduce the concept of relative subgroup of a group and define the (α,β)-Pythagorean fuzzy order of elements in (α,β)-Pythagorean fuzzy subgroups. Further, We compare between the fuzzy order of elements in fuzzy subgroups and (α,β)-Pythagorean fuzzy order of elements in (α,β)-Pythagorean fuzzy subgroups. Moreover, we discuss various algebraic properties of (α,β)-Pythagorean fuzzy order of elements in (α,β)-PFSGs.
First of all, we will construct a theorem which will be the building block of this section.
Theorem 3.1. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G and u be any element of G. Then Ω(u)={v∈G|μα(v)≥μα(u), νβ(v)≤νβ(u)} forms a subgroup of the group G.
Proof. For any element u∈G, we have Ω(u)={v∈G|μα(v)≥μα(u), νβ(v)≤νβ(u)}.
Clearly u∈Ω(u), so Ω(u) is a non empty subset of G.
Since ψ∗=(μα,νβ) is an (α,β)-PFSG of the group G, then μα(e)≥μα(u) and νβ(e)≤νβ(u), where e is the identity element of G. So, e∈Ω(u).
Let m and n be two arbitrary elements of Ω(u). Therefore
μα(mn−1)≥μα(m)∧μα(n−1)=μα(m)∧μα(n)≥μα(u). |
Similarly, we can show that νβ(mn−1)≤νβ(u).
Consequently mn−1∈Ω(u).
Hence Ω(u) is a subgroup of the group G.
Definition 3.1. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G and u be any element of G. Then the subgroup Ω(u) is called the relative subgroup of the group G corresponding to the element u.
Definition 3.2. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G and u be any element of G. Then the (α,β)-Pythagorean fuzzy order of u in ψ∗ is denoted by (α,β)-PFO (u)ψ∗ and defined by the order of the relative subgroup of u in G.
Therefore, (α,β)-PFO (u)ψ∗=O(Ω(u)) for all u in G.
Example 3.1. Let us consider the Klein's 4-group V4={e,a,b,c}, where e is the identity element of V4 and each element has its own inverse. Define the membership degree and non-membership degree of the elements of V4 by
μ(e)=0.9, μ(a)=0.6, μ(b)=0.6, μ(c)=0.8,ν(e)=0.3, ν(a)=0.8, ν(b)=0.8, ν(c)=0.5. |
We choose α=0.8 and β=0.5. Then an (α,β)-PFS ψ∗=(μα,νβ) of V4 is given by
μα(e)=0.8, μα(a)=0.6, μα(b)=0.6, μα(c)=0.8,νβ(e)=0.5, νβ(a)=0.8, νβ(b)=0.8, νβ(c)=0.5. |
Clearly, ψ∗=(μα,νβ) is an (α,β)-PFSG of the group V4.
Then the (α,β)-Pythagorean fuzzy order of the elements of V4 in ψ∗ is given by
(α,β)-PFO (e)ψ∗=O(Ω(e))=2, (α,β)-PFO (a)ψ∗=O(Ω(a))=4,
(α,β)-PFO (b)ψ∗=O(Ω(b))=4 and (α,β)-PFO (c)ψ∗=O(Ω(c))=2.
Now, we will make a comparison between order and (α,β)-Pythagorean fuzzy order of an element in a group.
From the above example, we can see that (α,β)-PFO (e)ψ∗≠O(e) and (α,β)-PFO (e)ψ∗=(α,β)-PFO (c)ψ∗=2. Again there is no element of order four in the Klein's 4-group but here (α,β)-Pythagorean fuzzy order of a and b in ψ∗ is four.
Remark 3.1. For any group, the identity element is the unique element of order one but in (α,β)-PFSG the (α,β)-Pythagorean fuzzy order of identity element may not be equal to one. Also, (α,β)-Pythagorean fuzzy order of an element in (α,β)-PFSG may not be equal to the order of that element in the group.
Proposition 3.1. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then (α,β)-PFO (e)ψ∗≤(α,β)-PFO (u)ψ∗ for all u∈G, where e is the identity of G.
Proof. Let (α,β)-PFO (e)ψ∗=p, where p is a positive integer.
Assume that Ω(e)={u1,u2,…,up}, where ui≠uj for all i, j.
Then μα(u1)=μα(u2)=⋯=μα(up)=μα(e) and
νβ(u1)=νβ(u2)=⋯=νβ(up)=νβ(e).
Since ψ∗=(μα,νβ) is an (α,β)-PFSG of the group G, then
μα(e)≥μα(u) and νβ(e)≤νβ(u) for all u∈G.
So, u1, u2, …, up∈Ω(u). Thus Ω(e)⊆Ω(u).
Consequently, O(Ω(e))≤O(Ω(u)) for all u∈G.
Hence (α,β)-PFO (e)ψ∗≤(α,β)-PFO (u)ψ∗ for all u∈G.
Theorem 3.2. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then for all u∈G, (α,β)-PFO (u)ψ∗=(α,β)-PFO (u−1)ψ∗.
Proof. Let u be an element of G.
Then (α,β)-PFO (u)ψ∗=O(Ω(u)), where Ω(u)={v∈G|μα(v)≥μα(u), νβ(v)≤νβ(u)}.
Since ψ∗=(μα,νβ) is an (α,β)-PFSG of the group G, therefore μα(u)=μα(u−1) and νβ(u)=νβ(u−1).
So Ω(u)={v∈G|μα(v)≥μα(u−1), νβ(v)≤νβ(u−1)}=Ω(u−1).
This implies that, O(Ω(u))=O(Ω(u−1)).
Hence, (α,β)-PFO (u)ψ∗=(α,β)-PFO (u−1)ψ∗.
Since u is an arbitrary element of G,
(α,β)-PFO (u)ψ∗=(α,β)-PFO (u−1)ψ∗ for all u∈G.
Now, we will now introduce (α,β)-Pythagorean fuzzy order of (α,β)-PFSG of a group.
Definition 3.3. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then (α,β)- Pythagorean fuzzy order of the (α,β)-PFSG ψ∗ is denoted by (α,β)-PFO (ψ∗) and is defined by (α,β)-PFO (ψ∗)=∨{(α,β)-PFO (u)ψ∗|u∈G}.
Example 3.2. We consider the (α,β)-PFSG ψ∗ of Klein's 4-group V4 in Example 3.1.
(α,β)-Pythagorean fuzzy order of the elements of V4 in ψ∗ is given by
(α,β)-PFO (e)ψ∗=2, (α,β)-PFO (a)ψ∗=4, (α,β)-PFO (b)ψ∗=4 and (α,β)-PFO (c)ψ∗=2.
Therefore (α,β)-PFO (ψ∗)=∨{(α,β)-PFO (u)ψ∗|u∈V4}=4.
Theorem 3.3. For any (α,β)-PFSG of a group, (α,β)-Pythagorean fuzzy order of that (α,β)-PFSG is same as the order of the group.
Proof. Suppose ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G.
Let u be any element of G.
Without loss of generality, we may assume that
μα(v)≥μα(u) and νβ(v)≤νβ(u) for all v∈G.
Since Ω(u)={v∈G|μα(v)≥μα(u), νβ(v)≤νβ(u)}, then Ω(u)=G.
Also, |Ω(u)|≥|Ω(v)| for all v∈G.
Consequently (α,β)-PFO (ψ∗)=(α,β)-PFO (u)ψ∗.
Again (α,β)-PFO (u)ψ∗=O(Ω(u)).
Therefore (α,β)-PFO (ψ∗)=O(G).
Hence (α,β)-Pythagorean fuzzy order of any (α,β)-PFSG of a group is the same as the order of the group.
Remark 3.2. For any (α,β)-PFSG of a group G, (α,β)-Pythagorean fuzzy order of each element of G divides (α,β)-Pythagorean fuzzy order of the (α,β)-PFSG.
Theorem 3.4. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G and u be an element of G such that (α,β)-PFO (u)ψ∗=p. If gcd(p,q)=1 for a positive integer q, then μα(uq)=μα(u) and νβ(uq)=νβ(u).
Proof. Since (α,β)-PFO (u)ψ∗=p, then we have up=e.
Again ψ∗=(μα,νβ) is an (α,β)-PFSG of a group G, then
μα(uq)≥μα(u) and νβ(uq)≤νβ(u) for any positive integer q.
Also gcd(p,q)=1, then there exists positive integers a and b such that ap+bq=1. Now
μα(u)=μα(uap+bq)≥μα(uap)∧μα(ubq)≥μα(e)∧μα(uq)=μα(uq). |
Therefore μα(u)≥μα(uq). Similarly, we can show that νβ(u)≤νβ(uq).
Hence μα(uq)=μα(u) and νβ(uq)=νβ(u).
Theorem 3.5. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G and u be any element of G. If for an integer q, μα(uq)=μα(e) and νβ(uq)=νβ(e) then q|(α,β)-PFO (u)ψ∗.
Proof. Let (α,β)-PFO (u)ψ∗=p.
Without loss of generality, we may assume that q is the minimum integer for which μα(uq)=μα(e) and νβ(uq)=νβ(e) holds.
By division algorithm, there exists two integers m and r such that p=mq+r where 0≤r<q. Now \newpage
μα(ur)=μα(up−mq)≥μα(up)∧μα((u−1)mq)=μα(up)∧μα(umq)=μα(e)∧μα((uq)m)≥μα(e)∧μα(uq)=μα(e). |
Similarly, we can show that νβ(ur)≤νβ(e).
Consequently, μα(ur)=μα(e) and νβ(ur)=νβ(e).
This result contradicts the minimality of q as 0≤r<q.
Therefore r must be zero, so p=mq.
Hence q|(α,β)-PFO (u)ψ∗.
In the next result, we will show how to find (α,β)-Pythagorean fuzzy order of integral power of an element.
Theorem 3.6. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G and u be any element of G. If (α,β)-PFO (u)ψ∗=p then for an integer k, (α,β)-PFO (uk)ψ∗=pgcd(p,k).
Proof. Let (α,β)-PFO (uk)ψ∗=m and assume that gcd(p,k)=g.
Since (α,β)-PFO (u)ψ∗=p, then up=e where e is the identity of G. Now
μα((uk)pg)=μα((up)kg)=μα(ekg)=μα(e). |
Similarly, we can show that νβ((uk)pg)=νβ(e).
Therefore by Theorem 3.5, we can say pg divides m.
Also we have gcd(p,k)=g, then there exists two integers s and t such that ps+kt=g. Therefore
μα(ugm)=μα(u(ps+kt)m)=μα(upsmuktm)≥μα((up)sm)∧μα((ukm)t)≥μα(up)∧μα((uk)m)=μα(e)∧μα(e)=μα(e). |
Therefore the only possibility is μα(ugm)=μα(e).
Similarly, we can prove that νβ(ugm)=νβ(e).
Thus using Theorem 3.5 we have gm|p, that is m|pg.
Therefore m=pg.
Hence (α,β)-PFO (uk)ψ∗=pgcd(p,k).
Theorem 3.7. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G and u be any element of G. If (α,β)-PFO (u)ψ∗=p and r≅s(mod p) then (α,β)-PFO (ur)ψ∗=(α,β)-PFO (us)ψ∗, where r,s∈Z.
Proof. Let (α,β)-PFO (ur)ψ∗=x and (α,β)-PFO (us)ψ∗=y.
Since r≅s(mod p) then r=pq+s for some integer q. Now
μα((ur)y)=μα((upq+s)y)=μα(upqyusy)≥μα((up)qy)∧μα((us)y)=μα(e)∧μα(e)=μα(e). |
Therefore the only possibility is μα((ur)y)=μα(e).
Similarly, we can prove νβ((ur)y)=νβ(e).
By using Theorem 3.5, we have y|x.
In the same manner, we can prove that x|y. Thus x=y.
Hence (α,β)-PFO (ur)ψ∗=(α,β)-PFO (us)ψ∗, where r,s∈Z.
Theorem 3.8. Let ψ∗=(μα,νβ) be an (α,β)-PFNSG of a group G and u be any element of G. Then (α,β)-PFO (u)ψ∗=(α,β)-PFO (vuv−1)ψ∗ for all v∈G.
Proof. Let v be an arbitrary element of G.
Since ψ∗ is an (α,β)-PFNSG of the group G, then μα(u)=μα(vuv−1) and νβ(u)=νβ(vuv−1).
Therefore the relative subgroups corresponding to u is the same as that of vuv−1.
This implies that Ω(u)=Ω(vuv−1).
Consequently, O(Ω(u))=O(Ω(vuv−1)).
Since v is an arbitrary element of G, hence (α,β)-PFO (u)ψ∗=(α,β)-PFO (vuv−1)ψ∗ for all v∈G.
Theorem 3.9. Let ψ∗=(μα,νβ) be an (α,β)-PFNSG of a group G. Then (α,β)-PFO (uv)ψ∗=(α,β)-PFO (vu)ψ∗ for all u,v∈G.
Proof. Let u and v be any two elements of G.
We have μα(uv)=μα((v−1v)(uv))=μα(v−1(vu)v).
Similarly, νβ(uv)=νβ(v−1(vu)v).
Therefore Ω(uv)=Ω(v−1(vu)(v−1)−1).
Consequently, (α,β)-PFO (uv)ψ∗=(α,β)-PFO (v−1(vu)(v−1)−1)ψ∗.
Again by Theorem 3.8, we have (α,β)-PFO (v(vu)v−1)ψ∗=(α,β)-PFO (vu)ψ∗.
Since u and v are arbitrary elements of G, hence (α,β)-PFO (uv)ψ∗=(α,β)-PFO (vu)ψ∗ for all u,v∈G.
Theorem 3.10. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of an abelian group G and u,v be two elements of G such that gcd((α,β)-PFO (u)ψ∗,(α,β)-PFO (v)ψ∗)=1. If μα(uv)=μα(e) and νβ(uv)=νβ(e) then (α,β)-PFO (u)ψ∗=(α,β)-PFO (v)ψ∗=1.
Proof. Let (α,β)-PFO (u)ψ∗=p and (α,β)-PFO (v)ψ∗=q.
So, we have gcd(p,q)=1. Now
μα(uqvq)=μα((uv)q)≥μα(uv)=μα(e). |
Therefore the only possibility is μα(uqvq)=μα(e). Again
μα(uq)=μα(uqvqv−q)≥μα(uqvq)∧μα((v−1)q)=μα(e)∧μα(e)=μα(e). |
So, we have μα(uq)=μα(e). Similarly, we can prove that νβ(uq)=νβ(e).
Therefore by Theorem 3.5, we have q|p. Again gcd(p,q)=1, thus q=1.
Similarly, we can show that p=1.
Hence (α,β)-PFO (u)ψ∗=(α,β)-PFO (v)ψ∗=1.
Theorem 3.11. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a cyclic group G. Then any two generators of the cyclic group G have same (α,β)-Pythagorean fuzzy order in ψ∗.
Proof. Let G be a finite cyclic group of order n.
Also, let u and v be two generators of G. Therefore un=e and vn=e.
Since u is a generator of G, then v=uk for some positive integer k.
So, k and n are co-prime that is gcd(k,n)=1.
Therefore by applying Theorem 3.10, (α,β)-PFO (u)ψ∗=(α,β)-PFO (uk)ψ∗=(α,β)-PFO (v)ψ∗.
Now, if G is an infinite cyclic group then it has only two generators.
Suppose u is a generator of G then u−1 is the only other generator.
Therefore by using Theorem 3.2, we have (α,β)-PFO (u)ψ∗=(α,β)-PFO (u−1)ψ∗.
Hence (α,β)-Pythagorean fuzzy order of any two generators of a cyclic group is equal.
In this section, we define the extension principle in (α,β)-Pythagorean fuzzy environment. We study the effect of group homomorphism on (α,β)-Pythagorean fuzzy subgroups. Further, we develop the concept of (α,β)-Pythagorean fuzzy normalizer and (α,β)-Pythagorean fuzzy centralizer. Moreover, we investigate many algebraic attributes of it.
Definition 4.1. Let ψ∗1=(μα1,νβ1) and ψ∗2=(μα2,νβ2) be two (α,β)-Pythagorean fuzzy sets on G1 and G2 respectively. Let h be a mapping from G1 to G2. Then h(ψ∗1) is an (α,β)-Pythagorean fuzzy set on G2 and defined by h(ψ∗1)(v)=(h(μα1)(v),h(νβ1)(v)) for all v∈G2, where
h(μα1)(v)={∨{μα1(u)|u∈G1 and h(u)=v},whenh−1(v)≠∅0,elsewhere |
and
h(νβ1)(v)={∧{νβ1(u)|u∈G1 and h(u)=v},whenh−1(v)≠∅1,elsewhere. |
Also, h−1(ψ∗2) is an (α,β)-Pythagorean fuzzy set on G1 and defined by
h−1(ψ∗2)(u)=(h−1(μα2)(u),h−1(νβ2)(u)) for all u∈G1, where
(h−1(μα2))(u)=(μα2(h(u)) and (h−1(νβ2))(u)=(νβ2(h(u)).
Example 4.1. We consider two groups G1=(Z,+) and G2=({1,−1},.).
Let h be a mapping from G1 to G2 defined by
h(u)={1,if uiseven−1,elsewhere. |
Let ψ∗1=(μα1,νβ1) and ψ∗2=(μα2,νβ2) be two (α,β)-Pythagorean fuzzy sets on G1 and G2 respectively, is given by
μα1(u)={0.9,whenu∈2Z0.6,elsewhere |
νβ1(u)={0.2,whenu∈2Z0.7,elsewhere |
and μα2(1)=0.8, μα2(−1)=0.4, νβ2(1)=0.5, νβ2(−1)=0.6.
Then h(ψ∗1) is an (α,β)-Pythagorean fuzzy set on G2 is given by h(μα1)(1)=0.9, h(μα1)(−1)=0.6, h(νβ1)(1)=0.2 and h(νβ1)(−1)=0.7.
Also, h−1(ψ∗2) is an (α,β)-Pythagorean fuzzy set on G1 is given by
h−1(μα2)(u)={0.8,whenu∈2Z0.4,elsewhere |
h−1(νβ2)(u)={0.5,whenu∈2Z0.6,elsewhere. |
Theorem 4.1. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G1 and h be a group homomorphism from G1 onto G2. Then h(ψ∗) is an (α,β)-PFSG of the group G2.
Proof. Since h:G1→G2 is an onto homomorphism, therefore h(G1)=G2.
Let u2 and v2 be two elements of G2.
Suppose u2=h(u1) and v2=h(v1) for some u1, v1∈G1.
We have h(ψ∗)(v)=(h(μα)(v),h(νβ)(v)) for all v∈G2. Now
h(μα)(u2v2)=∨{μα(w)|w∈G1,h(w)=u2v2}≥∨{μα(u1v1)|u1,v1∈G1 and h(u1)=u2,h(v1)=v2}≥∨{μα(u1)∧μα(v1)|u1,v1∈G1 and h(u1)=u2,h(v1)=v2}=(∨{μα(u1)|u1∈G1 and h(u1)=u2})∧(∨{μα(v1)|v1∈G1 and h(v1)=v2})=h(μα)(u2)∧h(μα)(v2). |
Therefore h(μα)(u2v2)≥h(μα)(u2)∧h(μα)(v2) for all u2 and v2∈G2.
Similarly, we can prove that h(νβ)(u2v2)≤h(νβ)(u2)∨h(νβ)(v2) for all u2 and v2∈G2. Again
h(μα)(u−12)=∨{μα(w)|w∈G1 and h(w)=(u−12)}=∨{μα(w−1)|w∈G1 and h(w−1)=(u2)}=h(μα)(u2). |
Therefore h(μα)(u−12)=h(μα)(u2) for all u2∈G2.
Similarly, we can show that h(νβ)(u−12)=h(νβ)(u2) for all u2∈G2.
Hence h(ψ∗)=(h(μα),h(νβ)) is an (α,β)-PFSG of the group G2.
Theorem 4.2. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G2 and h be a bijective group homomorphism from G1 onto G2. Then h−1(ψ∗) is an (α,β)-PFSG of the group G1.
Proof. Let u1 and v1 be any two elements of G1.
We have h−1(ψ∗)(u)=(h−1(μα)(u),h−1(νβ)(u)) for all u∈G1. Now
h−1(μα)(u1v1)=μα(h(u1v1))=μα(h(u1)h(v1)) (Since h is a homomorphism)≥μα(h(u1))∧μα(h(v1))=h−1(μα)(u1)∧h−1(μα)(v1). |
Therefore h−1(μα)(u1v1)≥h−1(μα)(u1)∧h−1(μα)(v1) for all u1 and v1∈G1.
Similarly, we can show that h−1(νβ)(u1v1)≤h−1(νβ)(u1)∨h−1(νβ)(v1) for all u1 and v1∈G1. Again
h−1(μα)(u−11)=μα(h(u−11))=μα(h(u1)−1)=μα(h(u1))=h−1(μα)(u1). |
Therefore h−1(μα)(u−11)=h−1(μα)(u1) for all u1∈G1.
Similarly, we can show that h−1(νβ)(u−11)=h−1(νβ)(u1) for all u1∈G1.
Hence h−1(ψ∗)=(h−1(μα),h−1(νβ)) is an (α,β)-PFSG of the group G1.
Definition 4.2. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then the (α,β)-Pythagorean fuzzy normalizer of ψ∗ is denoted by ∇(ψ∗) and defined by
∇(ψ∗)={u| u∈G, μα(p)=μα(upu−1) and νβ(u)=νβ(upu−1) for all p∈G.
Example 4.2. We consider the (α,β)-PFSG ψ∗1=(μα1,νβ1) of the group G1=(Z,+) in Example 4.1.
Then the (α,β)-Pythagorean fuzzy normalizer of ψ∗ is ∇(ψ∗)=Z.
Theorem 4.3. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a finite group G. Then (α,β)-Pythagorean fuzzy normalizer ∇(ψ∗) is a subgroup of the group G.
Proof. Let u and v be two elements of ∇(ψ∗).
Then we have
μα(p)=μα(upu−1), νβ(p)=νβ(upu−1) ∀p∈G | (4.1) |
and
μα(q)=μα(vqv−1), νβ(q)=νβ(vqv−1) ∀q∈G. | (4.2) |
Clearly e∈∇(ψ∗), so ∇(ψ∗) is a non-empty finite subset of G.
To show that ∇(ψ∗) is a subgroup of G, it is enough to show uv∈∇(ψ∗).
Now put p=vqv−1 in (4.1), we have
μα(vqv−1)=μα(uvqv−1u−1) and νβ(vqv−1)=νβ(uvqv−1u−1). | (4.3) |
Then by applying (4.2) in (4.3), we get μα(q)=μα(uvqv−1u−1) and νβ(q)=νβ(uvqv−1u−1).
This implies that μα(q)=μα((uv)q(uv)−1) and νβ(q)=νβ((uv)q(uv)−1).
Therefore uv∈∇(ψ∗).
Hence ∇(ψ∗) is a subgroup of the group G.
Proposition 4.1. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then ψ∗=(μα,νβ) is an (α,β)-PFNSG of the group G if and only if ∇(ψ∗)=G.
Proof. We have ∇(ψ∗)={u| u∈G, μα(p)=μα(upu−1) and νβ(u)=νβ(upu−1) for all p∈G.
Therefore ∇(ψ∗)⊆G.
Let ψ∗=(μα,νβ) be a (α,β)-PFNSG of a group G.
Then we have μα(u)=μα(vuv−1) and νβ(u)=νβ(vuv−1) for all u,v∈G.
This shows that G⊆∇(ψ∗).
Hence ∇(ψ∗)=G.
Conversely, let ∇(ψ∗)=G.
Then μα(u)=μα(vuv−1) and νβ(u)=νβ(vuv−1) for all u,v∈G.
Therefore ψ∗=(μα,νβ) is an (α,β)-PFNSG of the group G.
Proposition 4.2. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then ψ∗ is an (α,β)-PFNSG of the group ∇(ψ∗).
Proof. Let u and v be any elements of ∇(ψ∗).
Then μα(w)=μα(uwu−1) and νβ(w)=νβ(uwu−1) for all w∈G.
Since ∇(ψ∗) is a subgroup of the group G, then vu∈∇(ψ∗).
Putting w=vu in the above relation we get
μα(vu)=μα(uvuu−1) and νβ(vu)=νβ(uvuu−1).
This implies that μα(vu)=μα(uv) and νβ(vu)=νβ(uv), which is a necessary condition for an (α,β)-PFSG to be an (α,β)-PFNSG of a group.
Hence ψ∗ is an (α,β)-PFNSG of the group ∇(ψ∗).
Definition 4.3. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then (α,β)-Pythagorean fuzzy centralizer of ψ∗ is denoted by Cψ∗ and defined by Cψ∗={u| u∈G, μα(uv)=μα(vu) and νβ(uv)=νβ(vu)} for all v∈G.
Example 4.3. We consider the (α,β)-PFSG ψ∗ of the Klein's 4-group V4 in Example 3.1.
Then the (α,β)-Pythagorean fuzzy centralizer of ψ∗ is Cψ∗=V4.
Theorem 4.4. (α,β)-Pythagorean fuzzy centralizer of an (α,β)-PFSG of a group is a subgroup of that group.
Proof. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G.
Then (α,β)-Pythagorean fuzzy centralizer of ψ∗ is given by
Cψ∗={u| u∈G, μα(uv)=μα(vu) and νβ(uv)=νβ(vu)} for all v∈G.
Let p and q be any two elements of Cψ∗. Now for any r∈G, we have
μα((pq)r)=μα(p(qr))=μα((qr)p)=μα(q(rp))=μα((rp)q)=μα(r(pq)). |
Therefore μα((pq)r)=μα(r(pq)) for all r∈G.
Similarly, we can show that νβ((pq)r)=νβ(r(pq)) for all r∈G.
This shows that pq∈Cψ∗. Again for any s∈G, we have
μα(p−1s)=μα((s−1p)−1)=μα(s−1p)=μα(ps−1)=μα((sp−1)−1)=μα(sp−1). |
Therefore μα(p−1s)=μα(sp−1) for all s∈G.
Similarly, we can prove that νβ(p−1s)=νβ(sp−1) for all s∈G.
This proves that for p∈Cψ∗, we have p−1∈Cψ∗.
Hence Cψ∗ is a subgroup of the group G.
In this section, we introduce the notion of (α,β)-Pythagorean fuzzy quotient group of an (α,β)-Pythagorean fuzzy subgroup and define the index of an (α,β)-Pythagorean fuzzy subgroup. We prove Lagrange's theorem for (α,β)-Pythagorean fuzzy subgroup.
Theorem 5.1. Let ψ∗=(μα,νβ) be an (α,β)-PFNSG of a finite group G and Φ be the collection of all (α,β)-Pythagorean fuzzy cosets of ψ∗ in G. Then Φ forms a group under the composition uψ∗∘vψ∗=(uv)ψ∗ for all u,v∈G.
Proof. To show (Φ,∘) is a group under the composition uψ∗∘vψ∗=(uv)ψ∗ for all u,v∈G, first we have to show that this is a well defined binary operation.
Let u,v,w,x be elements of G such that uψ∗=wψ∗ and vψ∗=xψ∗.
That is uμα(p)=wμα(p), uνβ(p)=wνβ(p) and vμα(p)=xμα(p), vνβ(p)=xνβ(p)∀p∈G.
This implies that for all p∈G,
μα(u−1p)=μα(w−1p), νβ(u−1p)=νβ(w−1p) | (5.1) |
and
μα(v−1p)=μα(x−1p), νβ(v−1p)=νβ(x−1p). | (5.2) |
We have to show that uψ∗∘vψ∗=wψ∗∘xψ∗.
That is (uv)ψ∗=(wx)ψ∗.
We have (uv)μα(p)=μα(v−1u−1p) and (wx)μα(p)=μα(x−1w−1p)∀p∈G. Now
μα(v−1u−1p)=μα(v−1u−1ww−1p)=μα(v−1u−1wxx−1w−1p)≥μα(v−1u−1wx)∧μα(x−1w−1p). |
So,
μα(v−1u−1p)≥μα(v−1u−1wx)∧μα(x−1w−1p) ∀p∈G. | (5.3) |
Putting p=u−1wx in (5.2), we get
μα(v−1u−1wx)=μα(x−1u−1wx). |
Since ψ∗=(μα,νβ) is an (α,β)-PFNSG of G, then μα(x−1u−1wx)=μα(u−1w).
Putting p=w in (5.1), we get
μα(u−1w)=μα(w−1w)=μα(e). |
Consequently, μα(v−1u−1wx)=μα(e).
So from (5.3), we have μα(v−1u−1p)≥μα(x−1w−1p).
Similarly, we can show that μα(x−1w−1p)≥μα(v−1u−1p).
Therefore μα(v−1u−1p)=μα(x−1w−1p), ∀p∈G.
Similarly, we can prove that νβ(v−1u−1p)=νβ(x−1w−1p), ∀p∈G.
This shows that, (uv)μα(p)=(wx)μα(p) and (uv)νβ(p)=(wx)νβ(p), ∀p∈G.
Consequently, (uv)ψ∗=(wx)ψ∗.
Hence the composition is well defined on Φ.
Since G is a finite group, then there is no ambiguity in closed and associativity of the composition on Φ.
Clearly, eψ∗ is the identity of Φ.
Also, inverse of any element uψ∗ of Φ is u−1ψ∗∈Φ.
That is (uψ∗)∘(u−1ψ∗)=eψ∗.
Hence (Φ,∘) is a group under the composition uψ∗∘vψ∗=(uv)ψ∗ for all u,v∈G.
Definition 5.1. Order of the group (Φ,∘), collection of all (α,β)-Pythagorean fuzzy cosets of an (α,β)-PFNSG ψ∗ in a finite group G is called the index of ψ∗ and denoted by [G:ψ∗].
Example 5.1. Let us consider the group G=(Z3,+3), where '+3' is addition of integers modulo 3.
Define the α-membership value and β-non-membership value of the elements of Z3 by
μα(0)=0.8, μα(1)=0.7, μα(2)=0.7,νβ(0)=0.1, νβ(1)=0.2, νβ(2)=0.2. |
We can easily varify that ψ∗=(μα,νβ) is an (α,β)-PFNSG of the group G=(Z3,+3).
Then the collection of all (α,β)-Pythagorean fuzzy cosets of ψ∗, Φ={0ψ∗,1ψ∗,2ψ∗}.
Now (1μα)(1)=μα(1−1+31)=μα(2+31)=μα(0)=0.8 and (2μα)(1)=μα(2−1+31)=μα(1+31)=μα(2)=0.7.
Therefore (1μα)(1)≠(2μα)(1). This shows that 1ψ∗≠2ψ∗.
Hence the index of ψ∗, [G:ψ∗]=3.
Theorem 5.2. Let ψ∗=(μα,νβ) be an (α,β)-PFNSG of a finite group G. Then an (α,β)-PFS Ψ∗=(μα∗,νβ∗) of Φ defined by μα∗(uμα)=μα(u) and νβ∗(uνβ)=νβ(u) is an (α,β)-PFSG of the group (Φ,∘) for all u∈G.
Proof. Let uψ∗ and vψ∗ be any two elements of Φ, where u,v∈G. Now
μα∗((uμα)∘(vμα))=μα∗((uv)μα)=μα(uv)≥μα(u)∧μα(v)=μα∗(uμα)∧μα∗(vμα). |
Therefore μα∗((uμα)∘(vμα))≥μα∗(uμα)∧μα∗(vμα).
Similarly, we can show that νβ∗((uνβ)∘(vνβ))≤νβ∗(uνβ)∨νβ∗(vνβ).
Again, μα∗(u−1μα)=μα(u−1)=μα(u)=μα∗(uμα).
Similarly, we have νβ∗(u−1νβ)=νβ∗(uνβ).
Hence Ψ∗=(μα∗,νβ∗) is an (α,β)-PFSG of the group (Φ,∘).
Definition 5.2. Let ψ∗=(μα,νβ) be an (α,β)-PFNSG of a finite group G. Then the (α,β)-PFSG Ψ∗=(μα∗,νβ∗) of the group (Φ,∘) is called (α,β)-Pythagorean fuzzy quotient group of ψ∗.
Example 5.2. We consider the (α,β)-PFNSG ψ∗ of the group (Z,+3) in Example 5.1.
Therefore the collection of all (α,β)-Pythagorean fuzzy cosets of ψ∗, Φ={0ψ∗,1ψ∗,2ψ∗}.
We define an (α,β)-PFS Ψ∗=(μα∗,νβ∗) of Φ by μα∗(uμα)=μα(u) and νβ∗(uνβ)=νβ(u).
Then μα∗(0μα)=μα(0)=0.8, μα∗(1μα)=μα(1)=0.7, μα∗(2μα)=μα(2)=0.7 and
νβ∗(0νβ)=νβ(0)=0.1, νβ∗(1νβ)=νβ(1)=0.2, νβ∗(2νβ)=νβ(2)=0.2.
Now we can easily check that Ψ∗=(μα∗,νβ∗) is an (α,β)-PFSG of Φ.
Therefore Ψ∗=(μα∗,νβ∗) is the (α,β)-Pythagorean fuzzy quotient group of ψ∗.
Theorem 5.3. Let ψ∗=(μα,νβ) be an (α,β)-PFNSG of a finite group G and Φ be the collection of all (α,β)-Pythagorean fuzzy cosets of ψ∗ in G. We define a mapping Δ:G→Φ by Δ(u)=uψ∗ for all u∈G. Then Δ is a group homomorphism from G to Φ with kernel (Δ)={u∈G| μα(u)=μα(e), νβ(u)=νβ(e).
Proof. We have Δ:G→Φ defined by Δ(u)=uψ∗ for all u∈G.
Let u and v be any elements of G. Then we have Δ(uv)=(uv)ψ∗=(uψ∗)∘(vψ∗)=Δ(u)∘Δ(v).
This proves that Δ is a group homomorphism from G to Φ.
Now the kernel of Δ is given by
ker(Δ)={u∈G|Δ(u)=eψ∗}={u∈G|uψ∗=eψ∗}={u∈G|uψ∗(v)=eψ∗(v), ∀v∈G}={u∈G|uμα(v)=eμα(v), uνβ(v)=eνβ(v), ∀v∈G}={u∈G|μα(u−1v)=μα(v), νβ(u−1v)=νβ(v), ∀v∈G}={u∈G|μα(u)=μα(e), νβ(u)=νβ(e)}. |
Hence ker(Δ)={u∈G|μα(u)=μα(e), νβ(u)=νβ(e)}.
Remark 5.1. ker(Δ) is a subgroup of the group G.
Theorem 5.4. (An approach to Lagrange's theorem in (α,β)-PFSG)
Let ψ∗=(μα,νβ) be an (α,β)-PFNSG of a finite group G. Then [G:ψ∗] divides O(G).
Proof. We have ψ∗=(μα,νβ) is an (α,β)-PFNSG of a finite group G.
Then Φ={uψ∗|u∈G}, the collection of all (α,β)-PFC of ψ∗ in G is also finite.
In Theorem 5.3, We have seen that there is a group homomorphism Δ from G to Φ by Δ(u)=uψ∗ for all u∈G.
We set M={u∈G|uψ∗=eψ∗}.
Then M=ker(Δ), which is a subgroup of G.
Now, we decompose G as a disjoint union of left cosets of G modulo m as follows
G=u1M ∪ u2M ∪ u3M ∪…∪umM |
where umM=M.
We have to show that there is a one-one correspondence between cosets uiM of G and the elements of Φ.
We consider any coset uiM of G and any element m∈M.
Then we have Δ(uim)=uimψ∗=(uiψ∗)∘(mψ∗)=(uiψ∗)∘(eψ∗)=(uiψ∗).
This shows that Δ maps every element of uiM to the (α,β)-PFC uiψ∗.
Now, we construct a mapping Δ_ between {uiM| 1≤i≤m} and Φ by Δ_(uiM)=uiψ∗.
Let upψ∗=uqψ∗. Then we have u−1qupψ∗=eψ∗.
Therefore u−1qup∈M.
This implies that upM=uqM.
Hence Δ_(uiM)=uiψ∗ is a one-one mapping.
Therefore we can conclude that the number of distinct cosets is equal to the cardinality of Φ.
That is [G:M]=[G:ψ∗].
Since [G:M] divides O(G), then [G:ψ∗] must divide O(G).
Lagrange's theorem is a very useful theorem in finite group theory. Now we will give some applications of this theorem in (α,β)-Pythagorean fuzzy subgroups.
Corollary 5.1. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then O(u)|(α,β)-PFO (u)ψ∗ for all u∈G.
Proof. Let u be any element of G and O(u)=k, where k is a positive integer.
Then uk=e, where e is the identity element of G.
We consider H=<u> is a subgroup of G.
Now, μα(u2)≥μα(u)∧μα(u)=μα(u) and νβ(u2)≤νβ(u)∨νβ(u)=νβ(u).
Thus by induction, we can show that μα(up)≥μα(u) and νβ(up)≤νβ(u) for all positive integer p.
So, u, u2, …, uk∈Ω(u). Consequently, H⊆Ω(u).
Therefore H is a subgroup of Ω(u).
Thus by Lagrange's theorem, O(H)|O(Ω(u)).
Therefore O(u)|(α,β)-PFO (u)ψ∗.
Since u is an arbitrary element of G, O(u)|(α,β)-PFO (u)ψ∗ for all u∈G.
Corollary 5.2. Let ψ∗=(μα,νβ) be an (α,β)-PFSG of a group G. Then (α,β)-Pythagorean fuzzy order of each element of G in ψ∗ divides the order of the group.
Proof. According to the definition of (α,β)-Pythagorean fuzzy order of an element of G in ψ∗, (α,β)-PFO (u)ψ∗=O(Ω(u)) for all u∈G.
From Theorem 3.1, Ω(u) is a subgroup of the group G.
Therefore by Lagrange's theorem, the order of Ω(u) divides the order of the group (G,∘).
That is O(Ω(u))|O(G).
This implies that (α,β)-PFO (u)ψ∗|O(G) for all u∈G.
Hence (α,β)-Pythagorean fuzzy order of each element of G in ψ∗ divides the order of the group.
The purpose of this paper is to explore the study of (α,β)-Pythagorean fuzzy subgroups. The whole paper revolved around the development of theories for fuzzification of Lagrange's theorem in (α,β)-Pythagorean fuzzy subgroups. All the sections of this paper are arranged in such a way that we can approach Lagrange's theorem. We have introduced the concept of relative subgroup of a group and defined the notion of (α,β)-Pythagorean fuzzy order of an element in (α,β)-PFSG. Various algebraic attributes of it are discussed. We have established a relation between order and (α,β)-Pythagorean fuzzy order of an element in a group and defined the extension principle for (α,β)-Pythagorean fuzzy sets. It is shown that homomorphic image and pre-image of an (α,β)-PFSG is also an (α,β)-PFSG. Further, the concept of (α,β)-Pythagorean fuzzy normalizer and (α,β)-Pythagorean fuzzy centralizer of an (α,β)-PFSG are given. We have proved that (α,β)-Pythagorean fuzzy normalizer and (α,β)-Pythagorean fuzzy centralizer of an (α,β)-PFSG are subgroups of that group. Moreover, we have introduced (α,β)-Pythagorean fuzzy quotient group and defined the index of an (α,β)-PFSG. Finally, we have presented the (α,β)-Pythagorean fuzzy version of Lagrange's theorem. We have produced some applications of Lagrange's theorem in (α,β)-Pythagorean fuzzy subgroups. In future, we will work on the number of (α,β)-Pythagorean fuzzy subgroups of a group.
This research work of first author is sponsored by Council of Scientific and Industrial Research (CSIR), Human Resource Development Group (HRDG), INDIA. Sanctioned file no. is 09/599(0081)/2018-EMR-I. This work is partially supported by Research Council Faroe Islands and University of the Faroe Islands for the third author. The authors are grateful to the anonymous referees for a careful checking of the details and for helpful comments that improved the overall presentation of this paper.
All authors declare that there is no conflict of interest.
[1] |
O. A. Ilhan, A. Esen, H. Bulut, H. M. Baskonus, Singular solitons in the pseudo-parabolic model arising in nonlinear surface waves, Results Phys., 12 (2019), 1712–1715. doi: 10.1016/j.rinp.2019.01.059
![]() |
[2] | H. F. Ismael, Carreau-Casson fluids flow and heat transfer over stretching plate with internal heat source/sink and radiation, Int. J. Adv. Appl. Sci. J., 4 (2017), 11–15. |
[3] |
A. Zeeshan, H. F. Ismael, M. A. Yousif, T. Mahmood, S. U. Rahman, Simultaneous effects of slip and wall stretching/shrinking on radiative flow of magneto nanofluid through porous medium, J. Magn., 23 (2018), 491–498. doi: 10.4283/JMAG.2018.23.4.491
![]() |
[4] | H. F. Ismael, K. K. Ali, MHD casson flow over an unsteady stretching sheet, Adv. Appl. Fluid Mech., 20 (2017), 533–541. |
[5] | M. A. Yousif, B. A. Mahmood, K. K. Ali, H. F. Ismael, Numerical simulation using the homotopy perturbation method for a thin liquid film over an unsteady stretching sheet, Int. J. Pure Appl. Math., 107 (2016), 289–300. |
[6] | H. M. Baskonus, H. Bulut, On the numerical solutions of some fractional ordinary differential equations by fractional Adams-Bashforth-Moulton method, Open Math., 13 (2015), 4255–4270. |
[7] |
K. K. Ali, R. Yilmazer, H. M. Baskonus, H. Bulut, New wave behaviors and stability analysis of the Gilson-Pickering equation in plasma physics, Indian J. Phys., 95 (2021), 1003–1008. doi: 10.1007/s12648-020-01773-9
![]() |
[8] | H. Ismael, H. Bulut, On the wave solutions of (2+1)-dimensional time-fractional Zoomeron equation, Konuralp J. Math., 8 (2020), 410–418. |
[9] |
C. Cattani, T. A. Sulaiman, H. M. Baskonus, H. Bulut, On the soliton solutions to the Nizhnik-Novikov-Veselov and the Drinfel'd-Sokolov systems, Opt. Quant. Electron., 50 (2018), 1–11. doi: 10.1007/s11082-017-1266-2
![]() |
[10] |
H. Bulut, T. A. Sulaiman, H. M. Baskonus, Dark, bright optical and other solitons with conformable space-time fractional second-order spatiotemporal dispersion, Optik, 163 (2018), 1–7. doi: 10.1016/j.ijleo.2018.02.086
![]() |
[11] |
J. Manafian, M. Foroutan, A. Guzali, Applications of the ETEM for obtaining optical soliton solutions for the Lakshmanan-Porsezian-Daniel model, Eur. Phys. J. Plus, 132 (2017), 1–22. doi: 10.1140/epjp/i2017-11280-8
![]() |
[12] |
W. Liu, D. Q. Qiu, Z. W. Wu, J. S. He, Dynamical behavior of solution in integrable nonlocal Lakshmanan-Porsezian-Daniel equation, Commun. Theor. Phys., 65 (2016), 671. doi: 10.1088/0253-6102/65/6/671
![]() |
[13] |
X. B. Wang, B. Han, Vector nonlinear waves in a two-component Bose-Einstein condensate system, J. Phys. Soc. Japan, 89 (2020), 124003. doi: 10.7566/JPSJ.89.124003
![]() |
[14] | A. Biswas, A. H. Kara, R. T. Alqahtani, M. Z. Ullah, H. Triki, M. Belic, Conservation laws for optical solitons of lakshmanan-porsezian-daniel model, Proc. Roman. Acad. Ser. A, 19 (2018), 39–44. |
[15] |
H. M. Baskonus, G. Yel, H. Bulut, Novel wave surfaces to the fractional Zakharov-Kuznetsov-Benjamin-Bona-Mahony equation, AIP Conf. Proc., 1863 (2017), 560084. doi: 10.1063/1.4992767
![]() |
[16] |
H. M. Baskonus, H. Bulut, Exponential prototype structures for (2+1)-dimensional Boiti-Leon-Pempinelli systems in mathematical physics, Waves Random Complex Media, 26 (2016), 189–196. doi: 10.1080/17455030.2015.1132860
![]() |
[17] |
H. M. Baskonus, H. Bulut, On the complex structures of Kundu-Eckhaus equation via improved Bernoulli sub-equation function method, Waves Random Complex Media, 25 (2015), 720–728. doi: 10.1080/17455030.2015.1080392
![]() |
[18] |
A. Javid, N. Raza, Singular and dark optical solitons to the well posed Lakshmanan-Porsezian-Daniel model, Optik, 171 (2018), 120–129. doi: 10.1016/j.ijleo.2018.06.021
![]() |
[19] |
J. Vega-Guzman, A. Biswas, M. F. Mahmood, Q. Zhou, S. P. Moshokoa, M. Belic, Optical solitons with polarization mode dispersion for Lakshmanan-Porsezian-Daniel model by the method of undetermined coefficients, Optik, 171 (2018), 114–119. doi: 10.1016/j.ijleo.2018.06.040
![]() |
[20] | Z. Hammouch, T. Mekkaoui, Traveling-wave solutions of the generalized Zakharov equation with time-space fractional derivatives, J. MESA, 5 (2014), 489–498. |
[21] |
A. Biswas, Y. Yıldırım, E. Yaşar, R. T. Alqahtani, Optical solitons for Lakshmanan-Porsezian-Daniel model with dual-dispersion by trial equation method, Optik, 168 (2018), 432–439. doi: 10.1016/j.ijleo.2018.04.087
![]() |
[22] |
A. Biswas, M. Ekicid, A. Sonmezoglud, H. Trikie, F. B. Majida, Q. Zhou, et al., Optical solitons with Lakshmanan-Porsezian-Daniel model using a couple of integration schemes, Optik, 158 (2018), 705–711. doi: 10.1016/j.ijleo.2017.12.190
![]() |
[23] |
C. M. Khalique, I. E. Mhlanga, Travelling waves and conservation laws of a (2+1)-dimensional coupling system with Korteweg-de Vries equation, Appl. Math. Nonlinear Sci., 3 (2018), 241–254. doi: 10.21042/AMNS.2018.1.00018
![]() |
[24] |
J. Manafian, M. Lakestani, A. Bekir, Study of the analytical treatment of the (2+1)-dimensional zoomeron, the duffing and the SRLW equations via a new analytical approach, Int. J. Appl. Comput. Math., 2 (2016), 243–268. doi: 10.1007/s40819-015-0058-2
![]() |
[25] |
Z. Hammouch, T. Mekkaoui, P. Agarwal, Optical solitons for the Calogero-Bogoyavlenskii-Schiff equation in (2+1) dimensions with time-fractional conformable derivative, Eur. Phys. J. Plus, 133 (2018), 1–6. doi: 10.1140/epjp/i2018-11804-8
![]() |
[26] |
M. Dewasurendra, K. Vajravelu, On the method of inverse mapping for solutions of coupled systems of nonlinear differential equations arising in nanofluid flow, heat and mass transfer, Appl. Math. Nonlinear Sci., 3 (2018), 1–14. doi: 10.1504/IJANS.2018.097323
![]() |
[27] |
X. B. Wang, S. F. Tian, T. T. Zhang, Characteristics of the breather and rogue waves in a (2+1)-dimensional nonlinear Schrödinger equation, Proc. Am. Math. Soc., 146 (2018), 3353–3365. doi: 10.1090/proc/13765
![]() |
[28] |
L. D. Moleleki, T. Motsepa, C. M. Khalique, Solutions and conservation laws of a generalized second extended (3+1)-dimensional Jimbo-Miwa equation, Appl. Math. Nonlinear Sci., 3 (2018), 459–474. doi: 10.2478/AMNS.2018.2.00036
![]() |
[29] |
A. J. M. Jawad, M. J. Abu-AlShaeer, A. Biswas, Q. Zhou, S. Moshokoa, M. Belic, Optical solitons to Lakshmanan-Porsezian-Daniel model for three nonlinear forms, Optik, 160 (2018), 197–202. doi: 10.1016/j.ijleo.2018.01.121
![]() |
[30] |
X. B. Wang, S. F. Tian, L. L. Feng, T. T. Zhang, On quasi-periodic waves and rogue waves to the (4+1)-dimensional nonlinear Fokas equation, J. Math. Phys., 59 (2018), 073505. doi: 10.1063/1.5046691
![]() |
[31] |
H. Yépez-Martínez, J. F. Gómez-Aguilar, M-derivative applied to the soliton solutions for the Lakshmanan-Porsezian-Daniel equation with dual-dispersion for optical fibers, Opt. Quant. Electron., 51 (2019), 31. doi: 10.1007/s11082-018-1740-5
![]() |
[32] |
X. Yang, Y. Yang, C. Cattani, C. M. Zhu, A new technique for solving the 1-D Burgers equation, Therm. Sci., 21 (2017), 129–136. doi: 10.2298/TSCI17S1129Y
![]() |
[33] |
J. J. Mao, S. F. Tian, L. Zou, T. T. Zhang, Stability analysis, optical solitons and complexitons of the two-dimensional complex Ginzburg-Landau equation, J. Electromagn. Waves Appl., 33 (2019), 1224–1238. doi: 10.1080/09205071.2019.1606736
![]() |
[34] | K. Khan, M. A. Akbar, The exp(−Φ(ξ))-Expansion method for finding travelling wave solutions of Vakhnenko-Parkes equation, Int. J. Dyn. Syst. Differ. Equations, 5 (2014), 72–83. |
[35] |
C. Cattani, T. A. Sulaiman, H. M. Baskonus, H. Bulut, Solitons in an inhomogeneous Murnaghan's rod, Eur. Phys. J. Plus, 133 (2018), 1–11. doi: 10.1140/epjp/i2018-11804-8
![]() |
[36] |
J. J. Mao, S. F. Tian, L. Zou, T. T. Zhang, X. J. Yan, Bilinear formalism, lump solution, lumpoff and instanton/rogue wave solution of a (3+1)-dimensional B-type Kadomtsev-Petviashvili equation, Nonlinear Dyn., 95 (2019), 3005–3017. doi: 10.1007/s11071-018-04736-2
![]() |
[37] | D. Liu, X. Ju, O. A. Ilhan, J. Manafian, H. F. Ismael, Multi-waves, breathers, periodic and cross-kink solutions to the (2+1)-dimensional variable-coefficient Caudrey-Dodd-Gibbon-Kotera-Sawada equation, J. Ocean Univ. China, 20 (2020), 35–44. |
[38] |
X. W. Yan, S. F. Tian, M. J. Dong, L. Zhou, T. T. Zhang, Characteristics of solitary wave, homoclinic breather wave and rogue wave solutions in a (2+1)-dimensional generalized breaking soliton equation, Comput. Math. Appl., 76 (2018), 179–186. doi: 10.1016/j.camwa.2018.04.013
![]() |
[39] |
X. W. Yan, S. F. Tian, M. J. Dong, L. Zou, Bäcklund transformation, rogue wave solutions and interaction phenomena for a (3+1)-dimensional B-type Kadomtsev-Petviashvili-Boussinesq equation, Nonlinear Dyn., 92 (2018), 709–720. doi: 10.1007/s11071-018-4085-5
![]() |
[40] |
S. F. Tian, H. Q. Zhang, On the integrability of a generalized variable-coefficient Kadomtsev-Petviashvili equation, J. Phys. A: Math. Theor., 45 (2012), 055203. doi: 10.1088/1751-8113/45/5/055203
![]() |
[41] |
X. B. Wang, S. F. Tian, C. Y. Qin, T. T. Zhang, Lie symmetry analysis, conservation laws and exact solutions of the generalized time fractional Burgers equation, Europhys. Lett., 114 (2016), 20003. doi: 10.1209/0295-5075/114/20003
![]() |
[42] |
S. Tian, H. Zhang, On the integrability of a generalized variable‐coefficient forced Korteweg‐de Vries equation in fluids, Stud. Appl. Math., 132 (2014), 212–246. doi: 10.1111/sapm.12026
![]() |
[43] |
B. H. Wang, Y. Y. Wang, C. Q. Dai, Y. X. Chen, Dynamical characteristic of analytical fractional solitons for the space-time fractional Fokas-Lenells equation, Alex. Eng. J., 59 (2020), 4699–4707. doi: 10.1016/j.aej.2020.08.027
![]() |
[44] | B. H. Wang, Y. Y. Wang, C. Q. Dai, Fractional optical solitons with stochastic properties of a wick-type stochastic fractional NLSE driven by the Brownian motion, Waves Random Complex Media, (2021), 1–14. Available from: https://doi.org/10.1080/17455030.2021.1905910. |
[45] | A. Nabti, B. Ghanbari, Global stability analysis of a fractional SVEIR epidemic model, Math. Methods Appl. Sci., 2021. Available from: https://doi.org/10.1002/mma.7285. |
[46] | H. F. Ismael, H. M. Baskonus, H. Bulut, Abundant novel solutions of the conformable Lakshmanan-Porsezian-Daniel model, Discrete Contin. Dyn. Syst.-S, 2020. Available from: https://doi.org/10.3934/dcdss.2020398. |
[47] |
P. Lu, B. Wang, C. Dai, Fractional traveling wave solutions of the (2+1)‐dimensional fractional complex Ginzburg-Landau equation via two methods, Math. Methods Appl. Sci., 43 (2020), 8518–8526. doi: 10.1002/mma.6511
![]() |
[48] |
J. J. Fang, D. S. Mou, Y. Y. Wang, H. C. Zhang, C. Q. Dai, Y. X. Chen, Soliton dynamics based on exact solutions of conformable fractional discrete complex cubic Ginzburg-Landau equation, Results Phys., 20 (2021), 103710. doi: 10.1016/j.rinp.2020.103710
![]() |
[49] | B. Ghanbari, S. Kumar, A study on fractional predator-prey-pathogen model with Mittag-Leffler kernel‐based operators, Numer. Meth. Part. D. E., 2020. Available from: https://doi.org/10.1002/num.22689. |
[50] |
B. Ghanbari, On the modeling of an eco-epidemiological model using a new fractional operator, Results Phys., 21 (2021), 103799. doi: 10.1016/j.rinp.2020.103799
![]() |
[51] |
L. J. Yu, G. Z. Wu, Y. Y. Wang, Y. X. Chen, Traveling wave solutions constructed by Mittag-Leffler function of a (2+1)-dimensional space-time fractional NLS equation, Results Phys., 17 (2020), 103156. doi: 10.1016/j.rinp.2020.103156
![]() |
[52] | J. Boussinesq, Théorie des ondes et des remous qui se propagent le long d'un canal rectangulaire horizontal, en communiquant au liquide contenu dans ce canal des vitesses sensiblement pareilles de la surface au fond., J. Math. Pures Appl., (1872), 55–108. Available from: http://eudml.org/doc/234248. |
[53] |
J. Manafian, M. F. Aghdaei, Abundant soliton solutions for the coupled Schrödinger-Boussinesq system via an analytical method, Eur. Phys. J. Plus, 131 (2016), 1–29. doi: 10.1140/epjp/i2016-16001-3
![]() |
[54] |
M. S. Osman, J. A. T. Machado, D. Baleanu, On nonautonomous complex wave solutions described by the coupled Schrödinger-Boussinesq equation with variable-coefficients, Opt. Quant. Electron., 50 (2018), 1–11. doi: 10.1007/s11082-017-1266-2
![]() |
[55] |
G. Mu, Z. Qin, Rogue waves for the coupled Schrödinger-Boussinesq equation and the coupled Higgs equation, J. Phys. Soc. Japan, 81 (2012), 084001. doi: 10.1143/JPSJ.81.084001
![]() |
[56] |
D. Bai, J. Wang, The time-splitting Fourier spectral method for the coupled Schrödinger-Boussinesq equations, Commun. Nonlinear Sci. Numer. Simul., 17 (2012), 1201–1210. doi: 10.1016/j.cnsns.2011.08.012
![]() |
[57] |
S. S. Ray, A novel approach with time-splitting spectral technique for the coupled Schrödinger-Boussinesq equations involving Riesz fractional derivative, Commun. Theor. Phys., 68 (2017), 301. doi: 10.1088/0253-6102/68/3/301
![]() |
[58] |
C. Banquet, L. C. F. Ferreira, E. J. Villamizar-Roa, On the Schrödinger-Boussinesq system with singular initial data, J. Math. Anal. Appl., 400 (2013), 487–496. doi: 10.1016/j.jmaa.2012.10.047
![]() |
[59] | Z. F. Liang, Modulational instability and stationary waves for the coupled generalized Schrödinger-Boussinesq system, Z. Naturforsch. A, 66 (2011), 143–150. |
[60] | A. Kılıcman, R. Abazari, Travelling wave solutions of the Schrödinger-Boussinesq system, In: Abstract and Applied Analysis, Hindawi, 2012. |
[61] |
A. Atangana, D. Baleanu, New fractional derivatives with non-local and non-singular kernel: Theory and application to heat transfer model, Therm. Sci., 20 (2016), 763–769. doi: 10.2298/TSCI160111018A
![]() |
[62] |
J. Manafian, M. F. Aghdaei, Abundant soliton solutions for the coupled Schrödinger-Boussinesq system via an analytical method, Eur. Phys. J. Plus, 131 (2016), 1–29. doi: 10.1140/epjp/i2016-16001-3
![]() |
[63] | X. Wen, Construction of new exact rational form non-travelling wave solutions to the (2+1)-dimensional generalized Broer-Kaup system, Appl. Math. Comput., 217 (2010), 1367–1375. |
[64] |
D. Guo, S. F. Tian, T. T. Zhang, J. Li, Modulation instability analysis and soliton solutions of an integrable coupled nonlinear Schrödinger system, Nonlinear Dyn., 94 (2018), 2749–2761. doi: 10.1007/s11071-018-4522-5
![]() |
1. | Supriya Bhunia, Ganesh Ghorai, Qin Xin, Muhammad Gulzar, On the Algebraic Attributes of (α, β)-Pythagorean Fuzzy Subrings and (α, β)-Pythagorean Fuzzy Ideals of Rings, 2022, 10, 2169-3536, 11048, 10.1109/ACCESS.2022.3145376 | |
2. | Hongping Liu, Qian Ge, Ruiju Wei, On a new kind of ordered fuzzy group, 2022, 43, 10641246, 187, 10.3233/JIFS-212027 | |
3. | Supriya Bhunia, Ganesh Ghorai, Marwan Amin Kutbi, Muhammad Gulzar, Md Ashraful Alam, Sarfraz Nawaz Malik, On the Algebraic Characteristics of Fuzzy Sub e-Groups, 2021, 2021, 2314-8888, 1, 10.1155/2021/5253346 | |
4. | Abd Ulazeez Alkouri, Eman A. Abuhijleh, Eman Almuhur, Ghada Alafifi, Sana Abu-Ghurra, Subgroups and Homomorphism Structures of Complex Pythagorean Fuzzy Sets, 2024, 23, 2224-2880, 614, 10.37394/23206.2024.23.65 |