Editing Quasigroup (section)

=== Homotopy and isotopy ===
{{Main|Isotopy of loops}}
Let ''Q'' and ''P'' be quasigroups. A '''quasigroup homotopy''' from ''Q'' to ''P'' is a triple {{nowrap|(''α'', ''β'', ''γ'')}} of maps from ''Q'' to ''P'' such that
: ''α''(''x'')''β''(''y'') = ''γ''(''xy'')
for all ''x'', ''y'' in ''Q''. A quasigroup homomorphism is just a homotopy for which the three maps are equal.

An '''isotopy''' is a homotopy for which each of the three maps {{nowrap|(''α'', ''β'', ''γ'')}} is a [[bijection]]. Two quasigroups are '''isotopic''' if there is an isotopy between them. In terms of Latin squares, an isotopy {{nowrap|(''α'', ''β'', ''γ'')}} is given by a permutation of rows ''α'', a permutation of columns ''β'', and a permutation on the underlying element set ''γ''.

An '''autotopy''' is an isotopy from a quasigroup to itself. The set of all autotopies of a quasigroup forms a group with the [[automorphism group]] as a subgroup.

Every quasigroup is isotopic to a loop. If a loop is isotopic to a group, then it is isomorphic to that group and thus is itself a group. However, a quasigroup that is isotopic to a group need not be a group. For example, the quasigroup on '''R''' with multiplication given by {{nowrap|(''x'', ''y'') ↦ (''x'' + ''y'')/2}} is isotopic to the additive group {{nowrap|('''R''', +)}}, but is not itself a group as it has no identity element. Every [[medial magma|medial]] quasigroup is isotopic to an [[abelian group]] by the [[Medial magma#Bruck–Murdoch–Toyoda_theorem|Bruck–Toyoda theorem]].