arxiv: 2604.07948 · v1 · submitted 2026-04-09 · 🧮 math.GN · math.GR

Recognition: 2 theorem links

· Lean Theorem

Any countable Boolean topological group has a closed discrete basis

Ol'ga Sipacheva

Authors on Pith no claims yet

Pith reviewed 2026-05-10 17:58 UTC · model grok-4.3

classification 🧮 math.GN math.GR

keywords Boolean topological groupcountable groupclosed discrete basistopological algebrageneral topologyexponent two

0 comments

The pith

Every countable Boolean topological group 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.

The paper proves that every countable Boolean topological group has a closed discrete basis. A Boolean topological group is a Hausdorff space with continuous group operations in which every element has order dividing two. The closed discrete basis is a subset that generates every element uniquely as a finite sum of distinct basis elements while forming a closed discrete subset in the topology. This result matters for understanding how algebraic generation aligns with topological structure in countable settings.

Core claim

It is proved that any countable Boolean topological group has a closed discrete basis.

What carries the argument

A closed discrete basis: an algebraically generating set over the field with two elements that is simultaneously closed and discrete as a topological subset.

If this is right

Every element of the group has a unique expression as a finite sum of distinct basis elements.
The basis being discrete separates its points by open sets in the ambient topology.
The closed property ensures the basis captures all limit points within the group.
The group operation remains compatible with selecting finite supports from the basis.

Where Pith is reading between the lines

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

Countability appears essential for guaranteeing that an algebraic basis can be chosen with both closed and discrete properties.
The result may extend to other classes of topological groups of small cardinality or finite exponent under suitable conditions.
Such a basis could allow explicit constructions of continuous homomorphisms by freely assigning values on the basis.

Load-bearing premise

The group is countable, every element has order dividing two, and the operations are continuous with the space Hausdorff.

What would settle it

Exhibit one countable Boolean topological group in which no algebraic generating set over two elements is both closed and discrete.

read the original abstract

It is proved that any countable Boolean topological group has a closed discrete basis.

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.

Desk Editor's Note private letter to a colleague

Sipacheva proves every countable Boolean topological group has a closed discrete basis via a direct inductive construction.

read the letter

The main thing to know is that this paper proves every countable Boolean topological group has a closed discrete basis. Sipacheva builds it inductively by enumerating the group and choosing elements to add while keeping each partial basis closed and discrete in the topology. The argument uses only the standard axioms for topological groups plus the exponent-2 property, with no extra assumptions like local compactness or metrizability required. Countability is what makes the induction go through cleanly at each step. This looks like a new existence result for exactly this class of groups. The paper does well by staying elementary and explicit about how the construction preserves the topological properties. The steps appear checkable and avoid circularity or fitted parameters. The soft spots are limited and proportionate. The result applies only to countable groups, so the uncountable case stays open and the same method cannot be used. The basis is an algebraic one over F_2 that is additionally closed and discrete topologically, which is a precise but narrow notion. No major gaps show up in the construction described. This is for specialists in topological groups and general topology who work with Boolean or exponent-2 examples. A reader familiar with basic continuity arguments and vector space structure over GF(2) will see the value in the structural fact. It deserves peer review because the claim is verifiable, the proof is short, and it adds a clean fact to the literature even if the scope is restricted.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that every countable Boolean topological group admits a closed discrete basis: a subset B that is closed and discrete in the topology, linearly independent over GF(2), and whose F2-span is the entire group. The argument proceeds by an inductive enumeration of the countable underlying set, at each stage selecting a new basis element while maintaining the closedness and discreteness of the partial basis and ensuring the algebraic span grows appropriately; the construction uses only the axioms of a topological group (continuous addition and inversion) together with the exponent-2 property and the Hausdorff separation axiom.

Significance. If correct, the result supplies a canonical algebraic basis that is topologically well-behaved for any countable Boolean group, without requiring local compactness, metrizability, or further separation axioms. The direct inductive construction that exploits countability alone is a clear strength; it avoids ad-hoc parameters, self-referential definitions, or appeals to prior results by the same author, and yields a falsifiable structural statement that can be tested on concrete examples such as the countable product of Z/2Z with the product topology.

minor comments (2)

[§2] The precise definition of 'closed discrete basis' (linear independence over F2 plus topological closedness and discreteness) is stated in the abstract and introduction but would benefit from an explicit numbered definition in §2 to facilitate cross-references in the inductive argument.
[§3] In the inductive step, the choice of the next basis element is described as 'possible by countability'; a brief sentence clarifying why the complement of the current closed discrete set remains non-empty and algebraically independent at each finite stage would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, for the accurate summary of the result, and for the positive recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The proof constructs a closed discrete basis via direct inductive enumeration over the countable underlying set, selecting elements while preserving closedness and discreteness using only the continuity of the group operations and the Boolean (exponent-2) property. No step reduces a claimed prediction to a fitted input by construction, invokes a self-citation as the sole justification for a uniqueness or existence claim, or renames a known result under new coordinates. The argument remains self-contained against the standard axioms of Hausdorff topological groups.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, additional axioms, or invented entities; all appear to be standard background from topological group theory.

pith-pipeline@v0.9.0 · 5281 in / 958 out tokens · 54323 ms · 2026-05-10T17:58:15.732512+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

4 extracted references

[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)

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)

1950
[3]

Engelking,General Topology, 2nd ed

R. Engelking,General Topology, 2nd ed. (Heldermann-Verlag, Berlin, 1989)

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

1980