A Mendelsohn triple system of order v, briefly MTS(v), is a pair (X, B) where X is a v-set (of points) and B is a collection of cyclic triples on X such that every ordered pair of distinct points from X appears in exactly one cyclic triple of B. The cyclic triple (a, b, c) contains the ordered pairs (a, b), (b, c), and (c, a). An MTS(v) corresponds to an idempotent semisymmetric Latin square (quasigroup) of order v. An MTS(v) is called self-orthogonal, denoted briefly by SOMTS(v), if its associated semisymmetric Latin square is self-orthogonal. It is well known that an MTS(v) exists if and only if v ≡ 0 or 1 (mod 3) except v ≠ 6. It is also known that a SOMTS(v) exists for all v ≡ 1 (mod 3) except v = 10 and that a SOMTS(v) does not exist for v = 3, 6, 9, and 12. In this paper it is shown that a SOMTS(v) exists for all v ⩾ 15, where v ≡ 0 (mod 3), except possibly for v = 18.
[1]
Richard M. Wilson,et al.
Constructions and Uses of Pairwise Balanced Designs
,
1975
.
[2]
Hanfried Lenz,et al.
Design theory
,
1985
.
[3]
Masayuki Fujita,et al.
Automatic Generation of Some Results in Finite Algebra
,
1993,
IJCAI.
[4]
Frank E. Bennett.
Self-Orthogonal Semisymmetric Quasigroups
,
1982,
J. Comb. Theory, Ser. A.
[5]
Katherine Heinrich,et al.
Existence of orthogonal latin squares with aligned subsquares
,
1986,
Discret. Math..
[6]
J. Dénes,et al.
Latin squares and their applications
,
1974
.