Analysis of Homotopy Decomposition Varieties in Quotient Topological Spaces

: The fundamental groups and homotopy decompositions of algebraic topology have applications in systems involving symmetry breaking with topological excitations. The main aim of this paper is to analyze the properties of homotopy decompositions in quotient topological spaces depending on the connectedness of the space and the fundamental groups. This paper presents constructions and analysis of two varieties of homotopy decompositions depending on the variations in topological connectedness of decomposed subspaces. The proposed homotopy decomposition considers connected fundamental groups, where the homotopy equivalences are relaxed and the homeomorphisms between the fundamental groups are maintained. It is considered that one fundamental group is strictly homotopy equivalent to a set of 1-spheres on a plane and as a result it is homotopy rigid. The other fundamental group is topologically homeomorphic to the ﬁrst one within the connected space and it is not homotopy rigid. The homotopy decompositions are analyzed in quotient topological spaces, where the base space and the quotient space are separable topological spaces. In speciﬁc cases, the decomposed quotient space symmetrically extends Sierpinski space with respect to origin. The connectedness of fundamental groups in the topological space is maintained by open curve embeddings without enforcing the conditions of homotopy classes on it. The extended decomposed quotient topological space preserves the trivial group structure of Sierpinski space.


Introduction
The symmetry breaking in any system involves a wide variety of topological excitations and it contains the associated topological constraints. The preparations of homotopy groups and related decompositions provide meaningful insights into the phases of a system after the symmetry is broken [1]. The homotopy decomposition in the classifying space is constructed considering that the space contains torsion-free groups [2]. The special homotopy classes in a category of based spaces are proposed allowing the decomposition of stable homotopy. The formulation is based on positive filtration of the space and the Toda bracket [3]. The decomposition and related decomposed homotopy types for metrizable LC n spaces are formulated in [4]. Interestingly, often the homotopy type of original space and the decomposed space are very similar in LC n spaces. Moreover, the cellular decomposition G of S n (n-sphere) in higher dimension (n ≥ 5) results in the formation of n-manifold denoted by S n /G, which is also homeomorphic to S n . If X, Y are metric continua with the absolute neighbourhood retract then there is a isomorphic functional continua f n between the fundamental groups π n (X) and π n (Y). It indicates that if X is compact as well as connected space and G is an upper semicontinuous decomposition of X into the corresponding compact quotient space X/G, then X and X/G have same homotopy type. However, this observation holds if and only if the quotient space X/G is finite dimensional in nature.
There are varieties of fundamental groups based on the nature of topological spaces. It is known that in a connected and compact metric space, the fundamental groups can be finitely generated [5]. In the loop based topological space X, the quasitopological fundamental group π qtop 1 (X, x 0 ) is a fundamental group variety with inherited quotient topology [6]. Interestingly, if a topological space X does not have any universal cover then the fundamental groups are non-discrete. Moreover, the quasitopological fundamental group is homotopy invariant in nature. It is illustrated that a locally path connected metric space X is π 1 -shape injective if the fundamental groups given by π qtop 1 (X, x 0 ) are separated. Hence, a locally path connected space is homotopically path-Hausdorff if the fundamental group π qtop 1 (X, x 0 ) follows separation axioms in T 1 topological space. The Peano continuity is defined in the compact metric space, which is a connected space (including the locally connectedness property). There exists homeomorphism between a fundamental group in one-dimensional Peano continuum and another fundamental group in the Peano continuum on a plane if the map is continuous [7]. Moreover, a set of homotopy fixed points derived from a planar Peano continuum coincides with a point set representing a space, which is not a (locally) simply connected space. In one-dimensional wild space with Peano continuum, the fundamental group determines the respective homeomorphism type. Note that the loops of fundamental groups in a planar space (set) are homotopy rigid [7].
In this paper, the two different varieties of homotopy decompositions are proposed in a connected topological space. The aim is to analyze the variations in algebraic and topological properties of homotopy decompositions in quotient topological spaces depending on the connectedness of decomposed subspaces as well as fundamental groups. The main difference between the proposed decomposition varieties is the variations of connectedness of the decomposed subspaces. However, every variety of homotopy decomposition considers connected fundamental groups having different base points. The analysis of decomposed homotopy within quotient topological space is presented maintaining Hausdorff property. The decomposed quotient topological space extends Sierpinski space symmetrically with respect to origin in specific case. In the following subsections (Sections 1.1 and 1.2), brief descriptions about the concepts of homotopy decomposition and motivation for this work are presented.

Homotopy and Decomposition
The fundamental groups in a space can be formulated in various different ways. In general, the fundamental group F of a group manifold denoted by G is Abelian. It is shown that if the fundamental group of homogeneous space is solvable then it can be finitely generated [8]. If E is the exterior of a knot based at point x, then the fundamental group of knot exterior can be defined as γ K : [0, 1] 2 → (E, x) and in such case the homotopies fix the boundary points [9]. The Kampen fundamental group is variety of fundamental groups in a topological space, where such groups are dependent on the homeomorphism in subspaces [10]. In other words, the Kampen fundamental group needs identification of homeomorphic subsets of underlying topological space. It is important to note that, Kampen fundamental group considers separable and regular topological spaces. As the simplexes are constructed with the possibility of inclusion of deformation, hence the underlying topological space is considered to be an arc-wise connected space. Interestingly, the Kampen fundamental groups can be generated as arc-wise connected components by using countable generators. If X, Y are two one-connected spaces, then the Postnikov homotopy decomposition of f : X → Y reduces space Y into a point [11]. A topological space is not separable if it is path connected and most possibly a convex space. However, this concept is further refined in hyperspace topological structures. If X is a space then the topology in hyperspace is in 2 X containing every closed subsets equipped with Vietoris topology of exponential type [12]. The compactness of Vietoris topological hyperspace and the compactness of original space X are equivalent in nature. The ordered arc maintains connectedness in a hyperspace by following the ordered set inclusion principle. As a result, the continuum in a topological hyperspace is decomposable if and only if it is a union two proper subcontinua.
The compact Lie groups form classifying spaces and the corresponding homotopy theory is developed for those classifying spaces. The homotopy decomposition of such classifying spaces are constructed considering that maximal torus T exists in such spaces [13]. The similar homotopy decomposition results were proposed by A. Borel considering the existence of normalizer NT of torus forming the Weyl group given by NT/T. It is important to note that the Lie group is a connected group supporting isomorphism and cohomology of primes. The corresponding homotopy decomposition applies the algebraic functors of category theory [13]. Specifically, the functors maintain left-adjoint property. From the geometric point of view, the groups of symplectomorphisms on symplectic manifolds are considered for generating homotopy on the topological groups [14]. This means that symplectomorphic groups of manifolds are considered as a class of topological groups. The initial results are formulated based on symplectomorphic group actions on contractible spaces. In such case, a specific condition is maintained that spaces should be compatible to almost complex symplectic manifolds. The constructions employ various aspects of homotopy pushout decomposition, canonical projections and amalgamation of topological groups [14]. Interestingly, the concept of tubular neighbourhood in a contractible space is introduced to analyze homotopy. Note that, in this case the homology commutes with sequential colimits of T 1 topological spaces with closed inclusion [14]. Moreover, the homotopy decomposition follows that the homotopy colimits maintain weak contraction and a weak equivalence relation in contractible spaces, generating a quotient space.

Motivation
The theories of homotopy and fundamental groups of algebraic topology have several applications. The properties of fundamental groups and homotopy differ depending on planarity, connectedness and retraction within a space. In general, the homotopy decomposition considers different forms of symmetries and homeomorphisms. However, an interesting question is: if such symmetry and homeomorphism is relaxed in a connected topological space, then what would be the properties of decompositions? What would be the nature of homotopy decompositions within the quotient topological spaces if the fundamental groups are connected? Moreover, if the connected fundamental groups differ in homotopic rigidity, then what would be the structural properties of connected quotient topological spaces? These questions are addressed in this paper in relative details. It is illustrated that, various homotopy decompositions with different forms of connectedness as well as homotopic rigidity give rise to different sets of properties in the decomposed quotient topological spaces. Interestingly, in specific cases, the decomposed quotient space generated from homotopy decomposition extends Sierpinski space symmetrically with respect to origin. However, the trivial group structure in Sierpinski space is preserved within the extended decomposed quotient topological space.
Rest of the paper is organized as follows. The preliminary concepts are presented in Section 2. The proposed definitions and main results are presented in Sections 3 and 4, respectively. The discussion about interrelation between the decomposed quotient space and Sierpinski space is illustrated in Section 5. Finally, Section 6 concludes the paper.

Preliminary Concepts
In this section a set of basic definitions and preliminary concepts are presented to establish the notions about topological spaces and homotopy. Note that the symbol S 1 denotes 1-sphere in a complex plane by following the standard representation. Let X be a point set and τ X ⊆ P(X) be a subset of power set of X. The structure (X, τ X ) is called a topological space if the following axioms are satisfied by it: It indicates that the topological space includes indiscrete topology, countably infinite union of subspaces and finite intersection between subspaces. A function f : (X, τ X ) → (Y, τ Y ) between two topological spaces is continuous if ∀x ∈ X, ∃y ∈ Y such that f (U x ) ⊂ U y , where U x , U y are open neighbourhoods of x, y respectively. Let two continuous functions be defined between two spaces X, Y as, f 1 : X → Y and f 2 : X → Y . The functions f 1 , f 2 are called homotopic if there exists continuous F : X × [0, 1] → Y such that, F(x, 0) = f 1 (x) and F(x, 1) = f 2 (x). If we consider that {p i p i : [0, 1] → X} is a set of continuous functions then it prepares two base points p i (0) ∈ X, p i (1) ∈ X in the space for some i ∈ Z + . If we consider two such continuous functions, The fundamental group in (X, τ X ) at a base point x b ∈ X is given by π 1 (X, x b ∈ X) containing the homotopy class [p] xb and * H is the homotopy product such that base points in path homotopies (not necessarily fundamental groups) then the homotopy product in topological space is given as: Note that, the homotopy functions p i , p k may belong to different path homotopy classes, which are equivalent classes each. Moreover, the homotopy product maintains the algebraic condition given by, is continuous and the identity v(a ∈ A) = a is maintained.

Connected Fundamental Groups and Decomposed Homotopy
In this section, a set of definitions are formulated for topological path embeddings, homotopy decompositions, and the generation of decomposed quotient topological spaces. In this paper, sets and Z represent sets of reals and integers, respectively. Note that, we consider two separable Hausdorff topological spaces (X, τ X ) and (Y, τ Y ) for the constructions. The open set U x ⊂ X denotes neighbourhood of x ∈ X and the similar concept also applies to (Y, τ Y ) for some point in the corresponding topological space. If A is topologically homeomorphic to B then it is denoted by hom(A, B). It is important to note that, the proposed definitions and results consider multiple connected as well as homeomorphic fundamental groups, where at least one group is circle homotopy rigid. This indicates that, if we consider π 1 (X, x α ) as a fundamental group in (X, τ X ), then it is homotopy rigid with respect to a set of circle groups G S = {S 1 i : i ∈ Z + } such that ∀h ∈ [ f ] xα is closed and there exists a homotopy equivalence χ : where the equivalence relation is preserved as A h.

Topological Path Embedding
The topological path embedding closely follows the concept of generalized curve embeddings within topological spaces [15]. Let A be an arbitrary set and (X, τ X ) be a Hausdorff topological space. The continuous injective function l : A → X is a topological path embedding such that The functional composition involving such topological path embedding is employed in later sections to construct homeomorphic curve embedding and associated structures for homotopy decompositions. In particular, we are interested in arbitrary open paths (i.e., not loops) generated from the corresponding arbitrary set. This means that, the topological open path embedding does not involve any homotopy class. However, in order to generate such path embedding with homeomorphism to a given arbitrary curve represented by a function, the open paths are composed from the function with homeomorphism as defined below.

Homeomorphic Embedding of Curve
in the embedded open curve. This paper considers multiple fundamental groups in (X, τ X ), which are connected through such points.

Connected Fundamental Groups
Let π 1 (X, x α ) and π 1 (X, Thus, the fundamental groups are placed within the separation of subspaces in a path-connected topological space.

Remark 1:
Evidently, there exist two path-homotopies F 0 : The corresponding homotopy classes associated to π 1 (X, x 0 ) and π 1 (X, x 1 ) are denoted by [h] x0 and [h] x1 respectively. For the simplicity of notation, the fundamental groups in (X, τ X ) are distinguished by indicated base points within the topological space.

Decomposed Homotopy Loop
If the homotopy loop h i∈Z + 0 ∈ [h] x0 then the decomposition of h i is given by (1)

Remark 2:
In this paper we consider the equivalence relation h i S 1 allowing homotopy rigid. However, it is maintained that hom(h k , S 1 ) for h k∈Z + 0 ∈ [h] x1 if not specified otherwise in some cases. Moreover, the connected variety of decomposition is prepared in a way so that |E i1 ∩ E i2 |= 1 , where E i1 , E i2 are half-open. Note that, if the decomposition is fully disconnected then E i1 ∩ E i2 = φ and the decomposed components are open. In any case, the decomposition maintains the condition given as E i1 ⊂ S 1 , E i2 ⊂ S 1 by following homotopy rigid.
Once the decomposition of a homotopy loop is completed, the quotient topological maps can be performed to generate quotient topology under decomposition. In this case, two separable (i.e., not path connected) topological spaces are considered which are denoted by (X,

Decomposed Quotient Topology
Let the two separable Hausdorff topological spaces be given by (X, τ X ) and (Y, τ Y ). The surjective quotient map γ : D hi → (Y, τ Y ) is called a decomposed quotient map if the following conditions are satisfied: The concept of decomposed quotient map enforces surjective property of the map while generating quotient topology from the partitioned set-valued domain. It is illustrated in later sections of this paper that the generated quotient topology under decomposition can retain discrete group algebraic structures. However, first, we present a definition of the related cyclic generator and the corresponding concept of cycle number.
Hence, the element g is the cyclic generator of γ(D hi ) within (Y, τ Y ) preparing a cyclic group itself represented as G g = (µ(h i ), ·). The cycle number r ∈ Z + denotes the repetition of cycle g 4r in γ(D hi ).

Remark 3:
It is easy to verify that if r = 1 then g 4 completes a full closed cyclic sequence in γ(D hi ). Note that g 3 is identified with the identity element.

Main Results
A set of main results are presented in this section. It is important to note that the decomposed quotient map between two separable topological spaces does not inherently generate group structure. If the homotopy decomposition is a connected variety then the quotient map cannot be a uniform surjection and the co-domain cannot induce a group structure. This observation is presented in next theorem.

Theorem 1:
The decomposed quotient topology γ(D hi ) cannot induce group structure from h i S 1 in (X, τ X ) to (Y, τ Y ) maintaining uniform surjection.
Proof: Let (X, τ X ) and (Y, τ Y ) be two Hausdorff topological spaces such that X ∩ Y = φ. Let π 1 (X, x 0 ) be a fundamental group in subspace (A 0 ⊂ X, τ X ) associated to homotopy class . Furthermore, let us consider that in the decomposed quotient topological subspace the following group algebraic properties hold as, (a i1 ∈ γ) = (a −1 i2 ∈ γ) and a 0 ∈ γ, (a in * Y a 0 ) = (a 0 * Y a in ) = a in with n ∈ {1, 2}. However, the definition of D hi indicates that ∃x ∈ h i such that is not invertible and it is a multi-valued surjection. This leads to the contradiction about formation of induced G = (γ(D hi ), * Y ) due to decomposed quotient map, because it is not a uniform surjection. Hence, as a consequence G = (γ(D hi ), * Y ) is not an induced group structure in the decomposed quotient topology in (Y, τ Y ) under uniform surjection.
However, if the homotopy decomposition is a disconnected variety then the surjection is uniform, and the decomposed quotient map induces a group structure. This property is presented as a corollary below.

Corollary 1: If the decomposition of
hi ) = h i and the corresponding uniform surjection is given by γ : is a group of order 3 if and only if a i1 = a −1 i2 and a in * a 0 = a 0 * a in = a in , where n ∈ {1, 2}.

Remark 4:
It is interesting to note that, the multi-valued surjection (i.e., non-uniform surjection) can be transformed under function composition to induce a group structure in quotient topological space. Let P(A i ) be a power set of A i = {a i1 , a i2 , a 0 } and δ : P(A i ) → A i be a single valued function following the concept of axiom of choice [16,17]. If we restrict δ : In general, the orientations of various sets of path homotopies influence the behaviour of homotopic product ( * H ) of functions in homotopy classes in the fundamental groups. For example, h i * H h i = x 0 in π 1 (X, x 0 ), where h i is the orientation reversing. However, the orientations in decomposed homotopy paths also influence the formation of induced groups in quotient topological space. The appropriately oriented homotopy paths in decomposed homotopy loops can directly induce additive group of order 3 in the decomposed quotient topological spaces. This observation is presented in next theorem. Proof: Let (X, τ X ) and (Y, τ Y ) be two Hausdorff topological spaces, which are not path connected. Let π 1 (X, x 0 ) be a fundamental group in (X, τ X ) and h i ∈ [h] x0 in the homotopy class such that h i S 1 . If s : [0, 1] → h i and q : [0, 1] → h i are two orientation reversing paths in decomposed homotopy loop D hi of h i ∈ [h] x0 , then one can define them as: Let us prepare the corresponding decomposition D hi as given below: This preserves the connected decomposition condition that, Hence, the generated quotient topological subspace from orientation reversing paths in the decomposed homotopy loop induces a group G = (γ(D hi ), The induced group structure formation in quotient topological spaces from the decomposed homotopy loop can be further extended involving multiple fundamental groups in a connected topological space. Suppose (X, τ X ) is a path connected topological space and two disjoint fundamental groups are presented by π 1 (X, x 0 ), π 1 (X, x 1 ) within two separable subspaces (because (X, τ X ) topological space is Hausdorff). It can be illustrated that the second quotient topological subspace can acquire a group structure from the first one if a bijective composition can be established between the two subspaces. This is explained in the next theorem.

Theorem 3:
If π 1 (X, x 0 ) and π 1 (X, x 1 ) are two fundamental groups in a path connected topological space (X, τ X ) with two decomposed quotient maps γ : is a group of order 3.

Remark 5:
It is important to note that, in the above theorem we have considered that h i S 1 ; however we have not put condition that h k S 1 in [h] x1 . The above theorem is valid as long as hom(h k , S 1 ) condition is maintained.
Evidently, multiple fundamental groups in a topological space can induce distributed disjoint groups within decomposed quotient spaces. The following corollary illustrates that there exists an isomorphism between groups in decomposed quotient spaces if they have equal order.

Corollary 2:
If π 1 (X, x 0 ) and π 1 (X, x 1 ) are topologically homeomorphic in (X, τ X ) then G = (γ(D hi ), +) and Proof: Let (X, τ X ) and (Y, τ Y ) are two Hausdorff topological spaces, where π 1 (X, x 0 ) and π 1 (X, x 1 ) are disjoint topologically homeomorphic fundamental groups in (X, τ X ). Suppose homotopy loop Note that G = (γ(D hi ), +) with order 3 is generated in decomposed quotient topological space of h i ∈ [h] x0 . However, due to homeomorphism it is true that f * (h i ) = h k ∈ [h] x1 and the structure G 1 = ((β • γ)(D hk ), +) also has order 3 in (Y, τ Y ). This leads to conclusion that, We have so far dealt with the properties of multiple fundamental groups and associated decomposed quotient mappings within the topological spaces. However, earlier it is mentioned that we are considering connected fundamental groups and such groups are placed in a connected topological space. Moreover, the decomposed quotient spaces are generated in a separable topological space. Hence, it is interesting to analyze the inherent locality of homeomorphism of the topological spaces in this structural setting. The following theorem shows that an equivalence relation between the two path embeddings exists.

Lemma 1:
The following observations can be made further from the above theorem: D hi ), +) and G 1 = ((β • γ)(D hk ), +) are not path connected, however if U a0 ⊂ Y A , a 0 ∈ U a0 and U a1 ⊂ Y B , a 1 ∈ U a1 are each locally path connected open neighbourhoods, then U a0 ∪ U a1 is a connected subspace in (Y, τ Y ). As a result, U a0 , U a1 are locally dense sets.
The similar property holds for Y B . Thus the subspaces Y A and Y B are consisting of countable dense sets if ∀x ∈ γ(D hi ) ∪ γ(D hk ) the open neighbourhoods maintain U x ∪ ∂U x = U x . Hence, the subspaces U a0 ⊂ Y A , a 0 ∈ U a0 and U a1 ⊂ Y B , a 1 ∈ U a1 are connected by η Y ([0, 1]). Moreover, U a0 , U a1 are locally dense and are also locally path connected.
There exists a set of homotopically equivalent paths between topological spaces containing connected fundamental groups and decomposed quotient subspaces. The following theorem presents this property considering * H as homotopic function product. Note that H denotes the equivalence of path homotopy between two homotopic paths in the topological space. 1]) and β G : G → G 1 is a bijection in (Y, τ Y ) then there are oriented homotopy paths in p 0 : π 1 (X, x 1 ) → π 1 (X, x 0 ) and p 1 : Proof: Let f * : π 1 (X, x 0 ) → π 1 (X, x 1 ) be a homeomorphism in topological space (X, τ X ) such that α (l • f )([0, 1]) is an isomorphic path in (X, τ X ). Let β G : G → G 1 be a bijection in (Y, τ Y ) and γ(.) is a decomposed quotient map between (X, τ X ) and (Y, τ Y ). Suppose one defines the oriented homotopy paths in p 0 : π 1 (X, x 1 ) → π 1 (X, x 0 ) and p 1 : Remark 6: Note that in the homotopy classes the following condition is maintained: . Moreover, the following commutativity is maintained: The connectedness of fundamental groups gives rise to an interesting property. It indicates that it is possible to formulate a homotopically equivalent path involving multiple homotopy classes. This property is illustrated in next theorem.

Theorem 6:
If π 1 (X, x 0 ) and π 1 (X, x 1 ) are two connected fundamental groups in topological space (X, τ X ) Proof: Let (X, τ X ) be a topological space and π 1 (X, x 0 ), π 1 (X, x 1 ) are two connected fundamental groups. Consider α (l • f )([0, 1]) as a path for the corresponding embedding in (X, τ X ). Suppose ∃ − a, b ∈ , b > 1 such that there exist two disjoint path homotopies given by F i : [−a, 0] 2 → (X, τ X ) and F k : [1, b] 2 → (X, τ X ) . As result, one can consider l, m ∈ Z + , ∀h il ∈ [h] x0 , ∀h km ∈ [h] x1 to formulate the sets of homotopic functions, which is given as: Let A ⊂ X be a subspace and there are subspaces given by Thus λ : [−a, b] → A is continuous in the corresponding topological subspace. As a result, if we consider a homotopy path h il * H α * H h km in A ⊂ X then it will maintain equivalence of path homotopy There exists a relation between isolated point set {g} and the decomposed quotient topological space if the element of the point set is a generator of the induced group in the decomposed quotient space. This relation has an effect on the finiteness of cycle number. This observation is presented in the following theorem.
Proof: Let h i : [0, 1] → (X, τ X ) be a path homotopy in the fundamental group π 1 (X, x 0 ) in the topological space (X, τ X ). Note that, the interval [0, 1] ⊂ + is uncountable and compact real subspace in nature. As h i (0) = h i (1) in π 1 (X, x 0 ), hence µ(h i (0)).µ(h i (1)) = g 2 . Moreover, ∀t ∈ (0, 1) it is true that µ(h i (t)) = g by the definition. If one chose ε > 0, ε ∈ + and the corresponding interval [t − ε, t + ε], then the interval is also uncountable. This leads to conclusion that, ∃v ∈ Z + and . However, this further leads to the equality involving the cycle number of the cyclic generator that r = lt v→+∞ (v/4), where g m = a i1 , g n = a i2 , g p = a 0 and m > 1, n > 1, p > 1. Hence, the product This indicates that a continuous homotopic path in the fundamental group generates a countable infinite cycle number of cyclic generators of the group in the decomposed quotient topological subspace.

Discussion: Relation to Sierpinski Space
The Krull-Schmidt property of modular decomposition states that an object decomposes in a unique way such that a set of further indecomposable objects is generated [18]. This concept is maintained in the homotopy decomposition varieties presented in this paper in the quotient topological spaces. There is a relationship between the Sierpinski space and the proposed decomposed homotopy in quotient topological space (referred to as DHQ space). The proposed decomposed quotient space generated from the decomposed homotopy loop extends the Sierpinski space [19]. If the Sierpinski set is given by S P then the one-point extension of Sierpinski set is the set S Pγ = S P ∪ {−1} supporting the additive group G = (γ(D hi ), +) within the decomposed quotient topological subspace. Note that, the group in Sierpinski space is trivial, in general. However, the induced additive group in decomposed quotient topological is not necessarily trivial in nature. The one-point extension of Sierpinski space by the proposed decomposed quotient topological space is symmetric with respect to origin. As a result, the Sierpinski topology is also extended in decomposed quotient space due to symmetric one-point extension of the basis set. The extension of topological space is given by E = {{−1}, S Pγ }, which can be included in the original Sierpinski topological space. The summary of interrelationship between Sierpinski space and its extension in the decomposed quotient space is given in Table 1.
The extension is null if the space is the original Sierpinski space. Otherwise, the basis set is symmetrically extended with respect to origin and the topological space is extended by inclusion of resulting topological subspaces. Note that both the spaces are connected in nature in . The interesting distinction between the two spaces is based on the uniqueness of non-zero sequence. In case of Sierpinski space, the non-zero sequence generates a unique cluster point and it is a constant sequence.
However, in the case of extended Sierpinski space, the non-zero sequences are not unique and as a result the cluster points are also not necessarily unique. Note that, the non-zero convergent sequences in extended Sierpinski space are constants alike original space. Interestingly, the Sierpinski space is sequentially complete in terms of non-zero sequence. However, it may not be always true in extended Sierpinski space.

Conclusions
The algebraic as well as topological properties of homotopy decomposition vary depending on the connectedness of the topological space. This paper proposes the homotopy decompositions of path connected fundamental groups into quotient topological spaces. The proposed decompositions have two varieties with respect to the connectedness of decomposed subspaces. The resulting decomposed quotient spaces in a topological space with separation from the base space containing fundamental groups give rise to the variations in algebraic and topological properties depending on the connectedness of homotopy decompositions. It is shown that, if the decomposed subspaces maintain path connectedness within the components, then the decomposed quotient topological space cannot induce an additive group structure maintaining uniform surjection. However, if the decomposition of homotopy is disconnected variety then it maintains uniform surjection and successfully induces an additive group structure within the decomposed quotient topological spaces. The proposed formulation is supported by fundamental group which is homotopy rigid with respect to a set of circle groups in a complex plane. It is illustrated that there exists bijection between multiple decomposed quotient topological spaces allowing formation of group structures under function composition. Interestingly, the proposed disconnected homotopy decomposition under quotient map extends the Sierpinski space within the decomposed quotient topological space while preserving the trivial group of Sierpinski space. The one-point extension of the Sierpinski space is symmetric with respect to origin. Furthermore, the cyclic generator of the group in the decomposed quotient topological space attains infinite cycle number when the decomposed homotopy generates locally connected open path components in homotopy class.
Author Contributions: Susmit Bagchi (Professor, Department of Aerospace and Software Engineering (Informatics), Gyeongsang National University, Jinju, ROK) is the single and sole author of this paper and this paper contains his own contributions.
Funding: This research is funded by Gyeongsang National University, Jinju, ROK.