Pentagonal quasigroups, their translatability and parastrophes

R. A. R. Monzo; W.A. Dudek

arxiv: 1907.06635 · v1 · pith:E43NIFSLnew · submitted 2019-07-14 · 🧮 math.RA

Pentagonal quasigroups, their translatability and parastrophes

R. A. R. Monzo , W.A. Dudek This is my paper

Pith reviewed 2026-05-24 21:28 UTC · model grok-4.3

classification 🧮 math.RA MSC 20N05

keywords pentagonal quasigroupstranslatabilityparastrophesabelian groupsregular automorphismsidempotent quasigroupsmedial groupoidsquasigroup varieties

0 comments

The pith

Pentagonal quasigroups are exactly those given by xy = R(x) + y - R(y) on an abelian group where R is a regular automorphism obeying R^4 - R^3 + R^2 - R + 1 = 0.

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

The paper shows that any quasigroup obeying the pentagonal identity (xy * x)y * x = y can be realized on an abelian group via the stated formula involving a regular automorphism R that satisfies the given polynomial equation. This representation is used to classify all such structures arising from abelian groups of order less than 100, to prove that the relevant variety consists precisely of the commutative pentagonal quasigroups, and to determine their spectrum as the set of powers of 11. The same representation is applied to decide which of these quasigroups are translatable and to classify their parastrophes among known idempotent types.

Core claim

Any pentagonal quasigroup has the product xy = R(x)+y-R(y) where (Q,+) is an Abelian group, R is its regular automorphism satisfying R^4-R^3+R^2-R+1 = 0 and 1 is the identity mapping. The variety of commutative, idempotent, medial groupoids satisfying the pentagonal identity is the variety of commutative pentagonal quasigroups, whose spectrum is {11^n : n = 0,1,2,...}. The only translatable commutative pentagonal quasigroup is xy = (6x+6y) mod 11. The translatability of a pentagonal quasigroup induced by Zn and R(x)=ax determines the value of a and the possible values of n.

What carries the argument

The operation xy = R(x) + y - R(y) on an abelian group, where R is a regular automorphism satisfying the equation R^4 - R^3 + R^2 - R + 1 = 0.

If this is right

All pentagonal quasigroups induced by abelian groups of order n < 100 are explicitly determined.
Commutative pentagonal quasigroups exist precisely when the order is a power of 11.
The only translatable commutative pentagonal quasigroup is the one given by xy = 6x + 6y mod 11.
Parastrophes of any pentagonal quasigroup belong to well-known classes of idempotent translatable quasigroups.
For quasigroups on Zn induced by R(x) = ax, translatability fixes the admissible values of a and n.

Where Pith is reading between the lines

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

The representation supplies an explicit multiplication table once any abelian group admitting such an R is known, allowing systematic enumeration beyond order 100.
The polynomial condition on R restricts the possible orders to multiples of 11 in the commutative case, suggesting that non-commutative pentagonal quasigroups may exist on other orders.
The classification of parastrophes may be used to generate new examples of idempotent translatable quasigroups from any known pentagonal one.

Load-bearing premise

The structure is assumed to satisfy the pentagonal identity together with commutativity, idempotence and mediality when the variety statement is proved.

What would settle it

Exhibit a quasigroup obeying the pentagonal identity (xy * x)y * x = y that cannot be written in the form xy = R(x) + y - R(y) for any abelian group (Q,+) and regular automorphism R satisfying the polynomial equation.

read the original abstract

Any pentagonal quasigroup is proved to have the product xy = R(x)+y-R(y) where (Q,+) is an Abelian group, R is its regular automorphism satisfying R^4-R^3+R^2-R+1 = 0 and 1 is the identity mapping. All abelian groups of order n<100 inducing pentagonal quasigroups are determined. The variety of commutative, idempotent, medial groupoids satisfying the pentagonal identity (xy*x)y*x = y is proved to be the variety of commutative pentagonal quasigroups, whose spectrum is {11^n : n = 0,1,2,...}. We prove that the only translatable commutative pentagonal quasigroup is xy = (6x+6x)(mod11). The parastrophes of a pentagonal quasigroup are classified according to well-known types of idempotent translatable quasigroups. The translatability of a pentagonal quasigroup induced by the additive group Zn of integers modulo n and its automorphism R(x) = ax is proved to determine the value of a and the possible values of n.

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 gives a representation of pentagonal quasigroups over abelian groups with an explicit automorphism condition, derives the needed extra properties from the identity alone, and classifies the translatable cases and parastrophes.

read the letter

The central result is that any quasigroup satisfying (xy * x)y * x = y admits the form xy = R(x) + y - R(y) on an abelian group (Q, +) where R is a regular automorphism annihilated by R^4 - R^3 + R^2 - R + 1. They also show the variety of commutative idempotent medial groupoids with this identity is exactly the commutative pentagonal quasigroups, with spectrum 11^n, and that the only translatable example is the one on Z_11 with multiplier 6. The translatability condition for the Zn case pins down the possible multipliers a and orders n. The parastrophes are classified by standard types of idempotent translatable quasigroups. All abelian groups of order less than 100 that induce such quasigroups are listed explicitly. These are concrete theorems, not restatements. The derivations start from the quasigroup axioms plus the single identity and obtain commutativity, idempotence, and mediality without assuming them up front. That step uses standard isotopy arguments for medial idempotent structures and leads directly to the polynomial condition on R. The small-order checks and the mod-11 uniqueness claim are verifiable by direct computation. No internal contradiction or circularity appears in the chain. The work stays inside quasigroup theory. The polynomial condition and the spectrum result are technical but follow the usual pattern for affine representations of this kind. There are no indicated consequences outside the area, and the parastrophe classification is routine once the representation is available. The paper is aimed at people who work on quasigroup varieties and specific identities. A reader who needs explicit examples, spectra, or translatability criteria for this identity will get usable information. It is coherent on its own terms and engages the relevant literature without obvious gaps. I would send it to peer review. The explicit statements and derivations are the sort that referees can check directly.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that every pentagonal quasigroup (satisfying the identity (xy * x)y * x = y) admits the affine representation xy = R(x) + y − R(y) over an abelian group (Q, +), where R is a regular automorphism annihilated by the polynomial R^4 − R^3 + R^2 − R + 1 = 0. It determines all abelian groups of order n < 100 that induce such quasigroups, shows that the variety of commutative idempotent medial groupoids satisfying the pentagonal identity coincides with the variety of commutative pentagonal quasigroups (with spectrum {11^n : n ≥ 0}), identifies the unique translatable commutative pentagonal quasigroup as xy ≡ 6x + 6y (mod 11), classifies the parastrophes according to standard types of idempotent translatable quasigroups, and determines the precise values of the multiplier a and modulus n for which the quasigroup induced by (Z_n, +) and R(x) = ax is translatable.

Significance. If the derivations hold, the work supplies a complete structural characterization of pentagonal quasigroups via their isotopy to abelian groups with a specific automorphism condition, together with an exhaustive small-order classification, a variety equivalence, an explicit spectrum, and a full analysis of translatability and parastrophes. These results connect the pentagonal identity directly to the cyclotomic polynomial of order 5 and provide concrete, falsifiable data on small-order examples and the unique translatable case.

minor comments (1)

In the abstract the unique translatable example is written xy = (6x+6x)(mod 11); this is presumably intended to be xy ≡ 6x + 6y (mod 11) and should be corrected for clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of the manuscript and for recommending acceptance. No major comments were raised.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation begins from the pentagonal identity (xy*x)y*x = y together with quasigroup axioms and derives commutativity, idempotence and mediality internally rather than assuming them. The affine representation xy = R(x) + y - R(y) over an Abelian group with the stated annihilating polynomial on R is obtained via standard isotopy arguments for idempotent medial quasigroups. No equation or claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the spectrum result and translatability classification likewise follow from the derived properties without circular reduction. The paper is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definition of a quasigroup, the pentagonal identity, and the usual axioms of Abelian groups and automorphisms; no free parameters or invented entities appear in the abstract.

axioms (2)

domain assumption A quasigroup satisfies the pentagonal identity (xy * x) y * x = y.
This identity is taken as the defining property of pentagonal quasigroups in the abstract.
domain assumption The structure is commutative, idempotent and medial when the variety equivalence is claimed.
These extra properties are invoked without derivation when the variety of commutative pentagonal quasigroups is identified.

pith-pipeline@v0.9.0 · 5733 in / 1448 out tokens · 27620 ms · 2026-05-24T21:28:02.285950+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean, IndisputableMonolith/Cost/FunctionalEquation.lean reality_from_one_distinction, washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 2.1. A groupoid (Q,·) is a pentagonal quasigroup if and only if on Q one can define an Abelian group (Q, +) and its regular automorphism ϕ such that x·y = ϕ(x) + (ε− ϕ)(y), ϕ^4− ϕ^3 + ϕ^2− ϕ + ε = 0

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.