A Structural Fixed-Point Principle in Kunen's Theorem on Quasigroups
Kunen proved that a quasigroup satisfying a Moufang-type identity ($N1$) must be a loop. We reformulate the argument in the category $\mathbf{Set}$ as a fixed-point extraction principle. From $N1$ one canonically obtains an idempotent endomorphism $j:G\to G$. Its fixed-point object $\mathrm{Fix}(j)=\mathrm{Eq}(j,\mathrm{id}_G)$ splits off as a retract. The $N1$-symmetry forces $j$ to coequalize the (regular) translation action, hence $j$ factors through the terminal object. Thus $\mathrm{Fix}(j)\cong 1$, yielding a unique global identity element. This provides a conceptual reformulation of…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.18587
curl -X POST /api/v1/records/arxiv/2602.18587/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.18587/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'