A note on semisymmetry. (English) Zbl 1405.20059
Summary: J.D.H. Smith showed how to replace homotopies between quasigroups by homomorphism between semisymmetric quasigroups. This is a semisymmetrization and it replaces a quasigroup by a semisymmetric structure defined on its Cartesian cube. The reason for a semisymmetrization is that homomorphisms behave more regularly than homotopies. A thorough survey of properties of Smith’s semisymmetrization is given in this paper. Also, new semisymmetrizations, which replace a quasigroup by semisymmetric structures defined on its Cartesian square are suggested.
MSC:
20N05 | Loops, quasigroups |
18A40 | Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) |
18A22 | Special properties of functors (faithful, full, etc.) |