# Article

Full entry | PDF   (0.3 MB)
Keywords:
Mendelsohn design; quasigroup; $(2,q)$-variety; t-design
Summary:
Let $q$ be a positive integer. An algebra is said to have the property $(2,q)$ if all of its subalgebras generated by two distinct elements have exactly $q$ elements. A variety $\mathcal {V}$ of algebras is a variety with the property $(2,q)$ if every member of $\mathcal {V}$ has the property $(2,q)$. Such varieties exist only in the case of $q$ prime power. By taking the universes of the subalgebras of any finite algebra of a variety with the property $(2,q)$, $2<q$, blocks of Steiner system of type $(2,q)$ are obtained. The stated correspondence between Steiner systems of type $(2,3)$ and the finite algebras of the varieties with the property $(2,3)$ is a folklore. There are also more general and significant results on $(2,q)$-varieties which can be considered as a part of an algebraic theory of Steiner systems''. Here we discuss another connection between the universal algebra and the theory of combinatorial designs, and that is the relationship between the finite algebras of such varieties and Mendelsohn designs. We prove that these algebras can be used not only as models of Steiner systems, but for construction of Mendelsohn designs, as well. For any two elements $a$ and $b$ of a groupoid, we define a sequence generated by the pair $(a,b)$ in the following way: $w_0=a$, $w_1=b$, and $w_k=w_{k-2}\cdot w_{k-1}$ for $k\ge 2$. If there is an integer $p>0$ such that $w_p=a$ and $w_{p+1}=b$, then for the least number with this property we say that it is the period of the sequence generated by the pair $(a,b)$. Then the sequence can be represented by the cycle $(w_0,w_1,\dots ,w_{p-1})$. The main purpose of this paper is to show that all of the sequences generated by pairs of distinct elements in arbitrary finite algebra of a variety with the property $(2,q)$ have the same periods (we say it is the period of the variety), and they contain unique appearance of each ordered pair of distinct elements. Thus, the cycles with period $p$ obtained by a finite quasigroup of a variety with the property $(2,q)$ are the blocks (all of them of order $p$) of a Mendelsohn design.
References:
[1] Brand N., Huffman W.C.: Invariants and constructions of Mendelsohn designs. Geom. Dedicata 22 (1987), 173–196. DOI 10.1007/BF00181265 | MR 0877209 | Zbl 0649.05014
[2] Brand N., Huffman W.C.: Mendelsohn designs admitting the affine group. Graphs Combin. 3 (1987), 313–324. DOI 10.1007/BF01788554 | MR 0914832 | Zbl 0659.05022
[3] Colbourn C.J., Dinitz J.H. (editors): The CRC Handbook of Combinatorial Designs. CRCPress, Boca Raton, 1996. MR 1392993
[4] Ganter B., Werner H.: Equational classes of Steiner systems. Algebra Universalis 5 (1975), 125–140. DOI 10.1007/BF02485242 | MR 0404103 | Zbl 0327.08007
[5] Goračinova-Ilieva L.: $(k,n)$-Algebras, quasigroups and designs. Ph.D. Thesis, UKIM, Skopje, 2007.
[6] Goračinova-Ilieva L., Markovski S.: Constructions of $(2,n)$-varieties of groupoids for $n=7,8,9$. Publ. Inst. Math. (Beograd) (N.S.) 81(95) (2007), 111–117. DOI 10.2298/PIM0795111G | MR 2401320
[7] Grätzer G.: A theorem of doubly transitive permutation groups with application to universal algebras. Fund. Math. 53 (1964), no. 1, 25–41. DOI 10.4064/fm-53-1-25-41 | MR 0156809
[8] Mendelsohn N.S.: Combinatorial designs as models of universal algebras. in Recent Progress in Combinatorics (Proceedings of the Third Waterloo Conference on Combinatorics, May 1968), edited by W.T. Tuttle, Academic Press, New York, 1969, pp. 123–132. MR 0255423 | Zbl 0192.33302
[9] Mendelsohn N.S.: Perfect cyclic designs. Discrete Math. 20 (1977), 63–68. DOI 10.1016/0012-365X(77)90043-7 | MR 0480106 | Zbl 0444.05021
[10] Padmanabhan R.: Characterization of a class of groupoids. Algebra Universalis 1 (1972), 374–382. DOI 10.1007/BF02944996 | MR 0294550 | Zbl 0236.20043
[11] Zhang X.: Nilpotent algebras with maximal class in congruence modular varieties. Ph.D. Thesis, University of Manitoba, 1998. MR 2698338

Partner of