A Comprehensive Study on Pythagorean Fuzzy Normal Subgroups and Pythagorean Fuzzy Isomorphisms

Abstract

The Pythagorean fuzzy set is an extension of the intuitionistic fuzzy set used to handle uncertain circumstances in various decisions making problems. Group theory is a mathematical technique for dealing with problems of symmetry. This study deals with Pythagorean fuzzy group theory. In this article, we characterize the notion of a Pythagorean fuzzy subgroup and examine various algebraic properties of this concept. An extensive study on Pythagorean fuzzy cosets of a Pythagorean fuzzy subgroup, Pythagorean fuzzy normal subgroups of a group and Pythagorean fuzzy normal subgroup of a Pythagorean fuzzy subgroup is performed. We define the notions of Pythagorean fuzzy homomorphism and isomorphism and generalize the notion of factor group of a classical group $W$ relative to its normal subgroup $S$ by defining a PFSG of $\raisebox{1ex}{$W$}\!\left/ \!\raisebox{-1ex}{$S$}\right.$. At the end, the Pythagorean fuzzy version of fundamental theorems of isomorphisms is proved.

1. Introduction

Zadeh [1] is the pioneer of fuzzy set theory used to deal with uncertainty in real-life problems. A fuzzy subset $A$ of a crisp set $X$ is expressed by the function ${\mu }_A:X\to \left[0,1\right]$ and can be written as $A=\left\{\left(x,{\mu }_A\left(x\right)\right):x\in X\right\}$. The function ${\mu }_A$ is called the membership function of $A$. It can be easily observed that a fuzzy set is a generalization of a crisp set where the membership function of a set $A$ is the characteristic function of $A$, which is equal to 0 if $x\notin A$ and 1 if $x\in A$. After the development of fuzzy set theory, numerous concepts and abstractions have been extended to cope with uncertainty and vagueness in an effective way [2,3,4,5,6]. With the passage of time, researchers noticed that the membership function alone is not enough to manage certain kinds of situations. Therefore, Atanassov [7] linked a negative membership with the positive membership function in a fuzzy set and put forward the notion of intuitionistic fuzzy set (IFS) $A$ of a classical set $X$. This is in fact an object of the type $A=\left\{\left(x,{\mu }_A\left(x\right),{\nu }_A\left(x\right)\right): x\in X, {\mu }_A\left(x\right)+{\nu }_A\left(x\right)\le 1\right\}$, where ${\mu }_X$:$X\to \left[0,1\right]$ and ${\nu }_A$:$X\to \left[0,1\right]$ are called positive and negative membership functions, respectively. The presence of the non-membership function along with that of the membership function in IFS ensure that it can deal with vague and ambiguous circumstances more efficiently, as compared to Zadeh’s fuzzy sets, particularly in the decision-making field [8,9,10,11,12]. In spite of this, there are many circumstances where intuitionistic fuzzy set theory does not work. For instance, if the membership and non-membership scores suggested by a decision-maker are 0.80 and 0.50, respectively, then $0.80+0.50>1$; therefore, such problems cannot be solved by IFSs. In order to obtain an appropriate solution under these circumstances, Yager [13] introduced the idea of Pythagorean fuzzy subset (PFS) $A$ of $X$. This can be represented by $\left\{\left(x,{\mu }_A\left(x\right),{\nu }_A\left(x\right)\right): x\in X, {\left({\mu }_{\mathcal{R}}\left(x\right)\right)}^2+{\left({\nu }_{\mathcal{R}}\left(x\right)\right)}^2\le 1\right\}$. The concept of PFS was developed to describe vague and ambiguous situations in mathematical form and to provide a formal tool for dealing with imprecision in real-life problems [14,15,16,17]. To find out more about PFS, we recommend reading [18,19,20,21]. In [22,23], the importance of preference relations for decision makers to express their evaluation information is highlighted. A study regarding social network group decision making is presented in [24].

Group theory is one of the important branches of mathematics. The history of group theory is old and rich. Although the concept of group theory and its name are creations of the 19th century, its roots can be traced back to the Babylonian civilization in the 5th to 4th century BC, when mathematicians strived to find a general method for finding the roots of a linear equation. Although they did not have the notion of an equation, they developed an algorithmic scheme to solve problems, which, in our terminology, would yield a linear equation. In Galois’ words, group theory is a “metaphysics of theory of equations”. Around 1830, Galois used the term “group” to represent the sets of injective mappings over finite sets that can be combined together to design a set which obeys the closure property of composition. Just like other basic concepts in mathematics, the current definition of a group has evolved over a long evolutionary process. Although Heinrich Weber and Walther von Dyck defined the modern version of groups in 1882, it did not acquire widespread acknowledgment until the twentieth century. The theory of groups by this time had developed to a great extent into a systematic theory. Its scope started widening. In P. Hall’s words: “It is not stretching too far to say that any type of algebra of any degree of importance is in some sense or the other related to group theory” [25]. Its linkage with other branches of mathematics started appearing. The relationship between group theory and physics became significantly strong and concrete when Weyl (1885–1955) published his famous book Gruppentheorie und Quantenmechanik in 1927 [26]. In the last two decades, many papers have been written to describe the applications of group theory in chemistry [27], physics [28], graph theory [29,30], cryptography [31,32,33], and differential equations [34].

Group theory is a mathematical approach for dealing with problems of symmetry. These sorts of problems appear repeatedly in all fields of science. The use of formal group theory has only recently been developed, but the concept of symmetry was widely used as early as 1000 years ago. The design of ornaments with symmetries, the observation of periodic patterns, and the regular appearance of the sun and other astronomical objects showed that symmetry is a useful concept. Pierre Curie first stated the importance of symmetry around 1870. Since then, group theory has become the principal tool for dealing with difficult problems in relativity theory, solid-state theory, atomic and nuclear spectroscopy, and the theory of elementary particles. Symmetry operations and symmetry elements are two basic and important concepts in group theory. In order to find more linkage between group theory and symmetry, we refer the readers to [35,36,37,38].

Rosenfeld [39] generalized the concept of classical subgroups and revealed the notion of fuzzy subgroups. Since the introduction of fuzzy subgroups, many studies have been performed to generalize the concepts of classical group theory in five different fuzzy environments. Das [40] defined the idea of a level subgroup of a fuzzy subgroup and studied its various algebraic characteristics. In [41], Liu introduced the concept of invariant subgroups and proved some fundamental properties of this notion. In 1984, Mukherjee and Bhattacharya proved a fuzzy version of the well-known Lagrange theorem [42]. In [43], the same authors proved several theorems that are analogs to some basic results of classical group theory. Wetherilt [44] introduced the notion of semidirect product of fuzzy subgroups and explored various related results. Some extensive studies on level fuzzy subgroups and normal fuzzy subgroups were conducted in [45,46,47]. The study on intuitionistic fuzzy subgroups started with Biswas [48]. In [49], some group theoretic results related to cosets of a subgroup were studied in intuitionistic fuzzy environment. The notion of a direct product of intuitionistic fuzzy subgroups was defined in [50]. Altassan et al. [51] introduced the notion of $\omega$-fuzzy subrings. Recently, Alharbi and Alghazzawi presented the concept of $\left(\rho ,\eta \right)$ complex fuzzy subgroups [52]. For more results about intuitionistic fuzzy subgroups, the readers are referred to [53,54,55]. The study on Pythagorean fuzzy group theory was initiated by Bhunia et al. in [56].

The above literature review highlights some achievements in the research on classical and intuitionistic fuzzy group theory. Moreover, some results related to Pythagorean fuzzy cosets of a group, Pythagorean fuzzy normal subgroups and Pythagorean fuzzy level subgroups have been proved, but there are still some open questions to be answered.

(1)

In classical group theory, if $H$ is a subgroup of $G$ and $xH and yH$ are two cosets of $H$ in G, then $xH=yH\iff x\in yH$ or $y\in xH$. Therefore, a question arises—under what condition are two Pythagorean fuzzy cosets the same?

(2)

In the existing literature, the characterization of the classical/intuitionistic fuzzy normal subgroups with regard to classical/intuitionistic fuzzy level subgroups is given. Since a Pythagorean fuzzy subgroup needs to not be an intuitionistic fuzzy subgroup, it is therefore important to know about the characterization of Pythagorean fuzzy normal subgroups with respect to Pythagorean fuzzy level subgroups.

(3)

Although the factor groups and three fundamental theorems of group isomorphisms are of great significance in group theory, in the existing literature, there is a lack of focus on these topics in a Pythagorean fuzzy environment. Hence, another question to address is: what is the Pythagorean fuzzy versions of all three fundamental theorems of group isomorphisms?

The basic purpose of this study is to answer the above research questions and to fill a gap in the existing knowledge. The structure of the remainder of this article is as follows. Section 2 contains preliminary definitions and notions which are necessary to prove our main results. In Section 3, the concepts of Pythagorean fuzzy cosets of a PFSG and Pythagorean fuzzy normal subgroups of a group are described. We also prove various theorems associated with these notions. In Section 4, we define a Pythagorean fuzzy normal subgroup of a Pythagorean fuzzy subgroup and conduct a comprehensive study of this concept. The notions of Pythagorean fuzzy homomorphism and isomorphism are defined in Section 5. We also generalize the notion of a factor group of a classical group $W$ relative to its normal subgroup S by defining a PFSG of $\raisebox{1ex}{$W$}\!\left/ \!\raisebox{-1ex}{$S$}\right.$. Furthermore, the Pythagorean fuzzy version of fundamental theorems of isomorphisms are proved.

2. Preliminaries

This section contains some notions and concepts which are needed to prove our main theorems.

Definition 1.

[56] Let $W$ be a classical group, then an FS $J=\left\{\left(w,{\mu }_J\left(w\right)\right):w\in W\right\}$ of $W$ is termed as an FSG of $W$ if the following conditions are satisfied:

(i)

${\mu }_J\left(w_1{w}_2\right)\ge min\left\{{\mu }_J\left(w_1\right),{\mu }_J\left(w_2\right)\right\}$ for all $w_1,w_2\in W$.

(ii)

${\mu }_J\left(w^{-1}\right)\ge {\mu }_J\left(w\right)$ for all $w\in W$.

Definition 2.

[56] An IFS $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$ of  $W$ is called an IFSG of $W$ if the following assertions are true:

(i)

${\mu }_J\left(w_1{w}_2\right)\ge min\left\{{\mu }_J\left(w_1\right),{\mu }_J\left(w_2\right)\right\}$and ${\nu }_J\left(w_1{w}_2\right)\le max\left\{{\nu }_J\left(w_1\right),{\nu }_J\left(w_2\right)\right\}$for all $w_1,w_2\in W$.

(ii)

${\mu }_J\left(w^{-1}\right)\ge {\mu }_J\left(w\right)$and ${\nu }_J\left(w^{-1}\right)\le {\nu }_J\left(w\right)$for all $w\in W$.

Definition 3.

[56] A PFS $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$ of $W$ is called a PFSG of $W$ if the following inequalities are satisfied:

(i)

${\left({\mu }_J\left(w_1{w}_2\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(w_1\right)\right)}^2,{\left({\mu }_J\left(w_2\right)\right)}^2\right\}$and

${\left({\nu }_J\left(w_1{w}_2\right)\right)}^2\le max\left\{{\left({\nu }_J\left(w_1\right)\right)}^2,{\left({\nu }_J\left(w_2\right)\right)}^2\right\}$for all $w_1,w_2\in W$.

(ii)

${\left({\mu }_J\left(w^{-1}\right)\right)}^2\ge {\left({\mu }_J\left(w\right)\right)}^2$and ${\left({\nu }_J\left(w^{-1}\right)\right)}^2\le {\left({\nu }_J\left(w\right)\right)}^2$for all $w\in W$.

Theorem 1.

[56] A PFS $J$ of $W$ is a PFSG of $W$ if and only if ${\left({\mu }_J\left(w_1{w}_2^{-1}\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(w_1\right)\right)}^2,{\left({\mu }_J\left(w_2\right)\right)}^2\right\}$ and ${\left({\nu }_J\left(w_1{w}_2^{-1}\right)\right)}^2\le max\left\{{\left({\nu }_J\left(w_1\right)\right)}^2,{\left({\nu }_J\left(w_2\right)\right)}^2\right\}$ for all $w_1,w_2\in W$.

Theorem 2.

[56] Let $J$ and $K$ be two PFSGs of $W$. Then, $J{\displaystyle \cap }K$ is a PFSG of $W$.

In [56], the notion of Pythagorean fuzzy level subset was introduced. Here, we reproduce the definition of a Pythagorean fuzzy level subset (PFLS) and some related results.

Definition 4.

[56] Let $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$ be a PFS of $W$. Then, the set $J_{\left(\theta ,\tau \right)}=\left\{w\in W:{\left({\mu }_J\left(w\right)\right)}^2\ge \theta ,{\left({\nu }_J\left(w\right)\right)}^2\le \tau \right\}$ is known as the PFLS of the PFS $J$ of $W$.

It is important to mention the following theorems which were proven in [56].

Theorem 3.

[56] Let $J$ and $K$ be two PFSs of $W$ and $J\subseteq K$, then $J_{\left(\theta ,\tau \right)}\subseteq K_{\left(\theta ,\tau \right)}$ for all $\theta ,\tau \in \left[0,1\right],$ such that ${\theta }^2+{\tau }^2\le 1$.

Theorem 4.

[56] A PFS $J$ of $W$ is a PFSG of $W$ if and only if $J_{\left(\theta ,\tau \right)}$ is a subgroup of $W$ for all $\theta \in \left[0,{\left({\mu }_J\left(e\right)\right)}^2\right]$ and $\tau \in \left[{\left({\nu }_J\left(e\right)\right)}^2,1\right]$.

Next, we rewrite the concept of Pythagorean fuzzy left cosets of a PFSG of a group defined in [56]

Definition 5.

[56] Let $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$ be a PFSG of $W$ and $x\in W$. Then, the Pythagorean fuzzy left coset of $J$ with respect to $x$ is denoted by $xJ$ and is defined as $xJ=\left\{\left(w,{\mu }_{xJ}\left(w\right),{\nu }_{xJ}\left(w\right)\right): w\in W\right\}$, where ${\left({\mu }_{xJ}\left(w\right)\right)}^2={\left({\mu }_J\left(x^{-1}w\right)\right)}^2$ and ${\left({\nu }_{xJ}\left(w\right)\right)}^2={\left({\nu }_J\left(x^{-1}w\right)\right)}^2$ . Similarly, $Jx=\left\{\left(w,{\mu }_{Jx}\left(w\right),{\nu }_{Jx}\left(w\right)\right):w\in W\right\}$, where ${\left({\mu }_{Jx}\left(w\right)\right)}^2={\left({\mu }_J\left(w{x}^{-1}\right)\right)}^2$ and ${\left({\nu }_{Jx}\left(w\right)\right)}^2={\left({\nu }_J\left(w{x}^{-1}\right)\right)}^2$, is called the Pythagorean fuzzy right coset of $J$ with respect to $x$.

The notion of Pythagorean fuzzy normal subgroup of $W$was defined in [56].

Next, we rewrite its definition.

Definition 6.

[56] A PFSG $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$ of $W$ is called a Pythagorean fuzzy normal subgroup of $W$ if $xJ=Jx$ for all $x\in W.$

Theorem 5.

[56] Let $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$ be a PFSG of $W.$ Then $J$ is a PFNS of $W$ if and only if ${\left({\mu }_J\left(w_1{w}_2\right)\right)}^2={\left({\mu }_J\left(w_2{w}_1\right)\right)}^2$ and ${\left({\nu }_J\left(w_1{w}_2\right)\right)}^2={\left({\nu }_J\left(w_2{w}_1\right)\right)}^2$ for all $w_1,w_2\in W$.

Theorem 6.

[56] Let $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$ be a PFSG of $W.$ Then $J$ is a PFNS of $W$ if and only if ${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2={\left({\mu }_J\left(x\right)\right)}^2$ and ${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2={\left({\nu }_J\left(x\right)\right)}^2$ for all $x,w\in W$.

3. More on Pythagorean Fuzzy Cosets of a Pythagorean Fuzzy Subgroup and Pythagorean Fuzzy Normal Subgroups of a Group

In this section, we expand the concepts of Pythagorean fuzzy cosets of a PFSG and Pythagorean fuzzy normal subgroups of a group by proving many results related to these topics. The following example illustrates the notion of Pythagorean fuzzy left cosets of a PFSG of a group.

Example 1.

Consider a well-known group

$$W=S_3=⟨\alpha ,\beta :{\alpha }^2={\beta }^3={\left(\alpha \beta \right)}^1=1⟩=\left\{e,\alpha ,\beta ,{\beta }^2,\alpha \beta ,\alpha {\beta }^2\right\}$$

of symmetries of an equilateral triangle. Here, the generators$\alpha$and$\beta$denote reflection along the diagonal line and anti-clockwise rotation through an angle 120 °, respectively. In this way, we obtain total six symmetries, $e,\alpha ,\beta ,{\beta }^2,\alpha \beta$ and $\alpha {\beta }^2,$ of an equilateral triangle. Let us define a PFSG of $W=S_3$, that is,

$$J=\left\{\begin{array}{c}\left(e,0.90,0.40\right),\left(\beta ,0.90,0.40\right),\left({\beta }^2,0.90,0.40\right),\\ \left(\alpha ,0.80,0.50\right),\left(\alpha \beta ,0.80,0.50\right),\left(\alpha {\beta }^2,0.80,0.50\right)\end{array}\right\}.$$

Next, we find Pythagorean fuzzy left cosets $J$ with respect to all $w\in W$.

(i)

The Pythagorean fuzzy left coset of $J$ with respect to $e\in W$ is

$$\begin{gathered} eJ=\left\{\begin{array}{c}\left(e,{\mu }_J\left(e^{-1}e\right),{\nu }_J\left(e^{-1}e\right)\right),\left(\beta ,{\mu }_J\left(e^{-1}\beta \right),{\nu }_J\left(e^{-1}\beta \right)\right),\\ \left({\beta }^2,{\mu }_J\left(e^{-1}{\beta }^2\right),{\nu }_J\left(e^{-1}{\beta }^2\right)\right),\left(\alpha ,{\mu }_J\left(e^{-1}\alpha \right),{\nu }_J\left(e^{-1}\alpha \right)\right),\\ \left(\alpha \beta ,{\mu }_J\left(e^{-1}\alpha \beta \right),{\nu }_J\left(e^{-1}\alpha \beta \right)\right),\left(\alpha {\beta }^2,{\mu }_J\left(e^{-1}\alpha {\beta }^2\right),{\nu }_J\left(e^{-1}\alpha {\beta }^2\right)\right)\end{array}\right\} \\ \hspace{1em}=\left\{\begin{array}{c}\left(e,0.90,0.40\right),\left(\beta ,0.90,0.40\right),\left({\beta }^2,0.90,0.40\right),\\ \left(\alpha ,0.80,0.50\right),\left(\alpha \beta ,0.80,0.50\right),\left(\alpha {\beta }^2,0.80,0.50\right)\end{array}\right\}. \end{gathered}$$

(ii)

The Pythagorean fuzzy left coset of $J$ with respect to $\beta \in W$ is

$$\begin{gathered} \beta J=\left\{\begin{array}{c}\left(e,{\mu }_J\left({\beta }^{-1}e\right),{\nu }_J\left({\beta }^{-1}e\right)\right),\left(\beta ,{\mu }_J\left({\beta }^{-1}\beta \right),{\nu }_J\left({\beta }^{-1}\beta \right)\right),\\ \left({\beta }^2,{\mu }_J\left({\beta }^{-1}{\beta }^2\right),{\nu }_J\left({\beta }^{-1}{\beta }^2\right)\right),\left(\alpha ,{\mu }_J\left({\beta }^{-1}\alpha \right),{\nu }_J\left({\beta }^{-1}\alpha \right)\right),\\ \left(\alpha \beta ,{\mu }_J\left({\beta }^{-1}\alpha \beta \right),{\nu }_J\left({\beta }^{-1}\alpha \beta \right)\right),\left(\alpha {\beta }^2,{\mu }_J\left({\beta }^{-1}\alpha {\beta }^2\right),{\nu }_J\left({\beta }^{-1}\alpha {\beta }^2\right)\right)\end{array}\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=\left\{\begin{array}{c}\left(e,{\mu }_J\left({\beta }^2\right),{\nu }_J\left({\beta }^2\right)\right),\left(\beta ,{\mu }_J\left(e\right),{\nu }_J\left(e\right)\right),\left({\beta }^2,{\mu }_J\left(\beta \right),{\nu }_J\left(\beta \right)\right),\\ \left(\alpha ,{\mu }_J\left(\alpha \beta \right),{\nu }_J\left(\alpha \beta \right)\right),\left(\alpha \beta ,{\mu }_J\left(\alpha {\beta }^2\right),{\nu }_J\left(\alpha {\beta }^2\right)\right),\left(\alpha {\beta }^2,{\mu }_J\left(\alpha \right),{\nu }_J\left(\alpha \right)\right)\end{array}\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=\left\{\begin{array}{c}\left(e,0.90,0.40\right),\left(\beta ,0.90,0.40\right),\left({\beta }^2,0.90,0.40\right),\\ \left(\alpha ,0.80,0.50\right),\left(\alpha \beta ,0.80,0.50\right),\left(\alpha {\beta }^2,0.80,0.50\right)\end{array}\right\}. \end{gathered}$$

(iii)

The Pythagorean fuzzy left coset of $J$ with respect to ${\beta }^2\in W$ is

$$\begin{gathered} {\beta }^{2}J=\left\{\begin{array}{c}\left(e,{\mu }_J\left({\left({\beta }^2\right)}^{-1}e\right),{\nu }_J\left({\left({\beta }^2\right)}^{-1}e\right)\right),\left(\beta ,{\mu }_J\left({\left({\beta }^2\right)}^{-1}\beta \right),{\nu }_J\left({\left({\beta }^2\right)}^{-1}\beta \right)\right),\\ \left({\beta }^2,{\mu }_J\left({\left({\beta }^2\right)}^{-1}{\beta }^2\right),{\nu }_J\left({\left({\beta }^2\right)}^{-1}{\beta }^2\right)\right),\left(\alpha ,{\mu }_J\left({\left({\beta }^2\right)}^{-1}\alpha \right),{\nu }_J\left({\left({\beta }^2\right)}^{-1}\alpha \right)\right),\\ \left(\alpha \beta ,{\mu }_J\left({\left({\beta }^2\right)}^{-1}\alpha \beta \right),{\nu }_J\left({\left({\beta }^2\right)}^{-1}\alpha \beta \right)\right),\left(\alpha {\beta }^2,{\mu }_J\left({\left({\beta }^2\right)}^{-1}\alpha {\beta }^2\right),{\nu }_J\left({\left({\beta }^2\right)}^{-1}\alpha {\beta }^2\right)\right)\end{array}\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}=\left\{\begin{array}{c}\left(e,{\mu }_J\left(\beta \right),{\nu }_J\left(\beta \right)\right),\left(\beta ,{\mu }_J\left({\beta }^2\right),{\nu }_J\left({\beta }^2\right)\right),\left({\beta }^2,{\mu }_J\left(e\right),{\nu }_J\left(e\right)\right),\\ \left(\alpha ,{\mu }_J\left(\alpha {\beta }^2\right),{\nu }_J\left(\alpha {\beta }^2\right)\right),\left(\alpha \beta ,{\mu }_J\left(\alpha \right),{\nu }_J\left(\alpha \right)\right),\left(\alpha {\beta }^2,{\mu }_J\left(\alpha \beta \right),{\nu }_J\left(\alpha \beta \right)\right)\end{array}\right\} \\ \hspace{1em}\hspace{1em}=\left\{\begin{array}{c}\left(e,0.90,0.40\right),\left(\beta ,0.90,0.40\right),\left({\beta }^2,0.90,0.40\right),\\ \left(\alpha ,0.80,0.50\right),\left(\alpha \beta ,0.80,0.50\right),\left(\alpha {\beta }^2,0.80,0.50\right)\end{array}\right\}=J. \end{gathered}$$

(iv)

The Pythagorean fuzzy left coset of $J$ with respect to $\alpha \in W$ is

$$\begin{gathered} \alpha J=\left\{\begin{array}{c}\left(e,{\mu }_J\left({\alpha }^{-1}e\right),{\nu }_J\left({\alpha }^{-1}e\right)\right),\left(\beta ,{\mu }_J\left({\alpha }^{-1}\beta \right),{\nu }_J\left({\alpha }^{-1}\beta \right)\right),\\ \left({\beta }^2,{\mu }_J\left({\alpha }^{-1}{\beta }^2\right),{\nu }_J\left({\alpha }^{-1}{\beta }^2\right)\right),\left(\alpha ,{\mu }_J\left({\alpha }^{-1}\alpha \right),{\nu }_J\left({\alpha }^{-1}\alpha \right)\right),\\ \left(\alpha \beta ,{\mu }_J\left({\alpha }^{-1}\alpha \beta \right),{\nu }_J\left({\alpha }^{-1}\alpha \beta \right)\right),\left(\alpha {\beta }^2,{\mu }_J\left({\alpha }^{-1}\alpha {\beta }^2\right),{\nu }_J\left({\alpha }^{-1}\alpha {\beta }^2\right)\right)\end{array}\right\} \\ =\left\{\begin{array}{c}\left(e,{\mu }_J\left(\alpha \right),{\nu }_J\left(\alpha \right)\right),\left(\beta ,{\mu }_J\left(\alpha \beta \right),{\nu }_J\left(\alpha \beta \right)\right),\left({\beta }^2,{\mu }_J\left(\alpha {\beta }^2\right),{\nu }_J\left(\alpha {\beta }^2\right)\right),\\ \left(\alpha ,{\mu }_J\left(e\right),{\nu }_J\left(e\right)\right),\left(\alpha \beta ,{\mu }_J\left(\beta \right),{\nu }_J\left(\beta \right)\right),\left(\alpha {\beta }^2,{\mu }_J\left({\beta }^2\right),{\nu }_J\left({\beta }^2\right)\right)\end{array}\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=\left\{\begin{array}{c}\left(e,\mathrm{0.0.80},0.50\right),\left(\beta ,0.80,0.50\right),\left({\beta }^2,0.80,0.50\right),\\ \left(\alpha ,0.90,0.40\right),\left(\alpha \beta ,0.90,0.40\right),\left(\alpha {\beta }^2,0.90,0.40\right)\end{array}\right\}. \end{gathered}$$

(v)

The Pythagorean fuzzy left coset of $J$ with respect to $\alpha \beta \in W$ is

$$\begin{gathered} \alpha \beta J=\left\{\begin{array}{c}\left(e,{\mu }_J\left({\left(\alpha \beta \right)}^{-1}e\right),{\nu }_J\left({\left(\alpha \beta \right)}^{-1}e\right)\right),\left(\beta ,{\mu }_J\left({\left(\alpha \beta \right)}^{-1}\beta \right),{\nu }_J\left({\left(\alpha \beta \right)}^{-1}\beta \right)\right),\\ \left({\beta }^2,{\mu }_J\left({\left(\alpha \beta \right)}^{-1}{\beta }^2\right),{\nu }_J\left({\left(\alpha \beta \right)}^{-1}{\beta }^2\right)\right),\left(\alpha ,{\mu }_J\left({\left(\alpha \beta \right)}^{-1}\alpha \right),{\nu }_J\left({\left(\alpha \beta \right)}^{-1}\alpha \right)\right),\\ \left(\alpha \beta ,{\mu }_J\left({\left(\alpha \beta \right)}^{-1}\alpha \beta \right),{\nu }_J\left({\left(\alpha \beta \right)}^{-1}\alpha \beta \right)\right),\left(\alpha {\beta }^2,{\mu }_J\left({\left(\alpha \beta \right)}^{-1}\alpha {\beta }^2\right),{\nu }_J\left({\left(\alpha \beta \right)}^{-1}\alpha {\beta }^2\right)\right)\end{array}\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=\left\{\begin{array}{c}\left(e,{\mu }_J\left(\alpha \beta \right),{\nu }_J\left(\alpha \beta \right)\right),\left(\beta ,{\mu }_J\left(\alpha {\beta }^2\right),{\nu }_J\left(\alpha {\beta }^2\right)\right),\left({\beta }^2,{\mu }_J\left(\alpha \right),{\nu }_J\left(\alpha \right)\right),\\ \left(\alpha ,{\mu }_J\left({\beta }^2\right),{\nu }_J\left({\beta }^2\right)\right),\left(\alpha \beta ,{\mu }_J\left(e\right),{\nu }_J\left(e\right)\right),\left(\alpha {\beta }^2,{\mu }_J\left(\beta \right),{\nu }_J\left(\beta \right)\right)\end{array}\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}=\left\{\begin{array}{c}\left(e,\mathrm{0.0.80},0.50\right),\left(\beta ,0.80,0.50\right),\left({\beta }^2,0.80,0.50\right),\\ \left(\alpha ,0.90,0.40\right),\left(\alpha \beta ,0.90,0.40\right),\left(\alpha {\beta }^2,0.90,0.40\right)\end{array}\right\}. \end{gathered}$$

(vi)

The Pythagorean fuzzy left coset of $J$ with respect to $\alpha {\beta }^2\in W$ is

$$\begin{gathered} \alpha {\beta }^{2}J=\left\{\begin{array}{c}\left(e,{\mu }_J\left({\left({\alpha \beta }^2\right)}^{-1}e\right),{\nu }_J\left({{\left(\alpha \beta \right)}^2}^{-1}e\right)\right),\left(\beta ,{\mu }_J\left({\left({\alpha \beta }^2\right)}^{-1}\beta \right),{\nu }_J\left({\left({\alpha \beta }^2\right)}^{-1}\beta \right)\right),\\ \left({\beta }^2,{\mu }_J\left({\left({\alpha \beta }^2\right)}^{-1}{\beta }^2\right),{\nu }_J\left({\left({\alpha \beta }^2\right)}^{-1}{\beta }^2\right)\right),\left(\alpha ,{\mu }_J\left({\left({\alpha \beta }^2\right)}^{-1}\alpha \right),{\nu }_J\left({\left({\alpha \beta }^2\right)}^{-1}\alpha \right)\right),\\ \left(\alpha \beta ,{\mu }_J\left({\left({\alpha \beta }^2\right)}^{-1}\alpha \beta \right),{\nu }_J\left({\left({\alpha \beta }^2\right)}^{-1}\alpha \beta \right)\right),\\ \left(\alpha {\beta }^2,{\mu }_J\left({\left({\alpha \beta }^2\right)}^{-1}\alpha {\beta }^2\right),{\nu }_J\left({\left({\alpha \beta }^2\right)}^{-1}\alpha {\beta }^2\right)\right)\end{array}\right\} \\ =\left\{\begin{array}{c}\left(e,{\mu }_J\left(\alpha {\beta }^2\right),{\nu }_J\left(\alpha {\beta }^2\right)\right),\left(\beta ,{\mu }_J\left(\alpha \right),{\nu }_J\left(\alpha \right)\right),\left({\beta }^2,{\mu }_J\left(\alpha \beta \right),{\nu }_J\left(\alpha \beta \right)\right),\\ \left(\alpha ,{\mu }_J\left(\beta \right),{\nu }_J\left(\beta \right)\right),\left(\alpha \beta ,{\mu }_J\left(\beta \right),{\nu }_J\left(\beta \right)\right),\left(\alpha {\beta }^2,{\mu }_J\left(e\right),{\nu }_J\left(e\right)\right)\end{array}\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=\left\{\begin{array}{c}\left(e,\mathrm{0.0.80},0.50\right),\left(\beta ,0.80,0.50\right),\left({\beta }^2,0.80,0.50\right),\\ \left(\alpha ,0.90,0.40\right),\left(\alpha \beta ,0.90,0.40\right),\left(\alpha {\beta }^2,0.90,0.40\right)\end{array}\right\}. \end{gathered}$$

Thus, there are two distinct Pythagorean fuzzy left cosets of $J$ with respect to all elements of $W$, namely $eJ=\beta J={\beta }^{2}J$ and $\alpha J=\alpha \beta J=\alpha {\beta }^{2}J$.

Definition 7.

Let $J=\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right)$be a PFSG of $W.$Then,

$$J_{*}=\left\{w\in W:{\left({\mu }_J\left(w\right)\right)}^2={\left({\mu }_J\left(e\right)\right)}^2 and {\left({\nu }_J\left(w\right)\right)}^2={\left({\nu }_J\left(e\right)\right)}^2\right\}.$$

Definition 8.

Let $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$be a PFSG of $W.$Then, the support set of $J$is denoted by $J^{*}$and is defined as:

$$J^{*}=\left\{w\in W:{\left({\mu }_J\left(w\right)\right)}^2>0 and {\left({\nu }_J\left(w\right)\right)}^2<1\right\}.$$

The following theorem gives a necessary and sufficient condition for two Pythagorean fuzzy cosets to be the same.

Theorem 7.

Let $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$be a PFSG of $W$. Then for all $x,y\in W$

(i)

$xJ=yJ\iff x{J}_{*}=y{J}_{*}$

(ii)

$Jx=Jy\iff J_{*}x=J_{*}y.$

Proof 1.

As the proofs of the (i) and (ii) are similar, here we only prove (i).

Suppose that $xJ=yJ$, then ${\mu }_{xJ}\left(w\right)={\mu }_{yJ}\left(w\right)$ and ${\nu }_{xJ}\left(w\right)={\nu }_{yJ}\left(w\right)$ for all $w\in W$. Therefore, ${\mu }_J\left(x^{-1}w\right)={\mu }_J\left(y^{-1}w\right)$ and ${\nu }_J\left(x^{-1}w\right)={\nu }_J\left(y^{-1}w\right)$ for all $w\in W$. In particular, $y\in W$, then ${\mu }_J\left(x^{-1}y\right)={\mu }_J\left(e\right)$ and ${\nu }_J\left(x^{-1}y\right)={\nu }_J\left(e\right)$, which means that $x^{-1}y\in J_{*}$. So $x^{-1}y{J}_{*}=J_{*}$ yields $y{J}_{*}=x{J}_{*}$

Conversely, let $y{J}_{*}=x{J}_{*}$, then $x^{-1}y\in J_{*}$ and $y^{-1}x\in J_{*}$. For all $w\in W$, we have

$$\begin{gathered} {\mu }_J\left(x^{-1}w\right)={\mu }_J\left(x^{-1}y{y}^{-1}w\right) \\ \hspace{1em}\ge min\left\{{\mu }_J\left(x^{-1}y\right),{\mu }_J\left(y^{-1}w\right)\right\} \\ \hspace{1em}=min\left\{{\mu }_J\left(e\right),{\mu }_J\left(y^{-1}w\right)\right\} \\ ={\mu }_J\left(y^{-1}w\right) \end{gathered}$$

Similarly, we can obtain ${\mu }_J\left(y^{-1}w\right)\ge {\mu }_J\left(x^{-1}w\right)$. Therefore ${\mu }_J\left(x^{-1}w\right)={\mu }_J\left(y^{-1}w\right)$ for all $w\in W$.

In a similar fashion, we have ${\nu }_J\left(x^{-1}w\right)={\nu }_J\left(y^{-1}w\right)$ for all $w\in W$. Thus, ${\mu }_{xJ}\left(w\right)={\mu }_{yJ}\left(w\right)$ and ${\nu }_{xJ}\left(w\right)={\nu }_{yJ}\left(w\right)$ for all $w\in W,$ which further gives $xJ=yJ$. □

Lemma 1.

If ${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge {\left({\mu }_J\left(x\right)\right)}^2$and ${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le {\left({\nu }_J\left(x\right)\right)}^2$for all $x,w\in W$, then $J$is a PFNS of $W$.

Proof 2.

Let ${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge {\left({\mu }_J\left(x\right)\right)}^2$ and ${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le {\left({\nu }_J\left(x\right)\right)}^2$ for all $x,w\in W$. Since ${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\le {\left({\mu }_J\left(w^{-1}\left(wx{w}^{-1}\right){\left(w^{-1}\right)}^{-1}\right)\right)}^2$ (since $wx{w}^{-1}, w^{-1}\in W)$

$\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}={\left({\mu }_J\left(x\right)\right)}^2$

Similarly, ${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\ge {\left({\nu }_J\left(x\right)\right)}^2$.

Thus, ${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2={\left({\mu }_J\left(x\right)\right)}^2$ and ${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2={\left({\nu }_J\left(x\right)\right)}^2$

This together with Theorem 6 implies that $J$ is PFNS of $W$. □

Theorem 8.

Let $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$be a PFSG of $W.$Then, $J$is a PFNSG of $W$if and only if $J_{\left(\theta ,\tau \right)}⊴W$for all $\theta \in \left[0,{\left({\mu }_J\left(e\right)\right)}^2\right]$and $\tau \in \left[{\left({\nu }_J\left(e\right)\right)}^2,1\right]$.

Proof 3.

In [56], it was proved that if $J$ is a PFNS of $W$, $J_{\left(\theta ,\tau \right)}⊴W$ for all $\theta \in \left[0,{\left({\mu }_J\left(e\right)\right)}^2\right]$ and $\tau \in \left[{\left({\nu }_J\left(e\right)\right)}^2,1\right]$.

Conversely, suppose that $J_{\left(\theta ,\tau \right)}⊴W$ for all $\theta \in \left[0,{\left({\mu }_J\left(e\right)\right)}^2\right]$ and $\tau \in \left[{\left({\nu }_J\left(e\right)\right)}^2,1\right]$. According to Theorem 4, J is a PFSG of $W$. Let $x,w\in W$, such that ${\left({\mu }_J\left(x\right)\right)}^2=a$ and ${\left({\nu }_J\left(x\right)\right)}^2=b$. Then, $x\in J_{\left(a,b\right)}$, and therefore $wx{w}^{-1}\in J_{\left(a,b\right)}$. This further implies that ${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge a={\left({\mu }_J\left(x\right)\right)}^2$ and ${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le b={\left({\nu }_J\left(x\right)\right)}^2.$ Then, according to Lemma 1, $J$ is a PFNSG of $W$. □

Lemma 2.

If $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$is a PFSG of $W$, then both $J^{*}$and $J_{*}$are subgroups of $W$.

The proof can be obtained easily by using the previous notions.

Theorem 9.

If $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$is a PFNSG of $W$, then

(i)

$J^{*}⊴W$.

(ii)

$J_{*}⊴W$.

Proof 4.

Suppose that $J=\left\{\left(w,{\mu }_J\left(w\right),{\nu }_J\left(w\right)\right):w\in W\right\}$ is a PFNSG of $W$.

Then

${\left({\mu }_J\left(x\right)\right)}^2={\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2$ and ${\left({\nu }_J\left(x\right)\right)}^2={\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2$ for all $x,w\in W$.

(i)

Let $w\in W$ and $x\in J^{*}$, then

${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2={\left({\mu }_J\left(x\right)\right)}^2$ (since $J$ is a PFNSG of $W$)

$>0$ (since $x\in J^{*}$)

Similarly, we can obtain, ${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2<1$ for all $w\in W$ and $x\in J^{*}$.

This means that $wx{w}^{-1} \in J^{*}$ for all $w\in W$ and $x\in J^{*}$. Thus, $J^{*}⊴W$.

(ii)

The proof is identical to that of (i).

The upcoming example demonstrates that the converse of this theorem is invalid. □

Example 2.

Considering $S_3=\left\{e,x,y,y^2,xy,x{y}^2\right\}$, let us define PFSG of $S_3$as follows;

$$J=\left\{\begin{array}{c}\left(e,1,0\right),\left(x,0.8,0.7\right)\left(y,0.7,0.1\right),\left(y^2,0.7,0.1\right),\\ \left(xy,0.7,0.1\right),\left(x{y}^2,0.7,0.1\right)\end{array}\right\}.$$

Then, $J^{*}=S_3$ and $J_{*}=\left\{e\right\}$ are normal subgroups of $S_3$, but $J$ is not a PFNSG of $S_3$ because ${\mu }_J\left(\left(y\right)\left(x{y}^2\right)\right)={\mu }_J\left(xy\right)=0.7\ne 0.8={\mu }_J\left(x\right)={\mu }_J\left(\left(x{y}^2\right)\left(y\right)\right)$.

4. Pythagorean Fuzzy Normal Subgroup of a Pythagorean Fuzzy Subgroup

In this section, we define a Pythagorean fuzzy normal subgroup of a Pythagorean fuzzy subgroup and present a comprehensive study of this notion.

Definition 9.

Let $J$and $K$be two PFSGs of $W$such that $J\subseteq K$. Then, $J$is a PFNSG of $K$if

$$\begin{gathered} {\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right\} \mathit{and} \\ {\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le max\left\{{\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right\} \end{gathered}$$

for all $x,w\in W$.

The following theorem describes the sufficient condition of normality between the supports of two PFSGs of $W$.

Theorem 10.

Let $J$and $K$be two PFSGs of $W$such that $J$is PFNSG of $K$. Then

$\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}{J}^{*}⊴K^{*}$.

Proof 5.

Let $x\in J^{*}$ and $w\in K^{*}$, then

$\hspace{1em}\hspace{1em}{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2>0$ and ${\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2<1$.

This means that $min\left\{{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right\}>0$ and $max\left\{{\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right\}<1$.

Ultimately, we obtain

$$\begin{gathered} {\hspace{1em}\hspace{1em}\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right\}>0 \mathrm{and} \\ {\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le max\left\{{\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right\}<1 \end{gathered}$$

implying that $wx{w}^{-1}\in J^{*}$. Thus, $J^{*}⊴K^{*}$. □

Theorem 11.

Let $J$and $K$be two PFSGs of $W$such that $J\subseteq K$. Then, $J$is a PFNSG of $K$if and only if

$$\begin{gathered} {\left({\mu }_J\left(xw\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(wx\right)\right)}^2,{\left({\mu }_K\left(x\right)\right)}^2\right\} \mathrm{and} \\ {\left({\nu }_J\left(xw\right)\right)}^2\le max\left\{{\left({\nu }_J\left(wx\right)\right)}^2,{\left({\nu }_K\left(x\right)\right)}^2\right\} \end{gathered}$$

for all $w,x\in W$.

Proof 6.

Let $J$ be a PFNSG of $K$, then

$$\begin{gathered} {\left({\mu }_J\left(xw\right)\right)}^2={\left({\mu }_J\left(xwx{x}^{-1}\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(wx\right)\right)}^2,{\left({\mu }_K\left(x\right)\right)}^2\right\} \mathrm{and} \\ {\left({\nu }_J\left(xw\right)\right)}^2={\left({\nu }_J\left(xwx{x}^{-1}\right)\right)}^2\le max\left\{{\left({\nu }_J\left(wx\right)\right)}^2,{\left({\nu }_K\left(x\right)\right)}^2\right\} \end{gathered}$$

for all $w,x\in W$.

Conversely, suppose that

$$\begin{gathered} {\left({\mu }_J\left(xw\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(wx\right)\right)}^2,{\left({\mu }_K\left(x\right)\right)}^2\right\} \mathrm{and} \\ {\left({\nu }_J\left(xw\right)\right)}^2\le max\left\{{\left({\nu }_J\left(wx\right)\right)}^2,{\left({\nu }_K\left(x\right)\right)}^2\right\} \mathrm{for} \mathrm{all} w,x\in W. \end{gathered}$$

Then

$$\begin{gathered} {\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(x{w}^{-1}w\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right\} \\ =min\left\{{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right\} \end{gathered}$$

and

$$\begin{gathered} {\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le max\left\{{\left({\nu }_J\left(x{w}^{-1}w\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right\} \\ =max\left\{{\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right\} \end{gathered}$$

for all $w,x\in W$. Thus, $J$ is a PFNSG of $K$. □

Theorem 12.

Let $J$and $K$be two PFSGs of $W$. Then, $J$is a PFNSG of $K$if and only if

$$J_{\left(\theta ,\tau \right)}⊴K_{\left(\theta ,\tau \right)} \mathit{for} \mathit{all} \theta \in \left[0,{\left({\mu }_J\left(e\right)\right)}^2\right] \mathit{and} \tau \in \left[{\left({\nu }_J\left(e\right)\right)}^2,1\right].$$

Proof 7.

Let $J$ be a PFNSG of J’ and $\theta \in \left[0,{\mu }_J\left(e\right)\right]$ and $\tau \in \left[{\nu }_J\left(e\right),1\right]$, then Theorem 3 and 4 together imply that $J_{\left(\theta ,\tau \right)}$ is a subgroup of $K_{\left(\theta ,\tau \right)}$. Suppose that $x\in J_{\left(\theta ,\tau \right)}$ and $w\in K_{\left(\theta ,\tau \right)}$, then ${\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\ge \theta$ and ${\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\le \tau$.

Now

$$\begin{gathered} {\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right\}\ge \theta \\ \mathrm{and} {\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le max\left\{{\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right\}\le \tau . \end{gathered}$$

This means that $wx{w}^{-1}\in J_{\left(\theta ,\tau \right)}$. Thus, $J_{\left(\theta ,\tau \right)}⊴K_{\left(\theta ,\tau \right)}$.

Conversely, suppose that $J_{\left(\theta ,\tau \right)}⊴K_{\left(\theta ,\tau \right)}$ for all $\theta \in \left[0,{\mu }_J\left(e\right)\right]$ and $\tau \in \left[{\nu }_J\left(e\right),1\right]$. Let $x,w\in W$, such that ${\left({\mu }_J\left(x\right)\right)}^2=a$, ${\left({\nu }_J\left(x\right)\right)}^2=b$ and ${\left({\mu }_K\left(w\right)\right)}^2=c, {\left({\nu }_K\left(w\right)\right)}^2=d$. Then, there are four cases:

(i)

$c\ge a$ and $d\ge b$

(ii)

$c\ge a$ and $d\le b$

(iii)

$c\le a$ and $d\ge b$

(iv)

$c\le a$ and $d\le b$

(i)

If $c\ge a$ and $d\ge b$, then $w\in K_{\left(a,d\right)}$ and $x\in J_{\left(a,d\right)}$. Then, by assumption, $wx{w}^{-1}\in J_{\left(a,d\right)}$, which gives

$${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge a=\mathit{min}\left(a,c\right)=\mathit{min}\left({\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right)$$

and

$${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le d=max\left(b,d\right)=max\left({\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right)$$

(ii)

If $c\ge a$ and $d\le b$, then w ∈ K_(a,b,) and $x\in J_{\left(a,b\right)}$.

Then, by assumption, $wx{w}^{-1}\in J_{\left(a,b\right)}$, which gives

$${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge a=\mathit{min}\left(a,c\right)=\mathit{min}\left({\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right)$$

and

$${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le b=max\left(b,d\right)=max\left({\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right)$$

Similarly, for (iii) and (iv), we obtain the same result.

Hence, $J$ is a PFNSG of $K$. □

Theorem 13.

Suppose that $J$and $K$are two PFSGs of $W$. Then, $J^{*}$$⊴K^{*}$and $J_{*}$$⊴K_{*}$if $J$is a PFNSG of K.

Proof 8.

Suppose that $J$ is a PFNSG of $K$ and $x\in J^{*}$ and $w\in K^{*}$, then

$${\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge \mathit{min}\left({\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right)={\left({\mu }_J\left(e\right)\right)}^2$$

and

$${\left({\nu }_J\left(wx{w}^{-1}\right)\right)}^2\le max\left({\left({\nu }_J\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right)={\left({\nu }_J\left(e\right)\right)}^2$$

This means that $wx{w}^{-1}\in J^{*}$. Thus, $J^{*}⊴K^{*}$.

A similar reasoning show that $J_{*}⊴K_{*}$. □

Theorem 14.

Assume that $J$is a PFNSG and $K$is a PFSG of $W$. Then, $J{\displaystyle \cap }K$is a PFNSG of $K$.

Proof 9.

In view of Theorem 2, $J{\displaystyle \cap }K$ is a PFSG of $W$ and $J{\displaystyle \cap }K \subseteq K$. Let $x,w\in W$, then ${\left({\mu }_{J{\displaystyle \cap }K }\left(wx{w}^{-1}\right)\right)}^2=min\left\{{\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2,{\left({\mu }_K\left(wx{w}^{-1}\right)\right)}^2\right\}$

$$\begin{gathered} \ge min\left\{{\left({\mu }_J\left(x\right)\right)}^2,min\left\{{\left({\mu }_K\left(wx\right)\right)}^2,{\left({\mu }_K\left(w^{-1}\right)\right)}^2\right\}\right\} \\ \ge min\left\{{\left({\mu }_J\left(x\right)\right)}^2,min\left\{min\left\{{\left({\mu }_K\left(w\right)\right)}^2,{\left({\mu }_K\left(x\right)\right)}^2\right\},{\left({\mu }_K\left(w\right)\right)}^2\right\}\right\} \\ =min\left\{{\left({\mu }_J\left(x\right)\right)}^2,min\left\{{\left({\mu }_K\left(w\right)\right)}^2,{\left({\mu }_K\left(x\right)\right)}^2\right\}\right\} \\ =min\left\{min\left\{{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(x\right)\right)}^2\right\},{\left({\mu }_K\left(w\right)\right)}^2\right\} \\ =min\left\{{\left({\mu }_{J{\displaystyle \cap }K}\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right\} \end{gathered}$$

So, ${\left({\mu }_{J{\displaystyle \cap }K}\left(wx{w}^{-1}\right)\right)}^2\ge min\left\{{\left({\mu }_{J{\displaystyle \cap }K}\left(x\right)\right)}^2,{\left({\mu }_K\left(w\right)\right)}^2\right\}$ for all $x,w\in W$. Similarly, we can show that ${\left({\nu }_{J{\displaystyle \cap }K}\left(wx{w}^{-1}\right)\right)}^2\le max\left\{{\left({\nu }_{J{\displaystyle \cap }K}\left(x\right)\right)}^2,{\left({\nu }_K\left(w\right)\right)}^2\right\}$ for all $x,w\in W$. Thus, $J{\displaystyle \cap }K$ is a PFNSG of $K$. □

Theorem 15.

Suppose that $J,K$and $L$are PFSGs of $W$such that $J$and $K$are PFNSGs of $L$. Then $J{\displaystyle \cap }K$is PFSG of $L$.

Proof 10.

Observe that $J{\displaystyle \cap }K$ is a PFSG of and $J{\displaystyle \cap }K\subseteq L$. Let $x,w\in W$, then

$$\begin{gathered} {\left({\mu }_{J{\displaystyle \cap }K }\left(wx{w}^{-1}\right)\right)}^2=min\left\{{\left({\mu }_{J }\left(wx{w}^{-1}\right)\right)}^2,{\left({\mu }_{K }\left(wx{w}^{-1}\right)\right)}^2\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\ge min\left\{min\left\{{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_L\left(w\right)\right)}^2\right\},min\left\{{\left({\mu }_K\left(x\right)\right)}^2,{\left({\mu }_L\left(w\right)\right)}^2\right\}\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=min\left\{min\left\{{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_K\left(x\right)\right)}^2\right\},{\left({\mu }_L\left(w\right)\right)}^2\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=min\left\{{\left({\mu }_{J{\displaystyle \cap }K }\left(x\right)\right)}^2,{\left({\mu }_L\left(w\right)\right)}^2\right\} \end{gathered}$$

Similarly, we can obtain

$${\left({\nu }_{J{\displaystyle \cap }K }\left(wx{w}^{-1}\right)\right)}^2\le max\left\{{\left({\nu }_{J{\displaystyle \cap }K }\left(x\right)\right)}^2,{\left({\nu }_L\left(w\right)\right)}^2\right\}$$

Therefore, $J{\displaystyle \cap }K$ is a PFSG of $L$. □

Theorem 16.

Assume that $\alpha :W\to X$is a group homomorphism and $J$and $K$are PFSGs of $W$. Then, $\alpha \left(J\right)$is a PFNSG of $\alpha \left(K\right)$if $J$is a PFNSG of $K$.

Proof 11.

It is easy to prove that $\alpha \left(J\right)$ and $\alpha \left(K\right)$ are PFNSGs of $X$ and $\alpha \left(J\right)\subseteq \alpha \left(K\right)$. Now

$$\begin{array}{cc}\hfill {\left({\mu }_{\alpha \left(J\right) }\left(wx{w}^{-1}\right)\right)}^2& =max\left\{{\left({\mu }_{J }\left(z\right)\right)}^2:z\in W,\alpha \left(z\right)=wx{w}^{-1}\right\}\hfill \\ & =max\left\{{\left({\mu }_{J }\left(kj{k}^{-1}\right)\right)}^2:k,j\in W,\alpha \left(k\right)=w,\alpha \left(j\right)=x\right\}\hfill \\ & \ge max\{min\left({\left({\mu }_{J }\left(j\right)\right)}^2,{\left({\mu }_{K }\left(k\right)\right)}^2\right):k,j\in W,\alpha \left(k\right)=w,\alpha \left(j\right)\hfill \\ & =x\}\hfill \\ & =min(max\left\{{\left({\mu }_{J }\left(j\right)\right)}^2:j\in W,\alpha \left(j\right)=x\right\},max\{{\left({\mu }_{K }\left(k\right)\right)}^2:k\hfill \\ & \in W,\alpha \left(k\right)=w\left\}\right)\hfill \\ & =min\left({\left({\mu }_{\alpha \left(J\right) }\left(x\right)\right)}^2,{\left({\mu }_{\alpha \left(K\right) }\left(w\right)\right)}^2\right)\hfill \end{array}$$

In a similar manner, we

$${\left({\nu }_{\alpha \left(J\right) }\left(wx{w}^{-1}\right)\right)}^2\le max\left({\left({\nu }_{\alpha \left(J\right) }\left(x\right)\right)}^2,{\left({\nu }_{\alpha \left(K\right) }\left(w\right)\right)}^2\right)$$

Thus, $\alpha \left(J\right)$ is a PFNSG of $\alpha \left(K\right)$. □

Theorem 17.

Assume that $\alpha :W\to X$is a group homomorphism and $J$and $K$are PFSGs of $X$. Then ${\alpha }^{-1}\left(J\right)$is a PFNSG of ${\alpha }^{-1}\left(K\right)$if $J$is a PFNSG of $K$.

Proof 12.

Clearly, ${\alpha }^{-1}\left(J\right)$ and ${\alpha }^{-1}\left(K\right)$ are PFNSGs of $W$ and ${\alpha }^{-1}\left(J\right)\subseteq {\alpha }^{-1}\left(K\right)$. Now

$$\begin{gathered} {\left({\mu }_{{\alpha }^{-1}\left(J\right) }\left(wx{w}^{-1}\right)\right)}^2={\left({\mu }_{J }\left(\alpha \left(wx{w}^{-1}\right)\right)\right)}^2 \\ ={\left({\mu }_{J }\left(\alpha \left(w\right),\alpha \left(x\right),{\left(\alpha \left(w\right)\right)}^{-1}\right)\right)}^2 \\ \ge min\left\{{\left({\mu }_{J }\left(\alpha \left(x\right)\right)\right)}^2,{\left({\mu }_{K }\left(\alpha \left(w\right)\right)\right)}^2\right\} \\ =min\left\{{\left({\mu }_{{\alpha }^{-1}\left(J\right) }\left(x\right)\right)}^2,{\left({\mu }_{{\alpha }^{-1}\left(K\right) }\left(w\right)\right)}^2\right\} \end{gathered}$$

Similarly

$${\left({\nu }_{{\alpha }^{-1}\left(J\right) }\left(wx{w}^{-1}\right)\right)}^2\le max\left\{{\left({\nu }_{{\alpha }^{-1}\left(J\right) }\left(x\right)\right)}^2,{\left({\nu }_{{\alpha }^{-1}\left(K\right) }\left(w\right)\right)}^2\right\}$$

Therefore, ${\alpha }^{-1}\left(J\right)$ is a PFNSG of ${\alpha }^{-1}\left(K\right)$. □

5. Fundamental Theorems of Pythagorean Fuzzy Isomorphism

In this section, we define the notions of Pythagorean fuzzy homomorphism and isomorphism. We generalize the concept of a factor group of a classical group $W$ relative to its normal subgroup $S$ by defining a PFSG of $\raisebox{1ex}{$W$}\!\left/ \!\raisebox{-1ex}{$S$}\right.$. Furthermore, we prove a Pythagorean fuzzy version of the fundamental theorems of isomorphisms.

Definition 10.

Let $J$and $K$be two PFSGs of $W$and $X$, respectively. Then a homomorphism $\alpha :W\to X$is called

(i)

weak Pythagorean fuzzy homomorphism of $J_1$to $J_2$if $\alpha \left(J_1\right)\subseteq J_2$. In such a case, we writeJ₁~J₂.

(ii)

Pythagorean fuzzy homomorphism ofJ₁to $J_2$if $\alpha \left(J_1\right)=J_2$. In such a case, we write $J_1\approx J_2$.

Definition 11.

Let $J_1$and $J_2$be two PFSGs of $W_1$and $W_2$, respectively. Then an isomorphism $\alpha :W_1\to W_2$is called

(i)

weak Pythagorean fuzzy isomorphism of $J_1$to $J_2$if$\alpha \left(J_1\right)\subseteq J_2$. In such a case, we write $J_1\simeq J_2$.

(ii)

Pythagorean fuzzy isomorphism of $J_1$to $J_2$if $\alpha \left(J_1\right)=J_2$. In such a case, we write $J_1\cong J_2$.

The segmentation of color images is a challenge which is in constant development, as they provide more information than a gray-scale image. In particular, the analysis of biomedical homomorphic images is especially helpful for many purposes. The concept of Pythagorean fuzzy homomorphism is effectively applied in the framework of color image segmentation, by means of which one can obtain a good performance to achieve the segmentation of the objects of interest.

Definition 12.

Let$J$be a PFSG of $W$and $S⊴W$. Define a PFS $J^{\prime }$of $\raisebox{1ex}{$W$}\!\left/ \!\raisebox{-1ex}{$S$}\right.$in the following way:

(i)

${\left({\mu }_{J^{\prime } }\left(wS\right)\right)}^2=max\left\{{\left({\mu }_J\left(t\right)\right)}^2:t\in wS\right\}$

(ii)

${\left({\nu }_{J^{\prime } }\left(wS\right)\right)}^2=min\left\{{\left({\nu }_J\left(t\right)\right)}^2:t\in wS\right\}$for all $wS\in \raisebox{1ex}{$W$}\!\left/ \!\raisebox{-1ex}{$S$}\right..$

Theorem 18.

$J^{\prime }$is a PFSG of $\raisebox{1ex}{$W$}\!\left/ \!\raisebox{-1ex}{$S$}\right.$.

Proof 13.

Let $wS\in \raisebox{1ex}{$W$}\!\left/ \!\raisebox{-1ex}{$S$}\right.$, then

$$\begin{gathered} {\left({\mu }_{J^{\prime } }{\left(wS\right)}^{-1}\right)}^2={\left({\mu }_{J^{\prime } }\left(w^{-1}S\right)\right)}^2 \\ =max\left\{{\left({\mu }_J\left(t\right)\right)}^2:t\in w^{-1}S\right\} \\ =max\left\{{\left({\mu }_J\left(t^{-1}\right)\right)}^2:t^{-1}\in wS\right\} (\mathrm{since}S\mathrm{is}\mathrm{normal}\mathrm{in}W) \\ ={\left({\mu }_{J^{\prime } }\left(wS\right)\right)}^2 \end{gathered}$$

In a similar way, we obtain ${\left({\nu }_{J^{\prime } }{\left(wS\right)}^{-1}\right)}^2={\left({\nu }_{J^{\prime } }\left(wS\right)\right)}^2$.

Next, let $w_{1}S,w_{2}S\in \raisebox{1ex}{$W$}\!\left/ \!\raisebox{-1ex}{$S$}\right.$, then

$$\begin{gathered} {\left({\mu }_{J^{\prime } }\left(w_{1}S.w_{2}S\right)\right)}^2={\left({\mu }_{J^{\prime } }\left(w_1{w}_{2}S\right)\right)}^2 \\ =max\left\{{\left({\mu }_J\left(t\right)\right)}^2:t\in w_1{w}_{2}S=w_{1}S.w_{2}S\right\} \\ =max\left\{{\left({\mu }_J\left(xy\right)\right)}^2:x\in w_{1}S,y\in w_{2}S\right\} \\ \ge max\left\{min\left({\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_J\left(y\right)\right)}^2\right):x\in w_{1}S,y\in w_{2}S\right\} \\ =min\left(max\left\{{\left({\mu }_J\left(x\right)\right)}^2:x\in w_{1}S\right\},max\left\{{\left({\mu }_J\left(y\right)\right)}^2:y\in w_{2}S\right\}\right) \\ =min\left({\left({\mu }_{J^{\prime } }\left(w_{1}S\right)\right)}^2,{\left({\mu }_{J^{\prime } }\left(w_{2}S\right)\right)}^2\right) \end{gathered}$$

Similarly, it can be proved that

$${\left({\nu }_{J^{\prime } }\left(w_{1}S.w_{2}S\right)\right)}^2\le max\left({\left({\nu }_{J^{\prime } }\left(w_{1}S\right)\right)}^2,{\left({\nu }_{J^{\prime } }\left(w_{2}S\right)\right)}^2\right).$$

Thus, $J^{\prime }$ is a PFSG of $\raisebox{1ex}{$W$}\!\left/ \!\raisebox{-1ex}{$S$}\right.$. □

Remark 1.

The PFSG $J^{\prime }$is called a factor Pythagorean fuzzy subgroup of $J$relative to $S$.

Suppose that $J$and K are PFSGs of $W$such that $J$is a PFNSG of $K$. Then, according to Theorem 13, $J^{*}⊴K^{*}$, and therefore the quotient group $J^{*}∕K^{*}$exists.

Let us define a PFS $J^{″}$of $J^{*}$in the following way:

$$\begin{gathered} {\mu }_{J^{″} }\left(w\right)={\mu }_{J }\left(w\right) \mathrm{for} \mathrm{all} w\in J^{*} \\ {\nu }_{J^{″} }\left(w\right)={\nu }_J\left(w\right) \mathrm{for} \mathrm{all} w\in J^{*} \end{gathered}$$

Obviously, $J^{″}$is a PFSG of $J^{*}$. Now, by Definition 12 and Theorem 18, Pythagorean fuzzy quotient group of $J^{″}$with respect to $K^{*}$exists. For the sake of convenience, we denote it by $J∕K$.

Clearly, $J∕K$is a PFSG of $J^{*}∕K^{*}$and

(i)

${\left({\mu }_{J∕K }\left(w{K}^{*}\right)\right)}^2=max\left\{{\left({\mu }_{J^{″}}\left(t\right)\right)}^2:t\in w{K}^{*}\right\}$

(ii)

${\left({\nu }_{J∕K }\left(w{K}^{*}\right)\right)}^2=min\left\{{\left({\nu }_{J^{″}}\left(t\right)\right)}^2:t\in w{K}^{*}\right\}$.

Theorem 19.

Let $J$and $K$be PFSGs of $W$and $J$be a PFNSG of $K$. Then

$\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}{J}^{″}\cong J∕K$.

Proof 14.

Observe that $J^{″}$ is a PFSG of $J^{*}$ and of $J∕K$ is a PFSG of J*/K*. Let $\alpha :J^{*}\to J^{*}∕K^{*}$ be defined by $\alpha \left(w\right)=w{K}^{*}$. Then, obviously, $\alpha$ is a homomorphism. Now

$$\begin{gathered} {\left({\mu }_{\alpha \left(J^{″}\right) }\left(w{K}^{*}\right)\right)}^2=max\left\{{\left({\mu }_{J^{″}}\left(t\right)\right)}^2:t\in J^{*},\alpha \left(t\right)=w{K}^{*}\right\} \\ =max\left\{{\left({\mu }_J\left(u\right)\right)}^2:u\in w{K}^{*}\right\} \\ ={\left({\mu }_{J/K}\left(w{K}^{*}\right)\right)}^2 \end{gathered}$$

By using the same arguments, we show that

$${\left({\nu }_{\alpha \left(J^{″}\right) }\left(w{K}^{*}\right)\right)}^2={\left({\nu }_{J/K}\left(w{K}^{*}\right)\right)}^2$$

So, we conclude that $\alpha \left(J^{″}\right)=J/K,$ which further implies that $J^{″}\cong J∕K$. □

Lemma 3.

Let $J$be a PFSG of $W$and $\alpha :W\to X$be a group homomorphism. Then, ${\left(\alpha \left(J\right)\right)}^{*}=\alpha \left(J^{*}\right)$.

Proof 15.

Let $x\in \alpha \left(J^{*}\right)$, then $\alpha \left(w\right)=x$ for some $w\in J^{*}$.

Consider ${\left({\mu }_{\alpha \left(J\right)}\left(x\right)\right)}^2=Sup\left\{{\left({\mu }_J\left(z\right):z\in {\alpha }^{-1}\left(x\right)\right)}^2\right\}\ge {\left({\mu }_J\left(w\right)\right)}^2>0$ and

${\left({\nu }_{\alpha \left(J\right)}\left(x\right)\right)}^2=Inf\left\{{\left({\nu }_J\left(z\right):z\in {\alpha }^{-1}\left(x\right)\right)}^2\right\}\le {\left({\nu }_J\left(w\right)\right)}^2<1$.

Therefore, $x\in {\left(\alpha \left(J\right)\right)}^{*}$. Thus, $\alpha \left(J^{*}\right)\subseteq {\left(\alpha \left(J\right)\right)}^{*}$.

Let $x\in {\left(\alpha \left(J\right)\right)}^{*}$, then there exists $w\in W$, such t $\alpha \left(w\right)=x$ and ${\mu }_J\left(w\right)={\mu }_{\alpha \left(J\right)}\left(x\right)$. Since ${\left({\mu }_{\alpha \left(J\right)}\left(x\right)\right)}^2>0$, so ${\left({\mu }_J\left(w\right)\right)}^2>0$, which implies that ${\left({\nu }_J\left(w\right)\right)}^2<1$. This gives $w\in J^{*}$ and therefore $x=\alpha \left(w\right)\in \alpha \left(J^{*}\right)$. Thus, ${\left(\alpha \left(J\right)\right)}^{*}\subseteq \alpha \left(J^{*}\right)$. □

Theorem 20.

First Fundamental Theorem of Pythagorean Fuzzy Isomorphism. Assume that $W$and $S$are crisp groups and $J$and $L$are PFSGs of $W$and $S$, respectively. If $J\cong L$, then there exists a PFNSG $K$of $J$, such that $J∕K\cong L^{″}.$

Proof 16.

Suppose that $J\cong L$, then there exists an epimorphism $\alpha :W\to S$, such that $\alpha \left(J\right)=L$. Define a PFSG $K$ of $W$

$${\mu }_K{}_{ }\left(w\right)=\{\begin{array}{c}{\mu }_{J }\left(w\right), if w\in ker\alpha \\ 0, \mathrm{otherwise}\end{array} \mathrm{and} {\nu }_{K }\left(w\right)=\{\begin{array}{c}{\nu }_{J }\left(w\right), if w\in ker\alpha \\ 1, \mathrm{otherwise}\end{array}.$$

Clearly, $K$ is a PFSG of $W$ and $K\subseteq J.$

Suppose that $x\in W$, then there are the two following possibilities;

(i)

If $x\in ker\alpha$, then wxw⁻¹∈ kerα for all $w\in W$. Furthermore,

$$\begin{gathered} {\left({\mu }_K{}_{ }\left(wx{w}^{-1}\right)\right)}^2={\left({\mu }_J\left(wx{w}^{-1}\right)\right)}^2\ge min\left\{{\left({\mu }_J\left(x\right)\right)}^2,{\left({\mu }_J\left(w\right)\right)}^2\right\} \\ =min\left\{{\left({\mu }_K\left(x\right)\right)}^2,{\left({\mu }_J\left(w\right)\right)}^2\right\} \end{gathered}$$

and

$$\begin{gathered} {\left({\upsilon }_K{}_{ }\left(wx{w}^{-1}\right)\right)}^2={\left({\upsilon }_J\left(wx{w}^{-1}\right)\right)}^2\le max\left\{{\left({\upsilon }_J\left(x\right)\right)}^2,{\left({\upsilon }_J\left(w\right)\right)}^2\right\} \\ =max\left\{{\left({\upsilon }_K\left(x\right)\right)}^2,{\left({\upsilon }_J\left(w\right)\right)}^2\right\} \end{gathered}$$

(ii)

If $x\in W ∕ker\alpha$, then μ_K(x) = 0 and ${\nu }_{K }\left(x\right)=1$. Furthermore,

$$\begin{gathered} {\left({\mu }_K{}_{ }\left(wx{w}^{-1}\right)\right)}^2\ge min\left\{{\left({\mu }_K\left(x\right)\right)}^2,{\left({\mu }_J\left(w\right)\right)}^2\right\} \mathrm{and} \\ {\left({\upsilon }_K{}_{ }\left(wx{w}^{-1}\right)\right)}^2\le max\left\{{\left({\upsilon }_K\left(x\right)\right)}^2,{\left({\upsilon }_J\left(w\right)\right)}^2\right\}. \end{gathered}$$

Thus, in both cases, $K$ is a PFNSG of $J$. In addition, $J\cong L$ yields $\alpha \left(J\right)=L$, so ${\left(\alpha \left(J\right)\right)}^{*}=L^{*}$. The application of Lemma 3 gives $\alpha \left(J^{*}\right)=L^{*}$. Let $\beta =\alpha {|}_{J^{*}}$, then $\beta$ is a homomophism from $J^{*}$ to $L^{*}$ such that Ker $\beta =K^{*}.$ According to the first isomorphism theorem, there exists an isomorphism $\psi : J^{*}∕K^{*}\to L^{*}$ defined by $\psi \left(w{K}^{*}\right)=\beta \left(w\right)=\alpha \left(w\right)$ for all $w{K}^{*}\in J^{*}∕K^{*}$. Now, for all $k\in L^{*}$:

$$\begin{gathered} {\hspace{1em}\left({\mu }_{\psi \left(J/K\right)}\left(k\right)\right)}^2=max\left\{{\left({\mu }_{J/K}\left(w{K}^{*}\right)\right)}^2:w\in J^{*},\psi \left(w{K}^{*}\right)=k\right\} \\ =max\left\{max\right\{{\left({\mu }_J\left(t\right)\right)}^2:t\in wK*\}:w\in J*,\beta \left(w\right)=k\} \\ =max\left\{{\left({\mu }_J\left(t\right)\right)}^2:t\in J^{*},\beta \left(t\right)=k\right\} \\ =max\left\{{\left({\mu }_J\left(t\right)\right)}^2:t\in J^{*},\beta \left(t\right)=k\right\} \\ =max\left\{{\left({\mu }_J\left(t\right)\right)}^2:t\in W,\alpha \left(t\right)=k\right\} \\ ={\left({\mu }_{\alpha \left(J\right)}\left(k\right)\right)}^2 \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}={\left({\mu }_L\left(k\right)\right)}^2 \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}={\left({\mu }_{L^{″}}\left(k\right)\right)}^2 (\mathrm{since} k\in L^{*}) \end{gathered}$$

In a similar way, we can obtain:

$${\left({\nu }_{\psi \left(J/K\right)}\left(k\right)\right)}^2={\left({\nu }_{L^{″}}\left(k\right)\right)}^2$$

Thus, $J∕K\cong L^{″}$. □

Definition 13.

Let $J$and $K$be two PFSGs of $W$, then the product of $J$and $K$is denoted by $J\circ K$and is defined as:

(i)

${\mu }_{J\circ K }\left(w\right)=max\left\{min\left({\mu }_{J }\left(u\right),{\mu }_{K }\left(v\right)\right):u,v\in W,uv=w\right\}$

(ii)

${\nu }_{J\circ K }\left(w\right)=min\left\{max\left({\nu }_{J }\left(u\right),{\nu }_{K }\left(v\right)\right):u,v\in W,uv=w\right\}$for all $w\in W$.

Lemma 4.

Let $J$and $K$be two PFSGs of $W$. Then

(i)

${\left(J{\displaystyle \cap }K\right)}^{*}$ = $J^{*}{\displaystyle \cap }{K}^{*}$.

(ii)

${\left(J\circ K\right)}^{*}$ = $J^{*}{K}^{*}$

Proof 17.

(i)

Suppose that $w\in W$, then

$$\begin{gathered} w\in {\left(J_1{\displaystyle \cap }{J}_2\right)}^{*}\iff {\left({\mu }_{J_1{\displaystyle \cap }{J}_2}\left(w\right)\right)}^2>0 \mathrm{and} {\left({\nu }_{J_1{\displaystyle \cap }{J}_2}\left(w\right)\right)}^2<1 \\ \iff min\left({\left({\mu }_{J_1}\left(w\right)\right)}^2,{\left({\mu }_{J_2}\left(w\right)\right)}^2\right)>0 \mathrm{and} min\left({\left({\nu }_{J_1}\left(w\right)\right)}^2,{\left({\nu }_{J_2}\left(w\right)\right)}^2\right)<1 \\ \iff {\left({\mu }_{J_1}\left(w\right)\right)}^2,{\left({\mu }_{J_2}\left(w\right)\right)}^2>0 \mathrm{and} {\left({\nu }_{J_1}\left(w\right)\right)}^2,{\left({\nu }_{J_2}\left(w\right)\right)}^2<1 \\ \iff w\in J_1{}^{*}, J_2{}^{*}\iff w\in J_1^{*}{\displaystyle \cap }{J}_2^{*}. \end{gathered}$$

Thus, ${\left(J_1{\displaystyle \cap }{J}_2\right)}^{*}$ = $J_1^{*}{\displaystyle \cap }{J}_2^{*}$.

(ii)

Suppose that $w\in W$, then

$$\begin{gathered} w\in {\left(J\circ K\right)}^{*}\iff {\left({\mu }_{J\circ K}\left(w\right)\right)}^2>0 \mathrm{and} {\left({\nu }_{J\circ K}\left(w\right)\right)}^2<1 \\ \iff max\left\{min{\left({\mu }_{J }\left(u\right),{\mu }_{K }\left(v\right)\right)}^2:u,v\in W,uv=w\right\}>0 \mathrm{and} \\ {\nu }_{J\circ K }\left(w\right)=min\left\{max\left({\nu }_{J }\left(u\right),{\nu }_{K }\left(v\right)\right):u,v\in W,uv=w\right\}<1 \\ \iff {\mu }_{J }\left(u\right)>0, {\mu }_{K }\left(v\right)>0 \mathrm{and} {\nu }_{J }\left(u\right),{\nu }_{K }\left(v\right)<1 \end{gathered}$$

where, $u,v\in W$ such that $uv=w$

$\iff u\in J^{*}$ and $v\in K^{*},$ where $u,v\in W$, such that $uv=w\iff w=uv\in J^{*}{K}^{*}$.

Thus, ${\left(J\circ K\right)}^{*}$ = $J^{*}{K}^{*}$. □

Theorem 21.

Second Fundamental Theorem of Pythagorean Fuzzy Isomorphism.

Let $J$be a PFNSG of $W$and $K$be a PFSG of $W$. Then, $K∕J{\displaystyle \cap }K\simeq \left(J\circ K\right)∕J$.

Proof 18.

By means of Theorem 9, we have $J^{*}⊴W$. In addition, from Lemma 2, we obtain that $K^{*}$ is a subgroup of $W$. Therefore, according to the second isomorphism theorem of classical group theory, there exists an isomorphism $\psi : K^{*}∕ J^{*}{\displaystyle \cap }{K}^{*}\to J^{*}{K}^{*}∕J^{*}$, defined by

$$\psi \left(k\left( J^{*}{\displaystyle \cap }{K}^{*}\right)\right)=k{J}^{*} \mathrm{for} \mathrm{all} k\in K^{*}.$$

According to Lemma 4,

$$\begin{gathered} J^{*}{\displaystyle \cap }{K}^{*}={\left(J{\displaystyle \cap }K\right)}^{*} \mathrm{and} J^{*}{K}^{*}={\left(JK\right)}^{*}, \mathrm{respectively}, \\ \mathrm{so} K^{*}∕ J^{*}{\displaystyle \cap }{K}^{*}\cong J^{*}{K}^{*}∕J^{*}. \end{gathered}$$

Now

$$\begin{gathered} {\left({\mu }_{\psi \left(K∕J{\displaystyle \cap }K\right)}\left(k J^{*}\right)\right)}^2={\left({\mu }_{K∕J{\displaystyle \cap }K}\left(k{\left(J{\displaystyle \cap }K\right)}^{*}\right)\right)}^2 \psi \mathrm{is} one-one \\ =max\left\{{\left({\mu }_K\left(t\right)\right)}^2:t\in k{\left(J{\displaystyle \cap }K\right)}^{*}\right\} \\ \le max\left\{{\left(\left({\mu }_J\circ {\mu }_K\right)\left(t\right)\right)}^2:t\in k\left( J^{*}{\displaystyle \cap }{K}^{*}\right)\right\} \\ \le max\left\{{\left(\left({\mu }_J\circ {\mu }_K\right)\left(t\right)\right)}^2:t\in k{J}^{*}\right\} \\ ={\left(\left(\left({\mu }_J\circ {\mu }_K\right)∕{\mu }_J\right)\left(k{J}^{*}\right)\right)}^2 \end{gathered}$$

The same reasoning leads us to ${\left({\nu }_{\psi \left(K∕J{\displaystyle \cap }K\right)}\left(k J^{*}\right)\right)}^2\ge {\left(\left(\left({\nu }_J\circ {\nu }_K\right)∕{\nu }_J\right)\left(k{J}^{*}\right)\right)}^2$. Therefore, $\psi \left(K∕J{\displaystyle \cap }K\right)\subseteq \left(J\circ K\right)∕J$, which further implies that $K∕J{\displaystyle \cap }K\simeq \left(J\circ K\right)∕J$. □

Theorem 22.

Third Fundamental Theorem of Pythagorean Fuzzy Isomorphism.

Let$J,K$and$L$be PFSGs of$W$. If$J$and$K$are PFNSGs of and$J\subseteq K$, then$\left(L∕J\right)∕\left(K∕J\right)\simeq L∕K$.

Proof 19.

According to Theorem 9, $J^{*}⊴L^{*}$ and $K^{*}⊴L^{*}$. Since $J\subseteq K,$ therefore $J^{*}⊴K^{*}$. Then, the third isomorphism theorem of classical group theory yields an isomorphism $\psi : \left(L^{*}∕ J^{*}\right)∕\left(K^{*}∕ J^{*}\right)\to L^{*}∕K^{*}$, defined by $\psi \left(l{J}^{*}\left(K^{*}∕ J^{*}\right)\right)=l{K}^{*}$ for all $l\in L^{*}$.

Next, we will prove that if $z{J}^{*}\in l{J}^{*}\left(K^{*}/J^{*}\right)$, then $z\in l{K}^{*}$. Let $z{J}^{*}\in l{J}^{*}\left(K^{*}/J^{*}\right)$, then $l{J}^{*}\left(K^{*}/J^{*}\right)=z{J}^{*}\left(K^{*}/J^{*}\right)$ (since $x\in gH$ implies $gH=xH)$. So, $\psi \left(l{J}^{*}\left(K^{*}∕ J^{*}\right)\right)=\psi \left(z{J}^{*}\left(K^{*}/J^{*}\right)\right)$, which further implies that $l{K}^{*}=z{K}^{*}$. Since $z\in z{K}^{*}$, thus, $z\in l{K}^{*}$. Now

$$\begin{gathered} {\left({\mu }_{\psi \left(\left(L/J\right)/\left(K/J\right)\right)}\left( l{K}^{*}\right)\right)}^2={\left({\mu }_{\left(L/J\right)/\left(K/J\right)}\left(l{J}^{*}\left(K^{*}/J^{*}\right)\right)\right)}^2 \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=max\left\{{\left({\mu }_{L/J}\left(l^{\prime }{J}^{*}\right)\right)}^2:l^{\prime }\in L^{*},l^{\prime }{J}^{*}\in l{J}^{*}\left(K^{*}/J^{*}\right)\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=max\left\{max\left\{{\left({\mu }_L\left(t\right)\right)}^2:t\in l^{\prime }{J}^{*}\right\}:l^{\prime }\in L^{*},l^{\prime }{J}^{*}\in l{J}^{*}\left(K^{*}/J^{*}\right)\right\} \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}=max\left\{{\left({\mu }_L\left(z\right)\right)}^2:z\in L^{*},z{J}^{*}\in l{J}^{*}\left(K^{*}/J^{*}\right)\right\} \end{gathered}$$

We know that $z{J}^{*}\in l{J}^{*}\left(K^{*}/J^{*}\right)$, and thus $l{J}^{*}\left(K^{*}/J^{*}\right)=z{J}^{*}\left(K^{*}/J^{*}\right)$ (since $x\in gH$ implies $gH=xH)$. So, $\psi \left(l{J}^{*}\left(K^{*}∕ J^{*}\right)\right)=\psi \left(z{J}^{*}\left(K^{*}/J^{*}\right)\right)$

, which further implies that $l{K}^{*}=z{K}^{*}$. Since $z\in z{K}^{*}$, thus, $z\in l{K}^{*}$. Therefore,

$$\begin{gathered} {\left({\mu }_{\psi \left(\left(L/J\right)/\left(K/J\right)\right)}\left( l{K}^{*}\right)\right)}^2=max\left\{{\left({\mu }_L\left(z\right)\right)}^2:z\in L^{*},z\in l{K}^{*}\right\} \\ ={\left({\mu }_{L/K}\left(l{K}^{*}\right)\right)}^2 \end{gathered}$$

By the same method, we obtain:

$${\left({\upsilon }_{\psi \left(\left(L/J\right)/\left(K/J\right)\right)}\left( l{K}^{*}\right)\right)}^2={\left({\upsilon }_{L/K}\left(l{K}^{*}\right)\right)}^2$$

Therefore, $\psi \left(\left(L/J\right)/\left(K/J\right)\right)=L/K$, thus $\left(L∕J\right)∕\left(K∕J\right)\simeq L∕K$. □

6. Conclusions

The main objective of this paper is to present the notion of group theory under the features of Pythagorean fuzzy sets. The Pythagorean fuzzy set is one of the extensions of the fuzzy set used to deal with uncertainties in the data. Keeping the features of this set in mind, we extend the study of the Pythagorean fuzzy cosets of a Pythagorean fuzzy subgroup. In addition, we examine the three fundamental theorems of group isomorphisms under a Pythagorean fuzzy environment. To address this, firstly, we define certain notions of group theory such as cosets of a subgroup, normal subgroups and factor groups in a Pythagorean fuzzy format and prove some results relevant to them. The results proved in this paper will help to generalize many other pure group theoretic notions such as the order of a group and its elements, Lagrange’s theorem, Caley’s theorem, nilpotent and solvable groups, and group actions in a Pythagorean fuzzy environment. In the literature, group morphisms related to classical and intuitionistic fuzzy sets are used in pattern recognition problems and image encryption. Since PFS is one of the prime generalizations of IFS, the application of the concepts of Pythagorean fuzzy morphisms in pattern recognition problems and image encryption will thus produce better results as compared to classical and intuitionistic fuzzy morphisms.

In future work, we will extend the present concepts to different fields of the homomorphism and coset graphs of symmetric groups and under different extensions of the fuzzy sets. Apart from this, we will apply the results of this study to different applications such as image encryption, cryptography and image quality assessment, etc.