A construction of resolvable quadruple systems
Using the Kramer-Mesner method, - designs with as a group of automorphisms and with in the set are constructed. The search uses specific partitioning of columns of the orbit incidence matrix, related to so-called “quasi-designs”. Actions of groups , and twisted are being compared. It is shown that there exist - designs with , respectively twisted as a group of automorphisms and with in the set . With in the set , there exist designs which possess all three considered groups...
In the present paper we construct the accompanying identity of a given quasigroup identity . After that we deduce the main result: is isotopically invariant (i.e., for every guasigroup it holds that if is satisfied in then is satisfied in every quasigroup isotopic to ) if and only if it is equivalent to (i.e., for every quasigroup it holds that in either are both satisfied or both not).
After describing a (general and special) coordinatization of -nets there are found algebraic equivalents for the validity of certain quadrangle configuration conditions in -nets with small degree .
Our short note gives the affirmative answer to one of Fishburn’s questions.