A geometric approach to universal quasigroup identities

summary:In the present paper we construct the accompanying identity $\hat{I}$ of a given quasigroup identity $I$. After that we deduce the main result: $I$ is isotopically invariant (i.e., for every guasigroup $Q$ it holds that if $I$ is satisfied in $Q$ then $I$ is satisfied in every quasigroup isotopic to $Q$) if and only if it is equivalent to $\hat{I}$ (i.e., for every quasigroup $Q$ it holds that in $Q$ either $I, \hat{I}$ are both satisfied or both not)