arxiv: 2605.01626 · v1 · submitted 2026-05-02 · 🧮 math.GN · math.GR

Recognition: unknown

Binary transformation groups and topological fields

Pavel S. Gevorgyan

Authors on Pith no claims yet

Pith reviewed 2026-05-09 17:27 UTC · model grok-4.3

classification 🧮 math.GN math.GR

keywords binary actionstopological fieldssemitransitive actionsdistributive actionsduality theoremmultiplicative groupstransformation groupstopological spaces

0 comments

The pith

A duality theorem establishes a bijective correspondence between semitransitive distributive binary G-spaces and topological fields with multiplicative group isomorphic to G.

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

The paper defines a semitransitive binary action of a group G on a topological space. It proves that adding the distributivity condition produces a bijective correspondence with topological fields having multiplicative group isomorphic to G. This correspondence is in fact an equivalence of categories. The theorem is used to prove that finite groups act this way only on sets of prime-power cardinality and to characterize groups that can be multiplicative groups of topological fields. Readers would care because it provides a way to study field structures through group actions on spaces.

Core claim

The central claim is that there is a duality theorem providing a bijective correspondence between semitransitive distributive binary G-spaces and topological fields whose multiplicative group is isomorphic to G, which induces an equivalence between the respective categories. Applications include showing that finite groups admit such actions only on finite sets of prime power order and obtaining a complete characterization of groups that arise as multiplicative groups of topological fields.

What carries the argument

The semitransitive distributive binary G-action on a topological space, which serves as the counterpart to the field structure.

Load-bearing premise

The properties of semitransitivity and distributivity must be exactly the right conditions to make the binary action correspond to a topological field structure.

What would settle it

Constructing a semitransitive distributive binary G-space that cannot be associated with any topological field having multiplicative group G would falsify the duality.

read the original abstract

The notion of a semitransitive binary action of a group $G$ on a topological space is introduced. A duality theorem is proved, establishing a bijective correspondence between semitransitive distributive binary $G$-spaces and topological fields whose multiplicative group is isomorphic to $G$. This result yields an equivalence between the category of semitransitive distributive binary $G$-spaces and the category of topological fields with multiplicative group $G$. As applications of the duality theorem, two important results are established. It is shown that a finite group can act semitransitively, distributively, and binarily only on finite sets whose cardinality is a power of a prime number. A complete characterization of those groups that can appear as multiplicative groups of topological fields is also obtained.

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

The paper defines semitransitive distributive binary actions and proves a duality that bijectively matches them to topological fields with isomorphic multiplicative groups, plus two concrete applications.

read the letter

The main point is that Gevorgyan introduces semitransitive binary actions of a group G on a space, adds a distributivity condition, and proves these correspond bijectively to topological fields whose multiplicative group is G. The result also gives a category equivalence between the two sides. Two applications follow: finite groups acting this way must do so on sets whose size is a prime power, and the groups that can appear as multiplicative groups of topological fields get a full characterization.

Referee Report

2 major / 0 minor

Summary. The paper introduces the notion of a semitransitive binary action of a group G on a topological space. It proves a duality theorem establishing a bijective correspondence between semitransitive distributive binary G-spaces and topological fields whose multiplicative group is isomorphic to G. This yields a category equivalence between the two. Applications include showing that finite groups admit such actions only on sets of prime-power cardinality and a complete characterization of groups realizable as multiplicative groups of topological fields.

Significance. If the duality holds with the stated bijectivity and category equivalence, the result would link a new class of group actions on spaces to the structure of topological fields, offering a potential tool for studying both. The finite-cardinality restriction and group-characterization application would follow directly and be of interest in topological algebra and transformation group theory, provided the new notions of semitransitivity and distributivity for binary actions are shown to be precisely the conditions required without additional hidden assumptions.

major comments (2)

[Abstract] The abstract asserts a duality theorem with bijective correspondence and category equivalence, but the manuscript provides no explicit definitions of 'binary action', 'semitransitive', or 'distributive' for the G-space, nor the explicit functors or inverse constructions in the proof. Without these, it is impossible to verify that the properties exactly produce the claimed bijection with topological fields (see reader's weakest assumption).
[Applications section] The applications (finite cardinality restriction to prime powers and the characterization of multiplicative groups of topological fields) are stated to follow from the duality, but no verification steps, finite-case reductions, or explicit group-theoretic consequences are supplied in the text. This leaves the load-bearing claim that the correspondence is bijective unconfirmed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We agree that greater explicitness in the definitions and in the derivation of the applications will strengthen the paper, and we will revise accordingly.

read point-by-point responses

Referee: [Abstract] The abstract asserts a duality theorem with bijective correspondence and category equivalence, but the manuscript provides no explicit definitions of 'binary action', 'semitransitive', or 'distributive' for the G-space, nor the explicit functors or inverse constructions in the proof. Without these, it is impossible to verify that the properties exactly produce the claimed bijection with topological fields (see reader's weakest assumption).

Authors: The definitions of a binary G-action, semitransitivity, and distributivity appear in the introduction and are formalized in Section 2; the duality theorem, including the explicit functors and their inverses that establish the bijective correspondence and category equivalence, is proved in Section 3. To address the concern, we will insert concise definitions of the three key notions directly into the abstract and add a brief paragraph in the introduction that summarizes the functorial constructions and inverse maps. revision: partial
Referee: [Applications section] The applications (finite cardinality restriction to prime powers and the characterization of multiplicative groups of topological fields) are stated to follow from the duality, but no verification steps, finite-case reductions, or explicit group-theoretic consequences are supplied in the text. This leaves the load-bearing claim that the correspondence is bijective unconfirmed.

Authors: Both applications are derived in Section 4 directly from the duality of Section 3. For finite actions we reduce the semitransitive distributive binary G-space to the underlying finite field whose multiplicative group is G, invoking the classical fact that finite fields have prime-power order; for the characterization we show that a group arises as the multiplicative group of a topological field if and only if it admits a semitransitive distributive binary action on a suitable space. We will expand Section 4 with the explicit reduction steps, the translation between the action axioms and the field operations, and the resulting group-theoretic corollaries. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces the new notions of semitransitive binary action and distributivity, then proves a duality theorem establishing a bijective correspondence between the resulting G-spaces and topological fields with multiplicative group G. No load-bearing step reduces by construction to a self-definition, a fitted parameter renamed as prediction, or a self-citation chain; the correspondence is derived from the stated algebraic and topological compatibility conditions without importing uniqueness theorems or ansatzes from prior self-work. The finite-cardinality and group-characterization applications are direct consequences of the bijective equivalence and do not loop back to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Without the full text only the abstract is available, so the precise background axioms and any hidden parameters cannot be audited in detail. The work rests on standard group and topology axioms plus the newly introduced definitions of the action.

axioms (1)

standard math Standard axioms of groups, topological spaces, and fields
The duality and applications are built on the usual definitions and theorems from these areas.

invented entities (1)

semitransitive distributive binary G-space no independent evidence
purpose: To provide the domain side of the duality correspondence with topological fields
This is a newly defined object introduced in the paper to state the theorem.

pith-pipeline@v0.9.0 · 5418 in / 1317 out tokens · 45255 ms · 2026-05-09T17:27:00.495693+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references

[1]

On orthogonal latin squares

Mann, H.B. 1944, “On orthogonal latin squares”,Bull. Amer. Math. Soc., vol. 50, pp. 249–257. BINARY TRANSFORMATION GROUPS AND TOPOLOGICAL FIELDS 17

1944
[2]

The multiplicative group of a field and hyperidentities

Movsisyan, Yu.M. 1990, “The multiplicative group of a field and hyperidentities”, Mathematics of the USSR-Izvestiya, vol. 35, no. 2, pp. 377–391

1990
[3]

On binary G-spaces

Gevorkyan, P.S. 2014, “On binary G-spaces”,Math Notes, vol. 96, pp. 600–602

2014
[4]

Groups of binary operations and binary G-spaces

Gevorgyan, P.S. 2016, “Groups of binary operations and binary G-spaces”,Topology and its Applications, vol. 201, pp. 18–28

2016
[5]

1972,Introduction to compact transformation group, New York

Bredon, G.E. 1972,Introduction to compact transformation group, New York

1972
[6]

Groups of generalized isotopies and generalized G-spaces

Gevorgyan, P.S., Iliadis, S.D. 2018, “Groups of generalized isotopies and generalized G-spaces”,Matematicki Vesnik, vol. 70, no 2, pp. 110–119

2018
[7]

OnOrbitsandBi-invariantSubsetsofBinary G-Spaces

Gevorgyan, P.S., Nazaryan, A.A.2021, “OnOrbitsandBi-invariantSubsetsofBinary G-Spaces”,Math Notes, vol. 109, pp. 38–45

2021
[8]

On Orbit Spaces of Distributive Binary G-Spaces

Gevorgyan, P.S. 2022, “On Orbit Spaces of Distributive Binary G-Spaces”,Math Notes, vol. 112, pp. 177–182

2022
[9]

Universal space for binaryG-spaces

Gevorgyan, P.S., Melendez, Q.M. 2023, “Universal space for binaryG-spaces”Topol- ogy and its Applications, vol. 329, pp. 1–8

2023
[10]

On Transitive and Homogeneous Binary G-spaces

Gevorgyan, P.S., Melendez, Q.M. 2025, “On Transitive and Homogeneous Binary G-spaces”,Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences), vol. 60, pp. 167–174

2025
[11]

On transitive binaryG-spaces

Gevorgyan, P.S. 2025, “On transitive binaryG-spaces”,Bulletin of Moscow Univer- sity. Series 1: Mathematics. Mechanics, no. 5, pp. 21–26

2025
[12]

On distributive systems of operations

Belousov, V.D. 1955, “On distributive systems of operations”,Mat. sb., vol. 78, no. 3, pp. 479–500

1955
[13]

A set of independent axioms for a field and a condition for a group to be the multiplicative group of a field

Dicker, R.M. 1968, “A set of independent axioms for a field and a condition for a group to be the multiplicative group of a field”,Proc. London Math. Soc., vol. 18, pp. 114–124

1968
[14]

1977,Infinite Abelian groups, vol

Fuchs, L. 1977,Infinite Abelian groups, vol. 2, M: Mir

1977
[15]

Elementary theories

Ershov, Yu.L., Lavrov, I.A., Taimanov, A.D., Taitslin, M.A. 1965, “Elementary theories”,Russian Math. Surveys, vol. 20, no. 4, pp. 35–105

1965
[16]

On multiplicative semigroups of rings

Kogalovsky, S.R. 1961, “On multiplicative semigroups of rings”,Dokl. Akad. Nauk. SSSR, vol. 140, no. 5, pp. 1005–1007

1961
[17]

How not to characterize the multiplicative groups of fields

Sabbagh, G. 1969, “How not to characterize the multiplicative groups of fields”,J. London Math. Soc., vol. s2-1, no 1, pp. 369–370. Department of Mathematical Analysis named after Academician P.S. Novikov, Moscow Pedagogical State University, Moscow, Russia Email address:pgev@yandex.ru

1969