pith. sign in

arxiv: 2603.19487 · v2 · submitted 2026-03-19 · 🧮 math.LO

On semigroups and groupoids with minimal probabilistic spectrum

Carles Card\'o This is my paper

Pith reviewed 2026-05-15 08:00 UTC · model grok-4.3

classification 🧮 math.LO
keywords groupoidssemigroupsquasigroupsprobabilistic spectrumassociativityfinite algebrasequational logic
0
0 comments X

The pith

Apart from trivial cases, finite groupoids with minimal equational probabilistic spectrum are quasigroups, and weak associativity collapses to full group structure.

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

The paper examines finite algebras whose equational probabilistic spectrum is minimal, consisting solely of the probabilities 1 and 1 over the algebra's size. It establishes that non-trivial groupoids achieving this minimal spectrum must be quasigroups. Several weak forms of associativity then reduce to complete associativity, yielding groups. The work concludes with a full classification of semigroups that possess this minimal spectrum property.

Core claim

The equational probabilistic spectrum of a finite algebra is the set of probabilities with which its equations are satisfied when variables are assigned randomly from the algebra. Algebras with minimal spectrum, limited to values 1 and 1/|A|, have the property that groupoids are quasigroups except in trivial cases. Weak associativity conditions collapse into full associativity and hence group structure. Semigroups with minimal spectrum receive a complete classification.

What carries the argument

The equational probabilistic spectrum, which measures the probabilities of equation satisfaction under random assignments in finite algebras, serves as the central mechanism to identify structures that force quasigroup and group properties.

Load-bearing premise

The algebras under consideration are finite, with the spectrum defined precisely through uniform random assignments of variables to elements.

What would settle it

A concrete counterexample would be a finite groupoid that is not a quasigroup yet has an equational spectrum consisting only of 1 and 1/|A|.

read the original abstract

The equational probabilistic spectrum of a finite algebra is the set of probabilities with which equations are satisfied in the algebra. We study algebras with minimal spectrum, that is, spectra consisting only of the values $1$ and $1/|\A|$. We show that, apart from trivial cases, groupoids with minimal spectrum are quasigroups. We further prove that several weak associativity conditions collapse into full associativity, and hence into group structure. Finally, we obtain a complete classification of semigroups with minimal spectrum.

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 / 3 minor

Summary. The paper defines the equational probabilistic spectrum of a finite algebra A as the set of probabilities with which equations hold when variables are assigned values uniformly at random from A. It proves that, apart from trivial cases, groupoids with minimal spectrum (containing only the values 1 and 1/|A|) are quasigroups. It further shows that several weak associativity conditions collapse to full associativity and hence yield group structure. Finally, the paper gives a complete classification of semigroups with minimal spectrum.

Significance. If the results hold, the work supplies a clean structural classification for semigroups and a reduction of certain groupoids to quasigroups under a purely probabilistic equational condition. The finite-algebra setting and the exact definition of the spectrum (probabilities exactly 1 or 1/|A|) permit exhaustive case analysis without free parameters, which is a methodological strength. The collapse of weak associativity identities into full associativity is a noteworthy algebraic consequence.

minor comments (3)
  1. Definition 2.1: the notation for the probabilistic spectrum Sp(A) is introduced without an explicit statement that the probability is taken with respect to the uniform measure on A^n for an n-ary equation; a single clarifying sentence would prevent ambiguity.
  2. Theorem 4.3 (classification of semigroups): the case distinction between |A|=1 and |A|>=2 is handled correctly, but the proof sketch for the |A|>=2 case would benefit from an explicit enumeration of the possible multiplication tables that realize the spectrum {1,1/|A|}.
  3. Section 3: the statement that 'several weak associativity conditions collapse' lists the identities but does not indicate which of them are used in the subsequent quasigroup argument; a short cross-reference would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our results, as well as the recommendation for minor revision. We are pleased that the significance of the structural classification and the collapse results was recognized.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines the equational probabilistic spectrum directly as the set of satisfaction probabilities for equations under uniform random assignment of variables from a finite algebra A. From this definition it derives that non-trivial groupoids with minimal spectrum (only values 1 and 1/|A|) are quasigroups, that certain weak associativity identities force full associativity, and a complete classification of semigroups. These steps rest on explicit algebraic identities and case analysis within the finite setting; no parameter is fitted and then renamed as a prediction, no self-citation supplies a load-bearing uniqueness theorem, and no ansatz is smuggled in. The central claims therefore reduce to the given definition plus standard equational reasoning rather than to any circular redefinition or imported result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on the abstract, the work relies on standard definitions from universal algebra without introducing free parameters, new entities, or ad-hoc axioms beyond background assumptions.

axioms (1)
  • standard math Finite algebras and random variable assignments for equation satisfaction probabilities are well-defined.
    Invoked in the definition of the equational probabilistic spectrum.

pith-pipeline@v0.9.0 · 5370 in / 1175 out tokens · 49836 ms · 2026-05-15T08:00:43.621880+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Probabilistic equational spectrum, primality and approximation in finite algebras

    math.LO 2026-04 unverdicted novelty 7.0

    Defines probabilistic spectrum of equations in finite algebras and introduces Prim(A) in [0,1] measuring primality and functional approximation, proving Prim(A) ≤ 1/2 for all non-primal two-element algebras.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Gustafson, W.H.: What is the probability that two group elements commute? American Mathematical Monthly80(9), 1031–1034 (1973) 13

    work page 1973

  2. [2]

    MacHale, D.: How commutative can a non-commutative group be? Mathematical Gazette58(405), 199–202 (1974)

    work page 1974

  3. [3]

    Erd˝ os, P., Tur´ an, P.: On some problems of a statistical group theory. i. Zeitschrift f¨ ur Wahrscheinlichkeitstheorie und Verwandte Gebiete4, 175–186 (1965)

    work page 1965

  4. [4]

    Erd˝ os, P., Tur´ an, P.: On some problems of a statistical group theory. ii. Acta Mathematica Academiae Scientiarum Hungaricae18, 151–163 (1967)

    work page 1967

  5. [5]

    Erd˝ os, P., Tur´ an, P.: On some problems of a statistical group theory. iii. Acta Mathematica Academiae Scientiarum Hungaricae18, 309–320 (1967)

    work page 1967

  6. [6]

    Erd˝ os, P., Tur´ an, P.: On some problems of a statistical group theory. iv. Acta Mathematica Academiae Scientiarum Hungaricae19, 413–435 (1968)

    work page 1968

  7. [7]

    Erd˝ os, P., Tur´ an, P.: On some problems of a statistical group theory. vi. Journal of the Indian Mathematical Society (N.S.)34, 175–192 (1970)

    work page 1970

  8. [8]

    Erd˝ os, P., Tur´ an, P.: On some problems of a statistical group theory. vii. Periodica Mathematica Hungarica2, 149–163 (1972)

    work page 1972

  9. [9]

    PhD thesis, University of California, Los Angeles (1969)

    Joseph, K.S.: Commutativity in non-abelian groups. PhD thesis, University of California, Los Angeles (1969)

    work page 1969

  10. [10]

    Mathematische Zeitschrift149, 43–45 (1976)

    Laffey, T.J.: The number of solutions ofx 3 = 1 in a 3-group. Mathematische Zeitschrift149, 43–45 (1976)

    work page 1976

  11. [11]

    American Mathematical Monthly84, 550–551 (1977)

    Joseph, K.S.: Several conjectures on commutativity in algebraic structures. American Mathematical Monthly84, 550–551 (1977)

    work page 1977

  12. [12]

    Bulletin of the London Mathematical Society47(5), 796–808 (2015)

    Eberhard, S.: Commuting probabilities of finite groups. Bulletin of the London Mathematical Society47(5), 796–808 (2015)

    work page 2015

  13. [13]

    College Mathematics Journal43(4), 334–336 (2012)

    Ponomarenko, V., Selinski, N.: Two semigroup elements can commute with any positive rational probability. College Mathematics Journal43(4), 334–336 (2012)

    work page 2012

  14. [14]

    Mathematical Reports of the Academy of Science of Canada24(1) (2002)

    Dixon, J.D.: Probabilistic group theory. Mathematical Reports of the Academy of Science of Canada24(1) (2002)

    work page 2002

  15. [15]

    Journal of Group Theory6(3), 363–370 (2003)

    Ab´ ert, M.: On the probability of satisfying a word in a group. Journal of Group Theory6(3), 363–370 (2003)

    work page 2003

  16. [16]

    Probabilistic equational spectrum, primality and approximation in finite algebras

    Card´ o, C.: Probabilistic equational spectrum, primality and approximation in finite algebras. Preprint, arXiv: 2604.08446 (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  17. [17]

    The Millennium Edition (2012) 14

    Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. The Millennium Edition (2012) 14

    work page 2012

  18. [18]

    Oxford University Press, New York (1995)

    Howie, J.M.: Fundamentals of Semigroup Theory. Oxford University Press, New York (1995)

    work page 1995

  19. [19]

    Oxford University Press, New York (1996)

    Humphreys, J.F.: A Course in Group Theory. Oxford University Press, New York (1996)

    work page 1996

  20. [20]

    Heldermann Verlag, Berlin (1990)

    Pflugfelder, H.O.: Quasigroups and Loops: Introduction. Heldermann Verlag, Berlin (1990)

    work page 1990

  21. [21]

    Springer, New York (1971) 15

    Bruck, R.H.: A Survey of Binary Systems. Springer, New York (1971) 15

    work page 1971