THE EXISTENCE OF OVERLARGE SETS OF IDEMPOTENT QUASIGROUPS

A idempotent quasigroup (Q, o) of order n is equivalent to an n(n-1)×3 partial orthogonal array in which all of rows consist of 3 distinct elements. Let X be a (n+1)-set. Denote by T(n+1) the set of (n+1)n(n-1) ordered triples of X with the property that the 3 coordinates of each ordered triple are distinct. An overlarge set of idempotent quasigroups of order n is a partition of T(n+1) into n+1 n(n-1)×3 partial orthogonal arrays A_x, x∈X based on X\{x}. This article gives an almost complete solution of overlarge sets of idempotent quasigroups.

Maschke Type Theorems for Weak Hopf Quasigroups

In this paper we give necessary and sufficient conditions for a comodule magma over a weak Hopf quasigroup to have a total integral,thus extending the theories developed in the Hopf algebra,weak Hopf algebra and non-associative Hopf algebra contexts.From this result we also deduce a version of Maschke’s theorems for right(H,B)-Hopf triples associated to a weak Hopf quasigroup H and a right H-comodule magma B.

Hopf Quasimodules and Yetter-Drinfeld Modules over Hopf Quasigroups

We introduce the notions of a four-angle Hopf quasimodule and an adjoint quasiaction over a Hopf quasigroup H in a,symmetric monoidal category C.li H possesses an adjoint quasiaction,we show that symmetric Yetter-Drinfeld categories are trivial,and hence we obtain a braided monoidal category equivalence between the category of right Yetter-Drinfeld modules over H and the category of four-angle Hopf modules over H under some suitable conditions.

Tripling Construction for Large Sets of Resolvable Directed Triple Systems

In this paper, we first define a doubly transitive resolvable idempotent quasigroup （DTRIQ）, and show that aDTRIQ of order v exists if and only ifv ≡0（mod3） and v ≠ 2（mod4）. Then we use DTRIQ to present a tripling construction for large sets of resolvable directed triple systems, which improves an earlier version of tripling construction by Kang （J. Combin. Designs, 4 （1996）, 301-321）. As an application, we obtain an LRDTS（4·3^n） for any integer n ≥ 1, which provides an infinite family of even orders.

Frame Self-orthogonal Mendelsohn Triple Systems

A Mendelsohn triple system of order v,MTS(v)for short,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 frame self-orthogonal,FSOMTS for short,if its associated semisymmetric Latin square is frame self-orthogonal.It is known that an FSOMTS(1~n)exists for all n≡1(mod 3)except n=10 and for all n≥15,n≡0(mod 3)with possible exception that n=18.In this paper,it is shown that(i)an FSOMTS(2~n)exists if and only if n≡0,1(mod 3)and n>5 with possible exceptions n ∈{9,27,33,39};(ii)an FSOMTS(3~n)exists if and only if n≥4,with possible exceptions that n ∈{6,14,18,19}.

CONSTRUCTING SELF-CONJUGATE SELF-ORTHOGONAL DIAGONAL LATIN SQUARES

In this paper, we give some constructions of self-conjugate self-orthogonal diagonal Latinsquares (SCSODLS). As an application of such constructions we disproof the conjecture aboutSCSODLS and show that there exist SCSODLS of order V, whenever w=1 (mod 12), with thepossible exception of v∈ {13, 85, 133}.