Construction of Mendelsohn designs by using quasigroups of -varieties
Let be a positive integer. An algebra is said to have the property if all of its subalgebras generated by two distinct elements have exactly elements. A variety of algebras is a variety with the property if every member of has the property . Such varieties exist only in the case of prime power. By taking the universes of the subalgebras of any finite algebra of a variety with the property , , blocks of Steiner system of type are obtained. The stated correspondence between Steiner...