$(\epsilon, \delta)$-complex anti fuzzy subgroups and their applications

1.   Introduction

Numerous applications of algebraic theory can be found not only in theoretic and practical mathematics such as game theory, algebraic geometry, etc. but also in other scientific disciplines like physics, genetics, and engineering. Group theory is a fundamental branch of algebra that investigates the properties and structures of various groups. It plays a central role in various areas of mathematics, such as physics, chemistry, and computer science, including cryptography, algebraic geometry, algebraic number theory, harmonic analysis, etc.^{[1,2,3,4,5,6,7]}. Life is filled with unpredictability, which is impossible to avoid. This universe is also not built on accurate measurements or suppositions. Sometimes, the classical mathematical framework of probability is unable to handle every situation. The novel idea of fuzzy sets introduced by Zadeh ^[8], is briefly explained by the uncertainty, vagueness, and ambiguity of data. A wide range of academics from other disciplines have used this idea because it was so inspirational. By taking fuzzy sets and logic into consideration, a number of novel theories are developed in parallel with traditional approaches. In 1970, Rosenfeld ^[9] proposed the fuzzy concepts into group theory, and classified the outcomes as fuzzy subgroup. The discussion of the fuzzy subgroups, fuzzy quotient groups, and fuzzy normal subgroups are also done in this research work. Ray ^[10] pioneered the idea of cartesian product of a the fuzzy subgroups. In 1986, Atanassov ^[11] published his first article on intuitionistic fuzzy $({I}{F})$ sets, which is an extension of fuzzy sets, and introduced certain operations, like subtraction, addition, composition union, and intersection under the influence of the intuitionistic fuzzy set. Biswas introducced the ${I}{F}$ subgroup with basic findings ^[12], and Sharma investigated some fundamental results of the IF subgroup. Also, ${I}{F}$ homomorphism is under the influence of group theory ^[13,14].

Gulzar et al.^[15] established a new category of $t$-${I}{F}$-subgroups. The explanation of the $t$-${I}{F}$ centralizer, normalizer, and $t$-intuitionistic Abelian subgroups are also discussed. Intuitionistic fuzzy set techniques have acquired importance over fuzzy set techniques in recent years throughout a number of technical fields. The distance measurements approach is used in a variety of applications of ${I}{F}$ sets. Researcher have used ${I}{F}$ sets in a variety of situations in clinical diagnosis, medical application, etc. It plays a very important role in engineering issues, professional selection, real-life issues, and education. In 2001, Supriya et al. ^[16,17,18] studied the Sanchez's approach for medical diagnosis and extended this theory with the notion of the ${I}{F}$ set theory.

Biswas ^[19] presented the principle of anti-fuzzy subgroups and initiated the fundamental algebraic structures. The fundamental results of anti-fuzzy subgroup are discussed and the relationships between complements of fuzzy subgroup and anti-fuzzy subgroup are also addressed ^[20]. In 2013, Azam et al.^[21] introduced a few basic operations and structures of anti-fuzzy ideals of ring. Gang ^[22] introduced the factor rings and investigated some results. In 1999, Kim and Jun ^[23] developed the novel idea of anti fuzzy R-subgroups of near rings, and Kim et al.^[24] initiated the anti-fuzzy ideals in near rings, discussed basic algebraic properties, and established the relation between the near rings and anti-fuzzy sets. Sharma ^[25] developed the definition of $\alpha$-anti fuzzy subgroup and explored the fundamental algebraic structure of the $\alpha$-anti-fuzzy subgroup. In addition, the techniques of the $\alpha$-anti-fuzzy normal subgroups and quotient group of $\alpha$-anti-fuzzy cosets are also explained. In 2022, Razaq ^[26] introduced the concept of Pythagorean fuzzy normal subgroups, Pythagorean fuzzy isomorphism, and developed the basic characteristics of Pythagorean fuzzy normal subgroups and proved the fascinating results of Pythagorean fuzzy isomorphism. Moreover, they looked at the concept of Pythagorean fuzzy ideas and investigated some results ^[27]. Xiao et. al ^[28] presented the q-ROFDM model with new score function, and the best-worst methods for manufacturer selection also discussed the fuzzy criteria weights, and several comparisons are conducted to illustrate the developed model.

Sharma ^[29] applied the fundamental properties of group theory to the $(\alpha, \beta)$-anti fuzzy set and introduced the $(\alpha, \beta)$-anti-fuzzy subgroup, which is an extension of the $(\alpha, \beta)$-anti fuzzy set. They also, demonstrated the basics of the result of the $(\alpha, \beta)$-anti-fuzzy subgroup and certain features of this ideology are discussed. Moreover, they investigated the homomorphic images and pre-images of certain group. Wan et al. ^[30] presented the method for interactive and complementary feature selection via fuzzy multigranularity uncertainty measures and compared them with the benchmark approaches on several datasets.

Further, changes in the process (periodicity) of the data overlap with uncertainty in our daily lives and ambiguity in the data. Due to the insufficiency of current hypotheses that provide explanations for the information, data is lost during the process. Ramot et al. ^[31,32] initiated a complex fuzzy set (CFS) to deal with the problem by extending the range of the membership function from real numbers to complex numbers with the unit disc. Because the CFS considers only the degree of membership than the non-membering part of data entities, which also play an equal role in the decision-making process for evaluating the system, it only gives weight to the degree of membership. However, it is frequently difficult to describe membership degree estimation by a fuzzy set's accurate value in the real world. This may reflect using two-dimensional information than one in these circumstances, when it may be simpler to reflect the vagueness and ambiguity that exist in the real world. Given that uncertainties are uneasy to be evaluated in the complex problem of decision-making, an expansion of the existing theories may therefore be very helpful for explaining uncertainties. To address this, Alkouri and Salleh ^[33,34] examined the fundamental features of complex intuitionistic fuzzy sets and extended the definition of CFSs to consist of complex degrees of non-membership functions.

Furthermore, Gulzar et al. ^[35] introduced the idea of Q-complex fuzzy subrings and covered some of their basic algebraic features. Additionally, the examine the homomorphic image and invert image of Q-complex fuzzy subrings, and enlarge this concept to develop the concept of the direct product of two Q-complex fuzzy subrings. Hanan et al. ^[36] started the abstraction of $(\alpha, \beta)$-CFSs and defined $(\alpha, \beta)$-complex fuzzy subgroups (CFSG). After that, they established that each CFSG is a $(\alpha, \beta)$-CFSG and defined $(\alpha, \beta)$-complex fuzzy normal subgroups of a given group. This concept is expanded to define $(\alpha, \beta)$-complex fuzzy cosets, and some of their algebraic properties are examined.

The following are the motivation of this novel work.

1) Biswas ^[19] presented the principle of anti-fuzzy subgroups and initiated the fundamental algebraic structures. Sharma ^[25] developed the definition of $\alpha$-anti fuzzy subgroup and explored the fundamental algebraic structure of $\alpha$-anti-fuzzy subgroup. Sharma ^[29] applied the fundamental properties of group theory to the $(\alpha, \beta)$-anti fuzzy set and introduced $(\alpha, \beta)$-anti-fuzzy subgroup, which is an extension of the $(\alpha, \beta)$-anti fuzzy set.

2) Ramot et al. ^[31,32] initiated a CFS to deal with the problem by extending the range of the membership function from real numbers to complex numbers with the unit disc. Because the CFS considers only the degree of membership than the non-membering part of data entities, which also play an equal role in the decision-making process for evaluating the system, it gives weight only to the degree of membership.

3) The proppsed method is $(\epsilon, \delta)$-CAFSG. is a generalized form of CAFSG. The motivation for the recommended concept is expressed as follows: (1) To communicate a general concept such as the $(\epsilon, \delta)$-CAFSG; (2) For $\epsilon = 1$ and $\delta = 2\pi$, the idea that we propose can be convert into a classical CAFS. As a effective generalization of fuzzy subgroups, the $(\epsilon, \delta)$-CAFSGs are the subject of this article investigation.

1.1.   Objectives

1) To propose the concept of $(\epsilon, \delta)$-CAFSs, examine the $\left(\epsilon, \delta \right)$-CAFSG in the context of CAFSs and prove that every complex fuzzy subgroup is a $(\epsilon, \delta)$-CAFSG.

2) To define $(\epsilon, \delta)$-CAF cosets and $(\epsilon, \delta)$-CAFNSGss of a certain group, as well as to investigate some algebraic properties under the $(\epsilon, \delta)$-CAFSG. We elaborate the $(\epsilon, \delta)$-CAFSG of the classical quotient group.

3) To demonstrate the index of $\left(\epsilon, \delta \right)$-CAFSG and $(\epsilon, \delta)$-complex anti-fuzzification of the Lagrange theorem corresponding to the Lagrange theorem of classical group theory.

This paper is organized as follows: Section 1 introduces the fundamental concepts of complex anti fuzzy sets, complex anti fuzzy subgroups, and related features. In Section 2, we construct $(\epsilon, \delta)$-CAFS and $(\epsilon, \delta)$-CAFSG as generalizations of CAFSG. We show that any complex anti fuzzy subgroup is also a $(\epsilon, \delta)$-CAFSG, and examined some of the essential aspects of these newly define CAFSGs. In Section 3, the $(\epsilon, \delta)$-CAF cosets and $(\epsilon, \delta)$-CAFNSGss are describe and various algebraic properties of these particular groups are investigate. Furthermore, we discuss $(\epsilon, \delta)$-complex anti fuzzy quotient groups (CAFQG) and establish the quotient group with regard to $(\epsilon, \delta)$-CAF cosets. The indices of the $(\epsilon, \delta)$-CAFSG is define and the $(\epsilon, \delta)$-complex anti fuzzification of Lagrange's theorem is develop.

2.   Preliminaries

We start by analyzing the fundamental idea of $CAFS$s and $CAFSG$s, both are essential for study.

Definition 2.1. ^[8] If $H$ is universal set and $x$ is an arbitrary element of $H$ then an anti-fuzzy set $\varphi$ is define as $\varphi = \{(x, \; \lambda), x \in H\}$, where $\lambda$ is a non membership function and $\lambda \in [0, 1]$.

Definition 2.2. ^[37] A $CFS$ $S$ of a universe set $H$, characterized by the degree of membership ${\theta }_S(l) = {\nu }_S(l)e^{i{\eta }_S(l)}$ and is defined as ${\theta }_S:l \to \{l\in H :\left|l\right|\le 1\}, \; H$ is complex plain. Whose range is not limited to $[0\; 1]$ but extens to unit circle in complex plane, where $i = \sqrt{-1}, \; {\nu }_S(l)$ and ${\eta }_S(l)$ are both real valued including ${\nu }_S(l)\in \left[0, 1\right]$ and ${\eta }_S(l)\in \left[0, 2\pi \right]$. As for purpose of simplicity, we will employ ${\nu }_S(l)e^{i{\eta }_S(l)}$ membership function for complex fuzzy set $S$.

Definition 2.3. ^[11] Assume that $S = \{(l, \ \rho_{S}(l)):\ l\in {H}\}$ be a anti fuzzy subset where $H$ is a universal set. Now the set

is called ${\pi}$-anti fuzzy subset.

Definition 2.4. ^[11] A $\pi$-anti fuzzy set $S_{\pi}$ of group $G$ is known as $\pi$-anti fuzzy subgroup of ${G}$ if the following conditions are satisfied

(ⅰ) $S_{\pi }(lm)\le \mathrm{max}\left\{S_{\pi }\left(l\right), S_{\pi }\left(m\right)\right\}$, $\forall$ $l, m\ \in \ {G},$

(ⅱ) $S_{\pi }(l^{-1})\le S_{\pi }(l)$, $\forall$ $l, m \in \ {G}$.

Definition 2.5 ^[11] Assume $S = {\left\{(l, {\nu }_S\left(l\right)e^{i{\eta }_S\left(l\right)}): l \in {G}\right\}\ }$ and $T = {\left\{(l, {\nu }_T\left(l\right)e^{i{\eta }_T\left(l\right)}): l \in {G}\right\} }$ are both $CAFS$s of ${G}.$ Then

(ⅰ) A $CAFS$ $S$ is homogeneous $CAFS$, if $\mathrm{\forall }$ $l, m\in {G}$, we have ${\nu }_S\left(l\right)\le {\nu }_S\left(m\right)$ if and only if ${\eta }_S\left(l\right)\le {\eta }_S\left(m\right).$

(ⅱ) A $CAFS$ $A$ is homogeneous complex anti fuzzy set with $B$, if $\mathrm{\forall }$ $p, q\in {G}$, we have ${\nu }_A\left(p\right)\le {\nu }_B\left(p\right)$ if and only if ${\eta }_A\left(p\right)\le {\eta }_B\left(p\right).$

Definition 2.6. ^[35] Let $S = {\left\{(l, {\nu }_S\left(l\right)e^{i{\eta }_S\left(l\right)}): l\in {G}\right\}\ }$ and $T = {\left\{(l, {\nu }_T\left(l\right)e^{i{\eta }_T\left(l\right)}) : l \in {G}\right\}\ }$ be a $CAF$ subsets of set $G$. Then intersection and union of $S$ and $T$ is examined as:

(ⅰ) $(S\cap T)(l) = {\nu }_{S\cap T}\left(l\right)e^{i{\eta }_{S\cap T}\left(l\right)} \\ = {\mathrm{max} \left\{{\nu }_S\left(l\right)e^{i{\eta }_S\left(l\right)}, {\nu }_S\left(l\right)e^{i{\eta }_S\left(l\right)}\right\}}, \ \forall \ l\in L.$

(ⅱ) $(S\cup T)(l) = {\nu }_{S\cup T}\left(l\right)e^{i{\eta }_{S\cup T}\left(l\right)}\\ = {\mathrm{min} \left\{{\nu }_S\left(l\right)e^{i{\eta }_S\left(l\right)}, {\nu }_S\left(l\right)e^{i{\eta }_S\left(l\right)}\right\}}, \ \forall \ l\in L.$

Definition 2.7. ^[11] Let $S$ be a$CAFS$ of group ${G}$. Then $S$ is know as $CAFSG$ of group ${G}$, if the following criteria are fulfilled.

(ⅰ) ${\nu }_S\left(lm\right)e^{i{\eta }_S\left(lm\right)}\le {\mathrm{max} \left\{\ {\nu }_S\left(l\right)e^{i{\eta }_S\left(l\right)}, \ {\nu }_S\left(m\right)e^{i{\eta }_S\left(q\right)}\right\}\ }$,

(ⅱ) ${{\nu }_S\left(l^{-1}\right)e^{i{\eta }_S\left(l^{-1}\right)}\le {\nu }_S\left(l\right)e^{i{\eta }_S\left(l\right)}}$ for all $l, m\in {G}$.

Definition 2.8. ^[11] A complex anti fuzzy set $S$ of group ${G}$ is said to be $CAFNSG$ of group ${G}$, if:$\ {\nu }_S\left(lm\right)e^{i{\eta }_S\left(lm\right)} = {\nu }_S\left(ml\right)e^{i{\eta }_S\left(ml\right)}$, for all $l, m\in {G}.$

Definition 2.9. ^[25] Let $S$ be a anti fuzzy subset of a group ${G}$. Then anti fuzzy set $S_\epsilon$ of ${G}$ is known as $\epsilon$-anti fuzzy subset of ${G}$, where $\epsilon \in[0, 1]$ and define as $S_{\epsilon}\left(p\right) = {\max}{\{S(p), 1-\epsilon}\}$ for all $p \in {G}$.

Some results:

(ⅰ) (ⅰ) Let $S$ and $T$ be two anti fuzzy subsets of X. Then

$(S\cup T)_\epsilon = S_\epsilon\cup T_\epsilon$.

(ⅱ) (ⅱ) Suppose g : $L \rightarrow M$ be a mapping and S and T be two anti fuzzy subsets of L and M sequentially, then

(a) $g^{-1} (T_\epsilon) = (g^{-1} (T))_\epsilon$,

(b) $g(T)_\epsilon = (g(T))_\epsilon$.

Definition 2.10. ^[38] Suppose $S^{\epsilon}$ and $S_{\delta}$ respectively indicate, the $\epsilon$- fuzzy set and $\delta$-anti fuzzy set of $L$, where $L$ is universal set. Then the anti fuzzy set $S_{(\epsilon, \delta)}$ is define by

$S_{(\epsilon, \delta)}(u)$ = $\min\{u, \; (S^{\epsilon})^c(u), S_{\delta}(u)\} \forall u \in L$ and is called $S_{(\epsilon, \delta)}$-anti fuzzy set of L due respect the fuzzy set S, where $\epsilon, \delta \in[0, 1]$ such that $\epsilon+\delta \leq1.$

Remark 2.11.

(ⅰ) $S_{(0, 1)}(u)$ = $\min\{(S^{1})^c(u), S_{0}(u)\}$ = $\min\{S^{c}(u), 1\} = 1$,

(ⅱ) $S_{(0, 1)}(u)$ = $\min\{(S^{0})^c(u), S_{1}(u)\}$ = $\min\{1, S^{c}(u)\} = 1$.

3.   Algebraic attributes of $(\epsilon, \delta)$-complex anti fuzzy subgroups

Now this section introduces the $(\epsilon, \delta)$-${C}{A}{F}{S}$ and $(\epsilon, \delta)$-${C}{A}{F}{S}{G}$s methodology. We establish that any complex fuzzy subgroup is also a $(\epsilon, \delta)$-${C}{A}{F}{S}G$ but the converse does not hold and we explore certain fundamentals categorization of this phenomena.

Definition 3.1. Let $S = \left\{(l, {\mu }_S(l\right)e^{i{\eta }_S(l)}):l\in {G}\}$ be $CAFS$ of group ${G}$, for any $\epsilon \in [0, 1]$ and $\delta \in [0, 2\pi ],$ such that ${\mu }_S(l)\ge \epsilon$ and ${\eta }_S(l)\ge \delta$ or $({\nu }_S(l)\le \epsilon$ and ${\eta }_S(l)\le \delta)$. Then, the set $S_{(\epsilon, \delta)}$ is called $(\epsilon, \delta)$-$CAFS$t and defined as: ${\nu }_{S_{\epsilon }}(l)e^{i{{\eta }_S}_{\delta }(l)} = {\mathrm{max} \{{\nu }_S(l)e^{i{{\eta }_S}_{\delta }(l)}, \ \epsilon e^{i\delta }\}\ } = \mathrm{max}\{{\nu }_S(l), \ \epsilon \}e^{i{\mathrm{max} \{{\eta }_S(l), \ \delta \}\ }}$, where ${\nu }_{S_{\epsilon}}(l) = \mathrm{max}\{{\nu }_S(l), \epsilon\}$ and ${\eta }_{ S_{\delta}}(l) = \mathrm{max} \{{\eta }_S(l), \delta\}$.

Throughout manuscript, we will focused on the non-membership function of $(\epsilon, \delta)$-$CAFS$s $S_{(\epsilon, \delta)}$ and $T_{(\epsilon, \delta)}$ such as ${\nu }_{S_{\epsilon}}(l)e^{i{{\eta }_S}_{\delta}(l)}$ and ${\nu }_{T_{\epsilon}}(l)e^{i{{\eta }_T}_{\delta }(l)}$, respectively.

Definition 3.2. Let $S_{(\epsilon, \delta)}$ and $T_{(\epsilon, \delta)}$ be a two $(\epsilon, \delta)$-$CAFS$s of ${G}$. Then

(ⅰ) A $(\epsilon, \delta)$-$CAFS$ $S_{(\epsilon, \delta)}$ is homogeneous $(\epsilon, \delta)$-$CAFS$, for all $l, m\in {G}$, we have ${\nu }_{S_{\epsilon }}(l)\ge {\nu }_{S_{\epsilon }}(m)$ if and only if ${\eta }_{S_{\delta }}(l)\ge {\eta }_{S_{\delta }}(m).$

(ⅱ) A $(\epsilon, \delta)$-$CAFS$ $S_{(\epsilon, \delta)}$ is homogeneous $(\epsilon, \delta)$-$CAFS$ with $T_{(\epsilon, \delta)}$, for all $l, m\in {G}$, such that ${\nu }_{S_{\epsilon }}(l)\ge {\nu }_{T_{\epsilon }}(l)$ if and only if ${\eta }_{S_{\delta }}(l)\ge {\eta }_{T_{\delta }}(l).$

In this research article, we use $(\epsilon, \delta)$-$CAFS$ as homogeneous $(\epsilon, \delta)$-complex anti fuzzy set.

Remark 3.3. By taking the values of $\epsilon = 1$ and $\delta = 2\pi$ in the given definition, we obtain the classical $CAFS$ $S$.

Remark 3.4. Let $S_{(\epsilon, \delta)}$ and $T_{(\epsilon, \delta)}$ be two $(\epsilon, \delta)$-$CAFS$s of group ${G}$. Then ${(\mathrm{S}\mathrm{\cap }\mathrm{M})}_{(\epsilon, \delta)} = S_{(\epsilon, \delta)}\cap T_{(\epsilon, \delta)}.$

Definition 3.5. Let $S_{(\epsilon, \delta)}$ be an $(\epsilon, \delta)$-$CAFS$ of group ${G}$ for $\epsilon \in [0, 1]$ and $\delta \in [0, 2\pi ]$. Then $S_{(\epsilon, \delta)}$ is known as $(\epsilon, \delta)$-${C} {A} {F}{S}$G of group ${G}$, if it satisfy the following conditions:

(ⅰ) ${\nu }_{S_{\epsilon }}(lq)e^{i{\eta }_{S_{\delta }}(lq)}\ge {\mathrm{max} \{\ {\nu }_{S_{\epsilon }}(l)e^{i{\eta }_{S_{\delta }}(l)}, \ {\nu }_{S_{\epsilon }}(q)e^{i{\eta }_{S_{\delta }}(q)}\}\ },$

(ⅱ) ${\nu }_{S_{\epsilon }}(l^{-1})e^{i{\eta }_{S_{\delta }}(l^{-1})}\le {\nu }_{S_{\epsilon }}(l)e^{i{\eta }_{S_{\delta }}(l)}$ for all $l, m\in {G}$.

Theorem 3.6. If $S_{(\epsilon, \delta)}$ is an $(\epsilon, \delta)$-${C}{A}{F}{S}G$ of group ${G}$, for all $l, m\in {G}$. Then

(i) ${\nu }_{S_{\epsilon }}(l)e^{i{\eta }_{S_{\delta }}(l)}\ge {\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)},$

(ii) ${\nu }_{S_{\epsilon }}(lm^{-1})e^{i{\eta }_{S_{\delta }}(lm^{-1})} = {\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)}.$

It suggests that ${\nu }_{S_{\epsilon }}(l)e^{i{\eta }_{S_{\delta }}(l)} = {\nu }_{S_{\epsilon }}(m)e^{i{\eta }_{S_{\delta }}(m)}.$

The proof of this theorem is straightforward.

Now, in this theorem we show that ${C} {A} {F} {N} {S} {G}$ is a spacial case of $(\epsilon, \delta)$- ${C} {A} {F} {N} {S} {G}$.

Theorem 3.7. Every ${C}{A}{F}{S}$G of the group ${G}$ is also a $(\epsilon, \delta)$-${C}{A}{F}{S}G$ of ${G}$.

Proof. Assume that $S$ be ${C} {A} {F}\mathbb{S}$G of group ${G}$, for every $l, m\in {G}.$ Suppose that

Further, we assume that

This established the proof.

Remark 3.8. If $S_{(\epsilon, \delta)}$-$CAFSG$ then it is not essential $S$ is $CAFSG$.

Example 3.9. The Klein four group is referred by ${G} = \{e, l, m, lm\}.$ It can be written as $S = \ \{ < e, \ 0.2e^{i\frac{\pi }{12}} > , < l, 0.4e^{i\frac{\pi }{6}} > , < m, 0.4e^{i\frac{\pi }{6}} > , \ < lm, \ 0.3e^{i\frac{\pi }{7}} > \}$ is not $CAFSG$ of ${G}$. Take $\epsilon = 0.2$ and $\delta = \frac{\pi }{6}$. Then, it's simple to see ${\nu }_S(l)e^{i{\eta }_S(l)} > \epsilon e^{i\delta }$, for all $l\in {G}.$ Moreover, we have ${\nu }_{S_{\epsilon }}(l)e^{i{\eta }_{S_{\delta }}(l)} = \ \epsilon e^{i\delta }, \ \forall \ l\in {G}.$ Therefore, ${\nu }_{S_{\epsilon }}(lm)e^{i{\eta }_{S_{\delta }}(lm)}\le \mathrm{max}\{{\nu }_{S_{\epsilon }}(l)e^{i{\eta }_{S_{\delta }}(l)}, \ {\nu }_{S_{\epsilon }}(m)e^{i{\eta }_{S_{\delta }}(m)}\}$, $\forall l, m\in {G}$. Furthermore, $l^{-1} = l, \ m^{-1} = m, \ {(lm)}^{-1} = lm$. So, ${\nu }_{S_{\epsilon }}(l^{-1})e^{i{\eta }_{S_{\delta }}(l^{-1})}\ge \ {\nu }_{S_{\epsilon }}(l)e^{i{\eta }_{S_{\delta }}(l)}$. Hence, $S_{(\epsilon, \delta)}\ $is $(\epsilon, \delta)$-$CAFSG$.

Theorem 3.10. Let $S$ be a complex anti fuzzy set of group ${G}$ such that ${\nu }_S(l^{-1})e^{i{\epsilon}_S(l^{-1})} = {\nu }_S(l)e^{i{\epsilon}_S(l)}, \; \forall \ l\in {G}.$ Let $\epsilon e^{i\delta }\ge re^{i\theta }$ such that $\epsilon \ge r$ and $\delta \ge \theta$, where $re^{i\theta } = \mathrm{max}\{{\nu }_S(l)e^{i{\epsilon}_S(l)}:l\in {G}\}$ and $\epsilon, r\in [0, 1]$ and $\delta, \theta \in [0, 2\pi ].$ Then $S_{(\epsilon, \delta)}$ is an $(\epsilon, \delta)$-$CAFSG$ of ${G}$.

Proof. Note that $\epsilon e^{i\delta }\ge re^{i\theta }.$ Implies that $\mathrm{max}\{{\nu }_S(l)e^{i{\epsilon}_S(l)}\ :l\in {G}\}\le \ \epsilon e^{i\delta }$. This indicates $\mathrm{max}\{{\nu }_S(l)e^{i{\epsilon}_S(l)}, \epsilon e^{i\delta }\} = \ \epsilon e^{i\delta }$, for all $l\in {G}.\ $Implies that ${\nu }_{S_{\epsilon }}(l)e^{i{\epsilon}_{S_{\delta }}(l)} = \epsilon e^{i\delta }.$

Hence, $S_{(\epsilon, \delta)}\ $is $(\epsilon, \delta)$-$CAFSG$ of ${G}$.

Theorem 3.11. Intersection of two $(\epsilon, \delta)$-$CAFSG$s of ${G}$ is also $(\epsilon, \delta)$-$CAFSG$ of ${G}$.

Proof. Let $S_{(\epsilon, \delta)}$ and $T_{(\epsilon, \delta)}$ be two $(\epsilon, \delta)$-$CAFSG$s of ${G}$, for any $l, m\in {G}.$

Consider,

${\nu }_{{(S\cap T)}_{\epsilon }}(lm) {e^{{\epsilon}_{{(S\cap T)}_{\delta }}(lm)}} = {\nu }_{(S_{\epsilon }\cap T_{\epsilon })}(lm)e^{i{\epsilon}_{S_{\delta }\cap T_{\delta }}(lm)}$

Further,

${\nu }_{{(S\cap T)}_{\epsilon }}(l^{-1})e^{{\epsilon}_{{(S\cap T)}_{\delta }}(l^{-1})} = {\nu }_{S_{\epsilon }\cap T_{\epsilon }}(l^{-1})e^{i{\epsilon}_{(S_{\delta }\cap T_{\delta })}(l^{-1})}$

Consequently, $S_{(\epsilon, \delta)}\cap T_{(\epsilon, \delta)}$ is $(\epsilon, \delta)$-$CAFSG$ of ${G}$.

Corollary 3.12. Intersection of a family of $(\epsilon, \delta)$-$CAFSG$s of ${G}$ is also $(\epsilon, \delta)$-$CAFSG$.

Remark 3.13. Union of two $(\epsilon, \delta)$-$CAFSG$s may not be a $(\epsilon, \delta)$-complex anti fuzzy subgroup.

Example 3.14. Assume that a symmetric group $S_4$ with permutation of four elements$\{ (1), (2\ 3), (2\ 3\ 4), (2\ 4\ 3), (3\ 4), (2\ 4),$ $(1\ 2), (1\ 2\ 4), (1\ 2\ 3), (1\ 2\ 3\ 4), (1\ 2)(3\ 4), (1\ 2\ 4),$ $(1\ 3\ 2), (1\ 3\ 4\ 2), (1\ 3), (1\ 3\ 4), (1\ 3\ 2\ 4),$ $(1\ 3)(2\ 4), (1\ 4\ 3\ 2), (1\ 4\ 2), (1\ 4\ 3),$ $(1\ 4), (1\ 4\ 2\ 3), (1\ 4)(2\ 3)\}$. Define two $(\epsilon, \delta)$-$CAFSG$s $S_{\left(0.9, {\pi }/{2} \right)}$ and $T_{\left(0.6, {\pi }/{2} \right)}$ of $S_4$ for value $\epsilon e^{i\delta } = 0.9e^{\pi}$ are delivered as:

$S_{\left(0.9, {\pi }/{2} \right)}(l) = \left\{ \begin{array}{c} 0.8e^{{\pi }/{4}}, \mathrm{\ \ if}\ l\in < \left(1\ 3\right) > \\ 0.7e^{{\pi }/{6}}, \mathrm{\ \ otherwise}\ \ \ \ \ \ \ \ \ \end{array} \right.$ and

$T_{\left(0.9, {\pi}/{2} \right)}(l) = \left\{ \begin{array}{c} 0.9e^{{\pi }/{2}}, \mathrm{\ \ if}\ l\in < \left(1\ 3\ 2\ 4\right) > \\ 0.6e^{{\pi }/{7}}, \mathrm{\ \ otherwise}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \end{array} \right.$

indicates that $(S_{\left(0.9, {\pi }/{2} \right)}\; \cup\; T_{\left(0.9, {\pi }/{2} \right)})\left(l\right) = \left\{ \begin{array}{c} 0.8e^{{\pi }/{4}}, \mathrm{\ \ if\ }l\mathrm{\in } < (1\ 3\ 2\ 4) > \cap < (1\ 3) > \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \\ 0.7e^{{\pi }/{6}}, \mathrm{\ \ if\ }l\in < (1\ 3\ 2\ 4) > - e \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \\ 0.6e^{{\pi }/{7}}, \mathrm{\ \ if\ }l\in < (1\ 3) > -e \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \end{array} \right.$

Take $l = (1\ 2)(3\ 4)$, $m = (1\ 3)$ and $lm = (1\ 2\ 3\ 4)$. Moreover, $(S_{\left(0.9, {{\pi }/{2}} \right)}\cup T_{\left(0.9, {{\pi }/{2}} \right)})\left(l\right) = 0.7e^{{\pi }/{6}}.$ $(S_{\left(0.9, {{\pi }/{2}} \right)}\cup T_{\left(0.9, {{\pi }/{2}} \right)})(l) = 0.6e^{{\pi }/{7}}$ and $(S_{\left(0.9, {{\pi }/{2}} \right)}\cup T_{\left(0.9, {{\pi }/{2}} \right)})(lm) = 0.6e^{{\pi }/{7}}.$

We can clearly observe that $(S_{(0.9, {{\pi }/{2}})}\cup T_{(0.9, {{\pi }/{2}})})(lm)\nleq \mathrm{max}\{(S_{(0.9, {{\pi }/{2}})}\cup T_{t(0.9, {{\pi }/{2}})})(l), (S_{(0.9, {{\pi }/{2}})}\cup T_{(0.9, {{\pi }/{2}})})(m)\}.$ So, this establishes the assertion.

4.   $(\epsilon, \delta)$-complex anti fuzzification of Lagrange's theorem

The algebraic features of $(\epsilon, \delta)$-$CAFNSG$s are explore in this section. We investigate $(\epsilon, \delta)$-$CAF$ cosets of $(\epsilon, \delta)$-$CAFSG$s and create a quotient framework that focuses on these $CAFNSG$s. The $(\epsilon, \delta)$-$CAFSG$ of the classical quotient group is also discussed and several key characteristics of these $CAFNSG$s are illustrated.

Definition 4.1. Suppose that $S_{(\epsilon, \delta)}$ be an $(\epsilon, \delta)$-${C}{A}{F}{S}$G of group ${G}$, as $\epsilon \in [0, 1]$ and $\eta \in [0, 2\pi ]$. Then $(\epsilon, \delta)$-${C} {A} {F} {S}$ ${lS}_{(\epsilon, \delta)}(w) = \{(w, {\nu }_{{lS}_{\epsilon }}(w)e^{{i\eta }_{{{lS}_{\eta }}^{(w)}}}), \ w\in {G}\}$ of ${G}$ is known as a$(\epsilon, \delta)$-$CAF$ left coset of ${G}$ examine by $S_{(\epsilon, \delta)}$ and is define as:

In same way we explain $(\epsilon, \delta)$-$CAF$ right coset $S_{(\epsilon, \delta)}w = \{(w, {\nu }_{S_{\epsilon }l}(w)e^{{i\eta }_{S_{\delta }l}(w)}), \ w\in {G}\}$ of of ${G}$ determine by $S_{(\epsilon, \delta)}$ and $l$ also define as : $\ {\nu }_{S_{\epsilon }l}(w)e^{{i\eta }_{S_{\delta }l}(w)} = {\nu }_{S_{\epsilon }}(wl^{-1})e^{{i\eta }_{S_{\delta }}(wl^{-1})} = {\mathrm{max} \{{\nu }_S(wl^{-1})e^{i{\eta }_S(wl^{-1})}, \ \epsilon e^{i\delta }\}\ }$, for all $w\, \ l\in {G}$.

The next given example demonstrates the concept of $(\epsilon, \delta)$-$CAF$ cosets of $S_{(\epsilon, \delta)}$.

Example 4.2. Take ${G} = \{(1), (1\ 3), (1\ 2)(3\ 4), (2\ 4), (1\ 4)(2\ 3),$

$(1\ 4\ 3\ 2), (1\ 3)(2\ 4), (1\ 2\ 3\ 4)\}$ a symmetric group with $8$ elements represent $(\epsilon, \delta)$-${C} {A} {F} {S}$G of ${G}$ only when $\epsilon = 0.4$ and $\delta = {\pi }/{6}$ as follows: $S_{(0.4, {\pi }/{6})}(w)$

From the definition of cosets we have

${\nu }_{lS_{(0.4, {\pi }/{6})}}(w)e^{{\eta }_{lS_{(0.4, {\pi }/{6})}}(w)} = {\nu }_{S_{(0.4, {\pi }/{6})}}(l^{-1}w)e^{{\eta }_{S_{(0.4, {\pi }/{6})}}(l^{-1}w)}.$

Thus, $(0.4, {\pi }/{6})$-$CAF$ left coset of $S_{(0.4, {\pi }/{6})}(w)$ in ${G}$ for $l = (2\ 4)$ as seen below: $lS_{(0.4, {\pi }/{6})}(w)$

In same way, $(0.4, {\pi }/{6})$-$CF$ right coset of $S_{(0.4, {\pi }/{6})}(w)$ is find, for every $l\in {G}.$

Definition 4.3. Let $S_{(\epsilon, \delta)}$ be an $(\epsilon, \delta)$-${C} {A} {F} {S}$G of group ${G}$, where $\epsilon \in [0, 1]$ and $\delta \in [0, 2\pi ]$.Therefore $S_{(\epsilon, \delta)}$ is known as $(\epsilon, \delta)$-CAFNSG of ${G}$ if $S_{(\epsilon, \delta)}(lm) = S_{(\epsilon, \delta)}(ml).$ Equivalently, $(\epsilon, \delta)$-${C} {A} {F} {S}$G $S_{(\epsilon, \delta)}$ is $(\epsilon, \delta)$-CAFNSG of group ${G}$ if: $S_{(\epsilon, \delta)}l(m) = lS_{(\epsilon, \delta)}(m)$, for all $l, \ m\in {G}$.

Note that each $(1, 2\pi)$-$CAFNSG$ is a classical $CAFNSG$ of ${G}$.

Remark 4.4. Let $S_{(\epsilon, \delta)}$ be an $(\epsilon, \delta)$-CAFNSG of the group ${G}$. Then $S_{(\epsilon, \delta)}(m^{-1}lm) = S_{(\epsilon, \delta)}(l),$ for all $l, m\in {G}$.

Theorem 4.5. If $S$ is ${C}{A}{F}{N}{S}{G}$ of group ${G}$. Then $S_{(\epsilon, \delta)}$ is $(\epsilon, \delta)$- ${C}{A}{F}{N}{S}{G}$ of ${G}$.

Proof. Assume that $w, l$ arbitrary of elements of ${G}$. Consequently, we have ${\nu }_S(l^{-1}w)e^{i{\eta }_S(l^{-1}w)} = {\nu }_S({xl}^{-1})e^{i{\eta }_S(wl^{-1})},$ This implies that, $\{{\nu }_S(l^{-1}w)e^{i{\eta }_S(l^{-1}w)}, \epsilon e^{i\delta }\} = \mathrm{max} \{{\nu }_S({wl}^{-1})e^{i{\eta }_S(wl^{-1})}{, \epsilon e}^{i\delta }\}$

we obtain, ${\nu }_{{lS}_{\epsilon }}(w)e^{{i\eta }_{{lS}_{\delta }}(w)} = {\nu }_{S_{\epsilon }l}(w)e^{{i\eta }_{S_{\delta }l}(w)}$. we get ${lS}_{(\epsilon, \delta)}(w) = S_{(\epsilon, \delta)}l(w).$ Consequently, $S_{(\epsilon, \delta)}$ is $(\epsilon, \delta)$-${C}{A}{F}{N}{S}{G}$ of ${G}$. In most circumstances, the converse of the following outcome is not valid. This fact is discuss in given bellow example.

Example 4.6. Suppose ${G} = D_{3\ } = < l, m:\ l^3 = m^2 = e, \ ml = l^2m >$ be the Dihedral group. Suppose that $S$ be a complex anti fuzzy set of ${G}$ and described as:

Note that $S$ is not a complex anti fuzzy normal subgroup of group ${G}$. For ${{\nu }_S(l^2(lm))e^{i{\eta }_S(l^2(lm))}\mathrm{ = }\ \ \ 0.5e\ }^{{\pi }/{4}}\neq \ {0.3e}^{{\pi }/{8}} = {\nu }_S((lm)l^2)e^{i{\eta }_S((lm)l^2)}$. Now we take ${\epsilon e}^{i\delta } = 0{.6e}^{i^{{\pi }/{3}}}$, we get ${\nu }_{lS_{0.6}}(w)e^{i{\eta }_{wS_{{\pi }/{3}}}} = \mathrm{max}\{{\nu }_S(l^{-1}w)e^{{i\eta }_{S^{{(l}^{-1}w)}}}, 0.6e^{{i\pi }/{3}}\} = 0.6e^{\frac{i\pi }{3}}$ $= \ {\mathrm{max} \{{\nu }_S(wl^{-1})e^{{i\eta }_{S^{{(wl}^{-1})}}}, 0.6e^{{i\pi }/{3}}\}\ } = {\nu }_{S_{0.6} \,l}(w)e^{i{\eta }_{S}{{\pi }/{3}}}(w).$

Next, we show that each $(\epsilon, \delta)$- ${C}{A}{F}{S}$G of group ${G}$ will be $(\epsilon, \delta)$- ${C}{A}{F}{N}{S}{G}$ of group ${G}$, include some particular values of $\epsilon$ and $\delta$. The following outcomes are illustrate in this direction.

Theorem 4.7. Let $S_{(\epsilon, \delta)}$ be $(\epsilon, \delta)$-${C}{A}{F}{S}G$ of group ${G}$ as a result ${\epsilon e}^{i\delta } > {re}^{i\theta \ }$, $\epsilon \ge r$ and $\delta \ge \theta$, where$\ {re}^{i\theta } = {\mathrm{max} \{{ \rm{µ}}_S(w)e^{i{\eta }_S(w)}, \forall \ w\in {G}\ }\}$ and r, $\epsilon \in [0, 1]$ and $\delta, \theta \in [0, 2\pi ].$ So $S_{(\epsilon, \delta)}$ be $(\epsilon, \delta)- {C} {A} {F} {N} {S} {G}$ of the group ${G}$.

Proof. Given that ${\epsilon e}^{i\delta }\ge {re}^{i\theta \ }$. This implies ${\mathrm{max} \{{\nu }_S(w)e^{i{\eta }_S(w)}:\ \mathrm{for\ all}\ w\in {G}\}\ }\le {\epsilon e}^{i\delta }.$ This shows ${\nu }_S(w)e^{i{\eta }_S(w)}\le {\epsilon e}^{i\delta }$, $\ \mathrm{for\ all}\ w\in {G}$. So, ${\nu }_{{lS}_{\epsilon }}(w)e^{{i\eta }_{{lS}_{\delta }}(w)} = {\mathrm{max} \{{\nu }_S(l^{-1}w)e^{i{\eta }_S(l^{-1}w)}, \ {\epsilon e}^{i\delta }\}\ } = {\epsilon e}^{i\delta },$ for any $w\in {G}$. Similarly, ${\nu }_{S_{\epsilon }l}(w)e^{{i\eta }_{S_{\delta }l}(w)} = {\mathrm{max} \{{\nu }_S(wl^{-1})e^{i{\eta }_S(wl^{-1})}, \ {\epsilon e}^{i\delta }\}\ } = {\epsilon e}^{i\delta }.$ Implies that ${\nu }_{{lS}_{\epsilon }}(w)e^{{i\eta }_{{lS}_{\delta }}(w)} = {\nu }_{S_{\epsilon }l}(w)e^{{i\eta }_{S_{\delta }l}(w)}.$ Hence, it proved the result.

Theorem 4.8. Let $S_{(\epsilon, \delta)}$ be $(\epsilon, \delta)$- ${C} {A} {F} {N} {S} {G}$ of group ${G}$. Then the set $S^e_{(\epsilon, \delta)} = \{ w\; \in {G}: S_{(\epsilon, \delta)}(w^{-1}) = S_{(\epsilon, \delta)}(e) \}$ is normal subgroup of group ${G}$.

Proof. Obviously $S^{e}_{(\epsilon, \delta)}\neq \eta$ because $e\in {G}$. Let $w, v\in S^e_{(\epsilon, \delta)}$ be any elements. Consider, ${\nu }_{S_{\epsilon }}(wv)e^{i{\eta }_{S_{\delta }}(wv)}\le {\mathrm{max} \{{{\nu }_{S_{\epsilon }}(w)e^{i{\eta }_{S_{\delta }}(w)}, {\nu }_{S_{\epsilon }}(v)e^{i{\eta }_{S_{\delta }}(v)}\ }\}\ }$ $= {\mathrm{max} \{{\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)}, {\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)}\}\ }.$ Implies that ${\nu }_{S_{\epsilon }}(wv)e^{i{\eta }_{S_{\delta }}(wv)}\le {\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)}$. However, ${\nu }_{S_{\epsilon }}(wv)e^{i{\eta }_{S_{\delta }}(wv)}\ge {\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)}.$ Therefore, ${\nu }_{S_{\epsilon }}(wv)e^{i{\eta }_{S_{\delta }}(wv)} = \ {\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)}.$ It implies that $S_{(\epsilon, \delta)}(w^{-1}) = S_{(\epsilon, \delta)}(e).$ It implies that $wv\in S^e_{(\epsilon, \delta)}$. Further, ${\nu }_{S_{\epsilon }}(v^{-1})e^{i{\eta }_{S_{\delta }}(v^{-1})}\le {\nu }_{S_{\epsilon }}(v)e^{i{\eta }_{S_{\delta }}(v)} = {\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)}.$ But ${\nu }_{S_{\epsilon }}(w)e^{i{\eta }_{S_{\delta }}(w)}\ge {\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)}$. Thus $S^e_{(\epsilon, \delta)}$ is subgroup of group ${G}$. Moreover, let $w\in S^e_{(\epsilon, \delta)}$and $\in {G}$. We have ${\nu }_{S_{(\epsilon, \delta)}}(v^{-1}wv)e^{i{\eta }_{S_{(\epsilon, \delta)}}(v^{-1}wv)} = {\nu }_{S_{(\epsilon, \delta)}}(w)e^{i{\eta }_{S_{(\epsilon, \delta)}}(w)}$. It implies that $y^{-1}wv\in S^e_{(\epsilon, \delta)}$. Hence, $S^e_{(\epsilon, \delta)}$ is a normal subgroup.

Theorem 4.9. Assume that $S_{(\epsilon, \delta)}$ be an $(\epsilon, \delta)$- ${C} {A} {F} {N} {S} {G}$ of group ${G}$. Then

(i) ${lS}_{(\epsilon, \delta)} = mS_{(\epsilon, \delta)}\ \ \ \ \ \mathrm{if\ and\ only\ if\ }\ l^{-1}m\in S^e_{(\epsilon, \delta)}$,

(ii) $S_{(\epsilon, \delta)}l\ = S_{(\epsilon, \delta)}\ m\ \ \ \ \mathrm{if\ and\ only\ if\ }\ {lm}^{-1}\ \in S^e_{(\epsilon, \delta)}$.

Proof. For any $l, m\in {G}$, we have ${lS}_{(\epsilon, \delta)} = mS_{(\epsilon, \delta)}$. Assume that,

${\nu }_{S_{\epsilon }}(l^{-1}m)e^{i{\eta }_{S_{\delta }}(l^{-1}m)} = {\mathrm{max} \{{\nu }_S(l^{-1}m)e^{i{\eta }_S(l^{-1}m)}, {\epsilon e}^{i\delta }\}\ }$

Therefore, $l^{-\ 1}m\in S^e_{(\epsilon, \delta)}$.

Conversely, let $l^{-1}m\in S^e_{(\epsilon, \delta)}$ then ${\nu }_{S_{\epsilon }}(l^{-1}m)e^{i{\eta }_{S_{\delta }}(l^{-1}m)} = {\nu }_{S_{\epsilon }}(e)e^{i{\eta }_{S_{\delta }}(e)}.$

Consider

${\nu }_{{lS}_{\epsilon }}(a)e^{i{\eta }_{{lS}_{\delta }}(a)} = {\mathrm{max} \{{\nu }_S(l^{-1}a)e^{i{\eta }_S(l^{-1}a)},\epsilon e^{i\delta }\}\ }$

Interchange the role of $l$ and we get

${\nu }_{mS_{\epsilon }}(a)e^{i{\eta }_{mS_{\delta }}(a)}\mathrm{\le }{\nu }_{lS_{\epsilon }}(a)e^{i{\eta }_{lS_{\delta }}(a)}$. Thus, ${\nu }_{lS_{\epsilon }}(a)e^{i{\eta }_{lS_{\delta }}(a)} = {\nu }_{mS_{\epsilon }}(a)e^{i{\eta }_{mS_{\delta }}(a)}$.

(ⅱ) In similar way, this can be present as part (ⅰ).

Theorem 4.10. Let $S_{(\epsilon, \delta)}$ be an $(\epsilon, \delta)$-${C} {A} {F} {N} {S} {G}$ of group ${G}$ and $l, m, a, b$ arbitrary elements of ${G}$. If ${lS}_{(\epsilon, \delta)} = aS_{(\epsilon, \delta)}$ and ${mS}_{(\epsilon, \delta)} = bS_{(\epsilon, \delta)}$, then ${lmS}_{(\epsilon, \delta)} = abS_{(\epsilon, \delta)}.$

Proof. Given that ${lS}_{(\epsilon, \delta)} = aS_{(\epsilon, \delta)}$ and ${mS}_{(\epsilon, \delta)} = bS_{(\epsilon, \delta)}$. Implies that ${\ l}^{-1}a, m^{-1}b\ \in \ S^e_{(\epsilon, \delta)}.$

Consider, ${(lm)}^{-1}(ab) = m^{-1}(l^{-1}a)b = m^{-1}(l^{-1}a)(lm^{-1})b = [m^{-1}(l^{-1}a)(m)](m^{-1}b)$. As $S^e_{(\epsilon, \delta)}$ is normal subgroup of ${G}$. Thus, ${(lm)}^{-1}(ab)\in S^e_{(\epsilon, \delta)}$. Similarly, ${lmS}_{(\epsilon, \delta)} = abS_{(\epsilon, \delta)}$. As a result of this, we can say that $(\epsilon, \delta)$-${C}{A}{F}{Q}{G}$ along to classical quotient group.

Theorem 4.11. Assume that ${ {G}}/{S_{(\epsilon, \delta)}} = \{{lS}_{(\epsilon, \delta)}:l\in {G}\}$ be the collection of all $(\epsilon, \delta)$-$CF$ cosets of $(\epsilon, \delta)$-${C} {A} {F} {N} {S} {G}$ $S_{(\epsilon, \delta)}$ of ${G}$. Consequently, the set action of the binary operator is well define ${ {G}}/{S_{(\epsilon, \delta)}}$ and is present as $lS_{(\epsilon, \delta)}* mS_{(\epsilon, \delta)} = lmS_{(\epsilon, \delta)}\ \mathrm{for\ all}\ $ $l, \ m\in {G}$.

Proof. We have $lS_{(\epsilon, \delta)} = mS_{(\epsilon, \delta)}\ and\ aS_{(\epsilon, \delta)} = bS_{(\epsilon, \delta)}$, for arbitrary $a\, b, \ l, \ m\in {G}.$ Assume that $g\in {G}$ be arbitrary element, so

Consider,

${\nu }_{laS_{\epsilon }}(g)e^{i{\eta }_{{laS}_{\delta }}(g)} = {\mathrm{max} \{{\nu }_{laS}(g)e^{{i\eta }_{laS}(g)}, \epsilon e^{i\delta }\}\ }$

Hence, the operation $*$ on ${ {G}}/{S_{(\epsilon, \delta)}}$ is well defined. It can be observed that $*$ operation is a closed and associative on set ${ {G}}/{S_{(\epsilon, \delta)}}$. Moreover,

${\nu }_{S_{\epsilon }}e^{i{\eta }_{S_{\delta }}\ }$*${\nu }_{{lS}_{\epsilon }}e^{i{\eta }_{lS_{\delta }}\ }$ = ${\nu }_{eS_{\epsilon }}e^{i{\eta }_{eS_{\delta }}\ }$*$\ {\nu }_{{lS}_{\epsilon }}e^{i{\eta }_{lS_{\delta }}\ } = {\nu }_{lS_{\epsilon }}e^{i{\eta }_{lS_{\delta }}\ } = {\nu }_{lS_{\epsilon }}e^{i{\eta }_{lS_{\delta }}\ }$ $\Longrightarrow {\nu }_{S_{\epsilon }}e^{i{\eta }_S\ }$ is neutral element of ${ {G}}/{S_{(\epsilon, \delta)}}$. Obviously, the inverse of every entity of ${ {G}}/{S_{(\epsilon, \delta)}}\ $ exist if ${\nu }_{lS_{\epsilon }}e^{i{\eta }_{lS_{\delta }}\ }\in { {G}}/{S_{(\epsilon, \delta)}}$, so there is a element, ${\nu }_{l^{-1}S_{\epsilon }}e^{i{\eta }_{l^{-1}S_{\delta }}\ }\in { {G}}/{S_{(\epsilon, \delta)}}\ \text{such that}\; {\nu }_{l^{-1}pS_{\epsilon }}e^{i{\eta }_{l^{-1}{lS}_{\delta }}\ } = {\nu }_{S_{\epsilon }}e^{i{\eta }_{S_{\delta }}\ }.$ As a consequence, ${ {G}}/{S_{(\epsilon, \delta)}}$ is a group. The group ${ {G}}/{S_{(\epsilon, \delta)}}$ is known as quotient group of the ${G}$ by $S_{(\epsilon, \delta)}$.

Lemma 4.12. Assume that a natural homomorphism from group ${G}$ onto ${ {G}}/{S_{(\epsilon, \delta)}}$ is $f: {G}\; \mathit{\text{to}}\; { {G}}/{S_{(\epsilon, \delta)}}$ and the rule specifies, $f(l)\ = lS_{(\epsilon, \delta)}$ with kernel $f$ = $S^e_{(\epsilon, \delta)}$.

Proof. Suppose an arbitrary elements $l, \ m$ taken from group ${G}$, then $f(lm) = lmS_{(\epsilon, \delta)} = {\nu }_{lmS_{\epsilon }}e^{i{\eta }_{lmS_{\delta }}\ } = {\nu }_{lS_{\epsilon }}e^{i{\eta }_{lS_{\delta }}\ } * \ {\nu }_{mS_{\epsilon }}e^{i{\eta }_{mS_{\delta }}\ } = lS_{(\epsilon, \delta)} * mS_{(\epsilon, \delta)} = f(l)* s(m).$ Hence $f$ is a homomorphism and $f$ is an onto mapping.

As a result of this, we introduce $(\epsilon, \delta)$-${C}{A}{F}{G}$ of quotient group generates by normal subgroup $S^e_{\epsilon, \delta}$.

Theorem 4.13. Let $S^e_{\epsilon, \delta }$ be normal subgroup of ${G}$. If $S_{(\epsilon, \delta)} = \{(l, {\nu }_{S_{\epsilon }}(l)e^{{i\eta }_{S_{\delta }}(l)}):l\in {G}\}$ is $(\epsilon, \delta)$-${C}{A}{F}{S}$G. Then the $(\epsilon, \delta)$-complex anti fuzzy set ${\overline{S}}_{(\epsilon, \delta)} = \{(lS^e_{(\epsilon, \delta)}, {\overline{\nu }}_{S_{\epsilon }}(lS^e_{(\epsilon, \delta)})e^{{i\overline{\eta }}_{S_{\delta }}(lS^e_{(\epsilon, \delta)})}):l\in {G}\}$ of ${ {G}}/{S^e_{(\epsilon, \delta)}}$ is also a $(\epsilon, \delta)$-${C}{A}{F}{S}$G of ${ {G}}/{S^e_{\epsilon, \delta }}$. Where ${\overline{\nu }}_{S_{\epsilon }}(lS^e_{(\epsilon, \delta)})e^{{i\overline{\eta }}_{S_{\delta }}(lS^e_{(\epsilon, \delta)})} = {\mathrm{min} \{{\nu }_{S_{\epsilon }}(la)e^{i{\eta }_{S_{\delta }}(la)} :a\in S^e_{(\epsilon, \delta)}\}\ }.$

Proof. First we shall prove that ${\overline{\nu }}_{S_{\epsilon }}(lS^e_{(\epsilon, \delta)})e^{{i\overline{\eta }}_{S_{\delta }}(mS^e_{(\epsilon, \delta)})}$ is well defined. Let ${lS}^e_{\epsilon, \delta } = mS^e_{\epsilon, \delta }$ then $m = la,$ for some $a\in S^e_{\epsilon, \delta }$. Now ${\overline{\nu }}_{S_{\epsilon }}(mS^e_{(\epsilon, \delta)})e^{{i\overline{\eta }}_{S_{\delta }}(mS^e_{\epsilon, \delta })} = {\mathrm{min} \{{\nu }_{S_{\epsilon }}(mb)e^{{i\eta }_{S_{\delta }}(mb)}:b\in S^e_{(\epsilon, \delta)}\}\ }$

Therefore, ${\overline{\nu }}_{S_{\epsilon }}(lS^e_{(\epsilon, \delta)})e^{{i\overline{\eta }}_{S_{\delta }}(lS^e_{(\epsilon, \delta)})}$ is well defined.

Consider, ${\overline{\nu }}_{S_{\epsilon }}\{(lS^e_{(\epsilon, \delta)})(mS^e_{(\epsilon, \delta)})\}e^{{i\overline{\eta }}_{S_{\delta }}\{(lS^e_{(\epsilon, \delta)})(mS^e_{(\epsilon, \delta)})\}}$

This established the proof.

Definition 4.14. Let $S_{(\epsilon, \delta)}$ be a $(\epsilon, \delta)$-${C}{A}{F}{S}G$ of finite the group ${G}.$ Then the cardinality of the set ${G} /{S_{(\epsilon, \delta)}}$ for $(\epsilon, \delta)$-${C}{A}{F}$ left cosets of ${G}$ by $S_{(\epsilon, \delta)}$ is known as the index of $(\epsilon, \delta)$-${C}{A}{F}{S}G$ and is represent by $[ {G}:l].$

Theorem 4.15. $(\epsilon, \delta)$-complex anti fuzzification of Lagrange's Theorem: Assume that ${G}$ be finite group and $S_{(\epsilon, \delta)}$ be $(\epsilon, \delta)$-${C}{A}{F} {S}G$ of ${G}$ then ${G}$ is divisible by the index of $(\epsilon, \delta)$-${C}{A}{F}{S}G$ of ${G}$.

Proof. By Lemma 4.13, natural homomorphism $h$ introduced from ${G}$ to ${ {G}}/{S_{(\epsilon, \delta)}}$. A subgroup is introduced by ${H} = \{w\in {G}:{wS}_{(\epsilon, \delta)} = {eS}_{(\epsilon, \delta)}\}$. By attempting to make use of the definition $w\in {H}$ and $g\in {G}$, we have ${wS}_{(\epsilon, \delta)}(g) = {eS}_{(\epsilon, \delta)}(g)$. This indicates $S_{(\epsilon, \delta)}(w^{-1}g) = S_{(\epsilon, \delta)}(g)$. By Theorem 4.11, which shows that $w\in S^e_{(\epsilon, \delta)}.$ As a result ${H}$ is contain in $S^e_{(\epsilon, \delta)}.$ Now, we can take arbitrary element $w\in S^e_{(\epsilon, \delta)}$ and applying knowledge $S^e_{(\epsilon, \delta)}$ is subgroup of ${G}$, we have $S_{(\epsilon, \delta)}(w^{-1}) = S_{(\epsilon, \delta)}(e).$ From Theorem 4.11, the elements $w^{-1}, \ g\in S^e_{(\epsilon, \delta)},$ this mean ${wS}_{(\epsilon, \delta)} = {eS}_{(\epsilon, \delta)},$ implies that $w\in {H}.$ Hence $S^e_{(\epsilon, \delta)}$ is contain in ${H}$. We can conclude this the discussion that ${H} = S^e_{(\epsilon, \delta)}.$

Unions of disjoint of right cosets is establish the partition of group ${G}$ and is defined as ${G} = z_1 {G}$$\cup z_2 {H}\cup \dots \cup z_l {H}$. Where $z_1{H} = {H}.$ There is a $(\epsilon, \delta)$-$CAF$ cosets $z_iS_{(\epsilon, \delta)}$ in ${ {G}}/{S^e_{(\epsilon, \delta)}}$ and also is a differentiable.

Consider any coset $z_iS^e_{(\epsilon, \delta)}.$ Let $w\in S^e_{(\epsilon, \delta)},$ then

Hence, $h$ maps every entity of $z_iS^e_{(\epsilon, \delta)}$ into the $(\epsilon, \delta)$-$CAF$ cosets $z_iS_{(\epsilon, \delta)}.$

Currently, we can establish a basic association. ${h}\ $ among the set $\{z_iS^e_{(\epsilon, \delta)}:1\le i\le l\ \}$ and the set ${ {G}}/{S^e_{(\epsilon, \delta)}}$ defined by

The $h$ is injective.

As a result, suppose $z_iS_{(\epsilon, \delta)} = z_lS_{(\epsilon, \delta)},$ then ${z^{-1}_lz}_iS_{(\epsilon, \delta)} = eS_{(\epsilon, \delta)}$. Using $(S)$, we have ${z^{-1}_lz}_i\in {H},$ this means that $z_iS^e_{(\epsilon, \delta)} = z_iS^e_{(\epsilon, \delta)}$ and thus ${h}$ is injective. It is evident from the preceding discussion that $[ {G}:\ S^e_{(\epsilon, \delta)}]\ and\ [ {G}:S_{(\epsilon, \delta)}]$ are equal. Since $[ {G}:\ S^e_{(\epsilon, \delta)}]$ divides $O({G}).$

This algebraic concept is shown in example.

Example 4.16. Assume ${G} = \{ < l, m:l^3 = m^2 = e, \ lm = ml^2 \}$ be a group of order 6 finite permutations. The $(\epsilon, \delta)$-${C} {A} {F} {S}$G $S_{(\epsilon, \delta)}$ of ${G}$ according to the value $\epsilon = 0.2$ and $\delta = {\frac{\pi}{4}}$ is discuss.

The set of all $(\epsilon, \delta)$-$CAF$ left cosets of ${G}$ by $S_{(\epsilon, \delta)}$ is given by:

It represents that $[ {G}:S_{(\epsilon, \delta)}] = Card({G}/{S_{(\epsilon, \delta)}}) = 3.$

5.   Conclusions

In this article, we defined the concept of $\left(\epsilon, \delta \right)$-${C}{A}{F}{S}$ as a useful modification of classical ${C}{A}{F}{S}$. We established $\left(\epsilon, \delta \right)$-${C}{A}{F}{S}{G}$s and presented certain fundamental algebraic characterizations of this novel framework. In addition, we developed the $\left(\epsilon, \delta \right)$-$CAF$ cosets and analyzed some of their algebraic characteristics. Furthermore, we investigated the $\left(\epsilon, \delta \right)$-$CAFNSG$ that generates the $\left(\epsilon, \delta \right)$-$CAFQG$. As for the future works, we will extend the novel approach to the different algebraic models and then apply on the extension of group theory, and introduce $(\epsilon, \delta)$-$CAF$ subrings. Furthermore, we will work on its applications. Moreover, the proposed method can be applied to other areas, such as design concept evaluation, and the assessment of a method for complex products based on cloud rough numbers ^[39]. This assessment can be regarded as multi-attribute group decision-making.

Use of AI tools declaration

The authors declare that they have not used Artificial Intelligence tools in the creation of this article.

Acknowledgments

This research work funded by Researchers Supporting Project number : RSPD2024R934, King Saud University, Riyadh, Saudi Arabia.

Conflict of interest

The authors declare that they have no conflicts of interest.