The Order of Automorphisms of Quasigroups

We prove quadratic upper bounds on the order of any autotopism of a quasigroup or Latin square, and hence also on the order of any automorphism of a Steiner triple system or 1‐factorization of a complete graph. A corollary is that a permutation σ chosen uniformly at random from the symmetric group will almost surely not be an automorphism of a Steiner triple system of order n, a quasigroup of order n or a 1‐factorization of the complete graph . Nor will σ be one component of an autotopism for any Latin square of order n. For groups of order n it is known that automorphisms must have order less than n, but we show that quasigroups of order n can have automorphisms of order greater than n. The smallest such quasigroup has order 7034. We also show that quasigroups of prime order can possess autotopisms that consist of three permutations with different cycle structures. Our results answer three questions originally posed by D.  Stones.     

型为2n的框架幂等Schr(o)der拟群

在一个v阶不完全的幂等Schroder拟群中去掉vi个阶为hi的子拟群（1≤i≤k），如果这些子拟群是不相交的且是生成的（即：∑1≤i≤k=v），则称这个v阶拟群为框架幂等Schroder拟群。并记为FISQ（ h1^v1h2^v2…hk^vk）．业已证明，FISQ（1^n）存在当且仅当n=0，1（mod4）且n≠5，9．本文报道了除n=8作为可能的例外，FISQ（2^n）存在的充分必要条件是n≥5且n≠6．     

On congruences and ideals of partially ordered quasigroups

Some results concerning congruence relations on partially ordered quasigroups (especially, Riesz quasigroups) and ideals of partially ordered loops are presented. These results generalize the assertions which were proved by Fuchs in [5] for partially ordered groups and Riesz groups.     

拟群在构作图K_(m+2)\K_m的图设计中的应用

利用拟群给出所需的带洞图设计,再结合一些小阶数的图设计的存在性,得到了关于图Gm=Km+2、Km的图设计的一些存在性结果.从而展示了拟群在解决图设计问题中的应用.     

An improved product construction for large sets of Kirkman triple systems

It has been shown by Lei, in his recent paper, that there exists a large set of Kirkman triple systems of order uv (LKTS(uv)) if there exist an LKTS(v), a TKTS(v) and an LR(u), where a TKTS(v) is a transitive Kirkman triple system of order v, and an LR(u) is a new kind of design introduced by Lei. In this paper, we improve this product construction by removing the condition “there exists a TKTS(v)”. Our main idea is to use transitive resolvable idempotent symmetric quasigroups instead of TKTS. As an application, we can combine the known results on LKTS and LR-designs to obtain the existence of an LKTS(3ⁿm(2·13^n₁+1)(2·13^n_t+1)) for n1, m{1,5,11,17,25,35,43,67,91,123}{2^2r+125^s+1 : r0,s0}, t0 and n_i1 (i=1,…,t).     

About Nonassociativity in Mathematics and Physics

A short review about nonassociative algebraic systems (mainly nonassociative algebras) and their physical applications is presented. We begin with some motivations, then we give a brief historical overview about the formation and development of the concept of hypercomplex number system and about some earlier applications. The main directions discussed are the octonionic, Lie-admissible, and quasigroup approaches. Also, some problems investigated in Tartu, the octonionic approach, Moufang–Mal'tsev symmetry, and associator quantization are discussed. This review does not pretend to be complete as the accent is placed on ideas and not on the techniques, also the references are quite sporadic (there are many authors and results mentioned in the text without references).     

One-sided Hopf algebras and quantum quasigroups

We study the connections between one-sided Hopf algebras and one-sided quantum quasigroups, tracking the four possible invertibility conditions for the left and right composite morphisms that combine comultiplications and multiplications in these structures. The genuinely one-sided structures exhibit precisely two of the invertibilities, while it emerges that imposing one more condition often entails the validity of all four. A main result shows that under appropriate conditions, just one of the invertibility conditions is su?cient for the existence of a one-sided antipode. In the left Hopf algebra which is a variant of the quantum special linear group of two-dimensional matrices, it is shown explicitly that the right composite is not injective, and the left composite is not surjective.     

The spectrum of 2‐idempotent 3‐quasigroups with conjugate invariant subgroups

A ternary quasigroup (or 3‐quasigroup) is a pair (N, q) where N is an n‐set and q(x, y, z) is a ternary operation on N with unique solvability. A 3‐quasigroup is called 2‐idempotent if it satisfies the generalized idempotent law: q(x, x, y) = q(x, y, x) = q(y, x, x)=y. A conjugation of a 3‐quasigroup, considered as an OA(3, 4, n), $({{N}},{\mathcal{B}})$, is a permutation of the coordinate positions applied to the 4‐tuples of ${\mathcal{B}}$. The subgroup of conjugations under which $({{N}},{\mathcal{B}})$ is invariant is called the conjugate invariant subgroup of $({{N}},{\mathcal{B}})$. In this article, we determined the existence of 2‐idempotent 3‐quasigroups of order n, n≡7 or 11 (mod 12) and n≥11, with conjugate invariant subgroup consisting of a single cycle of length three. This result completely determined the spectrum of 2‐idempotent 3‐quasigroups with conjugate invariant subgroups. As a corollary, we proved that an overlarge set of Mendelsohn triple system of order n exists if and only if n≡0, 1 (mod 3) and n≠6. © 2010 Wiley Periodicals, Inc. J Combin Designs 18: 292–304, 2010     

Twisted Smash Products and L-R Smash Products for Biquasimodule Hopf Quasigroups

We consider two new algebras from an H-biquasimodule algebra A and a Hopf quasigroup H: twisted smash product A ? H and L-R smash product A?H, and find necessary and sufficient conditions for making them Hopf quasigroups. We generalize the main results in Brzeziński and Jiao [5] and Klim and Majid [9]. Moreover, if H is a cocommutative Hopf quasigroup, we prove that A ? H is isomorphic to A?H as Hopf quasigroups.     

On the Isomorphism Classes of Transversals

In this article we prove that there does not exist a subgroup H of a finite group G such that the number of isomorphism classes of right transversals of H in G is two.