{"id":"arxiv/2602.18587","url":"https://arxiv.org/abs/2602.18587","tags":["math.GR","math.CT"],"score":0,"title":"A Structural Fixed-Point Principle in Kunen's Theorem on Quasigroups","domain":"math.GR","source":"arxiv","authors":["Takao Inoué"],"reviews":0,"subject":"math.GR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-20","reactions":{}}