pith. sign in

arxiv: 2605.23441 · v1 · pith:FQQBDHERnew · submitted 2026-05-22 · 🧮 math.GN · math.GR

The separability embedding of σ-compact strongly topological gyrogroups

Shumin Lai , Fucai Lin This is my paper

Pith reviewed 2026-05-25 02:50 UTC · model grok-4.3

classification 🧮 math.GN math.GR
keywords strongly topological gyrogroupsσ-compactseparability embeddingrange-metrizableright ω-narrowright ω-balancedgyrosemidirect product
0
0 comments X

The pith

For any σ-compact strongly topological gyrogroup, homeomorphism to a subspace of a separable regular space is equivalent to two forms of embedding as a subgyrogroup into a separable strongly topological gyrogroup.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper first shows that every right ω-narrow strongly topological gyrogroup is right ω-balanced by means of gyrosemidirect product groups. It then deduces that every σ-compact strongly topological gyrogroup is range-metrizable. These two facts are applied to prove that three statements are equivalent for any such gyrogroup G: G is homeomorphic to a subspace of a separable regular space; G is topologically gyrogroup isomorphic to a subgyrogroup of a separable strongly topological gyrogroup; and G is topologically gyrogroup isomorphic to a closed subgyrogroup of a separable path-connected, locally path-connected strongly topological gyrogroup. A reader would care because the equivalences give concrete criteria for when these structures admit separable embeddings.

Core claim

Every right ω-narrow strongly topological gyrogroup G is right ω-balanced by applying the gyrosemidirect product groups. Then every σ-compact strongly topological gyrogroup is range-metrizable. By applying these results, the following three statements are equivalent for any σ-compact strongly topological gyrogroup G: (a) G is homeomorphic to a subspace of a separable regular space; (b) G is topologically gyrogroup isomorphic to a subgyrogroup of a separable strongly topological gyrogroup; (c) G is topologically gyrogroup isomorphic to a closed subgyrogroup of a separable path-connected, locally path-connected strongly topological gyrogroup.

What carries the argument

The gyrosemidirect product groups, which establish right ω-balancedness from right ω-narrowness and thereby enable range-metrizability together with the separability equivalences.

If this is right

  • Every σ-compact strongly topological gyrogroup is range-metrizable.
  • The three separability statements are equivalent for every σ-compact strongly topological gyrogroup.
  • These results extend corresponding facts known for topological groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The equivalence shows that one can always pass to a path-connected ambient gyrogroup while preserving separability and closed embedding.
  • Range-metrizability may simplify the construction of continuous gyrogroup homomorphisms on these spaces.
  • The same gyrosemidirect-product argument could be tested on gyrogroups satisfying weaker countability conditions than σ-compactness.

Load-bearing premise

Every right ω-narrow strongly topological gyrogroup is right ω-balanced, shown via the gyrosemidirect product groups.

What would settle it

A concrete right ω-narrow strongly topological gyrogroup that is not right ω-balanced, or a σ-compact strongly topological gyrogroup for which exactly one of the three statements (a), (b), (c) holds.

read the original abstract

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 gyrogroups, and conclude that every $\sigma$-compact strongly topological gyrogroup is range-metrizable. By applying these results, we discuss the separability embedding of $\sigma$-compact strongly topological gyrogroups, and claim that the following three statements (a)-(c) are equivalent for any $\sigma$-compact strongly topological gyrogroup $G$: \smallskip (a) $G$ is homeomorphic to a subspace of a separable regular space; \smallskip (b) $G$ is topologically gyrogroup isomorphic to a subgyrogroup of a separable strongly topological gyrogroup; \smallskip (c) $G$ is topologically gyrogroup isomorphic to a closed subgyrogroup of a separable path-connected, locally path-connected strongly topological gyrogroup. The above results extend the classical results from topological groups to the class of strongly topological gyrogroups in the literature.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper shows that every right ω-narrow strongly topological gyrogroup is right ω-balanced via the gyrosemidirect product construction. It then proves that every σ-compact strongly topological gyrogroup is range-metrizable. Finally, it establishes the equivalence of three statements for any such G: (a) G is homeomorphic to a subspace of a separable regular space; (b) G is topologically gyrogroup isomorphic to a subgyrogroup of a separable strongly topological gyrogroup; (c) G is topologically gyrogroup isomorphic to a closed subgyrogroup of a separable path-connected, locally path-connected strongly topological gyrogroup. The results extend classical theorems from topological groups.

Significance. If the derivations hold, the work provides a meaningful extension of separability and embedding results to strongly topological gyrogroups, using the gyrosemidirect product to establish the key ω-balanced property and range-metrizability. The explicit verification that the construction preserves the strongly topological gyrogroup structure supports the subsequent equivalence claims without circularity or hidden parameters.

minor comments (2)
  1. The abstract introduces 'range-metrizable' without definition or reference; a short explanation or citation should appear in the introduction or §1.
  2. The equivalence statements (a)-(c) use the phrase 'topologically gyrogroup isomorphic' repeatedly; a precise definition or pointer to its meaning in the preliminaries would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our results extending separability and embedding theorems from topological groups to strongly topological gyrogroups, and for recommending minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on explicit external constructions

full rationale

The paper establishes that every right ω-narrow strongly topological gyrogroup is right ω-balanced via the gyrosemidirect product construction, then deduces range-metrizability for σ-compact cases, and finally proves equivalence of the three separability embedding statements. These steps use explicit algebraic definitions and verifications supplied in the manuscript, extending classical topological group results without any reduction of a claimed prediction or theorem to a fitted parameter, self-definition, or unverified self-citation chain. The central claims remain independent of the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper works entirely within the existing framework of topological gyrogroups and standard constructions; no new parameters, axioms beyond background mathematics, or invented entities are introduced.

axioms (1)
  • standard math Standard axioms and definitions of topological spaces, gyrogroups, and related notions such as ω-narrow and range-metrizable as used in the literature
    The proofs invoke these background definitions without re-deriving them.

pith-pipeline@v0.9.0 · 5735 in / 1201 out tokens · 35090 ms · 2026-05-25T02:50:13.710579+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Arhangel’skiˇ ı, M

    A.V. Arhangel’skiˇ ı, M. Tkachenko,Topological Groups and Related Structures, Atlantis Press and World Sci., 2008

    work page 2008

  2. [2]

    Atiponrat, Topological gyrogroups: generalization of topological groups, Topol

    W. Atiponrat, Topological gyrogroups: generalization of topological groups, Topol. Appl., 224 (2017) 73-82

    work page 2017

  3. [3]

    Atiponrat, R

    W. Atiponrat, R. Maungchang, Continuous homomorphisms, the left-gyroaddition action and topo- logical quotient gyrogroups, Quasigr. Relat. Syst., 28(2020) 17-28

    work page 2020

  4. [4]

    M. Bao, F. Lin, Feathered gyrogroups and gyrogroups with countable pseudocharacter, Filomat, 33(16)(2019) 5113–5124

    work page 2019

  5. [5]

    M. Bao, X. Xu, A note on (strongly) topological gyrogroups, Topol. Appl., 307 (2022) 107950. THE SEPARABILITY EMBEDDING OFσ-COMPACT STRONGLY TOPOLOGICAL GYROGROUPS 19

    work page 2022

  6. [6]

    M. Bao, X. Zhang, X. Xu, Separability in (strongly) topological gyrogroups, Filomat 35(2021) 4381-4390

    work page 2021

  7. [7]

    Engeling,General Topology, Heldermann Verlag, Berlin, 1989

    R. Engeling,General Topology, Heldermann Verlag, Berlin, 1989

    work page 1989

  8. [8]

    Hodel, Cardinal functions I,Handbook of set-theoretic topology, North-Holland

    R. Hodel, Cardinal functions I,Handbook of set-theoretic topology, North-Holland. Amsterdam, 1984, 1-61

    work page 1984

  9. [9]

    Y. Jin, L. Xie, The Hartman-Mycielski construction in topological gyrogroups, Rocky Mountain J. Math., 53 (2023) 1905-1920

    work page 2023

  10. [10]

    Y. Jin, L. Xie, On paratopological gyrogroups, Topol. Appl., 308 (2022) 107994

    work page 2022

  11. [11]

    Leiderman, S

    A. Leiderman, S. Morris, M. Tkachenko, Density character of subgroups of topological groups, Trans. Amer. Math. Soc., 369 (2017) 5645-5664

    work page 2017

  12. [12]

    J. Lin, M. Bao, F. Lin. Embedding into connected, locally connected topological gyrogroups. arXiv preprint arXiv:2111.07354 (2021)

    work page arXiv 2021

  13. [13]

    Suksumran, The algebra of gyrogroups: Cayley’s theorem, Lagrange’s theorem, and isomorphism theorems, Essays Math

    T. Suksumran, The algebra of gyrogroups: Cayley’s theorem, Lagrange’s theorem, and isomorphism theorems, Essays Math. Appl., (2016) 369-437

    work page 2016

  14. [14]

    Suksumran, K

    T. Suksumran, K. Wiboonton, Isomorphism theorems for gyrogroups andL-subgyrogroups, J. Geom. Symmetry Phys, 37 (2015) 67-83

    work page 2015

  15. [15]

    Ungar,Analytic Hyperbolic Geometry And Albert Einstein’s Special Theory Of Relativity, World Scientific Publishing Company, New Jersey, 2008

    A. Ungar,Analytic Hyperbolic Geometry And Albert Einstein’s Special Theory Of Relativity, World Scientific Publishing Company, New Jersey, 2008

    work page 2008

  16. [16]

    Wattanapan, W

    J. Wattanapan, W. Atiponrat, T. Suksumran, Embedding of Strongly Topological Gyrogroups in Path-Connected and Locally Path-Connected Gyrogroups, Symmetry. 12(2020) 1817-1840

    work page 2020

  17. [17]

    J. Yang, J. He, F. Lin, The existence of suitable sets in locally compact strongly topological gyrogroups, arXiv preprint arXiv:2507.10907(2025). (shumin Lai): School of mathematics and statistics, Minnan Normal University, Zhangzhou 363000, P. R. China Email address:shuminlai2026@163.com (Fucai Lin): 1. School of mathematics and statistics, Minnan Normal...

    work page arXiv 2025