 Original Research
 Open Access
 Published:
Generalization of soft topological groups
Journal of the Egyptian Mathematical Society volume 28, Article number: 13 (2020)
Abstract
There exists two different definitions for soft topological groups, the first due to Hida and the other due to Tariq Shah. In this paper, we give a generalization for both of them, and also, we study the topological properties for the construction of finer soft topology made by Nazmul and use the same technique to construct a soft topological group via Hida concept starting from a parametrized family of topological groups. Then, we introduce the concept of soft rough and rough soft topological group to generalize the concept of rough and soft topological group.
Introduction
In 2014, Hida [1] introduced a definition for the soft topological group as a soft topological structure on a crisp group under suitable conditions; otherwise, Tariq Shah [2] introduced the soft topological group as a soft set over a group, although both have the same title but they refer to different structures, while in 2013, Nazmul and Samanta [3] construct a soft topological space from a parametrized family of topological spaces but he did not study the properties for this structure and the relation between the parametrized topologies and the resulting one. In this paper, we introduce a generalization for the two different definitions of soft topological groups showing that each one of the two definitions is a special case of our definition, study the structure made by Nazmul and Samanta [3], and use the same technique to obtain a soft topological group via Hida [1]’s concept. Also, we introduce the soft rough and rough soft topological group showing the relation between the two definitions.
Preliminaries and notations
In this section, we list the main basic definitions we need in this paper, starting by the definition of ordinary topological group.
Definition 1
[4] Topological group is a group (G,∗) together with a topology on G satisfies:
 1
The mapping f:G×G→G defined by f(x,y)=x∗y is continuous.
 2
The inverse mapping i:G→G defined by i(x)=x^{−1} is continuous.
Then, we need the basic definitions of soft set and soft topology.
Definition 2
[5] Let U be an initial universe and A be a set of parameters. Then, a soft set over U is a function F:A→P(U).
In what follows, we use tilde \(\tilde {(.)}\) to distinguish “soft” objects from usual ones. For example, for a subset X of U, \(\tilde {X}\) denotes the soft set satisfying that X(a)=X for all a∈A. The set of all soft sets over U is denoted by S(U).
Definition 3
[6] Let (F,A) and (F^{′},A) be soft sets over U where A is a set of parameters. Then
(Soft subset) F is a soft subset of F^{′}, denoted by \(F \tilde \subset F'\), if F(a)⊂F^{′}(a) for all a∈A.
(Soft equality) F is soft equal to F^{′}, denoted by \(F \tilde = F'\), if both \(F \tilde \subset F'\) and \(F' \tilde \subset F\) hold.
(Soft intersection) The soft intersection of F and F^{′}, denoted by \(F \tilde \cap F'\), is defined by \((F \tilde \cap F')(a) = F (a) \cap F'(a)\) for every a∈A.
(Soft union) The soft union of F and F^{′}, denoted by \(F \tilde \cup F'\), is defined by \((F \tilde \cup F')(a) = F (a) \cup F '(a) \) for every a∈A.
(Soft complement) The soft complement of F, denoted by \(F^{\tilde {c}}\), is defined by \(F^{\tilde {c}}(a) = U \setminus F (a)\) for every a∈A.
There are more than one definition for the soft point; we will depend on the following one.
Definition 4
[7] A soft set (F,A) is called a soft point in (X,A), denoted by x_{e} if:
\(x_{e}(e') =\left \{ \begin {array}{ll} \{x\}, & e' = e;\\ \phi, & e' \not = e. \end {array} \right.\)
Definition 5
([8,9]). A family τ of soft sets over U is called a soft topology on U if it satisfies:
\(\tilde \phi \) and \(\tilde U \in \tau \),
τ is closed under finite soft intersection,
τ is closed under (arbitrary) soft union.
We refer to a triplet 〈U,τ,A〉 as a soft topological space. Each member of τ is called a soft open set.
Definition 6
[ 10 ]

A soft topological space 〈X,τ,A〉 is said to be a soft T_{0}space if for every two different soft points \(\phantom {\dot {i}\!}x_{e}, y_{e'}\) there exists a soft set (G,A) such that \(x_{e} \tilde \in G, y_{e'} \tilde {\not \in } G\) or \(x_{e} \tilde {\not \in } G, y_{e'} \tilde \in G\).

A soft topological space 〈X,τ,A〉 is said to be a soft T_{1}space if for every two different soft points \(\phantom {\dot {i}\!}x_{e}, y_{e'}\) there exists soft sets (G,A),(F,A) such that \(x_{e} \tilde \in G, y_{e'} \tilde {\not \in } G\), and \(x_{e} \tilde {\not \in } F, y_{e'} \tilde \in F\).

A soft topological space 〈X,τ,A〉 is said to be a soft T_{2}space if for every two different soft points \(\phantom {\dot {i}\!}x_{e}, y_{e'}\) there exists soft sets (G,A),(F,A) such that \(x_{e} \tilde \in G, y_{e'} \tilde {\not \in } G, x_{e} \tilde {\not \in } F, y_{e'} \tilde \in F\), and \((G,A) \tilde {\cap } (F,A) = \tilde \phi \).
Definition 7
[11] A soft topological space 〈X,τ,A〉 is called a soft connected space if (X,A) cannot be expressed as a soft union of two separated soft sets. Otherwise, it is called a soft disconnected space.
Definition 8
[12] A family Ψ of soft sets is a cover of a soft set (F,A) if \((F, A) \tilde \subseteq \cup \{(F_{i}, A) : (F_{i}, A) \in \Psi, i \in I \}\). It is a soft open cover if each member of Ψ is a soft open set. A subcover of Ψ is a subfamily of Ψ which is also a cover.
Definition 9
[12] A soft topological space 〈U,τ,A〉 is compact if each soft open cover of U has a finite subcover.
The first definition of the soft topological group is the following:
Definition 10
[1] Let G=(G,∗) be a group. We say that 〈G,τ,E〉 is a soft topological group if τ is a soft topology on G with a parameter set E and the following conditions are satisfied:
 1.
For every (g,h)∈G×G and a soft neighborhood F of g∗h∈G, there exist soft neighborhoods F_{g} and F_{h} of g and h, respectively, such that \( F_{g} * F_{h} \tilde {\subset } F\).
 2
The inversion function i:G→G, where i(x):x→x^{−1},∀x∈G is soft continuous.
While the second definition is as follows:
Definition 11
[2] Let τ be a topology defined on a group (G,∗). Let (F,A) be a nonnull soft set defined over G. Then, the triplet (F,A,τ) is called soft topological group over G if:
 1
F(a) is a subgroup of G for all a∈A.
 2
The mapping (x,y)→x∗y^{−1} of the topological space F(a)×F(a) onto F(a) is continuous for all a∈A.
Finally, we will need the definitions of rough set, rough group, and topological rough groups.
Definition 12
[13] Let U be a finite nonempty set called universe and R be an equivalence relation on U. The pair (U,R) is called an approximation space, denoted by K=(U,R).
Definition 13
[13] Let K=(U,R) be an approximation space and X be a subset of U. The set \(\overline {X} = \{x[x]R \cap X \not = \phi \}\) is called upper approximation of X in K.
Definition 14
[14] Let K=(U,R) be an approximation space and ∗ be a binary operation defined on U. A subset G of U is called a rough group if:
 1.
\(\forall x, y \in G, x* y \in \overline {G}\).
 2.
∗ is associative over \(\overline {G}\).
 3.
\(\exists e \in \overline {G}\) such that ∀x∈G,x∗e=e∗x=x.
 4.
∀x∈G,∃y∈G such that x∗y=y∗x=e.
Definition 15
[15] A topological rough group is a rough group (G,∗) together with a topology τ on \(\overline G\) satisfying the following two properties:
 1.
The mapping \(f : G \times G \rightarrow \overline G\) defined by f(x,y)=x∗y is continuous with respect to the product topology on G×G and the topology τ_{G} on G induced by τ.
 2.
The inverse mapping g:G→G defined by g(x)=x^{−1} is continuous with respect to the topology τ_{G} on G induced by τ.
Generalized soft topological group
The two different definitions of topological groups can be generalized in the following one.
Definition 16
Let (G,∗) be a group, 〈G,τ,A〉 be a soft topology on G, and (F,E) be a nonnull soft set defined on G, where A,E are two different sets of parameters. Then, 〈F,τ,A,E,∗〉 is called a generalized soft topological group over G if:
 1.
F(α) is a subgroup of G for all α∈E.
 2.
For every α∈E with the restricted soft topology τ_{F(α)}, for every (g,h)∈F(α)×F(α) and a soft neighborhood K of g∗h∈F(α), there exist soft neighborhoods K_{g} and K_{h} of g and h, respectively, such that \( K_{g} * K_{h} \tilde {\subset } F(\alpha).\)
 3
For every α∈E with the restricted soft topology τ_{F(α)}, the inversion function i_{α}:F(α)→F(α) is soft continuous.
The following remark shows that the two definitions of topological group are a special case of ours.
Remark 1

1.
If \((F,E) \tilde {=} \tilde {G} \), then 〈F,τ,A,E,∗〉 is a soft topological group via Hida’s concept.

2.
If A contains one parameter, then 〈F,τ,A,E,∗〉 is a soft topological group via Tariq Shah’s concept.
Example 1
Let \(G= (\mathbb {Z}_{4}, +_{4}), A=\{a_{1}, a_{2}\}, E = \{e_{1}, e_{2}\}, \tau =\{ \tilde \phi, \tilde {\mathbb {Z}_{4}}, \{(a_{1}, \{\bar 0, \bar 2\}), (a_{2}, \phi)\}, \{(a_{1}, \{\bar 1, \bar 3\}), (a_{2}, \mathbb {Z}_{4})\}\} \), and \((F,E)=\{ (e_{1},\{\bar 0, \bar 2\}), (e_{2}, \mathbb {Z}_{4})\}\).
Note that \(\tau _{F(e_{1})} = \{ \tilde \phi,\widetilde {\{\bar 0, \bar 2\}}, \{(a_{1}, \{\bar 0, \bar 2\}), (a_{2}, \phi)\}, \{(a_{1}, \phi), (a_{2},\{\bar 0, \bar 2\})\}\} \), and \(\tau _{F(e_{2})} =\tau \). Clearly, 〈F,τ,A,E,+_{4}〉 is a generalized soft topological group.
Definition 17
Let 〈F,τ,A,E,∗〉 be a generalized soft topological group over a group G and F^{′} be a soft subset of F. Then, 〈F^{′},τ,A,E,∗〉 is substructure of 〈F,τ,A,E,∗〉 if itself is a generalized soft topological group over G.
Example 2
Consider 〈F,τ,A,E,+_{4}〉 in Example 1, 〈F,τ,A,E,+_{4}〉,〈F,τ,{a_{1}},E,+_{4}〉, and \(\langle \mathbb {Z}_{4}, \tau, A, E, +_{4}\rangle \) are a substructures of 〈F,τ,A,E,+_{4}〉.
Definition 18
Let (G,∗_{1}) and (H,∗_{2}) be two groups, and M⊂G,L⊂H such that 〈M,τ,A,E,∗_{1}〉 and 〈L,σ,A,E,∗_{2}〉 are two generalized soft topological groups over G,H, respectively. Then, F=(f_{1},f_{2}) is called a morphism if:
 1.
f_{1}:〈G,τ,A〉→〈H,σ,A〉 is soft continuous.
 2.
f_{2}:(G,∗_{1})→(H,∗_{2}) is a group homomorphism.
Theorem 1
The image of a generalized soft topological group under a morphism F is, also, a generalized soft topological group.
Proof
Let (G,∗_{1}) and (H,∗_{2}) be two groups, and M⊂G,L⊂H such that 〈M,τ,A,E,∗_{1}〉 and 〈L,σ,A,E,∗_{2}〉 are two generalized soft topological groups over G,H, respectively, and let F=(f_{1},f_{2}) be a morphism. Then, F{〈M,τ,A,E,∗_{1}〉} is a generalized soft topological group. Since for all α∈E,f_{2}(F(α))≤H as f_{2} is a group homomorphism, and the second and third conditions follow from the fact that the composition of two continuous functions is continuous. □
Definition 19
The generalized soft topological group 〈F,τ,A,E,∗〉 is said to be T_{i} generalized soft topological group if 〈G,τ,A〉 is a soft T_{i} topological space.
Theorem 2
Let (G,∗_{1}) and (H,∗_{2}) be two groups, and K⊂G,L⊂H such that 〈K,τ,A,E,∗_{1}〉 and 〈L,σ,A,E,∗_{2}〉 are two generalized soft topological groups over G,H. If 〈K,τ,A,E,∗_{1}〉 is a T_{i} generalized soft topological group, then F(〈K,τ,A,E,∗_{1}〉) is a T_{i} generalized soft topological group.
Proof
Straight forward from the definition. □
Theorem 3
For any generalized soft topological group 〈F,τ,A,E,∗〉, the following are equivalents:
 1.
〈F,τ,A,E,∗〉 is T_{0} generalized soft topological group.
 2.
〈F,τ,A,E,∗〉 is T_{1} generalized soft topological group.
 3.
〈F,τ,A,E,∗〉 is T_{2} generalized soft topological group.
Proof
Straight forward from the definition. □
New soft topological structure
The following proposition is introduced by Nazmul and Samanta [3], but the authors did not study the properties of their construction, so we study the relation between this construction and the crisp topologies.
Proposition 1
[3] Let 〈X,A,τ〉 be a soft topological space and τ^{α} be the topologies on X. Let τ^{∗}={(G,A)∈S(X):G(α)∈τ^{α},∀α∈A}. Then, τ^{∗} is a soft topology on X with [τ^{∗}]^{α}=τ^{α},∀α∈A.
Corollary 1
Given a soft topological space 〈X,A,τ〉,τ^{∗}={(G,A)∈S(X):G(α)∈τ^{α},∀α∈A} is the finest soft topological space containing 〈X,A,τ〉 and satisfying [τ^{∗}]^{α}=τ^{α},∀α∈A.
Note that it is not necessary that the parametrized topologies come from a soft topological space; they may be any set of topological structures defined on the same universal set and assign a parameter to each one of them.
Theorem 4
Let X be a universal set. Given a collection \(\mathscr {A}\), where \( \mathscr {A}=\{\tau _{\alpha }, \alpha \in A\}\) and A is a set of parameters of topological spaces over X, and let τ^{∗}={(G,A)∈S(X):G(α)∈τ_{α},∀α∈A}.
 1.
If τ_{α} is T_{i} topological space ∀α∈A, then τ^{∗} is a soft T_{i} space for i=0,1,2.
 2.
If τ_{α} is compact topological space ∀α∈A, A is a finite set of parameters, then τ^{∗} is a soft compact space.
 3.
If τ_{α} is disconnected topological space for some α∈A, then τ^{∗} is a soft disconnected space.
Proof

1

For i=0, let \(\phantom {\dot {i}\!}x_{\alpha }, y_{\alpha '} \in \tau ^{*}\) be two different soft points, where x,y∈X and α,α^{′}∈A. If α=α^{′}, then x≠y, ∃G∈τ_{α} such that x∈G,y∉G. Then, ∃(G,A)∈τ^{∗}such that
\(G(\alpha '')=\left \{ \begin {array}{ll} G, & \alpha '' = \alpha ;\\ \phi, & \alpha '' \not = \alpha. \end {array} \right.\)
Thus, x_{α}∈(G,A),y_{α}∉(G,A). Then, τ^{∗} is a soft T_{0} topological space.
If α^{″}≠α, then ∃(G,A)∈τ^{∗}such that
\(G(\alpha '')=\left \{ \begin {array}{ll} X, & \alpha '' = \alpha ;\\ \phi, & \alpha '' \not = \alpha. \end {array} \right.\)
Thus, x_{α}∈(G,A),y_{α}∈(G,A). Then, τ^{∗} is a soft T_{0} topological space.

For i=1, let x_{α}∈τ^{∗}, where x∈X and α∈A.
\(x_{\alpha }^{c}(\alpha ')=\left \{ \begin {array}{ll} X \{x\}, & \alpha ' = \alpha ;\\ X, & \alpha ' \not = \alpha. \end {array} \right.\)
\(x_{\alpha }^{c}(\alpha ') \in \tau ^{*}. \) Then, the soft point x_{α} is closed ∀α∈A,∀x∈X. Thus, τ^{∗} is a soft T_{1} topological space.

For i=2, let \(\phantom {\dot {i}\!}x_{\alpha }, y_{\alpha '} \in \tau ^{*}\) be two different soft points, where x,y∈X and α,α^{′}∈A. If α=α^{′}, then x≠y, ∃G,H∈τ_{α} such that x∈G,y∈H,G∩H=ϕ. Then, ∃(G,A),(H,A)∈τ^{∗}such that
\(G(\alpha '')=\left \{ \begin {array}{ll} G, & \alpha '' = \alpha ;\\ \phi, & \alpha '' \not = \alpha. \end {array} \right.\)
and \(H(\alpha '')= \left \{\begin {array}{ll} H, & \alpha '' = \alpha ;\\ \phi, & \alpha '' \not = \alpha. \end {array} \right.\)
Thus, x_{α}∈(G,A),y_{α}∈(H,A), and \((G, A) \tilde \cap (H, A) =\phi. \) Then, τ^{∗} is a soft T_{2} topological space.
If α≠α^{′}, then ∃(G,A),(H,A)∈τ^{∗}such that
\(G(\alpha '')=\left \{ \begin {array}{ll} X, & \alpha '' = \alpha ;\\ \phi, & \alpha '' \not = \alpha. \end {array} \right.\)
and \(H(\alpha '')=\left \{ \begin {array}{ll} X, & \alpha '' = \alpha ';\\ \phi, & \alpha '' \not = \alpha '. \end {array} \right.\)
Thus, x_{α}∈(G,E),y_{α}∈(H,A), and \((G, A) \tilde \cap (H, A) =\phi. \) Then, τ^{∗} is a soft T_{2} topological space.


2.
Let \(\mathfrak {C}\) be a soft open cover for \(\tilde X. \) Then, \(\mathfrak {C}^{\alpha }\) is an open cover ∀α∈E, but τ^{α} is compact ∀α∈E, then there exists a finite open cover \((\mathfrak {C}^{\alpha })'\) for \(\mathfrak {C}^{\alpha } \forall \alpha \in E\). Set \( n = \text {max} (\mathfrak {C}^{\alpha })'\). Assume, without loss of generality, that \((\mathfrak {C}^{\alpha })' = n, \forall \alpha \in E. \) Then, there exists a finite open cover \(\mathfrak {C}' = \{(C_{i}, E), i=1,2,..., n\}\), where C_{i}(α)=(C_{i})^{α},∀∈E.

3.
Let \(\tau _{\alpha _{1}}\) be disconnected, α_{1}∈A. Then, \(\exists G_{\alpha _{1}}, H_{\alpha _{1}} \in \tau _{\alpha _{1}}\) such that \(G_{\alpha _{1}} \cup H_{\alpha _{1}} = X \) and \( G_{\alpha _{1}} \cap H_{\alpha _{1}} = \phi \). Set
\(G(\alpha)=\left \{ \begin {array}{ll} G_{\alpha _{1}}, & \alpha = \alpha _{1};\\ X, & \alpha \not = \alpha _{1}. \end {array} \right.\)
and \(H(\alpha)=\left \{ \begin {array}{ll} H_{\alpha _{1}}, & \alpha = \alpha _{1};\\ \phi, & \alpha \not = \alpha _{1}. \end {array} \right.\)
Thus, \((G,A) \tilde \cup (H,A) = \tilde X\) and \((G,A) \tilde \cap (H,A) = \tilde \phi \), and τ^{∗} is soft disconnected space.
Note that the set of parameters A, in Theorem 4, should be finite. □
Example 3
Let \(X= \mathbb {N},\tau _{n} = \{\mathbb {N}, P(A_{n})\}\), where A_{n} is a set consisting of n elements. Each τ_{n} is a compact topological space because it consists of 2^{n}+1 open sets, but \((\mathbb {N}, \tau ^{*}, \mathbb {N})\) is not a soft compact topological space.
Remark 2
Let (X,τ,A) be a soft topological space which is not T_{2} soft topological space and for all α∈A,(X,τ^{α}) is a T_{2} topological space. Then, (X,τ^{∗},A) is a finer soft topological space of (X,τ,A) which is soft T_{2} topological space.
Example 4
Consider \((\mathbb {Z}_{2}, \tau, A), A=\{ \alpha _{1}, \alpha _{2}\}\) and \(\tau =\{ \tilde \phi, \{(\alpha _{1}, \{\bar {0}\}), (\alpha _{2},\{\bar {1}\})\},\\ \{(\alpha _{1}, \{\bar {1}\}), (\alpha _{2},\{\bar {0}\})\}, E \times \mathbb {Z}_{2} \}\). We have \(\tau ^{\alpha _{1}}= \{\phi,\mathbb {Z}_{2}, \{\bar {0}\}, \{\bar {1}\} \} =\tau ^{\alpha _{2}} \) which is T_{2} topological spaces.
Remark 3
Let (X,τ,A) be a soft connected topological space and for some α∈A,(X,τ^{α}) is a disconnected topological space. Then, (X,τ^{∗},A) is a finer soft disconnected topological space of (X,τ,A).
Example 5
Consider \((\mathbb {Z}_{3}, \tau, A), A=\{ \alpha _{1}, \alpha _{2}\}\) and \(\tau =\{\tilde \phi, \{(\alpha _{1}, \{\bar {0}\})\},\\ \{(\alpha _{1}, \{\bar {1}, \bar {2}\}), (\alpha _{2},\{\bar {0}, \bar {1}\})\}, E \times \mathbb {Z}_{3} \}\). We have \(\tau ^{\alpha _{1}}= \{\phi,\mathbb {Z}_{3}, \{\bar {0}\}, \{\bar {1}, \bar {2}\} \} \) which is not a connected topological spaces and \(\tau ^{\alpha _{2}}= \{\phi,\mathbb {Z}_{3}, \{\bar {0}, \bar {1}\} \}\), and we have \(F_{1}=\{(\alpha _{1}, \{\bar {0}\}), (\alpha _{2}, \mathbb {Z}_{3})\} \) and \(F_{2}=\{(\alpha _{1}, \{\bar {1}, \bar {2}\}), (\alpha _{2}, \phi \} \) which is a soft disconnection for τ^{∗}.
Now, we can use the same technique to construct a soft topological group via Hida’s concept starting from a parametrized family of topological groups. We shall not repeat the proof for the soft topology, and we will prove the algebraic condition.
Theorem 5
Let G be a group, given a collection \( \mathscr {A}=\{\langle G,*,\tau _{\alpha } \rangle, \alpha \in A\}\), where A is a set of parameters, of topological groups over G and let τ^{∗}={(F,A)∈S(G):F(α)∈τ_{α},∀α∈A}. Then, 〈G,∗,τ^{∗}〉 is a soft topological group via Hida [1] concept and [τ^{∗}]^{α}=τ^{α},∀α∈A, where A is a parameter set.
Proof
Consider the soft topological space τ^{∗} constructed in [3] Proposition 2.11. Let x,y∈G,(F,A) be soft open set such that \(x y^{1} \tilde \in F.\) Then, ∀α∈A,xy^{−1}∈F(α)∈τ^{α}. But τ^{α} is a topological group ∀α∈A, then ∃H^{α},K^{α} such that x∈H^{α},y∈K^{α}and xy^{−1}∈F(α). Set F_{x}(α)=H^{α} and F_{y}(α)=K^{α}, then F_{x},F_{y}∈τ^{∗}. □
Remark 4
A soft topological group via Hida [1] concept may not generate a parametrized family of topological groups, as it was shown in the following example.
Example 6
[1] Let us consider the soft space \((\mathbb {Z}_{2}, \tau, E)\), with E={e_{1},e_{2}} and τ is generated by \(\{ \tilde \phi, \{(e_{1}, \{\bar {1}\})\},\{(e_{2},\{ \bar {0}\})\}, E \times \mathbb {Z}_{2}\)}. Note that \( \bar {0}\) and \( \bar {1}\) have exactly one soft neighborhood, namely \( E \times \mathbb {Z}_{2}\). It is then evident that, with the additive structure on \(\mathbb {Z}_{2}\), the soft space\((\mathbb {Z}_{2}, \tau, E)\) is indeed a soft topological group. However, a trivial verification shows that neither \((\mathbb {Z}_{2}, \tau _{e_{1}})=(\mathbb {Z}_{2}, \{ \mathbb {Z}_{2}, \phi, \{\bar {1}\}\})\) nor \( (\mathbb {Z}_{2},\tau _{e_{2}})=(\mathbb {Z}_{2}, \{ \mathbb {Z}_{2}, \phi, \{\bar {0}\}\}) \) is a topological group.
Soft rough and rough soft topological group
Another generalization for soft topological group is putting it in the rough form and putting the topological rough group in the soft form. In this section, we introduce a definition for both showing the relation between them.
Definition 20
Let (U,R) be an approximation space, U^{′}⊂U,〈U,τ,A〉 be a soft topology on U where A is a set of parameters, and let ∗ be a binary operation defined on U. Then, 〈U^{′},τ,R,∗,A〉 is called a soft rough topological group if (U^{′},∗) is topological rough group with τ_{α},∀α∈A. In other words, a soft rough topological group is a parametrized family of topological rough groups.
Example 7
We introduce two examples for soft rough topological group as follows:
Let \( U=\mathbb {Z}_{9}, U/R =\{E_{1}, E_{2}, E_{3}\}\), where \(E_{1}= \{\bar {0}, \bar {1}, \bar {2}\}, E_{2} =\{\bar {3}, \bar {4}, \bar {5}\}, E_{3}= \{\bar {6}, \bar {7}, \bar {8}\}, A=\{a_{1}, a_{2}\}\), and let \(\tau _{1} =\{ \tilde U,\tilde \phi, {\{(a_{1}, \{\bar {2}, \bar {4}, \bar {5},\bar {7}\}), (a_{2}, \{\bar {2},\bar {3},\bar {6},\bar {7}\})\}.}\) Then, 〈U^{′},τ_{2},R,∗,A〉 is a soft rough topological group.
Let \( U=\mathbb {Z}_{9}, U/R =\{E_{1}, E_{2}, E_{3}\}\), where \(E_{1}= \{\bar {0}, \bar {1}, \bar {2}\}, E_{2} =\{\bar {3}, \bar {4}, \bar {5}\}, E_{3}= \{\bar {6}, \bar {7}, \bar {8}\}, A=\{a_{1}, a_{2}\}\), and let \(\tau _{2} =\{ \tilde U,\tilde \phi, {\{(a_{2}, \{\bar {2}, \bar {4}, \bar {5},\bar {7}\}), (a_{1}, \{\bar {2},\bar {3},\bar {6},\bar {7}\})\}}\). Then, 〈U^{′},τ_{2},R,∗,A〉 is a soft rough topological group.
Remark 5
The intersection between two soft rough topological groups is not necessary a soft rough topological group.
Example 8
Consider the two examples above.
We have \(\tau _{1} \cap \tau _{2} = \{\tilde U,\tilde \phi, \{(a_{1}, \{\bar {2},\bar {7}\}), (a_{2}, \{\bar {2},\bar {7}\})\} \} \) which is not a topological rough group for all a∈A since \(\{\bar {2},\bar {7}\}\) is not a rough group because \(\bar {2} * \bar {2} = \bar {4} \not \in \overline {H(a)} = E_{1} \cup E_{3} \).
Remark 6
Let 〈U^{′},τ,R,∗,A〉 be a soft rough topological group. If A contains one element, then (U^{′},∗) is isomorphic to a rough topological group.
Definition 21
Let 〈X,τ,A〉 be a soft topological space, (X,R) be an approximation space, and ∗ be a binary relation on X and G⊂X. We say that 〈G,τ,R,∗,A〉 is a rough soft topological group if the following conditions are satisfied:
 1.
For every (g,h)∈G×G and a soft neighborhood F of \(g*h \in \overline G\), there exist soft neighborhoods F_{g} and F_{h} of g and h, respectively, such that \( F_{g} * F_{h} \tilde {\subset } F \).
 2.
The inversion function i:G→G is soft continuous.
Example 9
Let \( U=\mathbb {Z}_{9}, U/R =\{E_{1}, E_{2}, E_{3}\}\) where \(E_{1}= \{\bar {0}, \bar {1}, \bar {2}\}, E_{2} =\{\bar {3}, \bar {4}, \bar {5}\}, E_{3}= \{\bar {6}, \bar {7}, \bar {8}\}, A=\{a_{1}, a_{2}\}, V= \{\bar {2}, \bar {4}, \bar {5},\bar {7}\}, W= \{\bar {2},\bar {3},\bar {6},\bar {7}\}\), and let \(\tau = \{\tilde U,\tilde \phi, \tilde {V}, \tilde {W}, \{(a_{1}, \phi), (a_{2}, V)\}, \{(a_{1}, \phi), (a_{2}, W)\}, \{(a_{1}, \phi), (a_{2}, U)\}, \{(a_{1}, V), (a_{2}, \phi)\},\\ \{(a_{1}, V), (a_{2}, W)\}, \{(a_{1}, V), (a_{2}, U)\}, \{(a_{1}, W), (a_{2}, \phi)\}, \{(a_{1}, W), (a_{2}, V)\}, \{(a_{1}, W),\\ (a_{2}, U)\}, \{(a_{1}, U), (a_{2}, \phi)\}, \{(a_{1}, U), (a_{2}, V)\}, \{(a_{1}, U), (a_{2}, W)\} \}\). Then, 〈U,τ,R,∗,A〉 is a rough soft topological group.
Again, we can use the same method to construct a rough soft topological group starting from a soft rough topological group.
Theorem 6
Let (U,R) be an approximation space, (U,τ,A) be a soft topology on U, ∗ be a binary operation on U, and G⊂U such that 〈G,τ,R,∗,A〉 is a soft rough topological group. Consider τ^{∗}={(G,A)∈S(U):G(α)∈τ^{α},∀α∈A}. Then, 〈G,τ^{∗},R,∗,A〉 is a rough soft topological group.
Proof
(1) Let (g,h)∈G×G, F be a soft neighborhood of g∗h. Then, for all α∈A such that g∗h∈G(α), there exist neighborhoods F_{g},F_{h} of g,h such that \( F_{g} * F_{h} \tilde {\subset } F \), since (G,τ^{α}) is a topological rough group. (2) Let F be a soft open set in G, then i(G) is soft open since (G,∗) together with τ^{α} is a topological rough group for all α∈A. □
Remark 7
Let (U,R) be an approximation space, (U,τ,A) be a soft topology on (U,∗) be a binary operation on U, and G⊂U such that 〈G,τ,R,∗,A〉 is a rough soft topological group. Then, 〈G,τ,R,∗,A〉 is not necessarily a soft rough topological group.
Example 10
Let \( U=\mathbb {Z}_{9}, U/R =\{E_{1}, E_{2}, E_{3}\}\) where \(E_{1}= \{\bar {0}, \bar {1}, \bar {2}\}, E_{2} =\{\bar {3}, \bar {4}, \bar {5}\}, E_{3}= \{\bar {6}, \bar {7}, \bar {8}\}, A=\{a_{1}, a_{2}\}, U'= \{\bar {2},\bar {7}\}\), and let \(\tau =\{\tilde U,\tilde \phi,{\{(a_{1}, \{\bar {2},\bar {7}\}), (a_{2}, \{\bar {2},\bar {7}\})\}} \}\). Then, 〈U^{′},τ,R,∗,A〉 is a rough soft topological group which is not soft rough topological group.
Availability of data and materials
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
 1
Hida, T: Soft topological group. Ann. Fuzzy Math. Inform. 8(6), 1001–1025 (2014).
 2
Shah, T., Shaheen, S.: Soft topological groups and rings. Ann. Fuzzy Math. Inform. 7(5), 725–743 (2014).
 3
Nazmul, S. k., Samanta, S. K.: Neighbourhood properties of soft topological spaces. Ann. Fuzzy Math. Inform. 6(1), 1–15 (2013).
 4
Husain, T.: Introduction to topological groups. W.B. Saunders Company, USA (1966).
 5
Molodtsov, D. A.: Soft set theoryfirst results. Comput. Math. Appl. 37(45), 19–31 (1999).
 6
Maji, P. K., Biswas, R., Roy, A. R.: Soft set theory. Comput. Math. Appl. 45(45), 555–562 (2003).
 7
Xie, N.: Soft points structure of soft topological spaces. Ann. Fuzzy. Math. Inform. 10(2), 309–322 (2015).
 8
Cagman, N., Karatas, S., Enginoglu, S.: Soft topology. Comput. Math. Appl. 62(1), 351–358 (2011).
 9
Shabir, M., Naz, M.: On soft topological spaces. Comput. Math. Appl. 61(7), 1786–1799 (2011).
 10
Tantawy, O., ElSheikh, S. A., Hamde, S.: Separation axioms on soft topological spaces. Ann. Fuzzy. Math. Inform. 11(4), 511–525 (2016).
 11
AlKhafaj, M., Mahmood, M.: Some properties of soft connected spaces and soft locally connected spaces. IOSR J. Math. 10(5), 102–107 (2014).
 12
Zorlutuna, I., Akdag, M., Min, W. K., Atmaca, S.: Remarks on soft topological spaces. Ann. Fuzzy Math. Inform. 3(2), 171–185 (2012).
 13
Pawlak, Z.: Rough Sets  Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Boston/London/Dordrecht (1991).
 14
Biswas, R., Nanda, S.: Rough groups and rough subgroups. Bull. Pol. AC. Math. 42, 251–254 (1994).
 15
Bagirmaz, N., Icen, I., Ozcan, A.: Topological rough groups. Topological Algebra Appl. 4(1), 31–38 (2016).
Acknowledgements
The authors are grateful and express sincere thanks to school of topology Ain Shams group for their support.
Funding
The authors declare that they had no funding.
Author information
Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
This article does not contain any studies with human participants or animals performed by any of the authors.
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tantawy, O., Kandil, S.A. & ElShamy, A. Generalization of soft topological groups. J Egypt Math Soc 28, 13 (2020). https://doi.org/10.1186/s42787020000757
Received:
Accepted:
Published:
Keywords
 Topological group
 Soft topological group
 Generalized soft topological groups
 Rough topological group
 Soft rough topological group
 Rough soft topological group
AMS subject classification
 22A05
 54H11
 22A99