107 research outputs found

    Medial quasigroups of prime square order

    Get PDF
    We prove that, for any prime pp, there are precisely 2p4p3p23p12p^4-p^3-p^2-3p-1 medial quasigroups of order p2p^2, up to isomorphism

    Distributive and trimedial quasigroups of order 243

    Full text link
    We enumerate three classes of non-medial quasigroups of order 243=35243=3^5 up to isomorphism. There are 1700417004 non-medial trimedial quasigroups of order 243243 (extending the work of Kepka, B\'en\'eteau and Lacaze), 9292 non-medial distributive quasigroups of order 243243 (extending the work of Kepka and N\v{e}mec), and 66 non-medial distributive Mendelsohn quasigroups of order 243243 (extending the work of Donovan, Griggs, McCourt, Opr\v{s}al and Stanovsk\'y). The enumeration technique is based on affine representations over commutative Moufang loops, on properties of automorphism groups of commutative Moufang loops, and on computer calculations with the \texttt{LOOPS} package in \texttt{GAP}

    Connected quandles and transitive groups

    Full text link
    We establish a canonical correspondence between connected quandles and certain configurations in transitive groups, called quandle envelopes. This correspondence allows us to efficiently enumerate connected quandles of small orders, and present new proofs concerning connected quandles of order p and 2p. We also present a new characterization of connected quandles that are affine

    Selfdistributive grupoids, Part A2: Non-idempotent left distributive quasigroups

    Get PDF

    Distributive groupoids are symmetric-by-medial: An elementary proof

    Get PDF
    summary:We present an elementary proof (purely in equational logic) that distributive groupoids are symmetric-by-medial
    corecore