A Pair of Smarandachely Isotopic Quasigroups and Loops of the Same Variety

The isotopic invariance or universality of types and varieties of quasigroups and loops described by one or more equivalent identities has been of interest to researchers in loop theory in the recent past. A variety of quasigroups(loops) that are not universal have been found to be isotopic invariant relative to a special type of isotopism or the other. Presently, there are two outstanding open problems on universality of loops: semi-automorphic inverse property loops(1999) and Osborn loops(2005). Smarandache isotopism(S-isotopism) was originally introduced by Vasantha Kandasamy in 2002. But in this work, the concept is restructured in order to make it more explorable. As a result of this, the theory of Smarandache isotopy inherits the open problems as highlighted above for isotopy. In this paper, the question: Under what type of S-isotopism will a pair of S-quasigroups(S-loops) form any variety? is answered by presenting a pair of specially Smarandachely isotopic quasigroups(loops) that both belong to the same variety of S-quasigroups(S-loops). This is important because pairs of specially Smarandachely isotopic S-quasigroups(e.g Smarandache cross inverse property quasigroups) that are of the same variety are useful for applications, for example, to cryptography