Related papers: Separability in (strongly) topological gyrogroups
In this paper, it is shown that every right $\omega$-narrow strongly topological gyrogroup $G$ is right $\omega$-balanced by applying the gyrosemidirect product groups. Then we investigate the class of $\sigma$-compact strongly topological…
A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. It is shown that each compact subset of a topological gyrogroup with an…
A discrete subset $S$ of a topologically gyrogroup $G$ is called a {\it suitable set} for $G$ if $S\cup \{1\}$ is closed and the subgyrogroup generated by $S$ is dense in $G$, where $1$ is the identity element of $G$. In this paper, we…
A discrete subset $S$ of a topological gyrogroup $G$ with the identity $0$ is said to be a {\it suitable set} for $G$ if it generates a dense subgyrogroup of $G$ and $S\cup \{0\}$ is closed in $G$. In this paper, it was proved that each…
A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup…
Topological gyrogroups, with a weaker algebraic structure without associative law, have been investigated recently. We prove that each $T_{0}$-strongly topological gyrogroup is completely regular. We also prove that every $T_{0}$-strongly…
A topological space is called {\it dense-separable} if each dense subset of its is separable. Therefore, each dense-separable space is separable. We establish some basic properties of dense-separable topological groups. We prove that each…
The concept of topological gyrogroups is a generalization of a topological group. In this work, ones prove that a topological gyrogroup G is metrizable iff G has an {\omega}{\omega}-base and G is Frechet-Urysohn. Moreover, in topological…
We present a characterization of paratopological gyrogroups that can be topologically embedded as subgyrogroups into a product of first-countable $T_{i}$ paratopological gyrogroups for $i = 0, 1, 2$. Specifically, we demonstrate that a…
Let G be a finitely generated linear group over a field of characteristic 0. Suppose that every solvable subgroup of G is polycyclic. Then the claim is made that any solvable subgroup of G is separable. This is proven for G=SL_n(Z).…
A rank $n$ generalized Baumslag-Solitar group is a group that splits as a finite graph of groups such that all vertex and edge groups are isomorphic to $\mathbb{Z}^n$. In this paper we classify these groups in terms of their separability…
A group $G$ is twisted conjugacy separable if for every automorphism $\varphi$, distinct $\varphi$-twisted conjugacy classes can be separated in a finite quotient. Likewise, $G$ is completely twisted conjugacy separable if for any group $H$…
An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial…
We prove that if $R$ is a ring that is object unital and strongly graded by a groupoid $\Gamma$, and if $\Delta$ is a wide subgroupoid of $\Gamma$, then $R/R_\Delta$ is separable if and only if, for each $e \in \Gamma_0$, there exist $f \in…
A Schur ring (S-ring) over a group $G$ is called separable if every of its similaritities is induced by isomorphism. We establish a criterion for an S-ring to be separable in the case when the group $G$ is cyclic. Using this criterion, we…
In this paper, we consider the continuity of the inverse in (strongly) paratopological gyrogroups. The conclusions are established as follows: (1) A compact Hausdorff paratopological gyrogroup $G$ is a topological gyrogroup. (2) A Hausdorff…
Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the…
An $S$-ring (Schur ring) is called separable with respect to a class of $S$-rings $\mathcal{K}$ if it is determined up to isomorphism in $\mathcal{K}$ only by the tensor of its structure constants. An abelian group is said to be separable…
A subset $S$ of a topological gyrogroup $G$ is said to be a {\it suitable set} for $G$ if $S$ is discrete, the gyrogroup generated by $S$ is dense in $G$, and $S\cup \{0\}$ is closed in $G$, where $0$ is the identity element of $G$. In this…
Topological gyrogroups, with a weaker algebraic structure than groups, have been investigated recently. In this paper, we prove that every feathered strongly topological gyrogroup is paracompact, which implies that every feathered strongly…