{"id":"arxiv/2607.27872","url":"https://arxiv.org/abs/2607.27872","tags":["math.CO"],"score":0,"title":"The nucleus of a semisymmetric quasigroup","domain":"math.CO","source":"arxiv","authors":["Andrew Richard Kozlik"],"reviews":0,"subject":"math.CO","summary":"A binary operation $\\cdot$ which satisfies the identity $(x \\cdot y) \\cdot x = y$ is called a semisymmetric quasigroup. We show that the nucleus of a semisymmetric quasigroup is either empty or an elementary abelian 2-group coinciding with the centre, and that a semisymmetric quasigroup with a non-empty nucleus is necessarily a Mendelsohn loop, i.e. the loop associated with a Mendelsohn triple system. We derive necessary and sufficient conditions for the existence of a semisymmetric quasigroup of order $n$ with nucleus of order $m$. Furthermore, we characterize the nuclear elements of a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}