Parastrophic invariance of Smarandache quasigroups
Abstract
Description
Every quasigroup $(L,\cdot)$ belongs to a set of 6 quasigroups, called parastrophes denoted by $(L,π_i)$, $i\in \{1,2,3,4,5,6\}$. It is shown that $(L,π_i)$ is a Smarandache quasigroup with associative subquasigroup $(S,π_i) \forall i\in \{1,2,3,4,5,6\}$ if and only if for any of some four $j\in \{1,2,3,4,5,6\}$, $(S,π_j)$ is an isotope of $(S,π_i)$ or $(S,π_k)$ for one $k\in \{1,2,3,4,5,6\}$ such that $i\ne j\ne k$. Hence, $(L,π_i)$ is a Smarandache quasigroup with associative subquasigroup $(S,π_i) \forall i\in \{1,2,3,4,5,6\}$ if and only if any of the six Khalil conditions is true for any of some four of $(S,π_i)$.
8 pages
8 pages