On algebraic properties of fundamental group of intuitionistic fuzzy topological spaces (IFTSs)

Author(s): Laaro Abdullateef 1
1Department of Mathematical Sciences, Bayero University Kano, Kano, Nigeria.
Copyright © Laaro Abdullateef. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this paper, the notion of some algebraic properties of fundamental group of intuitionistic fuzzy topological spaces (IFTSs) are introduced. We give a necessary and sufficient condition for a fundamental group of IFTSs to be abelian, a necessary and sufficient conditions for a subset of fundamental group of IFTSs to be subgroup, a necessary and sufficient condition for a subgroup of fundamental group of IFTSs to be normal and a necessary and sufficient condition for an element to be in a center of fundamental group of IFTSs. We also describe the set of centralizers of an element in a fundamental group of IFTSs and the quotient fundamental group of IFTSs.

Keywords: Intuitionistic fuzzy sets, intuitionistic fuzzy topology, fundamental group of IFTSs, abelian fundamental group, normal subgroup, quotient group.

1. Introduction

The concept of intuitionistic fuzzy set was introduced as a tool for dealing with uncertainties. It was first defined by Atanassove [1] as generalization of fuzzy set introduced by Zadeh [2]. After the work of Atanassove [1], many researcher worked in this direction, for example, Az-zo’bi et al. [3] defined and studied the fundamental group of intuitionistic fuzzy topological spaces which depends on the concepts of intuitionistic fuzzy sets and intuitionistic fuzzy topology. This concept was completely described as a generalization of the fundamental group of fuzzy topological spaces. Osmanglu and Tokat [4] discussed the intuitionistic fuzzy soft topology and Babitha and John [5] generalized intuitionistic fuzzy soft sets and set theoretical operations with illustrating examples. Soroja and Kalaichelvi [6] construct a topology on an intuitionistic fuzzy neutrosophic soft sets. The concepts of intuitionistic fuzzy neutrosophic soft closure, intuitionistic fuzzy neutrosophic soft interior, intuitionistic fuzzy neutrosophic soft exterior, intuitionistic fuzzy neutrosophic soft boundary were introduced and some of its properties were also studied. Deschrijver et al. [7] introduced the notion of intuitionistic fuzzy t-norm and t-conorm, and investigate under which conditions a similar representation theorem can be obtained. They also argued in [8] that some of the existing definitions that appear in intuitionistic fuzzy literature (i. e., intuitionistic fuzzy connectives: negation, conjunction, disjunction and implication) were not sufficiently general for all pratical purposes, and suggest to replace them with new ones. Liu and Wang [9] introduced new methods for solving multi-criteria decision-making problem in an intuitionistic fuzzy environment. Ersoy et al. [10] introduced the concept of intuitionistic fuzzy soft rings, and some basic properties of intuitionistic fuzzy soft rings were also given. Jiang [11] studied a new entropy and its properties based on the improved axiomatic definition of intuitionistic fuzzy entropy and the nonlinear triangular intuitionistic fuzzy number and its application in linear integral equation was proposed by Mondal et al. [12]. And also in the pipeline of the literature Li and Jin [13] proposed a scalar expected value of intuitionistic fuzzy random individuals and its application to risk evaluation in insurance companies. As described by Az-zo’bi et al. [3], the operation on the fundamental group of intuitionistic fuzzy topological spaces is not trivial, hence the study of its algebraic properties is very essential, which is the main task of this paper.

2. Preliminaries

Here we give some basic definitions and known results, which will help in proving main results of this paper.

Definition 1. [14] Let \(X\) be a set and \(I\) be a unit interval \([0, 1].\) A fuzzy set \(X\) is characterized by a membership function \(\mu_{A}\) which associates with each point \(x\in X\) its “grade of membership” \(\mu_{A}(x) \in I\).

Definition 2. [15] An intuitionistic set \(A\) is an object having the form \(\langle X, A_{1}, A_{2} \rangle\), where \(A_{1}\) and \(A_{2}\) are subsets of \(X\) satisfying \(A_{1} \cap A_{2} = \emptyset\). The set \(A_{1}\) is called the set of members of \(A\), while \(A_{2}\) is called the set of nonmembers of \(A.\)

Definition 3. [16] Let X be nonempty fixed set. An intuitionistic fuzzy set A (IFS for short) in the universe of discourse X is an object having the form \(A = \{\langle x, \mu_{A}(x), \nu_{A}(x)\rangle : x \in X\}\), where the functions \(\mu_{A} : X \rightarrow I\) and \(\nu_{A} : X \rightarrow I\) denotes the degree of membership (namely \(\mu_{A}(x)\)) and degree of non-membership (namely \(\mu_{A}(x)\)) of each element x \(\in\) U to the set A, respectively, and \(0 \leq \mu_{A}(x) + \nu_{A}(x) \leq 1\) for all x \(\in\) X.

Every fuzzy set A on a nonempty set X is obviously an IFS having the form \(A = \{\langle x, \mu_{A}(x), 1-\mu_{A}(x)\rangle : x \in X\}\).

Definition 4. [17] Let X be nonempty set and c \(\in\) X be a fixed element in X. If \(\lambda \in (0, 1]\) and \(\delta \in [0, 1)\) are two fixed real numbers such that \(\lambda + \delta \leq 1\), then the IFS $$c(\lambda, \delta) = \langle x, c_{\lambda}, 1-c_{1-\delta}\rangle$$ is called intuitionistic fuzzy point (IFP) in X. If \(\delta \in [0, 1)\) is a fixed real number, then the IFS $$c(\delta) = \langle x, 0, 1-c_{1-\delta}\rangle$$ is called vanishing intuitionistic fuzzy point(VIFP) in X.

Definition 5. [17]

  • [(a)] Let \(c(\lambda, \delta)\) be an IFP in X such that \(\lambda, \delta \in (0, 1)\) and \(A = \{\langle x, \mu_{A}(x), \nu_{A}(x)\rangle : x \in X\}\) be an IFS in X. \(c(\lambda, \delta)\) is said to be properly contained in A (\(c(\lambda, \delta) \in A\) for short) if \(\lambda \mu_{A}(c)\).
  • [(b)] Let \(c(\delta)\) be a VIFS in X such that \(\delta \in (0, 1)\) and \(A = \{\langle x, \mu_{A}(x), \nu_{A}(x)\rangle : x \in X\}\) be an IFS in X. \(c(\delta)\) is said to be properly contained in A (\(c(\delta) \in A\) for short) if \(\mu_{A}(c) = 0\) and \(\delta > \mu_{A}(c)\).

Definition 5. [17]

  • [(a)] If \(B = \{\langle y, \mu_{B}(y), \nu_{B}(y)\rangle : y \in Y\}\) is an IFS in Y then the pre-image of B under f denoted by \(f^{-1}(B)\), is an IFS in X defined by $$f^{-1}(B) = \{\langle x, f^{-1}(\mu_{B})(x), f^{-1}(\nu_{B})(x)\rangle : x \in X\}$$
  • [(b)] If \(A = \{\langle x, \mu_{A}(x), \nu_{A}(x)\rangle : x \in X\}\) is an IFS in X then the image of A under f denoted by f(A), is an IFS in Y defined by $$f(A) = \{\langle y, f(\mu_{A})(y), 1-f(1-\nu_{A}(y))\rangle : y \in Y\}$$ where \begin{equation*} f(\mu_{A})(y) = \begin{cases} \sup_{x \in f^{-1}(y)} \mu_{A}(x), & \text{if \(f^{-1}(y) \neq \emptyset\),}\\ 0, & \text{otherwise.} \end{cases} \end{equation*} \begin{equation*} 1-f(1-\nu_{A}(y)) = \begin{cases} \inf_{x \in f^{-1}(y)} \nu_{A}(x), & \text{if \(f^{-1}(y) \neq \emptyset\),}\\ 1, & \text{otherwise.} \end{cases} \end{equation*}

Lemma 1. [17] Suppose f : X \(\rightarrow\) Y is a function. If \(c(\lambda, \delta)\) is an IFP in X then f(\(c(\lambda, \delta)\)) is an IFP in Y denoted by c(f\((\lambda, \delta)\)).

Definition 7. [17] Let \(0_{\sim} = \{\langle x, 0, 1\rangle : x \in X\}\) and \(1_{\sim} = \{\langle x, 1, 0\rangle : x \in X\}\). An intuitionistic fuzzy topology (IFT) on a nonempty set X is a family \(\tau\) of IFSs in X satisfying the following axioms:

  • [(T1)] \(0_{\sim}, 1_{\sim} \in \tau\),
  • [(T2)] \(G_{1} \cap G_{2} \in \tau\) for any \(G_{1}, G_{2} \in \tau\),
  • [(T3)] \(\bigcup G_{i} \in \tau\) for any arbitrary family \(\{G_{i} : i \in J\} \subseteq \tau\).
The pair (X, \(\tau\)) is called an intuitionistic fuzzy topological space (IFTS) and IFS in \(\tau\) is known as intuitionistic fuzzy open set (IFOS) in X. The complement \(\bar{A}\) of an IFOS A in an IFTS (X, \(\tau\)) is called an intuitionistic fuzzy closed set (IFCS) in X.

Definition 8. [17] Let (X, \(\tau\)) and (Y, \(\sigma\)) be two IFTSs and let f : X \(\rightarrow\) Y be a function. Then f is said to be fuzzy continuous if and only if the pre-image of each IFS in \(\sigma\) is IFS in \(\tau\).

Definition 9. [17] Let (X, \(\tau\)) and (Y, \(\sigma\)) be two IFTSs and let f : X \(\rightarrow\) Y be a function. Then f is said to be fuzzy open if and only if the image of each IFS in \(\tau\) is IFS in \(\sigma\).

Definition 10. [17] The f : (X, \(\tau\)) \(\rightarrow\) (Y, \(\sigma\)) is said to be fuzzy continuous if and only if the pre-image of each IFCS in \(\sigma\) is IFCS in \(\tau\).

Definition 11. [17] Let (X, \(\tau\)) be an IFTS. Then

  • [(a)] X is said to be fuzzy \(C_{5}\)-disconnected if there exists an intuitionistic fuzzy open and fuzzy closed set G such that G \(\neq 1_{\sim}\) and G \(\neq 0_{\sim}\).
  • [(b)] X is said to be fuzzy \(C_{5}\)-connected if is not fuzzy \(C_{5}\)-disconnected.

Theorem 1. [17] Let f : (X, \(\tau\)) \(\rightarrow\) (Y, \(\phi\)) be a fuzzy continuous surjection. If (X, \(\tau\)) is fuzzy \(C_{5}\)-connected then so (Y, \(\phi\)).

Definition 12. [17] Let (X, T) be ordinary topological. The collection $$\tilde{\tau} = \{G : \text{G is an intuitionistic fuzzy set on X and G}_{\circ} \in T\}$$ is an intuitionistic fuzzy topology on X induced by T. The pair (X, \(\tilde{\tau}\)) is called the intuitionistic fuzzy topological space induced by (X, T). Thus if \(\varepsilon_{I}\) is the Euclidean subspace topology on I then (I, \(\widetilde{\varepsilon_{I}}\)) denotes the IFTS induced by the (usual) topological space (I, \(\varepsilon_{I}\)).

Definition 13. [3] Let (X, \(\tau\)) be an IFTS. If \(\alpha : (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) is a fuzzy continuous E is a fuzzy \(C_{5}\)-connected in (I, \(\widetilde{\varepsilon_{I}}\)) with \(\mu_{E}(0), \mu_{E}(1) > 0\) and \(\nu_{E}(0), \nu_{E}(1) < 1\) then the IFS \(\alpha(E)\) is called an intuitionistic path in (X, \(\tau\)). The intuitionistic fuzzy points \(c_{1}(\lambda, \delta)\) and \(c_{2}(\gamma, \theta)\) in (X, \(\tau\)) are called the initial point and the terminal point of the intuitionistic fuzzy path \(\alpha(E)\) in respectively.
If the initial point equals to the terminal point, then we call it an intuitionistic path an intuitionistic fuzzy loop. The collection of all intuitionistic fuzzy loops in (X, \(\tau\)) by \(\Omega((X, \tau), c(\lambda, \delta))\) The IFP \(c(\lambda, \delta)\) is called an intuitionistic fuzzy base point of (X, \(\tau\)) and \(((X, \tau), c(\lambda, \delta))\) is called pointed intuitionistic fuzzy space.

Lemma 2. [3] Let (X, \(\tau\)) and (Y, \(\sigma\)) be two IFTSs. Let the intuitionistic fuzzy sets A and B taking only values 0 and 1 on X, be closed IFS’s in (X, \(\tau\)) and A \(\cup\) B = X. Let f : (A, \(\tau_{A}\)) \(\rightarrow\) (Y, \(\sigma\)) and f : (B, \(\tau_{B}\)) \(\rightarrow\) (Y, \(\sigma\)) be two continuous functions. If \(f\mid_{A \cup B}\) = \(g\mid_{A \cup B}\) then h : (X, \(\tau\)) \(\rightarrow\) (Y, \(\sigma\)) defined by \begin{equation*} h(x) = \begin{cases} f(x), & \text{if \(x \in A\)}\\ g(x), & \text{if \(x \in B\)} \end{cases} \end{equation*} is a fuzzy continuous function.

Lemma 3. [3] Let its [a, b] = \(\{t : a \leq t \leq b\}\), topology taken as Euclidean subspace topology denoted by \(\varepsilon_{[a, b]}\). If \(\xi : ([a, b], \varepsilon_{[a, b]}) \rightarrow (I, \varepsilon_{I})\) is a (usual) homeomorphism, then $$\xi : ([a, b], \widetilde{\varepsilon}_{[a, b]}) \rightarrow (I, \widetilde{\varepsilon}_{I}).$$

Lemma 4. [3] Let the intuitionistic fuzzy sets E and F be \(C_{5}\)-connected in the IFTS \((I, \widetilde{\varepsilon}_{I})\) with \(\mu_{E}(0), \mu_{E}(1) > 0\), \(\nu_{E}(0), \nu_{E}(1) 0\), \(\nu_{F}(0), \nu_{F}(1) 0\), \(\nu_{N}(0), \nu_{N}(1) < 1\).

Theorem 2. [3] Let \(c_{1}(\lambda, \delta)\), \(c_{2}(\gamma, \theta)\) and \(c_{3}(\omega, \eta)\) intuitionistic fuzzy points in an IFTS (X, \(\tau\)). If there exist an intuitionistic fuzzy topological path in (X, \(\tau\)) with initial point \(c_{1}(\lambda, \delta)\) and terminal point \(c_{2}(\gamma, \theta)\) and there is an intuitionistic fuzzy path in (X, \(\tau\)) with initial point \(c_{2}(\gamma, \theta)\) and terminal point \(c_{3}(\omega, \eta)\) then there is an intuitionistic fuzzy path in (X, \(\tau\)) with initial point \(c_{1}(\lambda, \delta)\) and terminal point \(c_{3}(\omega, \eta)\).

Definition 14. [3] Let \(\alpha, \beta : (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) be fuzzy continuous functions and let the IFS’s A, B be connected in (I, \(\widetilde{\varepsilon_{I}}\)) with A(i, j), B(i, j) are all positive for all i, j = 0, 1. Let \(\alpha(A)\), \(\beta(B)\) \(\in \Omega((X, \tau), c(\lambda, \delta))\). We say \(\alpha(A)\) and \(\beta(B)\) are intuitionistic fuzzy homotopic modulo \(c(\lambda, \delta))\) if there exist a fuzzy continuous function H : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) such that H(t, 0) = \(\alpha(t_{A(t)})\), H(t, 1) = \(\beta(t_{B(t)})\) for all t \(\in I\), $$H(0, s) = \alpha(0_{A(0)}) = \beta(0_{B(0)}) = c(\lambda, \delta)),$$ and $$H(1, s) = \alpha(1_{A(1)}) = \beta(1_{B(1)}) = c(\lambda, \delta))$$ for all s \(\in I\). The function H is called an intuitionistic fuzzy homotopy modulo \(c(\lambda, \delta))\) between \(\alpha(A)\) and \(\beta(B)\), and we write H : \(\alpha(A) \simeq_{c(\lambda, \delta))} \beta(B)\) or simply \(\alpha(A) \simeq_{c(\lambda, \delta))} \beta(B)\).

Theorem 3. [3] The relation \(\simeq_{c(\lambda, \delta))}\) on the set \(\Omega((X, \tau), c(\lambda, \delta))\) is an equivalent relation.

Proposition 1. [3] Let \(\alpha(A), \beta(B), \sigma(U), \rho(V) \in \Omega((X, \tau), c(\lambda, \delta))\) such that \(\alpha(A) \simeq_{c(\lambda, \delta))} \sigma(U)\) and \(\beta(B) \simeq_{c(\lambda, \delta))} \rho(V)\). Then $$\alpha(A) \ast \beta(B) \simeq_{c(\lambda, \delta))} \sigma(U) \ast \rho(V).$$

Proposition 2. [3] Let \(\alpha(A) \in \Omega((X, \tau), c(\lambda, \delta))\). Then there exist a continuous function \(\bar{\alpha} : (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) and a connected intuitionistic fuzzy set D in \((I, \widetilde{\varepsilon_{I}})\) such that \(\bar{\alpha}(D) \in \Omega((X, \tau), c(\lambda, \delta))\).

Proposition 3. [3] Let \(\alpha(A), \beta(B) \in \Omega((X, \tau), c(\lambda, \delta))\). If \(\alpha(A) \simeq_{c(\lambda, \delta))} \beta(B)\), then \(\bar{\alpha}(A) \simeq_{c(\lambda, \delta))} \bar{\beta}(B)\).

Definition 15. [3] Let \(\alpha(A), \beta(B) \in \Omega((X, \tau), c(\lambda, \delta))\). A loop \(\psi(N)\) defined by \begin{equation*} \psi(N) = (\alpha \ast \beta)(N) = \begin{cases} \alpha(2t), & \text{if \(0\leq t \leq \frac{1}{2}\)}\\ \beta(2t-1), & \text{if \(\frac{1}{2}\leq t \leq 1\)} \end{cases} \end{equation*} is called the product of intuitionistic fuzzy loops \(\alpha(A)\) and \(\beta(B)\). For homotopic classes [\(\alpha(A)\)] and [\(\beta(B)\)] in \(\pi_{1}((X, \tau), c(\lambda, \delta))\), we defined the product [\(\alpha(A)\)] \(\cdot\) [\(\beta(B)\)] = [\(\alpha(A) \cdot \beta(B)\)] = [\((\alpha \ast \beta)(N)\)].

Theorem 4. [3] The set \(\pi_{1}((X, \tau), c(\lambda, \delta))\) form a group under the product operation.

Proof. The proof follows directly from the following lemmas.

Lemma 5. [3] The product operation \(\cdot\) is associative i. e., \(\forall [\alpha(A)], [\beta(B)], [\sigma(U)] \in \pi_{1}((X, \tau), c(\lambda, \delta))\), $$\{[\alpha(A)] \cdot [\beta(B)]\} \cdot [\sigma(U)] = [\alpha(A)] \cdot \{[\beta(B)] \cdot [\sigma(U)]\}.$$

Lemma 6. [3] The element [\(\circ(E)\)] where \(\circ(E)\) is a constant intuitionistic fuzzy loop defined by \(\circ(t_{E(t)}) = c(\lambda, \delta)\), for all t \(\in I\) is the identity of \(\pi_{1}((X, \tau), c(\lambda, \delta))\).

Lemma 7. [3] For each [\(\alpha(A)\)] \(\in \pi_{1}((X, \tau), c(\lambda, \delta))\), $$[\alpha(A)] \cdot [\bar{\alpha}(D)] = [\circ(E)] = [\bar{\alpha}(D)] \cdot [\alpha(A)].$$

3. Main results

3.1. Necessary and sufficient conditions for a fundamental group of IFTSs to be abelian

In this section, we characterized the necessary and sufficient conditions for a fundamental group of IFTS to be abelian. As it is generally described in [18] that a group G is said to be abelian if it is commutative. Further applications includes; the unitary character group of abelian unipotent groups [19] and a theorem on the action of abelian unitary groups in [20].
Now, follow from the above descriptions, it is discovered that the study of abelian fundamental group of IFTSs is very essential. Therefore we have the following definition and theorem:

Definition 16. Let [\(\alpha(A)\)] and [\(\beta(B)\)] be elements of \(\pi_{1}((X, \tau), c(\lambda, \delta))\), then \(\pi_{1}((X, \tau), c(\lambda, \delta))\) is called abelian fundamental group of intuitionistic fuzzy topological space if $$[(\alpha \ast \beta)(F)] = [(\beta \ast \alpha)(H)]$$ for some connected IFSs F and H in (\(I, \tilde{\varepsilon}_{I}\)).

Theorem 5. Let [\(\alpha(A)\)], [\(\beta(B)\)] \(\in\) \(\pi_{1}((X, \tau), c(\lambda, \delta\))) and [\(o(E)\)] be identity in \(\pi_{1}((X, \tau), c(\lambda, \delta\))). Then \(\pi_{1}((X, \tau), c(\lambda, \delta\))) is abelian iff (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) for some connected IFSs L, M, N and P in (\(I, \tilde{\varepsilon}_{I}\)).

Proof. (\(\Rightarrow\)) Let \(\pi_{1}((X, \tau), c(\lambda, \delta))\) be abelian fundamental group of intuitionistic fuzzy topological space and [\(\alpha(A)\)], [\(\beta(B)\)] and [\(o(E)\)] \(\in\) \(\pi_{1}((X, \tau), c(\lambda, \delta\))).

  • [Goal:] We will show that (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) for some connected IFSs L, M, N and P in (\(I, \tilde{\varepsilon}_{I}\)).
To show this, it is suffices to show that there exists loop \(\sigma(C)\) such that:
  • [(i)] \(\sigma(C)\) \(\simeq_{c(\lambda, \delta)}\)(\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M)
  • [(ii)] \(\sigma(C)\) \(\simeq_{c(\lambda, \delta)}\)(\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P)
For (i): The function \(H_{1}\) : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} H_{1}(t, s) = \begin{cases} \alpha(((t)(s) + (2t)(1-s))_{A((t)(s) + (2t)(1-s))}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\alpha(A)\) and (\(\alpha \ast o\))(L) i. e., \(H_{1}\) is continuous by Lemma 2, \begin{eqnarray*} H_{1}(t, 0) &=& \begin{cases} \alpha((2t)_{A(2t)}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases}\\ &=& (\alpha \ast o)(t_{L(t)}), \nonumber \end{eqnarray*} \(H_{1}\)(t, 1) = \(\alpha(t_{A(t)})\) and \(H_{1}\)(0, s) = \(\alpha(0_{A(0)})\) = \(c(\lambda, \delta)\) = \(o(1_{E(1)})\) = \(H_{1}\)(1, s). Then \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) (\(\alpha \ast o\))(L). Also, the function \(H_{2}\) : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} H_{2}(t, s) = \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \beta(((t)(s) + (2t-1)(1-s))_{B((t)(s) + (2t-1)(1-s))}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\beta(B)\) and (\(o \ast \beta\))(M) i. e., \(H_{2}\) is continuous by Lemma 2, \begin{eqnarray*} H_{2}(t, 0) &=& \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \beta((2t-1)_{B(2t-1)}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases}\\ &=& (o \ast \beta)((t_{M(t)})),\nonumber \end{eqnarray*} \(H_{2}\)(t, 1) = \(\beta(t_{B(t)})\) and \(H_{2}\)(0, s) = \(c(\lambda, \delta) = o(0_{E(0)}) = \beta(1_{B(1)})\) = \(H_{2}\)(1, s), then \(\beta(B)\) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \beta\))(M). Thus, the function H : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by H(t, s) = \(H_{1}\)(t, s) \(\ast\) \(H_{2}\)(t, s) is a homotopy between \(\sigma\) and (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) i. e., H is the composition of two continuous functions, H(t, 0) = (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M), H(t, 1) = (\(\alpha \ast \beta\))(F) = \(\sigma\)(C) and H(0, s) = \(H_{1}\)(0, s) \(\ast H_{2}\)(0, s) = \(H_{1}\)(1, s) \(\ast H_{2}\)(1, s) = H(1, s). Therefore \(\sigma(C)\) \(\simeq_{c(\lambda, \delta)}\)(\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M).
For (ii): \(K_{1}\) : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} K_{1}(t, s) = \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \alpha(((t)(s) + (2t-1)(1-s))_{A((t)(s) + (2t-1)(1-s))}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\alpha(A)\) and (\(o \ast \alpha\))(N) i. e., \(K_{1}\) is continuous by Lemma 2, \begin{eqnarray*} K_{1}(t, 0) &=& \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \alpha((2t-1)_{A(2t-1)}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases}\\ &=& (o \ast \beta)((t_{M(t)})),\nonumber \end{eqnarray*} \(K_{1}\)(t, 1) = \(\alpha(t_{A(t)})\) and \(K_{1}\)(0, s) = \(c(\lambda, \delta) = o(0_{E(0)}) = \alpha(1_{A(1)})\) = \(K_{1}\)(1, s), then \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N).
Also the function \(K_{2}\) : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} K_{2}(t, s) = \begin{cases} \beta(((t)(s) + (2t)(1-s))_{B((t)(s) + (2t)(1-s))}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\beta(B)\) and (\(\beta \ast o\))(P) i. e., \(K_{2}\) is continuous by Lemma 2, \begin{eqnarray*} K_{2}(t, 0) &=& \begin{cases} \beta((2t)_{B(2t)}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases}\\ &=& (\beta \ast o)(t_{P(t)}),\nonumber \end{eqnarray*} \(K_{2}\)(t, 1) = \(\beta(t_{B(t)})\) and \(K_{2}\)(0, s) = \(\beta(0_{B(0)})\) = \(c(\lambda, \delta)\) = \(o(1_{E(1)})\) = \(K_{2}\)(1, s). Then \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) (\(\beta \ast o\))(P).
Hence the function K : : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by K(t, s) = \(K_{1}\)(t, s) \(\ast\) \(K_{2}\)(t, s) is a homotopy between \( \sigma(C)\) and (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) i. e., K is the composition of two continuous functions, K(t, 0) = (\(\varepsilon_{p} \ast\) f) \(\ast\) (f\(\ast \varepsilon_{p}\))(t), K(t, 1) = (f \(\ast\) g)(t) = \(\sigma\)(t) and K(0, t) = \(K_{1}\)(0, s) \(\ast K_{2}\)(0, s) = \(K_{1}\)(1, s) \(\ast K_{2}\)(1, s) = K(1, x). Then \( \sigma(C) \simeq_{c(\lambda, \delta)}\)(\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P). Thus, the result follows.
(\(\Leftarrow\)) Suppose (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) for some connected IFSs L, M, L and P in (\(I, \tilde{\varepsilon}_{I}\)),

since (\(\alpha \ast \beta\))(F) = (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) = (\(\beta \ast \alpha\))(H) for some connected IFSs L, M, L and P in (\(I, \tilde{\varepsilon}_{I}\)). Then (\(\alpha \ast \beta\))(F) \(\simeq_{c(\lambda, \delta)}\) (\(\beta \ast \alpha\))(H) which implies [(\(\alpha \ast \beta\))(F)] = [(\(\beta \ast \alpha\))(H)] and by the concatenation of loop defined on \(\pi_{1}(X, p)\), we have [\(\alpha(A)\)] \(\cdot\) [\(\beta(B)\)] = [\(\beta(B)\)] \(\cdot\) [\(\alpha(A)\)]. Thus, the result follows.

3.2. Necessary and sufficient conditions for a subset of fundamental group of IFTSs to be a subgroup

In this section, we characterized the necessary and sufficient conditions for a subset of fundamental group to be its subgroups. A necessary and sufficient conditions for a subset of a group to be a subgroup have been explained in [21], that is given a group \(G\) with a particular binary operation, if a non-empty subset \(H\) of \(G\) is closed and every elements in it has inverse under that particular operation, then we say \(H\) is a subgroup of \(G\). Further applications includes; the maximal subgroups of symplectic groups stabilizing spreads [22]; 3-permutable subgroups and \(p\)-nilpotency of finite group II [23]; fuzzy subgroups of nilpotent groups [24]; subgroup of nilpotent group [25]; two theorems about nilpotent subgroup [26].
Now, follow from the above descriptions, it is discovered that the study of subgroups of fundamental group is very essential. Therefore we have the following definition:

Definition 17. Let \(\pi_{1}((X, \tau), c(\lambda, \delta\))) be fundamental group of IFTS X and U be nonempty subspace of X. If \(\pi_{1}((U, \tau), c(\lambda, \delta\))) is a group under the operation \(\cdot\) of \(\pi_{1}((X, \tau), c(\lambda, \delta\))), then \(\pi_{1}((U, \tau), c(\lambda, \delta\))) is a subgroup of \(\pi_{1}((X, \tau), c(\lambda, \delta\))).

Theorem 6. Let \(\pi_{1}((X, \tau), c(\lambda, \delta\))) be fundamental group of IFTS X and U be nonempty subspace of X. Then \(\pi_{1}((U, \tau), c(\lambda, \delta\))) is a subgroup of \(\pi_{1}((X, \tau), c(\lambda, \delta\))) if and only if the following conditions hold

  • [(i)] (\(\alpha \ast o\))(L) \(\simeq_{c(\lambda, \delta)}\) \(\alpha\)(A) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) \(\forall\) [\(\alpha(A)\)] \(\in \pi_{1}\)(U, p), where [\(o(E)\)] is the identity in \(\pi_{1}((U, \tau), c(\lambda, \delta\))) and for some connected IFSs A, E, L and N \(\in (I, \tilde{\varepsilon}_{I}\)).
  • [(ii)] there exists [\(\alpha(A)\)]\(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) such that [\(\beta(B)\)] \(\cdot\) [\(\sigma(C)\)] = [\(\alpha(A)\)] \(\forall\) [\(\beta(B)\)], [\(\sigma(C))\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) and for some connected IFSs A, B and C \(\in (I, \tilde{\varepsilon}_{I}\)).
  • [(iii)] \(\alpha\)(A) \(\ast\) \(\bar{\alpha}\)(J) \(\simeq_{c(\lambda, \delta)}\) \(o(E)\) \(\simeq_{c(\lambda, \delta)}\) \(\bar{\alpha}\)(J) \(\ast\) \(\alpha\)(A) \(\forall\) [\(\alpha(A)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))), where [\(o(E)\)],[\(\bar{\alpha}\)(J)] are the identity and inverse in \(\pi_{1}((U, \tau), c(\lambda, \delta\))) respectively and for some connected IFSs A, E and J \(\in (I, \tilde{\varepsilon}_{I}\)).

Proof. Suppose \(\pi_{1}((U, \tau), c(\lambda, \delta\))) is a subgroup of \(\pi_{1}((X, \tau), c(\lambda, \delta\)))

  • [Goal:] We will show that the three conditions above satisfied.
For (i): It is suffices to show that the following conditions are satisfied
  • [(a)] \(\alpha\)(A) \(\simeq_{c(\lambda, \delta)}\) (\(\alpha \ast o\))(L),
  • [(b)] \(\alpha\)(A) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N).
Consider the function \(\alpha\) depend on (I, \(\tilde{\varepsilon}_{I}\)) to \((X, \tau)\) such that \(\alpha((I, \tilde{\varepsilon}_{I})) \subseteq (U, \tau) \subseteq (X, \tau)\) where U is a subspace of X. Thus \(\alpha(A)\) depend on (I, \(\tilde{\varepsilon}_{I}\)) to \((U, \tau)\).
For (a): The function H : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} H(t, s) = \begin{cases} \alpha(((t)(s) + (2t)(1-s))_{A((t)(s) + (2t)(1-s))}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\alpha(A)\) and (\(\alpha \ast o\))(L) i. e., H is continuous by Lemma 2, \begin{eqnarray*} H(t, 0) &=& \begin{cases} \alpha((2t)_{A(2t)}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases}\\ &=& (\alpha \ast o)(t_{L(t)}),\nonumber \end{eqnarray*} \(H_{1}\)(t, 1) = \(\alpha(t_{A(t)})\) and \(H_{1}\)(0, s) = \(\alpha(0_{A(0)})\) = \(c(\lambda, \delta)\) = \(\alpha(1_{A(1)})\) = \(H_{1}\)(1, s). Then \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) (\(\alpha \ast o\))(L).
For (b): The function K : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} K(t, s) = \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \alpha(((t)(s) + (2t-1)(1-s))_{A((t)(s) + (2t-1)(1-s))}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\alpha(A)\) and (\(o \ast \alpha\))(N) i. e., \(K_{1}\) is continuous by Lemma 2, \begin{eqnarray*} K(t, 0) &=& \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \alpha((2t-1)_{A(2t-1)}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases}\\ &=& (o \ast \beta)((t_{M(t)})),\nonumber \end{eqnarray*} K(t, 1) = \(\alpha(t_{A(t)})\) and K(0, s) = \(c(\lambda, \delta) = o(0_{E(0)}) = \alpha(1_{A(1)})\) = K(1, s), then \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N).
For (ii): Let [\(\beta(B)\)], [\(\sigma(C))\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\)))
  • [Goal:] To show that there is [\(\alpha(A)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) such that [\(\beta(B)\)] \(\cdot\) [\(\sigma(C)\)] = [\(\alpha(A)\)] \(\forall\) [\(\beta(B)\)], [\(\sigma(C))\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) and for some connected IFSs A, B and C \(\in (I, \tilde{\varepsilon}_{I}\)).
To show this it is suffices to show that \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) \(\beta(B)\) \(\cdot\) \(\sigma(C)\). Define \(\alpha(A)\) by \begin{equation*} \alpha(t_{A(t)}) = \begin{cases} \beta(0_{A(0)}), & \text{if \(t = 0\)}\\ \sigma(0_{C(0)}), & \text{if \(0 < t\leq 1\)} \end{cases} \end{equation*} and the composition of \(\beta(B)\) and \(\sigma(C)\) as \begin{equation*} (\beta \ast \sigma)(t_{G(t)}) = \begin{cases} \beta((2t)_{B(2t)}), & \text{if \(0 \leq t\leq \frac{1}{2}\)}\\ \sigma((2t-1)_{C(2t-1)}), & \text{if \(\frac{1}{2} \leq t\leq 1\)} \end{cases} \end{equation*} where \(\beta((0)_{B(0)})\) = \(\sigma((0)_{C(0)})\) = \(\beta((1)_{B(1)})\) = \(\sigma((1)_{C(1)})\). Then he function H : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} H(t, s) = \begin{cases} \beta((2t)(1-s))_{B((2t)(1-s))}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \sigma(((2t-1)(1-s))_{C((2t-1)(1-s))}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\alpha(A)\) and (\(\beta \ast \sigma\))(G) i. e., H is continuous by Lemma 2, \begin{eqnarray*} H(t, 0) &=& \begin{cases} \beta((2t)_{B(2t)}), & \text{if \(0\leq t\leq \frac{1}{2}\)}\\ \sigma((2t-1)_{C(2t-1)}), & \text{if \(\frac{1}{2}\leq t\leq 1\)} \end{cases}\\ &=& (\beta \ast \sigma)((t_{G(t)})),\nonumber \end{eqnarray*} H(t, 1) = \(\alpha(t_{A(t)})\) and H(0, s) = \(\beta(0_{B(0)}) = \sigma(1_{C(1)})\) = H(1, s). Therefore \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) \(\beta(B)\) \(\cdot\) \(\sigma(C)\) \(\forall [\alpha(A)], [\beta(B)], [\sigma(C)] \in \pi_{1}((U, \tau), c(\lambda, \delta))\). For (iii): To prove this it is suffices to show the following:
  • [(a):] \(o(E)\) \(\simeq_{c(\lambda, \delta)}\) (\(\alpha\))(A) \(\ast\) (\(\bar{\alpha}\))(J)
  • [(b):] \(o(E)\) \(\simeq_{c(\lambda, \delta)}\) (\(\bar{\alpha}\))(J) \(\ast\) (\(\alpha\))(A)
\(\forall\) [\(\alpha(A)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))), where [\(o(E)\)],[\(\bar{\alpha}\)(J)] are the identity and inverse in \(\pi_{1}((U, \tau), c(\lambda, \delta\))) respectively and for some connected IFSs A, E and J \(\in (I, \tilde{\varepsilon}_{I}\)).
For (a): We define the composition of \(\alpha(A)\) and \(\bar{\alpha}(J)\) as \begin{equation*} (\alpha \ast \bar{\alpha})(G) = \begin{cases} \alpha((2t)_{A(2t)}), & \text{if \(0\leq t\leq \frac{1}{2}\)}\\ \bar{\alpha}((2t-1)_{J(2t-1)}), & \text{if \(\frac{1}{2}\leq t\leq 1\)} \end{cases} \end{equation*} where \(\alpha(0_{A(0)}) = \bar{\alpha}(1_{J(1)})\) = \(\alpha(1_{A(1)}) = \bar{\alpha}(0_{J(0)})\).
Then the function H : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} H(t, s) = \begin{cases} \alpha((2t)(1-s))_{B((2t)(1-s))}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \bar{\alpha}(((2t-1)(1-s))_{C((2t-1)(1-s))}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(o(E)\) and (\(\alpha \ast \bar{\alpha}\))(G) i. e., H is continuous by Lemma 2, \begin{eqnarray*} H(t, 0) &=& \begin{cases} \alpha((2t)_{A(2t)}), & \text{if \(0\leq t\leq \frac{1}{2}\)}\\ \bar{\alpha}((2t-1)_{J(2t-1)}), & \text{if \(\frac{1}{2}\leq t\leq 1\)} \end{cases}\\ & =& (\alpha \ast \bar{\alpha})((t_{G(t)})),\nonumber \end{eqnarray*} H(t, 1) = \(o(t_{E(t)})\) and H(0, s) = \(\alpha(0_{A(0)}) = \bar{\alpha}(s_{A(s)})\) = H(1, s). Therefore \(o(E)\) \(\simeq_{c(\lambda, \delta)}\) \((\alpha \ast \bar{\alpha})\)(G) \(\forall [\alpha(A)], [\bar{\alpha}(J)], [o(E)] \in \pi_{1}((U, \tau), c(\lambda, \delta))\).
For (b): We define the composition of \(\bar{\alpha}(J)\) and \(\alpha(A)\) as \begin{equation*} (\bar{\alpha} \ast \alpha)(G) = \begin{cases} \bar{\alpha}((2t)_{J(2t)}), & \text{if \(0\leq t\leq \frac{1}{2}\)}\\ \alpha((2t-1)_{A(2t-1)}), & \text{if \(\frac{1}{2}\leq t\leq 1\)} \end{cases} \end{equation*} where \(\alpha(0_{A(0)}) = \bar{\alpha}(1_{J(1)})\) = \(\alpha(1_{A(1)}) = \bar{\alpha}(0_{J(0)})\).
Then the function H : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} H(t, s) = \begin{cases} \bar{\alpha}((2t)(1-s))_{J((2t)(1-s))}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \alpha(((2t-1)(1-s))_{A((2t-1)(1-s))}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(o(E)\) and (\(\bar{\alpha} \ast \alpha\))(G) i. e., H is continuous by Lemma 2, \begin{eqnarray*} H(t, 0) &=& \begin{cases} \bar{\alpha}((2t)_{J(2t)}), & \text{if \(0\leq t\leq \frac{1}{2}\)}\\ \alpha((2t-1)_{A(2t-1)}), & \text{if \(\frac{1}{2}\leq t\leq 1\)} \end{cases}\\ & =& (\bar{\alpha} \ast \alpha)(t_{G(t)}),\nonumber \end{eqnarray*} H(t, 1) = \(o(t_{E(t)})\) and H(0, s) = \(\bar{\alpha}(0_{J(0)}) = \alpha(1_{A(1)})\) = H(1, s). Then \(o(E)\) \(\simeq_{c(\lambda, \delta)}\) \((\bar{\alpha} \ast \alpha)\)(G). Therefore (\(\alpha\))(A) \(\ast\) (\(\bar{\alpha}\))(J) \(\simeq_{c(\lambda, \delta)}\) \(o(E)\) \(\simeq_{c(\lambda, \delta)}\) (\(\bar{\alpha}\))(J) \(\ast\) (\(\alpha\))(A) \(\forall [\alpha(A)], [\bar{\alpha}(J)], [o(E)] \in \pi_{1}((U, \tau), c(\lambda, \delta))\).
(\(\Leftarrow\)) Suppose the three conditions above satisfied.
  • [Goal:] We will show that \(\pi_{1}((U, \tau), c(\lambda, \delta))\) is an IF subgroup of the fundamental group of IFTS \(\pi_{1}((X, \tau), c(\lambda, \delta))\).
From (i): Since (\(\alpha \ast o\))(L) \(\simeq_{c(\lambda, \delta)}\) (\(\alpha\))(A) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) then [(\(\alpha \ast o\))(L)] = [\(\alpha\)(A)] = [(\(o \ast \alpha\))(N)], which implies [\(\alpha\)(A)] \(\cdot\) [\(o(E)\)] = [\(\alpha\)(A)] = [\(o(E)\)] \(\cdot\) [\(\alpha\)(A)]. Therefore the identity [\(o(E)\)] exist in \(\pi_{1}((U, \tau), c(\lambda, \delta))\) \(\forall\) [\(\alpha(A)\)] \(\in \pi_{1}\)(U, p), and for some connected IFSs A, E, L and N \(\in (I, \tilde{\varepsilon}_{I}\)).
From (ii): Since (\(\beta \ast \sigma\))(L) \(\simeq_{c(\lambda, \delta)}\) \(\alpha\)(A) then we have [(\(\beta \ast \sigma\))(L)] = [\(\alpha\)(A)], which implies [\(\beta\)(B)] \(\cdot\) [\(\sigma\)(C)] = [\(\alpha\)(A)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) \(\forall\) [\(\beta(B)\)], [\(\sigma(C)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) and for some connected IFSs A, B and C \(\in (I, \tilde{\varepsilon}_{I}\)). Therefore \(\pi_{1}((U, \tau), c(\lambda, \delta\))) is closed.
From (iii): Since (\(\alpha\))(A) \(\ast\) (\(\bar{\alpha}\))(J) \(\simeq_{c(\lambda, \delta)}\) \(o(E)\) \(\simeq_{c(\lambda, \delta)}\) (\(\bar{\alpha}\))(J) \(\ast\) (\(\alpha\))(A) then we have [\(\alpha\)(A) \(\ast\) \(\bar{\alpha}\)(J)] = [\(o(E)\)] = [\(\bar{\alpha}\)(J) \(\ast\) \(\alpha\)(A)], which implies [\(\alpha\)(A)] \(\cdot\) [\(\bar{\alpha}\)(J)] = [\(o(E)\)] = [\(\bar{\alpha}\)(J)] \(\cdot\) [\(\alpha\)(A)]. Therefore the inverse [\(\bar{\alpha}\)(J)] exists in \(\pi_{1}((U, \tau), c(\lambda, \delta\))) \(\forall\) [\(\alpha(A)\)], [\(o(E)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))). Now, clearly from the above \(\pi_{1}((U, \tau), c(\lambda, \delta\))) is a Intuitionistic fuzzy subgroup of a fundamental group \(\pi_{1}((X, \tau), c(\lambda, \delta\))).

3.3. Necessary and sufficient condition for a subgroup of fundamental group of IFTSs to be normal

Definition 18. Let \(\pi_{1}((U, \tau), c(\lambda, \delta\))) be a subgroup of a fundamental group of IFTS \(\pi_{1}((X, \tau), c(\lambda, \delta\))), then

  • [(i)] for [\(\alpha(A)\)]\(\in\) \(\pi_{1}((X, \tau), c(\lambda, \delta\))), the subset [\(\alpha(A)](\pi_{1}((U, \tau), c(\lambda, \delta\)))) of \(\pi_{1}((X, \tau), c(\lambda, \delta\))) is called the left coset of \(\pi_{1}((U, \tau), c(\lambda, \delta\))) determined by [\(\alpha(A)\)] i. e. $$[\alpha(A)](\pi_{1}((U, \tau), c(\lambda, \delta))) = \{[\alpha(A)]\cdot [\beta(B)] : [\beta(B)] \in \pi_{1}((U, \tau), c(\lambda, \delta))\}.$$
  • [(ii)] for [\(\alpha(A)]\in\) \(\pi_{1}((X, \tau), c(\lambda, \delta\))) the subset (\(\pi_{1}((U, \tau), c(\lambda, \delta\))))[\(\alpha(A)\)] of \(\pi_{1}((X, \tau), c(\lambda, \delta\))) is called the right coset of \(\pi_{1}((U, \tau), c(\lambda, \delta\))) determined by [\(\alpha(A)\)] i. e. $$(\pi_{1}((U, \tau), c(\lambda, \delta)))[\alpha(A)] = \{[\beta(B)]\cdot[\alpha(A)] : [\beta(B)] \in \pi_{1}((X, \tau), c(\lambda, \delta))\}.$$

Definition 19. A subgroup \(\pi_{1}((U, \tau), c(\lambda, \delta\))) of a fundamental group of IFTS \(\pi_{1}((X, \tau), c(\lambda, \delta\))) is called normal if its left and right coset coincide i. e. \([\alpha(A)](\pi_{1}((U, \tau), c(\lambda, \delta)))\) = \((\pi_{1}((U, \tau), c(\lambda, \delta)))[\alpha(A)]\) for [\(\alpha(A)\)] \(\in \pi_{1}((U, \tau), c(\lambda, \delta))\) written as $$\pi_{1}((U, \tau), c(\lambda, \delta)) \bigtriangleup \pi_{1}((X, \tau), c(\lambda, \delta)).$$

Theorem 7. Let \(\pi_{1}((U, \tau), c(\lambda, \delta\))) be an intuitionistic fuzzy subgroup of \(\pi_{1}((X, \tau), c(\lambda, \delta\))). Then \(\pi_{1}((U, \tau), c(\lambda, \delta\))) \(\bigtriangleup\) \(\pi_{1}((X, \tau), c(\lambda, \delta\))) if and only if [\((\alpha \ast \beta)\)(D) \(\ast \bar{\alpha}(J)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) i. e. iff \(\exists\) [\(\beta'(B)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) such that [\((\alpha \ast \beta)\)(D) \(\ast \bar{\alpha}(J)\)] = [\(\beta'(B)\)] \(\forall\) [\(\alpha(A)\)], [\(\bar{\alpha}(J)\)] \(\in\) \(\pi_{1}((X, \tau), c(\lambda, \delta\))) and [\(\beta(B)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))).

Proof. (\(\Rightarrow\)): Let \(\pi_{1}((U, \tau), c(\lambda, \delta\))) be an intuitionistic fuzzy subgroup of \(\pi_{1}((X, \tau), c(\lambda, \delta\))) and \(\pi_{1}((U, \tau), c(\lambda, \delta\))) \(\bigtriangleup \pi_{1}((X, \tau), c(\lambda, \delta\))) for all [\(\beta(B)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) and [\(\alpha(A)\)], [\(\bar{\alpha}(J)\)] \(\in\) \(\pi_{1}((X, \tau), c(\lambda, \delta\))) (where [\(\bar{\alpha}(J)\)] is the inverse of [\(\alpha(A)\)]).

  • [Goal:] We are to show that \(\exists\) [\((\alpha \ast \beta)(D) \ast \bar{\alpha}(J)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))).
To show this, it is suffices to show that \(\exists\) [\(\beta^{‘}(B)\)] \(\in\) \(\pi_{1}((U, \tau), c(\lambda, \delta\))) such that [\((\alpha \ast \beta)(D) \ast \bar{\alpha}(J)\)] = [\(\beta^{‘}(B)\)] i. e., \((\alpha \ast \beta) \ast \bar{\alpha}(J)\) \(\simeq_{c(\lambda, \delta)}\) \(\beta^{‘}(B)\). Consider the composition of functions \(\alpha(A)\), \(\beta(B)\) and \(\bar{\alpha}(J)\) defined below \begin{equation*} (\alpha \ast \beta \ast \bar{\alpha})(t) = \begin{cases} \alpha((3t)_{A(3t)}), & \text{if \(0\leq t\leq \frac{1}{3}\)}\\ \beta((3t-1)_{B(3t-1)}), & \text{if \(\frac{1}{3}\leq t\leq \frac{2}{3}\)}\\ \bar{\alpha}((3t-2)_{J(3t-2)}), & \text{if \(\frac{2}{3}\leq t\leq 1\)} \end{cases} \end{equation*} where \(\alpha(0_{A(0)})\) = \(\beta(0_{B(0)})\) = \(\bar{\alpha}(0_{J(0)})\) = \(\alpha(1_{A(1)})\) = \(\beta(1_{B(1)})\) = \(\bar{\alpha}(1_{J(1)})\) . Then we can define the homotopy between \((\alpha \ast \beta) \ast \bar{\alpha}(J)\) and \(\beta^{‘}(B)\) as a function H : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) by \begin{equation*} H(t, s) = \begin{cases} \alpha(((3t)(s))_{A((3t)(s))}), & \text{if \(0\leq t\leq \frac{s}{3}\)}\\ \beta(((3t-1)(s) + (t)(1-s))_{B((3t-1)(s) + (t)(1-s))}), & \text{if \(\frac{s}{3} \leq t\leq \frac{3-s}{3}\)}\\ \bar{\alpha}(((3t-2)(s))_{J((3t-2)(s))}), & \text{if \(\frac{3-s}{3} \leq t\leq 1\)} \end{cases} \end{equation*} i. e., H is continuous by Lemma 2, \begin{eqnarray*} H(t, 0) &=& \begin{cases} \alpha((0)_{A(0)}), & \text{if \(0\leq t\leq 0\)}\\ \beta((t)_{B(t)}), & \text{if \(0 \leq t\leq \ 1\)}\\ \bar{\alpha}((0)_{J(0)}), & \text{if \(1 \leq t\leq 1\)} \end{cases}\\ &=&\beta^{‘}((t)_{B(t)}),\nonumber \end{eqnarray*} H(t, 1) = \((\alpha \ast \beta \ast \bar{\alpha})(t)\) and H(0, s) = \(\alpha((0)_{A(0)})\) = \(\alpha((1-s)_{J(1-s))}\) = \(\bar{\alpha}((s)_{J(s)})\) = H(1, s) \(\forall s, t \in\) \((I, \widetilde{\varepsilon_{I}})\). Then \((\alpha \ast \beta \ast \bar{\alpha})(Q)\) \(\simeq_{c(\lambda, \delta)}\) \(\beta^{‘}(B)\). (\(\Leftarrow\)): Suppose [\((\alpha \ast \beta)\)(D) \(\ast \bar{\alpha}(J)\)] \(\in \pi_{1}((U, \tau), c(\lambda, \delta\))).
  • [Goal:] We will show that \(\pi_{1}((U, \tau), c(\lambda, \delta)) \bigtriangleup \pi_{1}((X, \tau), c(\lambda, \delta))\).
Let [\(\beta'(B)\)] \(\in \pi_{1}((U, \tau), c(\lambda, \delta))\) such that [\((\alpha \ast \beta)\)(D) \(\ast \bar{\alpha}(J)\)] = [\(\beta'(B)\)]. Clearly, there exists [\(o(E)\)] \(\in \pi_{1}((U, \tau), c(\lambda, \delta))\) such that\ \begin{equation*} \begin{split} [\beta'(B)] & = [\beta'(B)] \cdot [o(E)]\\ & = [\beta'(B)] \cdot [\alpha(A) \ast \bar{\alpha}(J)] (\text{since} [o(E)] \in \pi_{1}((U, \tau), c(\lambda, \delta)) \subseteq \pi_{1}((X, \tau), c(\lambda, \delta))\\ & = [\beta'(B)] \cdot ([\alpha(A)] \cdot [\bar{\alpha}(J)])\\ & = [\beta'(B)] \cdot ([\bar{\alpha}(J)] \cdot [\alpha(A)])\\ & = ([\beta'(B)] \cdot [\bar{\alpha}(J)]) \cdot [\alpha(A)] \end{split} \end{equation*} then \begin{equation*} \begin{split} [(\alpha \ast \beta)(D) \ast \bar{\alpha}(J)] = [\beta'(B)] & = ([\beta'(B)] \cdot [\bar{\alpha}(J)]) \cdot [\alpha(A)]\\ [\alpha(A)] \cdot ([\beta(B) \ast \bar{\alpha}(J)]) & = ([\beta'(B)] \cdot [\bar{\alpha}(J)]) \cdot [\alpha(A)]\\ [\alpha(A)] \cdot ([\beta(B)] \cdot [\bar{\alpha}(J)]) & = ([\beta'(B)] \cdot [\bar{\alpha}(J)]) \cdot [\alpha(A)] \end{split} \end{equation*} therefore since \(\pi_{1}((U, \tau), c(\lambda, \delta\))) is a subgroup of \(\pi_{1}((X, \tau), c(\lambda, \delta\))) \(\exists\) [\(\beta(B)\)], [\(\beta'(B)\)]\(\in \pi_{1}((X, \tau), c(\lambda, \delta))\) \(\forall\) [\(\bar{\alpha}(J)\)] \(\in \pi_{1}((U, \tau), c(\lambda, \delta))\) such that ([\(\beta(B)\)] \(\cdot\) [\(\bar{\alpha}(J)\)]), ([\(\beta'(B)\)] \(\cdot\) [\(\bar{\alpha}(J)\)]) \(\in \pi_{1}((U, \tau), c(\lambda, \delta))\). Thus, $$[\alpha(A)](\pi_{1}((U, \tau), c(\lambda, \delta))) = (\pi_{1}((U, \tau), c(\lambda, \delta)))[\alpha(A)].$$ Hence, we concludes that \(\pi_{1}((U, \tau), c(\lambda, \delta)) \bigtriangleup \pi_{1}((X, \tau), c(\lambda, \delta))\).

3.4. Necessary and sufficient condition for an element to be in the center of a fundamental group of IFTSs

In this section, we give a necessary and sufficient condition for an element to be in a center of a fundamental group of IFTS. A necessary and sufficient condition for an element to be in a center of a group as been described in [25]26} that given a group \(G\), the center of \(G\) is define as the set of element \(x \in G\) that commutes with every element of \(G\) i. e., $$Z(G) = \{x\in G : xy = \text{yx }\forall y\in G\}.$$ Now, follow from the above descriptions we have the following definition:

Definition 20. The center of the fundamental group of IFTS X is define as the set of all homotopy classes of loop \([\alpha(A)]\in \pi_{1}((X, \tau), c(\lambda, \delta))\) that commutes with every homotopy classes of loop \([\beta(B)]\in \pi_{1}((X, \tau), c(\lambda, \delta))\) i. e., \(Z(\pi_{1}((X, \tau), c(\lambda, \delta))) = \{[\alpha(A)]\in \pi_{1}((X, \tau), c(\lambda, \delta)) : [\alpha(A)] \cdot [\beta(B)] = [\beta(B)] \cdot [\alpha(A)] \forall [\beta(B)]\in \pi_{1}((X, \tau), c(\lambda, \delta))\}.\)

Theorem 8. Let \(\pi_{1}((X, \tau), c(\lambda, \delta))\) be a fundamental group of IFTS X. Then [\(\alpha(A)\)] \(\in Z(\pi_{1}((X, \tau), c(\lambda, \delta)))\) if and only if (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) \(\forall\) [\(\alpha(A)\)],[\(\beta(B)\)] and [\(o(E)\)] \(\in \pi_{1}((X, \tau), c(\lambda, \delta)\)) and for some connected IFSs L, M, N and P in (\(I, \tilde{\varepsilon}_{I}\)).

Proof. Let \(\pi_{1}((X, \tau), c(\lambda, \delta))\) be a fundamental group of IFTS X and [\(\alpha(A)\)] \(\in Z(\pi_{1}((X, \tau), c(\lambda, \delta)))\).

  • [Goal:](\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) \(\forall\) [\(\alpha(A)\)],[\(\beta(B)\)] and [\(o(E)\)] \(\in \pi_{1}((X, \tau), c(\lambda, \delta)\)) and for some connected IFS’s L, M, N and P in (\(I, \tilde{\varepsilon}_{I}\)).
To show this, it is suffices to show that there exists loop \(\sigma(C)\) such that:
  • [(i)] \(\sigma(C)\) \(\simeq_{c(\lambda, \delta)}\)(\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M),
  • [(ii)] \(\sigma(C)\) \(\simeq_{c(\lambda, \delta)}\)(\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P).
For (i): The function \(H_{1}\) : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} H_{1}(t, s) = \begin{cases} \alpha(((t)(s) + (2t)(1-s))_{A((t)(s) + (2t)(1-s))}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\alpha(A)\) and (\(\alpha \ast o\))(L) i. e., \(H_{1}\) is continuous by Lemma 2, \begin{eqnarray*} H_{1}(t, 0) &=& \begin{cases} \alpha((2t)_{A(2t)}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases}\\ & =& (\alpha \ast o)(t_{L(t)}),\nonumber \end{eqnarray*} \(H_{1}\)(t, 1) = \(\alpha(t_{A(t)})\) and \(H_{1}\)(0, s) = \(\alpha(0_{A(0)})\) = \(c(\lambda, \delta)\) = \(o(1_{E(1)})\) = \(H_{1}\)(1, s). Then \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) (\(\alpha \ast o\))(L). Also, the function \(H_{2}\) : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} H_{2}(t, s) = \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \beta(((t)(s) + (2t-1)(1-s))_{B((t)(s) + (2t-1)(1-s))}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\beta(B)\) and (\(o \ast \beta\))(M) i. e., \(H_{2}\) is continuous by Lemma 2, \begin{eqnarray*} H_{2}(t, 0) &=& \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \beta((2t-1)_{B(2t-1)}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases}\\ & =& (o \ast \beta)((t_{M(t)})),\nonumber \end{eqnarray*} \(H_{2}\)(t, 1) = \(\beta(t_{B(t)})\) and \(H_{2}\)(0, s) = \(c(\lambda, \delta) = o(0_{E(0)}) = \beta(1_{B(1)})\) = \(H_{2}\)(1, s), then \(\beta(B)\) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \beta\))(M). Thus, the function H : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by H(t, s) = \(H_{1}\)(t, s) \(\ast\) \(H_{2}\)(t, s) is a homotopy between \(\sigma\) and (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) i. e., H is the composition of two continuous functions, H(t, 0) = (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M), H(t, 1) = (\(\alpha \ast \beta\))(F) = \(\sigma\)(C) and H(0, s) = \(H_{1}\)(0, s) \(\ast H_{2}\)(0, s) = \(H_{1}\)(1, s) \(\ast H_{2}\)(1, s) = H(1, s). Therefore \(\sigma(C)\) \(\simeq_{c(\lambda, \delta)}\)(\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M).
For (ii): \(K_{1}\) : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} K_{1}(t, s) = \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \alpha(((t)(s) + (2t-1)(1-s))_{A((t)(s) + (2t-1)(1-s))}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\alpha(A)\) and (\(o \ast \alpha\))(N) i. e., \(K_{1}\) is continuous by Lemma 2, \begin{eqnarray*} K_{1}(t, 0) &=& \begin{cases} c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(0\leq t\leq \frac{1-s}{2}\)}\\ \alpha((2t-1)_{A(2t-1)}), & \text{if \(\frac{1-s}{2}\leq t\leq 1\)} \end{cases}\\ &=& (o \ast \beta)((t_{M(t)})),\nonumber \end{eqnarray*} \(K_{1}\)(t, 1) = \(\alpha(t_{A(t)})\) and \(K_{1}\)(0, s) = \(c(\lambda, \delta) = o(0_{E(0)}) = o(1_{E(1)})\) = \(K_{1}\)(1, s), then \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N). Also the function \(K_{2}\) : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by \begin{equation*} K_{2}(t, s) = \begin{cases} \beta(((t)(s) + (2t)(1-s))_{B((t)(s) + (2t)(1-s))}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases} \end{equation*} is a homotopy between \(\beta(B)\) and (\(\beta \ast o\))(P) i. e., \(K_{2}\) is continuous by Lemma 2, \begin{eqnarray*} K_{2}(t, 0) &=& \begin{cases} \beta((2t)_{B(2t)}), & \text{if \(0 \leq t\leq \frac{1+s}{2}\)}\\ c(\lambda, \delta) = o(t_{E(t)}), & \text{if \(\frac{1+s}{2} \leq t\leq 1\)} \end{cases}\\ & =& (\beta \ast o)(t_{P(t)}),\nonumber \end{eqnarray*} \(K_{2}\)(t, 1) = \(\beta(t_{B(t)})\) and \(K_{2}\)(0, s) = \(\beta(0_{B(0)})\) = \(c(\lambda, \delta)\) = \(o(1_{E(1)})\) = \(K_{2}\)(1, s). Then \(\alpha(A)\) \(\simeq_{c(\lambda, \delta)}\) (\(\beta \ast o\))(P).
Hence the function K : : \((I, \widetilde{\varepsilon_{I}}) \times (I, \widetilde{\varepsilon_{I}}) \rightarrow (X, \tau)\) defined by K(t, s) = \(K_{1}\)(t, s) \(\ast\) \(K_{2}\)(t, s) is a homotopy between \( \sigma(C)\) and (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) i. e., K is the composition of two continuous functions, K(t, 0) = (\(\varepsilon_{p} \ast\) f) \(\ast\) (f\(\ast \varepsilon_{p}\))(t), K(t, 1) = (f \(\ast\) g)(t) = \(\sigma\)(t) and K(0, t) = \(K_{1}\)(0, s) \(\ast K_{2}\)(0, s) = \(K_{1}\)(1, s) \(\ast K_{2}\)(1, s) = K(1, x). Then \( \sigma(C) \simeq_{c(\lambda, \delta)}\)(\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P).
Thus, the result follows. (\(\Leftarrow\)) Suppose (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) for some connected IFSs L, M, N and P in (\(I, \tilde{\varepsilon}_{I}\)),
  • [Goal:] [\(\alpha(A)\)] \(\in Z(\pi_{1}((X, \tau), c(\lambda, \delta)))\).
Since (\(\alpha \ast \beta\))(F) = (\(\alpha \ast o\))(L) \(\ast\) (\(o \ast \beta\))(M) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(N) \(\ast\) (\(\beta \ast o\))(P) = (\(\beta \ast \alpha\))(H) for some connected IFSs L, M, N and P in (\(I, \tilde{\varepsilon}_{I}\)).
Then (\(\alpha \ast \beta\))(F) \(\simeq_{c(\lambda, \delta)}\) (\(\beta \ast \alpha\))(H) which implies [(\(\alpha \ast \beta\))(F)] = [(\(\beta \ast \alpha\))(H)] and by the concatenation of loop defined on \(\pi_{1}((X, \tau), c(\lambda, \delta))\), we have [\(\alpha(A)\)] \(\cdot\) [\(\beta(B)\)] = [\(\beta(B)\)] \(\cdot\) [\(\alpha(A)\)]. Thus, the result follows.

3.5. Quotient Fundamental Group of IFTSs

In this section, we deduced the quotient group under fundamental group of IFTS from general description of quotient group. As it is generally described in [25] that given a group \(G\) and a normal subgroup \(N\), a set \(G/N\) define by $$G/N = \{gN : g\in G\}$$ is called a quotient group.

Definition 21. Let \(\pi_{1}((X, \tau), c(\lambda, \delta))\) be fundamental group of IFTS and \(\pi_{1}((U, \tau), c(\lambda, \delta))\) be its normal subgroup, a set \((\pi_{1}((X, \tau), c(\lambda, \delta)))/(\pi_{1}((U, \tau), c(\lambda, \delta)))\) define by $$(\pi_{1}((X, \tau), c(\lambda, \delta)))/(\pi_{1}((U, \tau), c(\lambda, \delta))) = \{[\alpha(A)](\pi_{1}((U, \tau), c(\lambda, \delta))) : [\alpha(A)]\in \pi_{1}((X, \tau), c(\lambda, \delta))\}$$ is called a quotient group.

Theorem 9. Let \(\pi_{1}((X, \tau), c(\lambda, \delta))\) be fundamental group of IFTS and Z(\(\pi_{1}((X, \tau), c(\lambda, \delta))\)) be center of \(\pi_{1}((X, \tau), c(\lambda, \delta))\). Then the set \(\pi_{1}((X, \tau), c(\lambda, \delta))/ Z(\pi_{1}((X, \tau), c(\lambda, \delta))\)) is a quotient group.

Proof. Clearly, Z(\(\pi_{1}((X, \tau), c(\lambda, \delta))\)) subgroup of \(\pi_{1}((X, \tau), c(\lambda, \delta))\). We only need to show that Z(\(\pi_{1}((X, \tau), c(\lambda, \delta))\)) is normal. Let [\(o(E)\)] \(\in \pi_{1}((X, \tau), c(\lambda, \delta))\), then \(\exists \beta(B) \in Z(\pi_{1}((X, \tau), c(\lambda, \delta))\)) such that \([o(E)] \cdot [\beta(B)] \in Z(\pi_{1}((X, \tau), c(\lambda, \delta)))\) for some connected IFSs A, B and C in (\(I, \tilde{\varepsilon}_{I}\)) \begin{equation*} \begin{split} [o(E)] \cdot [\beta(B)] = & [\alpha(A) \ast \bar{\alpha}(J)] \cdot [\beta(B)]\\ & = ([\alpha(A)] \cdot [\bar{\alpha}(J)]) \cdot [\beta(B)]\\ & = [\alpha(A)] \cdot ([\bar{\alpha}(J)] \cdot [\beta(B)])\\ & = [\alpha(A)] \cdot ([\beta(B)] \cdot [\bar{\alpha}(J)])\\ \Rightarrow [\beta(B)] & = [\alpha(A)] \cdot ([\beta(B)] \cdot [\bar{\alpha}(J)])\\ & = ([\alpha(A)] \cdot [\beta(B)]) \cdot [\bar{\alpha}(J)]\\ & = [(\alpha \ast \beta)(F) \ast \bar{\alpha}(J)]. \end{split} \end{equation*} Then \(Z(\pi_{1}((X, \tau), c(\lambda, \delta)))\) is normal. Therefore we concludes that the set \(\pi_{1}((X, \tau), c(\lambda, \delta))/ Z(\pi_{1}((X, \tau), c(\lambda, \delta))\)) is a quotient group.

4. Description of centralizer of the fundamental group of IFTSs

In this section, we deduced the centralizer of an element in a fundamental group of IFTS from general description of centralizer of an element in a group. As it is generally described that given a group \(G\), the centralizer of an element in \(x \in G\) is define as a set of elements \(G\) that commutes with every element of \(x\) i. e., $$C(x) = \{y\in G : xy = yx \forall x\in G\}.$$ Further applications includes; centralizers of nilpotent group elements in semisimple algebraic groups [27]; the isomorphism type of the centralizer of an element in a lie group [28]; centralizers of semisimple elements in the finite classical groups [29]. Now, we have the following definition:

Definition 22. Let \(\pi_{1}((X, \tau), c(\lambda, \delta))\) be a fundamental group of IFTS X and [\(\alpha(A)\)] be element of \(\pi_{1}((X, \tau), c(\lambda, \delta))\). We define the centralizer of [\(\alpha(A)\)] to be the set of all homotopy classes of loop [\(\beta(B)]\in \pi_{1}((X, \tau), c(\lambda, \delta))\) that commutes with [\(\alpha(A)\)]. $$C([\alpha(A)]) = \{[\beta(B)]\in \pi_{1}((X, \tau), c(\lambda, \delta)) : [\alpha(A)] \cdot [\beta(B)] = [\beta(B)] \cdot [\alpha(A)]\}.$$

Theorem 10 Let \(\pi_{1}((X, \tau), c(\lambda, \delta))\) be a fundamental group of IFTS X. Then C([\(\alpha(A)\)]) is a centralizer of [\(\alpha(A)\)] \(\in\) \(\pi_{1}((X, \tau), c(\lambda, \delta))\) if and only if (\(\alpha \ast o\))(F) \(\ast\) (\(o \ast \beta\))(G) \(\simeq_{c(\lambda, \delta)}\) (\(o \ast \alpha\))(H) \(\ast\) (\(\beta \ast o\))(J) \(\forall\) [\(\beta(B)\)] and identity [\(o(E)\)] \(\in \pi_{1}((X, \tau), c(\lambda, \delta)\)) and for some connected IFSs F, G, H and J in (\(I, \tilde{\varepsilon}_{I}\)).

Acknowledgments

The author wish to express his profound gratitude to the reviewers for their useful remarks.

Author contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflict of interests

The authors declare no conflict of interest.

References:

  1. Atanassov, K. T. (1983). Intuitionistic fuzzy sets VII ITKRs Session. Sofia, June, 1, 1983.[Google Scholor]
  2. Zadeh, L. A. (1965). Fuzzy sets. Information and control, 8(3), 338-353.[Google Scholor]
  3. Az-Zobi, E. A., Marashdeh, M. F., & Uzbashy, R. F. (2014). The fundamental group of intuitionistic fuzzy topological spaces. Applied Mathematical Sciences, 8(157), 7829-7843.[Google Scholor]
  4. Osmanoglu, I., & Tokat, D. (2013). On intuitionistic fuzzy soft topology. General Mathematics Notes, 19(2), 59-70.[Google Scholor]
  5. Babitha, K. V., & Sunil, J. J. (2011). Generalized intuitionistic fuzzy soft sets and its applications. General Mathematics Notes, 7(2), 2219-7184.[Google Scholor]
  6. Saroja, R., & Kalaichelvi, A. (2015). Intuitionistic fuzzy neutrosophic soft topological spaces. International Journal of Innovative Research in Science, Engineering and Technology, 4(5), 3338-3345.[Google Scholor]
  7. Deschrijver, G., Cornelis, C., & Kerre, E. E. (2004). On the representation of intuitionistic fuzzy t-norms and t-conorms. IEEE Transactions on Fuzzy Systems, 12(1), 45-61.[Google Scholor]
  8. Deschrijver, G., Cornelis, C., & Kerre, E. (2002). Intuitionistic fuzzy connectives revisited. In 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2002) (pp. 1839-1844).[Google Scholor]
  9. Liu, H. W., & Wang, G. J. (2007). Multi-criteria decision-making methods based on intuitionistic fuzzy sets. European Journal of Operational Research, 179(1), 220-233. [Google Scholor]
  10. Ersoy, B. A., Onar, S., Hila, K., & Davvaz, B. (2013). Some properties of intuitionistic fuzzy soft rings. Journal of Mathematics, 2013, Article ID 650480. [Google Scholor]
  11. Jiang, D., & Wang, Y. (2018). A new entropy and its properties based on the improved axiomatic definition of intuitionistic fuzzy entropy. Mathematical Problems in Engineering, 2018, Article ID 7606801.[Google Scholor]
  12. Mondal, S. P., Goswami, A., & Kumar De, S. (2019). Nonlinear triangular intuitionistic fuzzy number and its application in linear integral equation. Advances in Fuzzy Systems, 2019, Article ID 4142382.[Google Scholor]
  13. Li, C., & Jin, J. (2018). A scalar expected value of intuitionistic fuzzy random individuals and its application to risk evaluation in insurance companies, Maths. Problems in Enginearing, 2018, Article ID 8319859. [Google Scholor]
  14. Guner, E., & Balci, S. (2007). On the fuzzy sheaf of the fundamental groups. Taiwanese Journal of Mathematics, 1057-1062.[Google Scholor]
  15. Girija, S., & Ilango, G. (2014). Some more results on intuitionistic semi open sets. International Journal of Engineering Research and Applications, 4(11), 70-74.[Google Scholor]
  16. Al-Qubati, A. A., & Al-qahtani, H. F. (2015). On b-separation axioms in intuistionistic Fuzzy Topological Spaces. International Journal of Mathematics Trends and Technology, 21, 83-93.[Google Scholor]
  17. Toker, D. (1997). An introduction to intuitionistic fuzzy topological spaces. Fuzzy Sets and Systems, 88(1), 81-89.[Google Scholor]
  18. Pinter, C.C. (1990). A book of abstract algebra, Dover Publications, Inc., Mineola, New York.[Google Scholor]
  19. Kluver, H. (2008). The unitary character group of abelian unipotent groups. Munster Journal of Mathematics, 1, 181-220.[Google Scholor]
  20. Arveson, W. (1966). A theorem on the action of abelian unitary groups. Pacific Journal of Mathematics, 16(2), 205-212.[Google Scholor]
  21. Clark, W.E. (2001). Elementary abstract algebra. University of South Floria.[Google Scholor]
  22. Dye, R. H. (1984). Maximal subgroups of symplectic groups stabilizing spreads. Journal of Algebra, 87(2), 493-509.[Google Scholor]
  23. Li, X., Li, R.H. and Wang, L. (2008). 3-permutable aubgroups and p-nilpotency of finite group II, Isreal Journal of Mathematics, 164 75-85.[Google Scholor]
  24. Asaad, M., & Abou-Zaid, S. (1993). Fuzzy subgroups of nilpotent groups. Fuzzy Sets and Systems, 60(3), 321-323.[Google Scholor]
  25. Milne, J.S. (2011). A textbook for algebraic groups, lie groups, and their arithmetic subgroups version 3.00, 2011, Available at www.jmilne.org/math/.[Google Scholor]
  26. Zeng, L. (2011). Two theorems about nilpotent subgroup. Applied Mathematics, 2(05), 562-564.[Google Scholor]
  27. Elkington, G. B. (1972). Centralizers of unipotent elements in semisimple algebraic groups. Journal of Algebra, 23(1), 137-163.[Google Scholor]
  28. Duan, H., & Liu, S. (2013). The isomorphism type of the centralizer of an element in a Lie group. Journal of Algebra, 376 , 25-45.[Google Scholor]
  29. Carter, R. W. (1981). Centralizers of semisimple elements in the finite classical groups. Proceedings of the London Mathematical Society, 3(1), 1-41.[Google Scholor]