Projective and Non-Projective Varieties of Topological Decomposition of Groups with Embeddings

: In general, the group decompositions are formulated by employing automorphisms and semidirect products to determine continuity and compactiﬁcation properties. This paper proposes a set of constructions of novel topological decompositions of groups and analyzes the behaviour of group actions under the topological decompositions. The proposed topological decompositions arise in two varieties, such as decomposition based on topological ﬁbers without projections and decomposition in the presence of translated projections in topological spaces. The ﬁrst variety of decomposition introduces the concepts of topological ﬁbers, locality of group operation and the partitioned local homeomorphism resulting in formulation of transitions and symmetric surjection within the topologically decomposed groups. The reformation of kernel under decomposed homeomorphism and the stability of group action with the existence of a ﬁxed point are analyzed. The ﬁrst variety of decomposition does not require commutativity maintaining generality. The second variety of projective topological decomposition is formulated considering commutative as well as noncommutative projections in spaces. The e ﬀ ects of ﬁnite translations of topologically decomposed groups under projections are analyzed. Moreover, the embedding of a decomposed group in normal topological spaces is formulated in this paper. It is shown that Schoenﬂies homeomorphic embeddings preserve group homeomorphism in the decomposed embeddings within normal topological spaces. This paper illustrates that decomposed group embedding in normal topological spaces is separable. The applications aspects as well as parametric comparison of group decompositions based on topology, direct product and semidirect product are included in the paper.


Introduction
The applications of group theory are found in the identification of symmetries and in designing cryptographic protocols [1,2]. The topologization of algebras was first proposed by Markov and the topologizability of structures was further studied by extending the Kotov model [3]. Thus, topology and group theory exhibit interplay if the underlying space is considered to be a topological space. Topological groups are special groups with topological properties in underlying spaces. In general, the separable topological spaces are considered while analyzing topological groups, as well as their subgroups, with closure properties [4]. A topological group is compactly generated if the group contains a compact subspace. Moreover, as a consequence, every closed subgroup of a group becomes separable if the group is a compact separable topological group.
The topological spaces can be further equipped with projection varieties. The constructions of various types of projection in topological spaces can be formulated with algebraic and geometric properties. The geometric variety of projective spaces with distribution of singular points is proposed in [5]. The factoriality of geometric hypersurface under projection is constructed up to d-degree containing singular points. There are several interesting applications of concepts of finite projective spaces. For example, the Galois projective spaces (finite variety) have applications in coding theory, group theory and cryptology [6].
The overview of existing theories related to compactification, projections and decomposition of topological groups and associated topological dynamics are presented below, in brief. The motivation for the formulation of topological decomposition of groups is described.

Compactification and Projections
Topological groups can be formulated with compactification by employing a set of constructions, which can be categorized as [7,8], (a) maximal ideal spaces of function algebras and, (b) Samuel compactification in uniform group. The examples of natural compactifications of topological groups are: greatest ambit compactification (GAC), Roelcke compactification (RC) and, weakly almost periodic compactification (WAPC). The GAC and RC constructions are based on uniform continuity of function algebras, whereas the WAPC construction considers a compact semigroup structure with a semitopological nature. Moreover, the Pontrjagin and Tannaka dualities exist in locally compact Abelian groups and also in compact groups [8,9]. The compactification of semigroups of a locally compact group can be formulated from the corresponding compactification of a normal subgroup [10]. In general, the topological symmetry group preserves its orientation and this is a result of induced homeomorphism. However, it is often challenging to construct a set of decomposition matrices of any symmetry group where the group is finite [11].
The projections in topological spaces generate projective topological spaces, where the space is generally considered to be compact and Hausdorff. The admissibility of continuous maps as well as their composition in projective spaces are formulated considering that the underlying topological space is compact and Hausdorff [12]. In such spaces, the disconnection is defined based on the generation of open sets from the closure of it (i.e., closure of a set not necessarily forming a closed set).

Decomposition and Soft Sets
A group can be extended by an Abelian group resulting in the formation of a group of equivalence classes. The condition for such extension is that all the groups should be locally compact and Hausdorff, as well as second countable in nature [13]. In the group decomposition and extension sequence, a homeomorphism is a locally trivial fiber space defined over Abelian extending group [13]. In general, the decompositions of finite groups are performed by incorporating concepts of direct product and semidirect product. The decomposability of a p-group is analyzed given the quotient space and the associated indirect product [14]. Given any group and its Abelian normal subgroup, the R-decomposability of the base group over its Abelian normal subgroup can be formulated [15]. The R-decomposition indicates the possibility of embedding the base group in a semidirect product involving an R-module. A generalized polar decomposition of Lie groups can be formulated incorporating involutive automorphisms [16]. The polar decompositions exist in close proximity of group identity and can be extended to larger subsets of the group. Furthermore, the Iwasawa type of decomposition of classical Lie groups was proposed by using QR-decomposition as well as symplectic matrix [17][18][19]. A complete Jordan decomposition of a group of the multiplicative type was constructed in [20]. In this case, the unipotent elements exist in the group with commutativity.
The concepts of soft sets and soft topological spaces were presented in [21]. The continuity of general topological spaces becomes decomposable if the underlying space is a soft topological space [22]. Furthermore, the γ-operation and decomposition of soft continuity in soft topological spaces are formulated [23]. It categorizes the open sets into several different classes. The decomposition of continuity in ideal topological spaces was constructed in [24]. The decomposition of ideal topological spaces introduces two different notions of continuity, namely w-I-continuity and w*-I-continuity.
The reducibility properties in hypergroups in crisp sets and its extension to fuzzy cases were presented in [25]. The partitioning of a hypergroup is accomplished based on equivalent classes generated in case of crisp set, and it is further extended to hypergroups incorporating fuzzy cases.

Motivation
The topological decomposition of an algebraic structure is an interesting topic considering that the underlying space is topological in nature having structural embeddings. It is motivating to investigate a different category of group decomposition without involving direct or semidirect products. Furthermore, the study of projective varieties in such decomposed structures needs attention. The question is: how do we construct the group decompositions from the topological perspectives and are the decompositions embeddable? Moreover, what are the topological relations between multiple decomposed groups in the topological spaces in view of Schoenflies embeddings preserving group homeomorphism? This paper proposes the formulation of the topological decomposition of a group structure and investigates the associated properties. The dynamics of group actions as well as transition behaviours in a topologically decomposed group are presented. The topological decomposition of a group considers the generation of multiple topological components as subspaces within the underlying topological space, while preserving the group's algebraic structure. This paper introduces the concepts of topological fibers, locality of group operation and partitioned local homeomorphism in a topologically decomposed group in axiomatic forms. The proposed nonprojective construction does not presume the Abelian property of the group to maintain generality. Next, the projective variety of topological decomposition is proposed. The projection in topological space considers formation of disjoint open sets in projective subspace, where the underlying topological space is Hausdorff in nature. The formations of projections are based on two varieties: commutative and noncommutative. The noncommutative variety generates disconnected open sets in topological spaces under projection. Thus, from the topological point of view, the translated components of a decomposed group become separable under projection. The separability of decomposed embedded groups in normal topological spaces and the preservation of group homeomorphism in embedded decomposed groups are analyzed in this paper.
The rest of the paper is organized as follows. Section 2 presents preliminary concepts in the domain. Section 3 presents a set of new definitions in axiomatic forms for nonprojective and projective varieties of decompositions. Section 4 presents analytical properties of topological group decomposition for nonprojective as well as projective categories. Section 5 presents application aspects as well as a detailed comparative analysis between topological decomposition and other general decomposition structures of groups (such as, direct and semidirect products). Finally, Section 6 concludes the paper.

Preliminary Concepts
The concept of a group is based on the defined binary operation on a set having a closure property with respect to the operation. On the other hand, the topology of the set constructs a set theoretic structure on the underlying set irrespective of any operation. In this section, the preliminary concepts are presented in brief. In this paper, symbol A B denotes that A is a subgroup of B and A denotes the closure of corresponding set A. The normal subgroup A of group B is specifically denoted as A N B and the complement of any arbitrary set X is denoted as X c .
Let X and S be two point sets and P(X) be power set of X, where X ∩ S = φ. The subset I ⊂ Z + 0 is employed as an index set throughout this paper. Let X be equipped with a binary operation, * : X 2 → X , such that, ∀x, y ∈ X, (x * y) ∈ X, (y * x) ∈ X. Let G = (X, * ) be equipped with all the axioms of group structure and, thus, G = (X, * ) is called a group [1,4]. 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 while maintaining certain properties. The properties of 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 [26]. Moreover, if Ω = {G i : i ∈ I} then the corresponding morphisms can be defined as s : (G ∈ Ω) → Ω and t : (G ∈ Ω) → Ω , such that s(α) = x, t(α) = y. The morphisms α 1 , α 2 , α 3 maintain associative composition law as 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 [4]. An Abelian group A is called a G− module of the topological group G = (X, * ) if q : G × A → A is continuous such that [13], (I) ∀g ∈ G, ∀a ∈ A, g * a ∈ A is automorphism, (II) the respective identities e G ∈ G, e A ∈ A are automorphic and, (III) ∀g, h ∈ G, ∀a ∈ A, (g * h) * a = g * (h * a) is associative group action.

Decomposition Varieties
The decomposition of a group in the topological spaces can be performed in several ways. In this paper, two topological decomposition varieties are proposed. In the first case, the topological decomposition is constructed without involving any projection within the topological spaces. The decomposition is performed in one-dimensional (1D) space (i.e., reduced dimension of topological spaces) for simplicity. This is a basic type of topological decomposition. In the second case, the dimension of topological spaces is enhanced to arbitrary nD and the algebraic projection during decomposition in the topological spaces is considered. The projection segregates the structure of topologically decomposed group within the topological spaces.
In this section, a set of definitions is presented in two sections. The first section of definitions is related to the non-projective variety of topological decomposition. The second section of definitions is concerned with projective variety of topological decomposition in nD space.

Non-Projective Decomposition: Definitions
The definitions are formulated based on group structure embedded within topological spaces denoted by, T = (G, τ G ), where G = (X, * ) is a group. The embedded group action on T is given by, Ψ = (T, β). This section presents a set of existing basic definitions and the newly formulated ones. The decomposability, locality of binary operation and, homeomorphism in decomposed structure are presented as a set of axioms.

Topological Space Partition
Let (X, τ X ) be a topological space. The space partition Π X = {A i ⊂ X : i ∈ I} is a family of subspaces such that, ∀A i , A j ∈ Π X , A i ∩ A j = φ and, ∪ ∀i∈I A i = X. The partitioned topological spaces may be employed to obtain a homogeneous set, which is topologically relevant in nature [27].

Group Homeomorphisms
Let G 1 = (X 1 , * 1 ) and G 2 = (X 2 , * 2 ) be two groups. The group homeomorphism h H : G 1 → G 2 is a mapping under the condition given by, ∀x, y ∈ G 1 , h H (x * 1 y) = h H (x) * 2 h H (y). The group homeomorphisms can be strengthened to form isotropy between group structures [28].

G−Partition
. The G−partition in T is given by D G .

G−Decomposition
A G−decomposition in T is denoted by Π G ⊂ D G if the following axioms are satisfied considering A ∈ τ G , B ∈ τ G and A ∩ B = φ, 3.1.6. * −Locality of Π G A G−decomposition of Π G of a group G = (X, * ) is called * −local if ∀a ∈ A, ∀b ∈ B, a * b e and the following axioms are satisfied, Let Π G1 and Π G2 be two G−decompositions of two groups G 1 = (X 1 , * 1 ) and G 2 = (X 2 , * 2 ), respectively. A bijection h : Π G1 → Π G2 is a Π G −homeomorphism between G 1 and G 2 if the following axiomatic properties are satisfied,

Homeomorphic * −Locality
Let Π G1 and Π G2 be two G−decompositions. The homeomorphic * −locality is given by, In the above definition, the group operation * is assumed to be in the codomain of h(.).

Schoenflies Homeomorphic Embeddings
Let (X, τ X ) and, (Y, τ Y ) be two topological spaces and F : (A ⊂ X) → Y be an embedding. There exists a homeomorphism h S : X → Y , such that the restriction maintains, h S | A⊂X = F. This is a generalized version of Schoenflies embeddings theorem, which is applied in this paper. In specific cases, the Schoenflies homeomorphism may generate separable components in topological spaces if A is homeomorphic to S 1 [29].

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 normal topological subspace. It further concludes that ∪ i∈ [1,3] H i ⊂ E in the topological space (X, τ X ). The decomposed group embedding is denoted by (E, G).

Topological Decomposition with Projection: Definitions
In this section, a set of definitions is presented considering n-dimensional space with embedded topologically decomposed groups. The multidimensional topological decomposition of groups in a more general way allows the inclusion of the concept of projection and its different forms. Let X n be an n-dimensional Hausdorff space equipped with the associative n-ary closed group operation * n : X 2n → X n characterized by Note that the standard closed group operation in this case is * : X 2 → X (component by component) and x i n i=1 represents a point in X n Hausdorff space. Furthermore, it is considered by following the standard axioms of topology that τ x ⊆ P(X n ), where P(.) is a power set (i.e., decomposition and projection would consider a product topological space). First, a set of definitions are presented in this setting before proceeding to the construction of relevant theorems representing the salient properties.

Monotone Class of Decomposition
A monotone class {B, A ⊂ B} ⊂ τ x is defined as topologically decomposed if the following axioms are satisfied by * n : B 2 → X n :

Projection of Decomposition
The decomposed space has algebraic projection if it maintains a set of axioms as mentioned below: This above definition portrays that the projection is commutative in nature, preserving symmetry. The next definition presents the noncommutative extension of algebraic projection.

Noncommutative Projection
The associative space has noncommutative projection of decomposition if the following axioms are satisfied considering ∃{F 1 , One can view the noncommutative projection of decomposition as a generalization of projection along with additional requirements. The finiteness of associative space and projection under translation is given in the next definition.
It is important to note that the above mentioned two categories of projections (commutative and noncommutative) may not simultaneously exist in a topologically decomposed group. The reason for this is that they are structurally non-equivalent and are fundamentally related to the Abelian-ness of the original group.

Finiteness of Translated Projection
The projection of decomposition in associative space under functional translation f : Evidently, the finite translation of projection of decomposition does not consider commutativity. There can be additional properties related to finite translation depending on the type of translation of decomposed projection in the associative space. The inflationary nature of bounded translation is given in the next definition.

Inflationary Bounded Translation
A finite noncommutative projection is called inflationary if the following axioms are satisfied.
The above definition induces the notion of direction or position with respect to algebraic operation within the associative space in a much weaker sense. From the topological point of view, if (X n , τ x ) and (Y n , τ y ) are two commutative topological spaces having decomposed embedded groups G x = (X n , * x n ) and One can notice that the structure of generalized topological decomposition of groups in the multidimensional space is different as compared to the decomposition in one dimensional space. In case of one-dimensional decomposition, the concepts of monotone class and associated projections are excluded, whereas this is not the case for multidimensional decomposition.

Analytical Properties of Decomposition Varieties
The analytical properties of topological decompositions of groups are presented in two sections respective to two decomposition varieties. In the first section, the properties of non-projective variety in reduced dimension are presented. The second section presents the projective variety of decomposition in higher dimensional spaces.

Properties of Non-Projective Variety
The topological decomposition of multiple groups can preserve the shared identity, if such an element exists. We show that the identity map preserves the invariance of the common identity of groups, even when their union is not a group.

Remark 1.
A numerical example is presented here to illustrate the basic concept of preservation of the identity element. Let G 1 = (Z 2 , * 1 ) and G 2 = (C, * 2 ) be two groups, where Z, C represent sets of integers and complex numbers, respectively. It is clear that Z 2 C . If one considers that , then in both the cases, e 1 = e 2 = (0, 0) . This is a specific form of numerical construction in comparison to the more generalized abstract algebraic construction above.
However, in a subgroup of the topologically decomposed group, the locality of original group operation can be maintained depending upon its original structure. This property is presented in the next theorem.

Theorem 2.
If H G is a subgroup of a group G having * −locality, then the induced decomposition in subgroup Π H is also * −local.
Proof. Let G = (X, * ) be a group and, H G. Let Π G be * −local and This indicates that the locality of group operation in topologically decomposed group is preserved so that a subgroup maintains locality of group operation if the corresponding locality was present in the original group structure. However, one can construct a surjective map between multiple groups. The surjective mapping between two groups helps in maintaining homeomorphisms in two topologically decomposed groups as presented below.
On the other hand, the structure of the kernel of group homeomorphism may get reshaped due to topological decomposition. This is not the case only if the kernel is trivial in nature. This property is illustrated in next theorem.
This indicates that, if the kernel of a group homeomorphism is trivial, then a transition map between kernel and another topologically decomposed group can be formed through topological fiber considering appropriate subsets generating the trivial kernel.
Moreover, the recovery of the kernel in a decomposed group can be performed through topological mapping in decomposed sets. This is presented in following lemma.
Thus, the kernel of a group homeomorphism can be represented through the Π G −homeomorphism between two topologically decomposed groups. However, the complexity increases if multiple groups are involved. The maintenance of locality of group operations in two topologically decomposed groups allow the recovery of kernels of group homeomorphisms, as presented in next theorem.
Hence, the determination of a kernel of a group homeomorphism can be done symmetrically (both ways) between two topologically decomposed groups if Π G −homeomorphism is a bijection and the group operations maintain locality in decomposed groups. The locality of group operation in a topologically decomposed group affects the dynamics of group actions. This property is illustrated in the next theorem. Proof. Let G = (X, * ) be a group and a group action is β : G × S → S on arbitrary set S generating orbit of s ∈ S as O s ⊂ S. Let {A, B} ⊂ Π G and * −locality exists in Π G . If a 1 , a 2 ∈ A such that β(c, s ∈ S) = β(a 1 , β(a 2 , s)), then c = a 1 * a 2 . Moreover, c ∈ A, because * −locality exists in Π G . Similarly, This is an extension of the property of group action generating partitions in the context of the topologically decomposed group. It follows that the equivalence relation and resulting set partitioning property is preserved in group action involving the topologically decomposed group. If a group is topologically decomposed, then the stability of corresponding group action needs attention. The main question is: does the decomposition affect stability or is it invariant in any case? The property of stability of group action in a topologically decomposed group is analyzed in the following theorem.
Proof. Let G = (X, * ) be a group. In A ∈ Π G of the group, ∀a ∈ A, a * f (a) = e ∈ X. However, according to the property of group action, β(a, β( f (a), s)) = e * s = s ∈ S. Hence, the group action β(a, β(b, s)) is This indicates that the stability of group action is maintained in the topologically decomposed group. One reason for this is that the standard property of group action, such as forming equivalence relation, is preserved by topologically decomposed group.
The next lemma presents construction of stable group action in topologically decomposed group.
This extends the stability property to the topological fiber in the decomposed group. The group action in a topologically decomposed group maintains stability in the presence of transitions through topological fiber. The symmetric or identical group actions can be found in two topologically decomposed groups under Π G −homeomorphism. This property is presented in the following theorem.
Proof. Let two groups be denoted as, G 1 = (X 1 , * 1 ) and G 2 = (X 2 , * 2 ). Let β G1 : G 1 × S → S and β G2 : This is another way of relooking into the property of group action in the presence of two different topologically decomposed groups. It asserts that, in any case, the equivalence relation forming partitions in a set under group action is maintained, even if the corresponding group action involves more than one topologically decomposed group. However, the natural question arises about the interplay between existence of any fixed-point and commutativity of the group, if any.
The following theorem presents such interplay and property between two concepts. Theorem 9. In G = (X, * ) , if the group action in Π G \{e} has no fixed-point then G = (X, * ) is non-Abelian and group action is asymmetric.
Proof. In any group G = (X, * ), if β : G × S → S is a group action, then ∃{s l , s r } ⊂ S, such that s l = β(a, β(b, s)) and s r = β(b, β(a, s)). Let O G G be an orbit stabilizer, where O G = {e}. However, in Π G \{e} of topologically decomposed G = (X, * ), due to * −locality a * b ∈ B and b * a ∈ A. Moreover, ∀a ∈ A ∪ B, β(a * s) s and s r = s l = s if b = f (a). But A ∩ B = φ in Π G and thus, s l s r s if b f (a). This indicates that (a ∈ A) * (b ∈ B) (b ∈ B) * (a ∈ A), where b f (a). Hence, G = (X, * ) is non-Abelian and group action is asymmetric.
This property exposes the interplay between a stationary point and group action in the presence of a topologically decomposed group. Due to the locality of group operation, a decomposed group is considered to be non-Abelian. Hence, the stationary or fixed point may not exist under asymmetric group action in topologically decomposed group. The exception is the identity element.
The property of minimal form of orbit stabilizer in a topologically decomposed group under group action is presented in the following theorem.
Proof. Let G = (X, * ) be a non-Abelian group and O G G be the orbit stabilizer for β : This is another way of looking into the formation of set partitioning in the presence of a topologically decomposed group. This indicates that if the identity element is the only orbit stabilizer, then a set would generate more than one partition through group action in the presence of a topologically decomposed group. This property is already present in cases of group action and it is preserved even in the topologically decomposed group.
The next theorem illustrates that the space of embedded decomposed group is separable in the normal topological space. Theorem 11. The space of decomposed group embedding (E, G) is separable, where E ∈ τ X and G = (Y, * ) is a group.
Proof. Let (X, τ X ) be a normal topological space and E ∈ τ X is also normal and open. Let H i ⊂ E be such that 1 ≤ i ≤ 3 and i ∈ Z + , where ∪ i∈ [1,3] H i ⊂ E. If G = (Y, * ) is a group such that D ∈ Π G and, e i : D → H i then the corresponding decomposed group embedding will be given by e i (D) ⊂ E. However, in the decomposed group Π G , A ∩ B = φ and e i (A) ⊂ H i , e k (B) ⊂ H k ⊂ E, such that k ∈ Z + , k ∈ [1, 3] and, i k. Thus, e i (A) ∩ e k (B) = φ in E ∈ τ X and, (e i (A) ∪ e k (B)) ⊂ E in (X, τ X ). Similarly, ∃j ∈ Z + , j ∈ [1, 3], such that i j k and e j (Y\(A ∪ B)) ⊂ H j ⊂ E, where ∪ i∈ [1,3] e i (D ∈ Π G ) ⊂ E in the normal topological space. [1,3] H i = E, then (E, G) consists of countable dense sets. Hence, (E, G) is separable in normal (X, τ X ) containing an embedded decomposed group.

Furthermore, as
It is well known that Schoenflies homeomorphism is defined for topological spaces with embeddings. The interesting question is whether such homeomorphism preserves group homeomorphism between two embeddings of decomposed groups into spaces. The answer to this question is presented in the next theorem. Theorem 12. Let (E 1 , G 1 ) and (E 2 , G 2 ) be two disjoint decomposed group embeddings in normal topological space (X, τ X ) . If h H : G 1 → G 2 is a group homeomorphism, then there is a Schoenflies homeomorphism h S : E 1 → E 2 preserving group homeomorphism in decomposed embeddings.
Hence, the Schoenflies homeomorphism preserves group homeomorphism in decomposed group embeddings in disjoint normal topological spaces.

Properties of Projective Variety of Decomposition
This section presents the analytical properties of projective variety of topologically decomposed groups. It is considered that underlying topological space is Hausdorff in nature. The maintenance of subgroup structure in the algebraic projection is formulated and the effect of finite translation on the topological decomposition is investigated. The first interesting property is the noncompactness of gravity subspace of decomposition, where the gravity space embeds a subgroup structure.

Theorem 13. The gravity subspace of topological decomposition
Proof. Let (X n , τ x ) be a topological space embedding a topologically decomposed group and, A ∈ τ x . Let * n : X 2n → X n be an n-dimensional group operation, such that (X n , * n ) is a group. However, as A ⊂ X n is a gravity space so ∀ and, ∀i ∈ [1, n], e i = e 0 . Moreover, as (X n , * n ) is a group, hence it is true that, The structural property of the gravity subspace of a topologically decomposed group prohibits the inclusion of a boundary. It appears that the gravity subspace needs to be open to be an element of topology and also to maintain the subgroup structure. This leads to the assertion of condition of noncompactness of gravity subspace, as given in next theorem.

Theorem 14.
In (X n , τ x ) if gravity subspace is given by A ∈ τ x , then (A, * n ) is not a subgroup.
Proof. Let (X n , τ x ) be a topological space embedding a topologically decomposed group G = (X n , * n ) and, A ∈ τ x be a gravity subspace in the topologically decomposed group. Let ∃B ⊂ X n be such that A ⊂ B and, B ∈ τ x . However, as ∂A ⊂ A c , thus it indicates that ∀ where D ∈ τ x and D ⊂ B c . Hence, (A, * n ) is not closed under algebraic operation and it is not a subgroup.
Thus, the closure of gravity subspace of a topologically decomposed group is no longer a subgroup. However, the properly chosen topological elements of a decomposed group can form a noncompact subgroup. This property is explained in the next theorem.
Proof. Let (X n , τ x ) be a topological space containing a topologically decomposed group G = (X n , * n ). It is already shown that if A ⊂ X n is a gravity subspace then (A, * n ) is a noncompact subgroup. However, if {B, D} ∈ τ x , such that A ⊂ B and D ⊂ B c , then ∀ x i n i=1 , y i n i=1 ∈ B\A the corresponding algebraic operation would lead to, x i n i=1 * n y i n i=1 ∈ D. Note that (B, * n ) and (D, * n ) are not subgroups in the topological space. Thus, the group operation * n is closed in Thus, appropriately selected topological elements from the topologically decomposed groups can form a subgroup under a certain condition. The condition is that an element and its inverse should be within the topological subspaces, such that their union can prepare a subgroup. The algebraic projection of such subgroups maintains the integrity of subgroup structure as illustrated in the corollary given below.

Corollary 1.
In noncommutative projective space (X n , τ x ) , the (E ∈ τ x , * n ) is a noncommutative and noncompact subgroup, where E = B ∪ F 1 ∪ F 2 if (E * n E) ⊂ E and E ⊂ X n .
Proof. Let (X n , τ x ) be a noncommutative projective topological space with a topologically decomposed group (X n , * n ), such that {B, F 1 , F 2 } ⊂ τ x . Thus, if E = B ∪ F 1 ∪ F 2 , then E ∈ τ x is open. However, in (X n , * n ) the algebraic operation maintains (B * n F 1 ) * n F 2 = B * n (F 1 * n F 2 ) and, in (X n , τ x ) topological space, F 1 ∩ F 2 = φ. If H ⊆ E, such that ((F 1 * n F 2 ) ∪ (F 1 * n F 1 ) ∪ (F 2 * n F 1 ) ∪ (F 2 * n F 2 )) ⊆ H, then (E ∈ τ x , * n ) is closed with respect to * n . Moreover, if the topological decomposition is such that ∈ A, where A ⊂ E is a gravity subspace. Hence, (E ∈ τ x , * n ) is a noncommutative noncompact subgroup if the corresponding closed topological space maintains the property that, X n \E φ.
Thus, the topological decomposition of a group can be performed in a way so that a subgroup structure can be formed containing the gravity subspace. However, the interesting question is: what would be the property of projection after decomposition? This question is addressed in the next theorem. Theorem 16. In (X n , τ x ) topological space containing topologically decomposed group G = (X n , Proof. Let (X n , τ x ) be a topological space containing topologically decomposed group G = (X n , Thus, in the translated topological projective space of the decomposed group, = r z and ∃λ ∈ R such that λr z = r x r y . Hence, in the translated projection of topologically decomposed group, However, the translated topologically decomposed group exhibits different behaviour if the decomposed monotone class is involved while performing group operation with the elements residing outside of gravity subspace. This observation is presented in the next theorem in two equally valid forms depending on the nature of space: discrete or continuous.

Theorem 17.
In (X n , τ x ) , the translated monotone class of topologically decomposed group maintains strict where A is a gravity subspace and, E = B\A.
Proof. Let (X n , τ x ) be a topological space with a topologically decomposed group G = (X n , * n ) and f (.) is a monotone class translation of topologically decomposed group. First, let us consider that the space is discrete in nature and Hausdorff. Let the gravity subspace be, A ∈ τ x and E = B\A such that {B, A ⊂ B} ⊂ τ x . If H ⊂ B then (A * n H) ⊂ B following the group closure property, which follows that, ∪ ) ∈ (−∞, +∞), then it may be possible that, if the translation is appropriately balanced around the origin including it. Moreover, due to balancing, if ∀ ) ∈ (0, +∞). The similar proof can be extended for a Hausdorff space under continuity.
As a consequence, the translation of the gravity subspace of a topologically decomposed group can appear to be invariant under the algebraic group operation. This observation is explained in the next corollary.

Corollary 2.
In (X n , τ x ) containing topologically decomposed group G = (X n , * n ) , the gravity translation is invariant, as f (A * n A) = f (A).
Proof. Let the topologically decomposed group G = (X n , * n ) be embedded within the topological space (X n , τ x ), where the gravity subspace is A ∈ τ x . It is shown earlier that gravity subspace forms a subgroup, as (A * n A) = A.
A similar type of invariance of translation can be observed in monotone class considering the commutativity of projection in topological space. In other words, commutative projection preserves translation invariance within monotone class. This observation is presented as a theorem below. Theorem 18. In the topological space (X n , τ x ) with a decomposed group G = (X n , * n ) , the commutative projection within monotone class is translation invariant as, Proof. Let (X n , τ x ) be a topological space containing a topologically decomposed group G = (X n , * n ). Let in the space be {A, B, E 1 , E 2 } ⊂ τ x such that A is the gravity subspace of decomposition and, (E 1 ∪ E 2 ) ⊂ B\A where, E 1 ∩ E 2 = φ. However, in the monotone class of decomposition, if the projection is commutative then E 1 * n E 2 = E 2 * n E 1 . Moreover, the projection maintains topological property that, (E 1 * n E 2 ) ⊂ D, where D ∈ τ x and D ∩ B = φ. Thus, the translation maintains the invariance under commutative projection as f (E 1 * n E 2 ) = f (E 2 * n E 1 ).
The translation function can exhibit various properties depending on commutativity as well as the nature of projection of a topologically decomposed group. The translation function can be fixed (constant) or variable, and it determines whether the resulting space is Hausdorff or not. This interplay between commutativity, projection and, nature of translation is presented in the following theorem.

Theorem 19.
In noncommutative and inflationary projection of topologically decomposed group, the translated topological subspace f (F 1 ∪ F 2 ) is Hausdorff if translation is not a constant anywhere.
Proof. Let (X n , τ x ) be a topological space and G = (X n , * n ) be a topologically decomposed group under noncommutative projection along with translation f (.). If f (.) is inflationary and, {A, B, F 1 , Furthermore, the translation is finite and strictly ordered, such that Thus, the resulting translated subspace is not Hausdorff and, as a result, the entire noncommutative projection is not Hausdorff under locally constant translation. Hence, the translation must not be constant anywhere in the entire domain of noncommutative projection of topologically decomposed group in order to form a translated Hausdorff space.
The noncommutative projection of a topologically decomposed group opens the possibility of characterization of completeness of the resulting space. The analysis of completeness is performed under the translation operation while applying the noncommutative projection of decomposition. As a natural requirement, the translated space is required to be Hausdorff. This interplay is presented in the following theorem.
such that, S X ⊂ F 1 , S Y ⊂ F 2 and, {F 1 , F 2 } ⊂ τ x in a topologically decomposed group G = (X n , * n ) having noncommutative projection, then d( f (a k ∈ S X ), f (b k ∈ S Y )) +∞ k=1 is a convergent Cauchy sequence generated by monotonic inflationary translation if the translated space is Hausdorff.
Proof. Let G = (X n , * n ) be a topologically decomposed group in (X n , τ x ). Let the translation f (.) be inflationary, and {A, B, F 1 , F 2 } ⊂ τ x . If the translation f (X n ) ⊂ (−∞, +∞) generates a Hausdorff space, then the resulting translated space is metrizable and finite. Let be two sequences, where S X ⊂ F 1 , S Y ⊂ F 2 . However, in this case, the translation maintains the following condition, f (F 1 ) < f (F 2 ). Thus, two real intervals I X ⊂ R, I Y ⊂ R exist, such that f (S X ) ⊂ I X and f (S Y ) ⊂ I Y , where ∀α ∈ I X , ∀β ∈ I Y , it is true that α < β if Sup(I X ) < In f (I Y ). Furthermore, in all cases, the translation maintains the property that, Sup(I Y ) ∈ (−∞, +∞). Thus, each pair of elements taken from I X × I Y creates a monotone relation ∀(α, β) ∈ I X × I Y , (α, β) ∈<, where the translated space is finite. On the other hand, if I X ∩ I Y φ, then ∀ x i n i=1 ∈ S X and, ∀ y i n i=1 ∈ S Y the translation maintains the following condition, in the metrizable translated space, such that w m = d( f ( x m n m=1 ), f ( y m n m=1 )), then S XY = (w k ) +∞ k=1 is a Cauchy if it is a monotone decrease, w m > w m+1 . Hence, inflationary finite translation in Hausdorff space generates the convergent Cauchy sequence under monotonicity.

Remark 2.
The immediate consequence of the above theorem is that the monotonic inflationary translation of the topologically decomposed group under noncommutative projection prepares a translated space, which is sequentially complete.
The topological homeomorphism between two decomposed groups can be established under projections. The commutative projections of two topologically decomposed groups can preserve local homeomorphism in topological spaces. This property is presented in the following theorem.
Theorem 21. If (X n , τ x ) and (Y n , τ y ) are two topological spaces containing, respectively, two topologically decomposed groups, G x = (X n , * x n ) and G y = (Y n , * y n ) with commutative projections, then (E y * y n g(H)) * y n E y ⊆ g(D x ∈ τ x ) under topological homeomorphism g : X n → Y n , where E y ⊆ B y \A y and H = ker(g).
Proof. Let (X n , τ x ) and (Y n , τ y ) be two topological spaces containing, respectively, two topologically decomposed groups, G x = (X n , * x n ) and G y = (Y n , * y n ). Let g : X n → Y n be a topological homeomorphism and the decomposed groups have commutative projections, such that preserving homeomorphism of group structures. Furthermore, due to commutative projections under topological homeomorphism, (E x * x n E x ) ⊂ D x in the topological space (X n , τ x ) and, D x = g −1 (D y ). As, (g(E x ) * y n g(E x )) ⊂ D y in (Y n , τ y ), hence (E y * y n g(H)) * y n E y ⊆ g(D x ).
The homeomorphism between two topologically decomposed groups can lead to a lifting property under projections if the underlying topological space is continuous. The lifting property joins the kernel of homeomorphism from one decomposed group to the element of another decomposed group under projection. In another view, the topological lifting property can be incorporated into decomposed groups under projections by constructing functional compositions involving homeomorphism. This construction and lifting property is illustrated in the following theorem.
Proof. Let g : X n → Y n be a homeomorphism between (X n , τ x ) and (Y n , τ y ) containing topologically decomposed groups G x = (X n , * x n ) and, G y = (Y n , * y n ) under projection, where the underlying topological spaces are continuous. Let f 1 : [0, 1] → Y n and, f 2 : [0, 1] → X n be continuous, such that f 1 (0) = e y ∈ Y n , f 2 (0) = ker(g). Now, if the lifting is constructed as g The construction of lifting directly translates into the determination of invertibility of path in half open interval h : (0, 1] → X n under the condition that the composed lifting is a proper subset of the path in the closed interval to codomain Y n . This property is presented in next lemma.
The invertibility property incorporates the one-to-one correspondence between two topologically decomposed groups under projection through the composed lifting.

Application Aspects and Comparison
The applications of group decompositions are found in solid state physics and also in computer algebra [30]. The concept of topological decomposition of groups can be applied to characterize spaces and multidimensional surfaces. Traditionally, the group decompositions are performed by using direct and semidirect products. If G = (X, * ) is a decomposable group, then ∃H 1 , H 2 ⊂ X, G = H 1 ⊗ H 2 , where H 1 ⊗ H 2 signifies semidirect product operation between two subgroups if G = (X, * ) is a semidirect decomposable type. The restriction in case of semidirect decomposition is that, H 1 N G and H 2 G. On the other hand, if G = (X, * ) is directly decomposable as a Cartesian product between H 1 , H 2 , given by H 1 × H 2 , then H 1 N G and H 2 N G. Note that semidirect product-based decomposition is not unique, but the direct product-based decomposition is unique in nature. However, in both types of decomposition, one has to construct suitable subgroups as well as the corresponding normal subgroups depending on the types of decomposition.
In cases of topological decomposition of groups, the condition of availability of such subgroups is further relaxed, because the topological decomposition of groups is based on the formation of topological partitions (i.e., separation) generating components. The comparison of various decomposition structures and properties is presented in Table 1, where A and B represent decomposed topological components according to an application context. The similarity between topological decomposition of groups and the semidirect product-based decomposition is that both of these types of decomposition preserve the shared identity element. However, the semidirect product requires a strict condition that the decomposed partitions should be independent subgroups. The overall partitioning structures of topological decomposition and direct product-based decomposition of groups are similar in nature; however, there is no shared identity in the case of direct product-based decomposition. The direct product-based decomposition requires a stricter condition that both the decomposed subgroups should be normal. This condition is further relaxed in topological decomposition of groups. The topological decomposition of groups can be constructed in two varieties, such as with projection or without projection in spaces. The non-projective variety employs topological fibers. However, the other two types of group decomposition incorporate projections component by component.

Conclusions
The topological decomposition of groups is an interesting topic and can be performed without employing semidirect products. The topological decomposition of groups, as well as group actions, requires the construction of underlying topological spaces with group embeddings. There are two different varieties of topological decomposition of groups. In the case of the non-projective variety of topological decomposition, the concepts of topological fibers, locality of group operation and homeomorphism are required. However, such decomposition does not specifically need any requirement of commutativity of the embedded group within topological spaces. The symmetry of surjection can be maintained in the topologically decomposed group due to function composition and absence of projection. If the group action has no fixed-point in non-projective decomposed group, then the group is non-Abelian in nature within the topological spaces. On the other hand, in the projective variety of topologically decomposed groups, the gravity subspace may be noncompact. The gravity subspace does not automatically form a subgroup in the projective decomposition. In the case of non-commutative projective decomposition, the noncompact and noncommutative subgroups can be formed. However, the finite translations of decomposed group in topological spaces and monotone class have interplay. The gravity subspace is translation invariant in the projective variety of topologically decomposed group. The sequential completeness property can be evaluated in a topologically decomposed group with projection under specific condition. Moreover, the lifting in the topological decomposition of groups with homeomorphism can be constructed in the projective variety. The generalized Schoenflies embeddings of a decomposed group can preserve group homeomorphism if the topological space is normal.
Funding: This research was funded by Gyeongsang National University, ROK.