The Sequential and Contractible Topological Embeddings of Functional Groups

: The continuous and injective embeddings of closed curves in Hausdor ﬀ topological spaces maintain isometry in subspaces generating components. An embedding of a circle group within a topological space creates isometric subspace with rotational symmetry. This paper introduces the generalized algebraic construction of functional groups and its topological embeddings into normal spaces maintaining homeomorphism of functional groups. The proposed algebraic construction of functional groups maintains homeomorphism to rotationally symmetric circle groups. The embeddings of functional groups are constructed in a sequence in the normal topological spaces. First, the topological decomposition and associated embeddings of a generalized group algebraic structure in the lower dimensional space is presented. It is shown that the one-point compactiﬁcation property of topological space containing the decomposed group embeddings can be identiﬁed. Second, the sequential topological embeddings of functional groups are formulated. The proposed sequential embeddings follow Schoenﬂies property within the normal topological space. The preservation of homeomorphism between disjoint functional group embeddings under Banach-type contraction is analyzed taking into consideration that the underlying topological space is Hausdor ﬀ and the embeddings are in a monotone class. It is shown that components in a monotone class of isometry are not separable, whereas the multiple disjoint monotone class of embeddings are separable. A comparative analysis of the proposed concepts and formulations with respect to the existing structures is included in the paper.


Introduction
The continuous and injective embeddings in topological spaces have wide varieties as well as respective applications. In general, the topological embeddings consider connected spaces, which are at least first countable in nature. In a first countable T 2 space, the embeddings can generate closed subspaces with paracompactness. Interestingly, in the case of elementary type embeddings, a partial ordered set can be completely embedded into the space of an inner model [1]. The various categories of topological embeddings and associated homeomorphisms give rise to a set of interesting and insightful properties. For example, the Haefliger type embeddings of topological manifolds show that there exist homotopy equivalences with commutativity, and the locally flat embedded discs are generated in a bounded manifold (i.e., manifold with boundary) [2]. The topological embeddings of decomposed groups also have a wide array of applications [3,4]. The traditional group decomposition structures are based on the existence of independent subgroups, and as a result the semidirect product-based decompositions are not unique [5]. In case of block-based direct decomposition, the identity element plays a key role in generating independent modules [6]. However, the decomposition of groups in regard to topology is an interesting approach due to the enhanced flexibility and generality in the decomposed structures. In general, the topological embeddings of decomposed structures can be placed in two categories. From the algebraic viewpoint, the embedding of algebra G into algebra G 1 is a linear homeomorphism [7]. On the other hand, the topological embedding in a metrizable space (i.e., Hausdorff space) is an isometry, which can be supercompact with a large cardinal [1]. This paper proposes the generalized algebraic formulation of functional groups and their sequential, as well as contractible embeddings in normal topological spaces. First, a brief description of various aspects of topological embeddings is presented in order to establish elementary concepts. In addition, the research questions dealt in this paper and the motivational aspects are presented.

Topological Embeddings
There exists a hierarchy of topological spaces considering the interplay of Borel and Hausdorff properties [8]. The Borel and Hausdorff hierarchies of topological spaces are based on axiomatic set theory and they are placed in the Polish space category [9]. The property of such topological spaces is that they are homeomorphic to the complete metric spaces. Moreover, such spaces are separable, because they are composed of countable dense sets. Furthermore, the Hausdorff topological spaces can be classified based on associated closure properties in normal topological spaces. The normal topological spaces can be of two varieties, namely completely normal and fully normal [9]. Moreover, the H-closure based classification of spaces is dependent on the concept of a strongly closed graph. For example, if ω is a class of topological spaces and ∀X ∈ ω, ∃Y ∈ ω such that f : X → Y is a strongly closed function with weak continuity, then (Y, τ Y ) is a H-closed topological space [8,10]. In general, if the embeddings are compact in a topological space, then there exist closed subspaces within the respective topological space.
It is interesting to note that, topological embeddings of a continuous map in higher dimensional manifolds are not always a straight-forward approach, and there exist obstructions if the manifolds are differentiable in type [11]. The embeddings of spaces, functions, or groups within a topological space often maintain local homeomorphism within the space. Following a similar approach, the Schoenflies embeddings are often considered to be homeomorphic to S 1 , and as a result it generates separable components [12]. In the case of the higher dimensional manifold, the continuum embeddings of a space within the manifold may generate at most two separable components [13]. The Jordan curve theorem (JCT) represents that a simple closed curve generates multiple separable components in a topological space [14][15][16]. The interesting property of JCT is that one of the components is bounded and possibly compact. However, the exterior of the closed component may not be compact if the topological space itself is not compact.

Motivation
Topological decompositions of group algebraic structures have varieties, and are an interesting topic with potential applications [3,17]. The topological decomposition of general group structures and associated embeddings in topological spaces are relatively new approaches without emphasizing the continuity criteria in group structures [18]. Alternatively, the concept of functionally generated groups attempts to incorporate continuity within the finite group structure. Interestingly, the functionally generated groups have various computational applications. For example, the groups generated by round functions form a set of cryptographic block ciphers [19]. There are various ways to form functionally generated groups with different characterizations. The circle group is a functionally generated group that has subgroups with sequential characterization [20]. The circle group on the Gauss plane is homeomorphic to S 1 and can be considered as a special function group, which is closed as well as embeddable in topological spaces. However, the interesting question is how to algebraically construct a generalized functional group structure and how to analyze the sequential embeddings of such structures in topological spaces. Moreover, if the topological embeddings are sequentially characterized along with contraction, then what are the properties of such an embedding sequence in a normal topological space? This paper addresses these questions in regard to general topology and analysis. First, the basic concept of topological decomposability of a general group structure is presented. Next, the algebraic construction of a generalized functional group structure and the sequence of embeddings in topological spaces are presented. The inherent properties of such a sequence of embeddings in normal topological spaces are explained as a set of theorems. The preservation of homeomorphism under contraction in a Hausdorff topological space is analyzed in regard to sequential topological embeddings inline to Schoenflies variety.
The rest of the paper is organized as follows. Section 2 presents preliminary concepts related to groups, Jordan curve theorems and morphisms. Section 3 describes concepts and definitions of generalized functional groups, decomposition structures and contractible sequential embeddings in topological spaces. The analytical properties are presented in Section 4 as main results in the form of theorems. Section 5 presents comparative analysis. Finally, Section 6 concludes the paper.

Preliminary Concepts
In this section, a set of basic concepts and definitions are presented to establish preliminary notions about topological embeddings, groups and related analysis. In this paper, A denotes the closure of the corresponding open set A, and the complement of set A is given by A c . Furthermore, it is considered that the normal topological space has a Hausdorff closure property, which may contain fixed points [10]. The power set of any arbitrary set X is denoted by P(X). The symbol A B denotes that, A is a subgroup of B.
Let X be a set and (X, τ X ) be a topological space, which is considered to be Hausdorff to avoid multiconvergence localities. In a normal and complete Hausdorff topological space, the bijection f B : X → X contains a set of fixed points given by, X F = x ∈ X : f B (x) = x . Let X be equipped with abstract algebraic operation * : X 2 → X such that the operation is closed in the set. The structure G = (X, * ) is called a group if it maintains the properties [9,21] ∀a ∈ X, ∃a −1 ∈ X, a * a −1 = a −1 * a = e ∈ X and, (3) ∀a ∈ X, e * a = a * e = a. The element e ∈ X is unique and e * e = e indicates that e = e −1 .
A group G = (X, * ) can be equipped with a topological structure. The topology on G = (X, * ) is denoted by τ G ⊆ P(X), where it maintains the axioms of topology. A group action is given by β : G × S → S under specific conditions, where S is a set on which a group is acted on. The required properties related to group action are (i) β(g, s) = g * s, and (ii) β(g, β(h, s)) = β((g * h), s). The second property asserts associativity of G = (X, * ) in the presence of group action. The identity function is given by id : A → A such that id(a) = a ∈ A in any arbitrary set A. If G = (X, * ) is a groupoid, then the morphism is given by α : (x ∈ G) → (y ∈ G) in the groupoid [22]. The morphisms α 1 , α 2 , α 3 maintain associative composition law given by A topological group is a variety of groups in a topological space such that continuity of space under the closed algebraic operation within the space is maintained. The structure (X, * , τ X ) is a topological group if it maintains the axioms [23], (a) G = (X, * ) is a group, (b) (X, * , τ X ) is a topological space, and (c) the algebraic operation * : X 2 → X is continuous along with the continuous existence of a −1 ∈ X. Furthermore, if a, x ∈ X in (X, * , τ X ) are two elements and a is the fixed element, then the transformation T(x) = ax is a homeomorphism of (X, * , τ X ) into itself. A topological group G = (X, * ) can be compactly generated if H G and ∃Y ⊆ X such that H = (Y, * ) is a subgroup in compact subspace [9].
The Jordan curve Γ in a topological space (X, τ X ) representing a plane, is a function γ : C → X 2 , where C ⊂ R 2 is a closed curve in 2-D real such that γ(.) is continuous and injective [14]. It is to note that C ⊂ R 2 can be any polygon in space and C homeomorphic to S 1 can be considered as a circle group. There can be embeddings of closed curves in surfaces leading to the Jordan curve theorem (JCT) [24]. The embedding of C ⊂ R 2 in a surface S S is called 2-cell embedding if all the regions are 2-cells [15]. Interestingly, in group algebra, the semigroups can be embedded within the group structures, which is actually not a topological embedding. However, the formulation of embedding in a group is not a straight-forward approach. The Steinitz embedding theorem shows that every integral domain can be embedded in a field [16]. The Steinitz theorem relies on the construction of ordered pairs of elements maintaining an equivalence relation.

Decomposition and Functional Groups Embeddings: Concepts and Definitions
This section presents a set of definitions related to topological decomposition as well as embeddings of general groups, the concept of functional groups and the related varieties of embeddings into normal topological spaces. In this paper, if A is a set, then A o will denote the interior of the open set A in the corresponding topological space, where A is a closed set as mentioned earlier. For any point x ∈ A in topological space, the open set U x denotes an open neighborhood of the corresponding point. In this paper, the subset I ⊂ Z + 0 is employed as an index set and R represents the set of real numbers. The notation hom(A, B) denotes that A is homeomorphic to B. The definitions are categorized into two sections. First, a set of definitions related to the topological decomposition of general group algebraic structure and associated decomposed group embeddings are described. Next, the definitions related to algebraic formulation of functional groups and their sequential embeddings into normal topological spaces are presented.

Embeddable Topological Decomposition of Groups
In this section, the topological decomposition and embeddings of a general group algebraic structure in the lower dimension is presented. It is important to note that the proposed construction does not assume any specific topological group structure. Essentially, a topological group is a group residing in topological spaces, where the group operations and actions are continuous in nature [23]. However, in this proposed formulation of decomposition, it is considered that a standard group can be decomposed in view of general topology and the decomposed components are embeddable in normal topological spaces. Thus, if G = (X, * ) is a group, then (G, τ G ) represents an embedded group structure in normal topological spaces, where τ G ⊆ P(X) and β : G × S → S is a group action on some arbitrary set S.
First, the notion of the partition of a normal topological space is established as follows. Let (X, τ X ) be a topological space and the partition of the space is given by X = {A i ⊂ X : i ∈ I}, which is a family of subspaces [18]. It maintains the property as given below: A homogeneous set can be derived from a partitioned topological space [25]. The partitioning of the topological space based on the generation of a quotient set containing equivalence classes may not affect separability of the original space. Let G 1 = (X 1 , * 1 ) and G 2 = (X 2 , * 2 ) be two groups, which are embeddable in a normal topological space. The group homeomorphism is given by h H : . Interestingly, the group homeomorphisms can be strengthened to form isotropy between group structures [26]. Let (X, τ X ) and (Y, τ Y ) be two topological spaces and F : (A ⊂ X) → Y be an embedding, which is continuous as well as injective in nature. There exists a Schoenflies homeomorphism h S : X → Y such that the restriction maintains h S | A⊂X = F. The Schoenflies homeomorphism may generate multiple separable components in topological spaces if the embedded curve is a closed type [12].
Next, a set of definitions related to embeddable topological decomposition of group algebraic structure is presented [18].

Definition of G− Partition
Let D G ⊂ τ G be in the normal topological space such that i, k ∈ I, i k and the following structure is maintained by it: The G− partition of (G, τ G ) is denoted by D G , which generates a family of mutually disjoint open sets representing subspaces in the corresponding normal topological space.

Topological Decomposition and Fiber
A topological decomposition of G = (X, * ) resulting in the formation of (G, τ G ) is denoted by The generalized decomposition structure prepares partitioned open sets within a topological subspace, where the subspace is finite.
The concept of topological fiber enables relational mapping within partitioned subspaces within a topological space.

Remark 1.
Interestingly, the topological one-point compactification property can be applied to the G− decomposition to prepare a compact subspace. Let (Y, τ Y ) be a normal topological space such that X ⊂ Y and The generalized Schoenflies embeddings and associated homeomorphism concepts are now applied to the decomposed group to form the decomposed embeddings in normal topological spaces, which results in the following definition.

Decomposed Group Embedding
Let (X, τ X ) be a normal topological space and E ∈ τ X be a subspace. If G = (Y, * ) is a group, then the decomposed group embedding in E is given by Note that, embedding e i : D → H i is injective in nature within a normal topological subspace. It further concludes that ∪ i∈ [1,3] H i ⊂ E in the topological space (X, τ X ). Note that the strict condition of homeomorphism to S 1 of an embedding is not applied in this case to maintain generality. However, the condition of homeomorphism to S 1 of a closed curve is imposed in the case of the sequential functional group embeddings as presented in the next subsection.

Functional Groups and Topological Embeddings
In the previous section, the definitions related to topological decomposition and Schoenflies homeomorphism between two topological spaces are presented considering decomposed general group algebraic structure. In this section, the concept of functional group and the definitions related to the sequential embeddings of functional group structures in topological spaces are formulated.
Let X ⊂ R 2 be a point set and X S = {S i : 1 ≤ i ≤ n} be a family of finite number of point sets. Let τ X ⊆ P(X) be a topology on X generating a topological space denoted by (X, τ X ). Let S i is the entire collection of elements, then l : S X → (B ⊂ X) is an injective continuous embedding. It is considered that ∀S i ∈ X S the property hom(S i , S 1 ) is maintained indicating that embeddings are continuous closed curves in (X, τ X ) homeomorphic to S 1 ⊂ R 2 . Moreover, the embeddings maintain the condition that l(S i ) ∩ l(S k ) = φ whenever i k.
The homeomorphism of embedding is maintained under restriction as given in the following definition: Let F S : S 1 → R 2 be an embedding in a topological product space. There exists a Schoenflies homeomorphism g : R 2 → R 2 such that the restriction maintains g S 1 = F S .
As a natural consequence, this form of Schoenflies homeomorphism also generates separable components in topological spaces. In the following subsections, the concept of functional group structure and its sequential as well as contractible embeddings into normal topological spaces are formulated as a set of definitions.

Functional Group
It is not considered that, * i : S 2 i → S i is commutative to maintain generality. The embedding of such functional groups in the topological space is defined in the following subsection.

Functional Group Embeddings
Let (X, τ X ) be a topological space and f i n i=1 be a sequence of functions forming functional groups.
As a natural extension of the concept, the embedding maintains the following condition, . Moreover, the embeddings form corresponding functional groups in topological subspaces in (X, τ X ) denoted by (E i , * i ) = G i in A i ∈ τ X without imposing any notational modification of respective algebraic operation in the topological subspace. The next definition presents homeomorphisms between two embedded functional groups in the topological space (X, τ X ).

Embedded Group Homeomorphism
and (l • f k )(S X ) are two functional group embeddings in E i ⊂ A i and E k ⊂ A k , then h ik : E i → E k is a functional group homeomorphism defined on (E i , * i ) and (E k , * k ) as ∀x, y ∈ E i , h ik (x * i y) = h ik (x) * k h ik (y).
Note that, the defined embedded group homeomorphism in subspaces in (X, τ X ) is a direct adaptation of standard group homeomorphism. The other interesting observation is that topological hom(E i , S 1 ) and hom(E k , S 1 ) conditions are still valid in the space (X, τ X ) and the monotone class property is not imposed while constructing this definition. The multiple embeddings in (X, τ X ) with the condition E i ∩ E k = φ would result in the formation of Jordan curve components as defined below.

Jordan Curve Components
The Jordan curve components are defined by following Jordan curve theorem [14].
Hence, if one considers f i n i=1 as a finite sequence of functions along with the composition, then a sequence of embeddings would be generated in (X, τ X ) topological space. The definition of sequential embeddings is presented below.

Sequential Embeddings
Let S i n i=1 be a sequence of closed curves and The sequence of embeddings in a topological space generates multiple components and respective component boundaries. The following definition presents component boundaries due to sequential embeddings, where the hom((l • f i )(S α ), S 1 ) condition is maintained.

Component Boundary Embeddings
Let C ⊗ = C i n i=1 be a sequence of components embedded in topological space (X, τ X ) generated by (l • f i ) n i=1 . In the topological space ∀C i , C i+1 ∈ C ⊗ the boundary is given by, Evidently, the set B α is open in (X, τ X ) for α ∈ I and ∂C i ∩ ∂C i+1 = φ. The boundaries form partitions between components in the topological space. If the topological space is considered to be Hausdorff, then a uniform contraction can be defined as given below.

Uniform Contraction
is an open neighborhood of x and ∀y ∈ A α , ∇(y) ∈ N x , where A α is also open in X. Thus, one can view ∇ as a surjective map maintaining hom(∂C i+k , S 1 ) in (X, τ X ).
The uniform contraction is generalized in nature, indicating that the contraction can be performed for any value of k. The only restriction is that the contraction cannot be made into X c = φ with respect to topological space (X, τ X ).

Main Results
This section presents the main results as a set of theorems derived from the proposed concepts, definitions and structures. The properties of functional group embeddings in normal topological spaces are formulated considering that the embeddings are homeomorphic to S 1 (i.e., they are complete with one-point compactification). Moreover, the embeddings of functional groups into a normal topological space are sequential in nature. In a stricter sense, the condition of formation of a monotone class is considered as a special case.
In the beginning, it is shown that, the sequences of embeddings are mutually disjoint within the normal topological space.
Proof. Let (X, τ X ) be a topological space and S ⊗ = f i (S i ) n i=1 be a finite sequence of functional groups. Let (l • f k ) : S k → A k be the embedding in corresponding open set A k ∈ τ X , where S k ∈ S ⊗ . If (l • f k ) n k=1 is a finite sequence of embeddings in (X, τ X ), then the C ⊗ = C i n i=1 sequence of components will be generated in (X, τ X ). Let us consider that ∀C k , C k+1 ∈ C ⊗ , ∂C k φ and ∂C k+1 φ in (X, τ X ). This indicates that if (l • f k+1 ) : S k+1 → A k+1 is an embedding with C k+1 ⊂ C k , then Moreover, as f k (S k ) and f k+1 (S k+1 ) are two functional groups, so f k (S k ) ∩ f k+1 (S k+1 ) = φ as they are distinct and separated. Hence, in the normal (X, If one considers that a monotone class of group embeddings in a topological space is mutually disjoint, then there exists a sequence of fixed points in the set of generated components. If the embedding space is finite, then the sequence is also finite. is a sequence of disjoint functional group embeddings in finite normal topological space (X, τ X ), then x i n i=1 is a finite sequence of fixed points in C ⊗ .
Proof. Let (X, τ X ) be a normal topological space having Hausdorff property. If (X, τ X ) is finite, then ∃{A i : i ∈ I} ⊂ τ X such that A i is open and finite indicating that A i c is also finite (but not necessarily compact). Let (l • f i ) n i=1 be a sequence of functional group embeddings in respective A i such that (l • f i )(S X ) ∩ (l • f k )(S X ) = φ whenever i k and n < +∞. Let C ⊗ be a sequence of Jordan components generated by (l is a sequence of fixed points in normal (X, τ X ) topological space under disjoint functional group embeddings.
However, as S i ∩ S k = φ in S X because the functional groups are mutually disjoint, so E i ∩ E k = φ in A ∈ τ X . Moreover, ∃B i , B k ⊂ X open sets in normal topological space such that C i ⊂ B i , C k ⊂ B k and B k ⊂ B i whenever k > i. Thus, sequence of embeddings (l • f i ) +∞ i=1 generates C ⊗ in A ∈ τ X . Again, if (X, τ X ) is compact, then A c is compact, where ∂A ⊂ A c in (X, τ X ). Thus, in the normal and closed topological subspace, ∪ is a sequence of fixed-points in compact A, then (l • f i ) → C l and ∃x l ∈ ∂C l such that x i → x l in (X, τ X ). Furthermore, as ∂C l ⊂ C l so x l ∈ C l in A.
It is noted earlier that the embeddings of functional groups are homeomorphic to S 1 in (X, τ X ) topological space. The neighborhood system of fixed points of the convergent sequence in embedding subspace characterizes the nature of embeddings. It also reaffirms the condition that the underlying topological space is normal. Theorem 3. If E i and E k are functional group embeddings in normal topological space (X, τ X ), then the fixed points x α ∈ C i and x β ∈ C k have neighborhoods such that U α ∩ U β = φ, where U α ⊂ E i and U β ⊂ E k .
Proof. Let G i = (S i , * i , f i ) and G k = (S k , * k , f k ) be two functional groups such that S i ∩ S k = φ. Let the two corresponding embeddings be hom(E i , S 1 ) and hom(E k , S 1 ) in the normal topological space , where x α ∈ C i and x β ∈ C k are fixed points in the respective closed components in (X, τ X ). However, [i < k] ⇒ [∂C k ⊂ C i ] implication is maintained in open subspace A ∈ τ X and as S i ∩ S k = φ, so ∂C i ∩ ∂C k = φ maintaining disjoint embedding condition. Moreover, the embeddings are homeomorphic to S 1 and generate closed components in A ∈ τ X . Thus, it is indeed true that,

Remark 2.
The extension of the above property indicates that normal topological space allows normal embedded subspaces. As the topological space (X, τ X ) is normal, thus ∃A α , A β ⊂ X such that U α ⊂ A α and U β ⊂ A β . Moreover, the normal subspace containing the monotone class embeddings maintains the condition given as Interestingly, the mutual disjoint embedding of functional groups is independent of order relation in embedding sequence. This property is maintained as long as a monotone class is formed within a topological subspace. It is important to note that, when a converging sequence of fixed points are considered within a compact subspace containing embeddings, the order of embeddings is considered to be fixed according to the sequence. Theorem 4. In the normal topological space(X, τ X ), if C i , C k ∈ C ⊗ such that |k − i|≥ 1 , then the components are not separable independent of embedding sequence.
Proof. Let (X, τ X ) be a normal topological space and ∃C i , C k ∈ C ⊗ be in the subspace A ∈ τ X , where the subspace is open and |k − i|≥ 1 . Suppose, the components are separable in (X, τ X ) independent of embeddings sequence in Thus, W and V are separations in (X, τ X ). However, in this case, either C i ∈ X\C ⊗ or C k ∈ X\C ⊗ , which is a contradiction. Thus, if C i , C k ∈ C ⊗ is in the embedding subspace A ∈ τ X , then (W ∪ V) ⊂ A and W ∩ V φ, where |k − i|≥ 1 . Hence, the closure A is not a separable subspace and as a result the components are not separable or independent of embedding sequence.

Corollary 1.
The uniform contraction has a role in determining separation in topological spaces. In the normal topological space (X, τ X ), if C i , C k ∈ C ⊗ such that k > i and ∂C k = ∇(∂C i ) then ∂C i ∩ ∂C k = φ. This is a relatively straight conclusion from the above-mentioned theorem.
The continuous contraction in normal topological spaces homeomorphic to S 1 invites the requirement of surjectivity in a sequence of embeddings. However, such a sequence should form a monotone class in a normal topological subspace.
Theorem 5. In a normal topological space (X, τ X ), the uniform contraction ∇ : ∂C i → ∂C k is a surjection in C ⊗ , where k > i.
Proof. Let (X, τ X ) be a normal topological space and ∃A ∈ τ X such that in the sequence of embeddings C ⊗ in the normal subspace A ∈ τ X . Moreover, the sequence of embeddings maintains the homeomorphism as, y are open neighborhoods of x, y respectively. Hence, the uniform contraction ∇ : ∂C i → ∂C k is a surjection in C ⊗ , where the topological space is normal in nature.
The surjective contraction supports the monotone class of components generated by a sequence of functional group embeddings in a normal topological subspace. The existence of Kakutani fixed points in a converging sequence in such a subspace containing embedded components invites the semicontinuity of finite set valued function within the normal subspace containing embeddings sequence. This property is presented in the next theorem. Theorem 6. If α ∈ ∂C k and β ∈ ∂C i with i > k are two Kakutani fixed points on embeddings in a normal topological space, then there is a semicontinuous set-valued function γ : ∂C i → ∂C k such that γ(β) ∩ U α φ, where α ∈ U α and U α is an open set.
Proof. Let (X, τ X ) be a normal topological space having embedded sequence of functional groups forming a monotone class structure generated by C ⊗ . Let {C i , C k } ⊂ C ⊗ be such that there are two Kakutani fixed points α ∈ ∂C k and β ∈ ∂C i with i > k in A ∈ τ X . If γ : ∂C i → ∂C k is a set-valued function, then ∃w ∈ γ(x), ∃v ∈ γ(y) such that U w ∩ U v φ, where w ∈ U w , v ∈ U v are open sets in A ∈ τ X . However, if γ(.) is semicontinuous, then ∀x, y ∈ ∂C i , γ(x) ∩ γ(y) = φ indicates that the mapping is unique. Moreover, in the normal subspace of embedding, ∪ i∈I C i ⊂ A and the sequence of Generally, Schoenflies homeomorphism is defined in between two separable topological spaces containing embeddings. Thus, the Schoenflies homeomorphism can exist within multiple subspaces in a normal topological space. Suppose multiple functional group embeddings are distributed within the subspaces of a normal topological space. If the functional groups are disjoint and homeomorphic, then there can be interplay between embedded group homeomorphism and Schoenflies homeomorphism. This interaction is presented as a theorem next.
Theorem 7. Let (X, τ X ) be a normal topological space and {A k , A i } ⊂ τ X be such that A k ∩ A i = φ. If Schoenflies homeomorphism exists as g S : A k → A i , then there is a group homeomorphism between embedded functional groups G k = (S k , * k , f k ) and G i = (S i , * i , f i ) in A k and A i , respectively.
Proof. Let (X, τ X ) be a normal topological space and the two disjoint subspaces are, {A k , A i } ⊂ τ X . Let G k = (S k , * k , f k ) and G i = (S i , * i , f i ) be two functional groups such that S i ∩ S k = φ and (S i ∪ S k ) ⊂ S X . Thus, there can be two functional group embeddings in normal (X, τ X ) given as, (l • f k ) : S X → A k and (l • f i ) : S X → A i in the respective subspaces, which are normal category of topological spaces. If the Schoenflies homeomorphism g S : is a functional group, hence (l • f k )(x * k y) ∈ A k is maintained due to closure property of the embedded functional group. Let h ki : (E k ⊂ A k ) → (E i ⊂ A i ) be a bijection in (X, τ X ). If one considers that h ki (x) * i h ki (y) = z ∈ E i by following existing Schoenflies homeomorphism, then ∃w ∈ E k such that h ki (w) = z in the embedded subspace, where x * k y = w ∈ E k . Hence, h ki (.) is an embedded functional group homeomorphism preserved by g S E k = (l • f i )(S X ). Remark 3. From the above theorem, it can be further concluded that hom(E k , S 1 ) ⇒ hom(E i , S 1 ) in the normal topological space (X, τ X ) and the embeddings are not contractible in nature. As a result, the sequences of homeomorphic functional group embeddings are not in a monotone class.
The above observation can be extended under uniform contraction between two homeomorphic embedding spaces, which are separable. The group homeomorphism exists under uniform contraction if and only if the embedding spaces maintain Schoenflies homeomorphism in separable subspaces as given in the next theorem. Proof. Let (X, τ X ) be a normal topological space and {A k , A i } ⊂ τ X be such that A k ∩ A i = φ and Λ = {G a , G b , G c , G d } be a set of disjoint functional groups. Let (l • f a )(S X ), (l • f b )(S X ) ⊂ A i and (l • f c )(S X ), (l • f d )(S X ) ⊂ A k be the respective embeddings in corresponding subspaces such that E a ∩ E b = φ and E c ∩ E d = φ in (X, τ X ). Let g S : A i → A k be a Schoenflies homeomorphism such that g S E a = (l • f c )(S X ) and g S E b = (l • f d )(S X ). Thus, the functional group embeddings and Schoenflies homeomorphism will generate components in subspaces as C a , C b ⊂ A i and C c , C d ⊂ A k . If ∇ : ∂C a → ∂C b is a uniform contraction, then ∀x, y ∈ ∂C b , ∃U x , U y ⊂ ∂C a such that ∇(α x ∈ U x ) = x and ∇(β y ∈ U y ) = y. Suppose h ac : (E a ⊂ A i ) → (E c ⊂ A k ) and h bd : (E b ⊂ A i ) → (E d ⊂ A k ) are embedded functional groups' homeomorphisms in normal topological space, (X, τ X ). Thus, within the homeomorphic group embedding subspace, h bd (x * b y) ∈ E d and h bd ( ,  *  a , f a ), G c = (S c , * c , f c ) are respective functional groups and {u, v} ⊂ (l • f a )(S a ⊂ S X ). Hence, there exists a uniform contraction, ∇ : This indicates that there is a strong isometry between two separable normal topological subspaces containing functional group embeddings if the disjoint embedded functional groups are homeomorphic to each other. Moreover, in this case, the Schoenflies homeomorphism exists between the subspaces.

Comparative Analysis
This section presents the detailed comparative analysis of different constructions of group structures, decompositions and associated varieties of topological embeddings. Traditionally, the general group algebraic structures are discrete and do not impose the continuity as well as finiteness criteria. The concept of continuity in a group structure as well as algebraic operation is incorporated in topological groups, which are in a special category. The similarity between topological groups and the proposed algebraic construction of functional groups is that both structures incorporate continuity within the generated group structures. However, the distinctions of the proposed algebraic construction of functional groups are that: (1) the algebraic construction is generalized in nature; (2) they are compactly generated; and (3) they are sequentially embeddable with isometry within the normal topological space. The sequential embeddings of functional groups within a topological space generate a monotone class of components. Interestingly, the embeddings of topologically decomposed generalized group structures do not allow contraction. However, the proposed sequential embeddings of functional groups homeomorphic to S 1 support Banach-type contractive embeddings within the normal spaces. The similarity between the embeddings of the decomposed generalized group structure and the sequential embeddings of the functional group structure is that both varieties are complete with one-point compactification within a topological space. The parametric comparison between the two categories of structures is presented in Table 1.
Traditionally, there are two broad categories of decomposable group constructions, namely direct product groups and semidirect product groups. Although the traditional decompositions of generalized group algebraic structures are based on the existence of Cartesian products of corresponding subgroups, in the case of topological decomposition of general group structures, this condition for the existence of independent subgroups is relaxed. The uniqueness property of decompositions of generalized group structures varies between semidirect product and direct product. However, the topological decomposition relaxes this requirement further. The topological decomposition of general group algebraic structures and the sequentially embeddable functional group structures are unique in nature. The comparison of properties related to group decompositions and embeddings related to varieties of groups is summarized in Table 2. It is interesting to note that the local continuity property is maintained by every decomposition and topological embedding types. However, the global continuity property is maintained by the semidirect product. This results in the categorization of decomposition with respect to the separability property in regard to the generated components. The semidirect product is globally continuous having a shared identity, hence the decomposed components are not topologically separable in nature. However, the topological decomposition of general group structures can be locally continuous in nature and separable. Furthermore, the sequential embeddings of functional groups in a normal topological space are component wise separable if and only if they are not in a monotone class of isometry in the embedded subspaces.

Conclusions
The embeddable topological decompositions of general group algebraic structures and the functional group embeddings maintain the property of one-point compactification. The proposed algebraic constructions of functional groups are generalized in nature generating compact groups. The constructed functional groups are homeomorphic to circle groups and are embeddable within a normal topological space in a sequence. The embeddings support Banach-type contraction in underlying Hausdorff space. The contraction generates a monotone class of sequential embeddings following the Schoenflies variety. The functional group homeomorphism between two spaces is successfully preserved within the respective monotone classes under uniform contraction. Moreover, there exists a compact subspace within the normal topological space containing the sequential embeddings of functional groups. Interestingly, the sequential embeddings of functional groups in-line with Schoenflies variety may not generate multiple compact and separable components if it forms a monotone class within the normal topological space. Otherwise, the two sequential topological embeddings in disjoint subspaces are separable. The proposed topological embeddings of functional groups support inclusion of Kakutani fixed points and the embedding subspace is sequentially complete in nature.
Funding: This research was funded by Gyeongsang National University, Jinju, ROK.