Any countable topological mathbb F_p-vector space has a closed discrete basis
Pith reviewed 2026-05-21 09:50 UTC · model grok-4.3
The pith
Any countable topological vector space over a finite field has a closed discrete basis.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that any countable topological F_p-vector space has a closed discrete basis. Equivalently, any countable Abelian topological group of prime exponent has a closed discrete basis. The proof constructs this basis directly from the countability hypothesis.
What carries the argument
A closed discrete basis: a vector-space basis that forms a discrete and closed subset of the ambient topology, enabling a topological direct-sum decomposition.
If this is right
- The space admits a topological direct-sum decomposition into one-dimensional subspaces.
- The same basis property holds for countable Abelian groups of prime exponent.
- Continuity and convergence questions in these spaces reduce to questions on the basis elements.
Where Pith is reading between the lines
- The result may suggest similar basis theorems for countable topological modules over other rings when countability is assumed.
- One could test whether removing countability produces natural counterexamples in uncountable cases.
- The equivalence between vector-space and group formulations might extend to other exponent conditions.
Load-bearing premise
The vector space or group is countable.
What would settle it
An explicit construction of a countable topological F_p-vector space with no closed discrete basis would refute the claim.
read the original abstract
It is proved that any countable topological vector space over a finite field $\mathbb F_p$ or, equivalently, any countable Abelian topological group of prime exponent has a closed discrete basis.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to prove that any countable topological vector space over the finite field F_p admits a closed discrete algebraic basis (equivalently, any countable abelian topological group of prime exponent p has such a basis).
Significance. If correct under the stated hypotheses, the result would give a structural fact about bases in countable TVSs over finite fields, with potential applications to classification and duality questions in topological algebra. The countability hypothesis is explicitly identified as enabling the construction.
major comments (1)
- [Abstract] Abstract (and main theorem statement): the claimed result is false without an additional separation axiom. Let V = ⊕_{n=1}^∞ F_p equipped with the indiscrete topology. Addition and scalar multiplication (with F_p discrete) are continuous because the preimage of the only nonempty open set V is the entire domain in each case, satisfying the TVS axioms. Any algebraic basis B is countably infinite, but the subspace topology on B is indiscrete, so no point of B has a neighborhood intersecting B only at itself. Thus B is neither discrete nor closed-discrete. This counterexample is countable and directly falsifies the central claim as written.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying the need for an explicit separation axiom in the statement of the main result. The counterexample is valid, and we will revise the paper to incorporate the Hausdorff assumption.
read point-by-point responses
-
Referee: [Abstract] Abstract (and main theorem statement): the claimed result is false without an additional separation axiom. Let V = ⊕_{n=1}^∞ F_p equipped with the indiscrete topology. Addition and scalar multiplication (with F_p discrete) are continuous because the preimage of the only nonempty open set V is the entire domain in each case, satisfying the TVS axioms. Any algebraic basis B is countably infinite, but the subspace topology on B is indiscrete, so no point of B has a neighborhood intersecting B only at itself. Thus B is neither discrete nor closed-discrete. This counterexample is countable and directly falsifies the central claim as written.
Authors: We agree that the result as stated requires an additional separation axiom and that the indiscrete topology on the countable direct sum provides a valid counterexample in which no algebraic basis is discrete. In the revised manuscript we will add the explicit hypothesis that the topological vector space is Hausdorff. This assumption is standard in the literature on topological vector spaces and is used in our construction to separate points and verify that the basis is closed and discrete. We will update the abstract, the statement of the main theorem, and the relevant passages in the introduction and proof to reflect this hypothesis. revision: yes
Circularity Check
Direct proof with no circular reduction
full rationale
The manuscript states a theorem and provides a direct proof that any countable topological F_p-vector space (equivalently, countable Abelian topological group of prime exponent) admits a closed discrete basis. No equations, parameters, or constructions are defined in terms of the target conclusion; countability is used as an external hypothesis to construct the basis via standard algebraic and topological arguments. No self-citations are invoked as load-bearing uniqueness theorems, no fitted inputs are relabeled as predictions, and no ansatz is smuggled via prior work. The derivation chain is therefore self-contained and does not reduce to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard axioms for topological vector spaces over a field, including continuity of addition and scalar multiplication.
- domain assumption Countability of the underlying set.
Reference graph
Works this paper leans on
-
[1]
Cardinal invariants of topological groups. Embeddings and con- densations,
A. V. Arhangel’skiˇ ı, “Cardinal invariants of topological groups. Embeddings and con- densations,” Soviet Math. Dokl.20, 783–787 (1979)
work page 1979
-
[2]
The theory of topological groups I,
M. I. Graev, “The theory of topological groups I,” Usp. Mat. Nauk,5(2), 3–56 (1950)
work page 1950
-
[3]
Engelking,General Topology, 2nd ed
R. Engelking,General Topology, 2nd ed. (Heldermann-Verlag, Berlin, 1989)
work page 1989
-
[4]
Analytic Spaces and their Application,
F. Topsøe and J. Hoffmann-Jorgensen, “Analytic Spaces and their Application,” in Analytic Sets, ed. by C. A. Rogers (Academic Press, London, 1980), pp. 317–403. Email address:osipa@gmail.com Department of General Topology and Geometry, F aculty of Mechanics and Mathematics, M. V. Lomonosov Moscow State University, Leninskie Gory 1, Moscow, 199991 Russia
work page 1980
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.