Equivalence of the categories of group triples and of hypergroups over the group

Samuel Dalalyan

REVIEW 3 major objections 6 minor 12 references

Equivalence of the categories of group triples and of hypergroups over the group

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The category of hypergroups over a group is equivalent to the category of group triples.

desk verdict A plausible categorical equivalence whose proof needs a serious rewrite: the central associativity check in Prop. 4.1 is ambiguous and several 'direct calculations' are omitted. read the letter →

arxiv 1908.01360 v1 pith:BC2YSCRM submitted 2019-08-04 math.CT math.GR

Samuel Dalalyan This is my paper · ORCID

classification math.CTmath.GR MSC 18A0520N20

keywords categoryequivalencehypergroupoverthegrouptriplerighttransversalexactproduct

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the category of right hypergroups over a group is equivalent to the category of group triples, where a group triple is a group together with a subgroup and a right transversal to that subgroup. The equivalence is witnessed by an explicit pair of functors: one turns a group triple into a hypergroup by decomposing all products through the transversal, and the other turns a hypergroup back into a group triple by assembling the exact product $H \odot M$ from two-letter words $\alpha a$. This matters because hypergroups over a group already unify groups, fields, and vector spaces, so the equivalence offers a common categorical language for those classical objects and for the theory of transversals. If the theorem is right, any proof about transversals can be translated into a proof about hypergroups and vice versa.

What carries the argument

The load-bearing mechanism is the exact product $H \odot M$: the set of all two-letter words $\alpha a$ with $\alpha\in H$ and $a\in M$, equipped with the multiplication $(\alpha a)(\beta b) = (\alpha \cdot a_\beta \cdot (a^\beta,b))[a^\beta,b]$, where $a^\beta=\Phi(a,\beta)$, $a_\beta=\Psi(a,\beta)$, $(a^\beta,b)=\Lambda(a^\beta,b)$, and $[a^\beta,b]=\Xi(a^\beta,b)$. The associativity of this multiplication (Proposition 4.1) is the critical calculation that makes the functor $T$ well-defined; it uses the hypergroup identities (A1)–(A5) in a specific order. The complementary mechanism is the standard construction, which extracts the same four structural maps from the unique factorization of products in a group triple, so the two constructions are genuinely inverse on isomorphism classes.

What would settle it

Pick a concrete hypergroup over a group, for example the one associated to a field $k$ (with $M$ the additive group, $H$ the multiplicative group, $\Xi$ addition, $\Phi$ scalar multiplication, $\Psi$ projection, $\Lambda$ trivial), and compute both sides of the associativity equation $(\alpha a\cdot \beta b)\cdot \gamma c = \alpha a\cdot (\beta b\cdot \gamma c)$ for three distinct words with $a,b,c$ not all equal; any mismatch would falsify the central equivalence.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: the categories $\mathrm{Hg}$ and $\mathrm{GTrip}$ are equivalent. The forward functor $H$ sends a group triple $(G,H,M)$ to the hypergroup $M_H$ whose four structural mappings $\Phi,\Psi,\Xi,\Lambda$ are defined by the unique factorizations $a\alpha = a^\alpha \cdot a_\alpha$ and $ab = (a,b)[a,b]$ with $a^\alpha,(a,b)\in H$ and $a_\alpha,[a,b]\in M$ (relations St1 and St2). The inverse functor $T$ sends a hypergroup to the group triple built from the exact product $H \odot M$, whose underlying set is all words $\alpha a$ with multiplication $(\alpha a)(\beta b) = (\alpha \cdot a_\beta \cdot (a^\beta,b))[a^\beta,b]$. Propositions 5.1 and 5.2 give canonical isomorphisms between the original objects and the doubled constructions, which assemble into natural isomorphisms $1_{\mathrm{Hg}}\cong T\circ H$ and $1_{\mathrm{GTrip}}\cong H\circ T$.

Load-bearing premise

The inverse functor from hypergroups to group triples requires that the exact product on two-letter words $\alpha a$ with multiplication $(\alpha a)(\beta b) = (\alpha \cdot a_\beta \cdot (a^\beta,b))[a^\beta,b]$ is always associative; the entire equivalence collapses if the hypergroup axioms (A1)–(A5) do not force associativity exactly as the condensed calculation in Proposition 4.1 claims.

Editorial extensions

If this is right

Every right hypergroup over a group is isomorphic to one obtained by the standard construction from a group triple, so questions about hypergroups can be rephrased as questions about transversals.
The exact product construction recovers the direct product, semidirect product, and Neumann's general product of groups when the hypergroup's structural maps are suitably trivial.
The category of short exact sequences of groups with a chosen section forms a full subcategory of the category of group triples, so the equivalence extends this classical setting to arbitrary subgroups and transversals.
Morphisms of hypergroups correspond exactly to group homomorphisms that map the distinguished subgroup into the distinguished subgroup and the transversal into the transversal, giving a transparent dictionary between the two categories.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The categorical equivalence may allow computational algebra systems that work with transversals to directly exploit algorithms for hypergroups, and vice versa, since the two presentations of the same object are interconvertible.
One could test whether the equivalence upgrades to a 2-equivalence or a monoidal equivalence when both categories are equipped with natural product constructions, though the paper does not address such refinements.
The construction of the exact product suggests a way to define 'hypergroup cohomology' by extending the usual group cohomology of a group triple, since the exact product plays the role of the group extension.
A natural next step is to see whether the same style of equivalence holds for left triples and left hypergroups, or for infinite transversals where the axiom of choice might be needed for the section.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Sam, quick take on Dalalyan's arXiv:1908.01360. The claim is that right hypergroups over a group and group triples (G,H,M) form equivalent categories. The functor H from triples to hypergroups is standard and clean; T from hypergroups to triples is built on an 'exact product' H⊙M. If true, the result unifies extensions with a chosen section, fields, and vector spaces in one categorical structure, and it generalizes direct, semidirect, and Neumann's general products. That's a genuinely useful organizational result, and the examples are nice.

The trouble is that the proof of the exact product being a group (Prop. 4.1) is not verifiable as printed. The product rule uses the symbol aβ in two different roles—once for Ψ(a,β)∈H and once for Φ(a,β)∈M—and the associativity display never separates them. The reductions are justified by terse references to (A1)–(A5), but without explicit substitutions you can't check whether a left/right action reversal slipped in. The stress-test note says re-deriving with explicit notation appears to work, and I agree there's no obvious counterexample. Still, the paper hasn't actually supplied the required verification, and that's load-bearing: if the multiplication isn't associative there is no group, no triple, no equivalence.

There are other soft spots in proportion. Lemma 5.1 is asserted and then 'proved by a direct calculation' that doesn't appear. The naturality squares in Cor. 5.1.1 are likewise stated rather than shown. The morphism definitions in Section 2 have some notational clutter, and the paper has typos (e.g., 'obtauned'). None of this looks fatal. The constructions are natural, the categorical framework is the new bit (the cited literature doesn't state the equivalence), and the heavy self-citation goes back to earlier definitions rather than to the main theorem. The remark about Lal Ramji's c-groupoids is a priority claim, but it doesn't affect the math.

Bottom line: this deserves a serious referee. The referee should ask for a rewritten Prop. 4.1 with distinct symbols for Φ and Ψ, and for the omitted calculations in Section 5 to be written out. Once that's done, I'd expect the equivalence to hold. If the author can clean it up, it's a solid contribution for people working on transversals, hypergroups, and group extensions. I'd send it to review rather than desk reject. I probably wouldn't cite it in my own work, but it's worth knowing about.

Referee Report

3 major / 6 minor

Summary. The paper proposes to prove that the category Hg of (right) hypergroups over a group and the category GTrip of group triples (G,H,M), consisting of a group, a subgroup, and a right transversal, are equivalent. The author constructs a functor H: GTrip → Hg by decomposing products in G via the transversal M, and a functor T: Hg → GTrip by taking an 'exact product' H⊙M on the set H×M with a product formula involving the structural maps Φ, Ψ, Ξ, Λ of the hypergroup. The equivalence is then asserted through canonical isomorphisms T∘H ≅ id_Hg and H∘T ≅ id_GTrip. The proof strategy is standard, but several load-bearing calculations are either displayed with ambiguous notation or omitted entirely.

Significance. The theorem, if correct, is a clean structural statement: the data of a hypergroup over a group is categorically equivalent to the classical data of a group, a subgroup, and a section/transversal. The paper's explicit functors are concrete, and the examples (embedding groups, fields, vector spaces; recovering direct, semidirect, and general products as special cases of the exact product) are useful and give independent meaning to the construction. The main deficiency of the manuscript is not the plausibility of the result but the incomplete verification of the central computations: Proposition 4.1, Lemma 5.1, and the naturality claims are not checkable as written. The paper ships no machine-checked proofs; all verifications are by hand, and the omitted steps are load-bearing.

major comments (3)

[Section 4, Proposition 4.1] The formula defining the exact product in Proposition 4.1 is written with an ambiguous notation that makes the associativity proof impossible to check. In 'αa · βb = (α · aβ · (aβ,b))[aβ,b]', the symbol 'aβ' in the factor 'aβ' (between α and (aβ,b)) must denote Ψ(a,β)∈H, whereas the 'aβ' inside the bracketed term '[aβ,b]' must denote Φ(a,β)∈M. The associativity display then mixes these two readings without discrimination, so the reader cannot verify the applications of (A1)–(A5). Because Proposition 4.1 is the only place where T is shown to produce a group from a hypergroup, this is a load-bearing step. The proof should be rewritten with distinct notations for Φ and Ψ (for example, a^β and a_β) and with each substitution displayed.
[Section 4, construction of T_O] After forming G=H⊙M, the paper asserts that the image H=f0(H) is a subgroup of G and that M=f1(M) is a right complementary set (or right transversal) to H. Neither claim is proved. These assertions are needed to conclude that (G, H, M) is an object of GTrip and hence that T is well-defined on objects. Please provide the verification.
[Section 5, Proposition 5.1 and Corollary 5.1.1] The proof of Proposition 5.1 states that Lemma 5.1 'is proved by a direct calculation,' but the calculation is not shown. Lemma 5.1 (ξ·x = ξx) is then used to verify the morphism conditions (MΦ)–(MΛ) and to derive the displayed identities for aα and (a,b)·[a,b]. Corollary 5.1.1 asserts the naturality square is proved by a direct calculation, again without presenting it. Since these are exactly the steps establishing the natural isomorphism 1_Hg ≅ T∘H, the equivalence is not demonstrated as written. The same omission affects Proposition 5.2 and Corollary 5.2.1 for the isomorphism 1_GTrip ≅ H∘T, where the map g is stated to be a group homomorphism without proof.

minor comments (6)

[Section 1, Definition 1.2] The morphism conditions (MΦ)–(MΛ) are displayed with reversed composition: for example, the displayed '(M Φ) Φ ◦f1 = (f1 ×f0) ◦ Φ′' is ill-typed (Φ∘f1 is not defined as written); the intended condition is f1∘Φ = Φ′∘(f1×f0). Please correct the order in all four displayed equations.
[Section 1, composition of morphisms] The formula for composition of hypergroup morphisms, 'f ◦ f ′ := (f0 ◦ f ′0, f1 ◦ f ′1)', has the factors in the wrong order; for f: MH→M'H' and f': M'H'→M''H'', the composite should be f'∘f = (f'0∘f0, f'1∘f1).
[Section 2, composition of morphisms] In the definition of morphisms of group triples, the composite is said to be 'g ◦ g′', but the order is reversed; it should be g′ ∘ g.
[Throughout] The text contains many typographical errors that should be corrected, including 'respective,y' (Remark 1.2), 'obtauned' (Proposition 5.2), 'maturel' and 'lunear' (Example 1.3), 'ttansversals' (reference [3]), and 'terminate' (end of Section 5).
[References] Reference [3] is incomplete: no journal, arXiv identifier, or year is provided. Reference [4] gives an arXiv number but no version details.
[Section 4, proof of Proposition 4.1] The assertion that θo is a left neutral element is only stated as 'similarly is checked'; please display the short calculation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the equivalence is established by explicitly constructed functors and direct axiom verifications; the paper's self-citations concern prior definitions, not the target theorem.

full rationale

The paper defines the two categories independently: Hg from a set M, a group H and maps Φ, Ψ, Ξ, Λ satisfying P1–P4, and GTrip from a group G, a subgroup H and a right transversal M. The functor H from GTrip to Hg is constructed by the standard decomposition (St1)–(St2), and Proposition 3.1 verifies P1–P4 from the associativity of G and the uniqueness of the decomposition; this is a direct verification, not an assumption of the conclusion. The functor T from Hg to GTrip is constructed from the exact product H⊙M. Proposition 4.1 proves the product is a group by reducing associativity to axioms (A1)–(A5), and the left-neutral and solvability checks are performed explicitly; no fitted parameter or target-inclusive premise is involved. The natural isomorphisms in Section 5 are then verified by explicit maps and cited direct calculations, for example Lemma 5.1, the naturality square in Corollary 5.1.1, and the canonical isomorphism in Proposition 5.2. The only self-citations in the paper are to the author's earlier articles [2], [3], [4] for the origin and earlier refinements of the hypergroup definition; the paper restates all relevant definitions and axioms in Section 1, so the self-citations are historical and not load-bearing. The remark about [11] makes a priority claim about c-groupoids but is not used to prove Theorem 1. Some verifications are only stated as 'direct calculation' rather than displayed, notably Lemma 5.1 and the naturality squares, which is a completeness or correctness risk, but not a circularity. The central derivation is self-contained: the two categories are built from different data, and the constructions do not presuppose the equivalence they prove.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters appear in this paper. The central claim rests on the axiomatic definition of hypergroups and on standard facts about right transversals in groups. No new entities are postulated; the exact product H⊙M is a construction from given data, not an independently hypothesized object.

assumptions (3)

domain assumption The axioms P1-P4 define the class of right hypergroups over a group; all later constructions are relative to these defining identities.
These axioms come from the author's prior work and are assumed without independent justification. The equivalence theorem is about the category of structures satisfying them.
standard math For a subgroup H and a right transversal M of G, every element x in G has a unique factorization x = α·a with α in H and a in M.
Invoked in Section 3 to define the structural maps Φ, Ψ, Ξ, Λ from a group triple. The equivalence of right transversal and right complementary set is cited to Rotman [8].
standard math A binary operation on M satisfying condition P1 and associativity is a group operation.
Used in Example 1.1 to show that a hypergroup over the trivial group is exactly a group.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Equivalence of the categories of group triples and of hypergroups over the group." pith.science (2026). https://pith.science/paper/BC2YSCRM

@misc{pith2026190801360,
  author       = {Pith},
  title        = {Pith review of: Equivalence of the categories of group triples and of hypergroups over the group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BC2YSCRM}},
  note         = {Machine review of arXiv:1908.01360}
}

read the original abstract

The main result of this paper is that the categories of (right) hypergroups over the group and of triples, consisting of a group, its subgroup and a (right) transversal to this subgroup, are equivalent.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

Mac Lane S., Categories for the Working Mathematician, Springer-Verlag, New York, 1971

work page 1971
[2]

Dalalyan S. H.. On hypergroups, prenormal subgroups and simplest groups, Conf. dedicated to 90-aniversary of M. M. Djrbashyan, Yerevan, (2008), 27-28 . (In Russian)

work page 2008
[3]

H., Structures induced on ttansversals to subgroups of a group a nd hypergroups over the group,

Dalalyan S. H., Structures induced on ttansversals to subgroups of a group a nd hypergroups over the group,

work page
[4]

H., Hypergroups over the group and generalizations of Shreier’ s theorem on group extensions, arXiv: 1403

Dalalyan S. H., Hypergroups over the group and generalizations of Shreier’ s theorem on group extensions, arXiv: 1403. 6134v1 [math. GR], 24 Mar 2014. 9

work page 2014
[5]

Scandinaves Stockholm, 1934, 45-49

Marty F., Sur une generalisation de la notion de group , 8‘eme Course Math. Scandinaves Stockholm, 1934, 45-49

work page 1934
[6]

S., Hypergroups, Amer J Math 59, (1937), 77-98

W all H. S., Hypergroups, Amer J Math 59, (1937), 77-98

work page 1937
[7]

L., Hypergroups and hypergroup algebras , results of science and techn

Litvinov G. L., Hypergroups and hypergroup algebras , results of science and techn. Ser. Lies. probl. mat. Beg. of achievement, 26, VINITI, Moscow, 1985 , 57-106. (In Russian)

work page 1985
[8]

J., An Introduction to the Theory of Groups , Springer-Verlag, 1994

Rotman J. J., An Introduction to the Theory of Groups , Springer-Verlag, 1994

work page 1994

Show all 12 references

[9]

H., Decompositions of Groups , J

Neumann B. H., Decompositions of Groups , J. London Math. Soc., 10:3-6, 1935

1935
[10]

G., Theory of Groups , Moscow, Nauka, 1967 (In Russian)

Kourosh A. G., Theory of Groups , Moscow, Nauka, 1967 (In Russian)

1967
[11]

of Algebra, 181, 70 - 81, 1996

Lal Ramji, Transversals in Groups , J. of Algebra, 181, 70 - 81, 1996

1996
[12]

On Unitary Hypergroups over the Group , Lobachevskii J

Dalalyan S., Navasardyan Sh.. On Unitary Hypergroups over the Group , Lobachevskii J. of Math., 2019, Vol. 40, No. 8, pp. 10451057. 10

2019

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Mac Lane S., Categories for the Working Mathematician, Springer-Verlag, New York, 1971

work page 1971

[2] [2]

Dalalyan S. H.. On hypergroups, prenormal subgroups and simplest groups, Conf. dedicated to 90-aniversary of M. M. Djrbashyan, Yerevan, (2008), 27-28 . (In Russian)

work page 2008

[3] [3]

H., Structures induced on ttansversals to subgroups of a group a nd hypergroups over the group,

Dalalyan S. H., Structures induced on ttansversals to subgroups of a group a nd hypergroups over the group,

work page

[4] [4]

H., Hypergroups over the group and generalizations of Shreier’ s theorem on group extensions, arXiv: 1403

Dalalyan S. H., Hypergroups over the group and generalizations of Shreier’ s theorem on group extensions, arXiv: 1403. 6134v1 [math. GR], 24 Mar 2014. 9

work page 2014

[5] [5]

Scandinaves Stockholm, 1934, 45-49

Marty F., Sur une generalisation de la notion de group , 8‘eme Course Math. Scandinaves Stockholm, 1934, 45-49

work page 1934

[6] [6]

S., Hypergroups, Amer J Math 59, (1937), 77-98

W all H. S., Hypergroups, Amer J Math 59, (1937), 77-98

work page 1937

[7] [7]

L., Hypergroups and hypergroup algebras , results of science and techn

Litvinov G. L., Hypergroups and hypergroup algebras , results of science and techn. Ser. Lies. probl. mat. Beg. of achievement, 26, VINITI, Moscow, 1985 , 57-106. (In Russian)

work page 1985

[8] [8]

J., An Introduction to the Theory of Groups , Springer-Verlag, 1994

Rotman J. J., An Introduction to the Theory of Groups , Springer-Verlag, 1994

work page 1994