The paper deals with quasigroup identities under isotopies. The terminology is taken from [2], [3] and [4]. Stimulated by geometric illustrations, V. D. Belousov in [2] has presented two important identity properties and posed a question for which identities these properties are necessary and sufficient for the identity to be invariant under isotopies. Inspired by V. D. Belousov, G. Monoszová investigated in [6] one special kind of identities for which both Belousov’s properties give necessary and...

We derive necessary and sufficient conditions for there to exist a latin square of order $n$ containing two subsquares of order $a$ and $b$ that intersect in a subsquare of order $c$. We also solve the case of two disjoint subsquares. We use these results to show that: (a) A latin square of order $n$ cannot have more than $\frac{n}{m}\left(\genfrac{}{}{0pt}{}{n}{h}\right)/\left(\genfrac{}{}{0pt}{}{m}{h}\right)$ subsquares of order $m$, where $h=\lceil (m+1)/2\rceil$. Indeed, the number of subsquares of order $m$ is bounded by a polynomial of degree at most $\sqrt{2m}+2$ in $n$. (b) For all $n\ge 5$ there exists a loop of order $n$ in which every...