autotopy

  • 1Quasigroup — In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that division is always possible. Quasigroups differ from groups mainly in that they need not be associative. A quasigroup with …

    Wikipedia

  • 2Moufang loop — In mathematics, a Moufang loop is a special kind of algebraic structure. It is similar to a group in many ways but need not be associative. Moufang loops were introduced by Ruth Moufang. Contents 1 Definition 2 Examples 3 Properties …

    Wikipedia

  • 3Isotopy of loops — Isotopy of quasigroups = Let (Q,cdot) and (P,circ) be quasigroups. A quasigroup homotopy from Q to P is a triple (α, β, γ) of maps from Q to P such that :alpha(x)circeta(y) = gamma(xcdot y),for all x , y in Q . A quasigroup homomorphism is just… …

    Wikipedia