Sylow Theory for Quasigroups

This paper is intended as a first step toward a general Sylow theory for quasigroups and Latin squares. A subset of a quasigroup lies in a nonoverlapping orbit if its respective translates under the elements of the left multiplication group remain disjoint. In the group case, each nonoverlapping orbit contains a subgroup, and Sylow's Theorem guarantees nonoverlapping orbits on subsets whose order is a prime‐power divisor of the group order. For the general quasigroup case, the paper investigates the relationship between non‐overlapping orbits and structural properties of a quasigroup. Divisors of the order of a finite quasigroup are classified by the behavior of nonoverlapping orbits. In a dual direction, Sylow properties of a subquasigroup P of a finite left quasigroup Q may be defined directly in terms of the homogeneous space , and also in terms of the behavior of the isomorphism type within the so‐called Burnside order, a labeled order structure on the full set of all isomorphism types of irreducible permutation representations.     

Burnside Orders,Burnside Algebras and Partition Lattices

The permutation representation theory of groups has been extended, through quasigroups, to one-sided left (or right) quasigroups. The current paper establishes a link with the theory of ordered sets, introducing the concept of a Burnside order that generalizes the poset of conjugacy classes of subgroups of a finite group. Use of the Burnside order leads to a simplification in the proof of key properties of the Burnside algebra of a left quasigroup. The Burnside order for a projection left quasigroup structure on a finite set is defined by the lattice of set partitions of that set, and it is shown that the general direct and restricted tensor product operations for permutation representations of the projection left quasigroup structure both coincide with the operation of intersection on partitions. In particular, the mark matrix of the Burnside algebra of a projection left quasigroup, a permutation-theoretic concept, emerges as dual to the zeta function of a partition lattice, an order-theoretic concept.     

Classification of quasigroups by random walk on torus

Quasigroups are algebraic structures closely related to Latin squares which have many different applications. There are several classifications of quasigroups based on their algebraic properties. In this paper we propose another classification based on the properties of strings obtained by specific quasigroup transformations. More precisely, in our research we identified some quasigroup transformations which can be applied to arbitrary strings to produce pseudo random sequences. We performed tests for randomness of the obtained pseudo-random sequences by random walks on torus. The randomness tests provided an empirical classification of quasi-groups.     

Some (2,n) combinatorial Stein groupoids

A Stein groupoid (quasigroup) is a groupoid (quasigroup) satisfying the identityx(xy)=yx. We show that, for certain two variable identities, the variety of Stein groupoids defined by any one of these identities has the properties that every groupoid in the variety is a quasigroup and that the free groupoid generated by two elements is of finite (small) order which we determine. These results provide characterizations of some Stein quasigroups of small order and we give some further characterizations involving other identities.     

A graph-theoretic approach to quasigroup cycle numbers

Norton and Stein associated a number with each idempotent quasigroup or diagonalized Latin square of given finite order n, showing that it is congruent mod 2 to the triangular number T(n). In this paper, we use a graph-theoretic approach to extend their invariant to an arbitrary finite quasigroup. We call it the cycle number, and identify it as the number of connected components in a certain graph, the cycle graph. The congruence obtained by Norton and Stein extends to the general case, giving a simplified proof (with topology replacing case analysis) of the well-known congruence restriction on the possible orders of general Schroeder quasigroups. Cycle numbers correlate nicely with algebraic properties of quasigroups. Certain well-known classes of quasigroups, such as Schroeder quasigroups and commutative Moufang loops, are shown to maximize the cycle number among all quasigroups belonging to a more general class.     

Quasigroups,right quasigroups and category coverings

The category of modules over a fixed quasigroup in the category of all quasigroups is equivalent to the category of representations of the fundamental groupoid of the Cayley diagram of the quasigroup in the category of abelian groups. The corresponding equivalent category of coverings, and the generalization to the right quasigroup case, are also described.Dedicated to the memory of Alan DayPresented by J. Sichler.     

带可分解性质的幂等拟群大集

具有幂单正交侣的幂等拟群称为可分解的. 具有幂等正交侣的幂等拟群称为几乎可分解的. 若v 元集合上的所有分量互不相同的3-向量能够分拆成互不相交(幂等3-向量除外) 的v-2 个v 阶幂等拟群, 则称之为v 阶幂等拟群大集. 本文使用t-平衡设计(t=2; 3) 的方法给出了可分解幂等拟群大集、几乎可分解幂等拟群大集及可分解对称幂等拟群大集(即可分解高尔夫设计) 的构造方法, 给出了其存在性的若干结果.     

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.     

带共轭性质拟群的计数

由-个拟群(Q,(×))可以定义出6个共轭拟群,这6个共轭拟群不一定互不相同,其构成的集合C(Q,(×))的基数t可能的取值是1,2,3或6.记q(n,t)是所有满足|C(Q,(×))|=t的n阶拟群的个数,本文将给出q(n,2)和q(n,6)的计数问题.     

Permutation representations of left quasigroups

The concept of a permutation representation has recently been extended from groups to quasigroups. Following a suggestion of Walter Taylor, the concept is now further extended to left quasigroups. The paper surveys the current state of the theory, giving new proofs where necessary to cover the general case of left quasigroups. Both the Burnside Lemma and the Burnside algebra appear in this new context. This paper is dedicated to Walter Taylor. Received August 9, 2005; accepted in final form March 7, 2006.     

On isotopies, parastrophies, and orthogonality of quasigroups

In V. D. Belousov’s papers, some properties of parastrophies were studied and some relations between parastrophies of a given quasigroup were obtained. Also some invariants of a parastrophy were found. This article continues our paper with V. V. Gushan, in which minimal sets of parastrophy systems for quasigroups of order 6 were obtained and some questions about orthogonality of parastrophies of a given quasigroup were studied as well.     

Embedding partial totally symmetric quasigroups

This paper concerns the embedding problem for partial totally symmetric quasigroups. For all n?9, it is shown that any partial totally symmetric quasigroup of order n can be embedded in a totally symmetric quasigroup of order v if v is even and v?2n+4, and this is the best possible such inequality.     

Right Nuclei of Quasigroup Extensions

The aim of this article is the study of right nuclei of quasigroups with right unit element. We investigate an extension process in this category of quasigroups, which is defined by a slight modification of non-associative Schreier-type extensions of groups or loops. The main results of the article give characterizations of quasigroup extensions satisfying particular nuclear conditions. We apply these results for constructions of right nuclear quasigroup extensions with right inverse property.     

Constructing identities for finite quasigroups

An algorithm for producing identities which hold in any given finite quasigroup is described. Identities produced by the algorithm are used to prove several results concerning varieties of quasigroups. In particular varieties of quasigroups associated with various combinatorial designs are examined.     

A coalgebraic approach to quasigroup permutation representations

The paper identifies the class of all permutation representations of a given finite quasigroup as a covariety of coalgebras. Each permutation representation decomposes as a sum of homomorphic images of homogeneous spaces. For a group, permutation representations in the present sense specialise to the classical concept. Burnside's Lemma, with a new proof, is extended from groups to quasigroups. Received March 13, 2002; accepted in final form September 18, 2002. RID="h1" ID="h1"This paper was written while the author was a guest of the Institute of Mathematics and Information Sciences at Warsaw University of Technology, on Faculty Professional Development Assignment from Iowa State University.     

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.     

Cellular automata, quasigroups and symmetries

Summary. We investigate cellular automata (CA) with a local rule f: G² ? G \phi : G^2 \rightarrow G , where the local rule defines a quasigroup structure (Latin square) on the finite set G. If the quasigroup is semisymmetric or totally symmetric, some top-down equilateral triangular subsets of the CA-orbits, the so-called \triangledown \triangledown -configurations, exhibit certain symmetries. The most interesting symmetries are the rotational and the total (dihedral) symmetries, which may be considered in conjunction with certain automorphisms.¶We first explore the conditions for quasigroups to be symmetric (or for local CA-rules to allow symmetric \triangledown \triangledown -configurations), and how to construct symmetric quasigroups by prolongation, i.e., by steadily increasing the order of the quasigroup, thereby conserving the symmetry. Then we study rotationally or totally symmetric \triangledown \triangledown -configurations. We begin with the existence of symmetric \triangledown \triangledown -configurations of arbitrary size N and N o 0,1 mod 3 N \equiv 0,1\,{\rm mod}\,3 , and show that symmetric \triangledown \triangledown -configurations of size N o 2 mod 3 N \equiv 2\,{\rm mod}\,3 exist under mild conditions on J. We present explicit formulas for the number of distinct symmetric \triangledown \triangledown -configurations. By studying the combined group action of the dihedral (or rotational) group and the automorphism group of the quasigroup G on the \triangledown \triangledown -configurations of size N, we are able to classify and count the number of different equivalence classes of \triangledown \triangledown -configurations.     

A shadowing lemma for quasi-hyperbolic strings of flows

In this paper we prove a shadowing lemma for pseudo orbits made by quasi-hyperbolic strings. We allow singularities in question and hence, in particular, the quasi-hyperbolic strings are formulated by the rescaled linear Poincaré flow instead of the usual linear Poincaré flow. We also introduce the sectional Poincaré map and rescaled sectional Poincaré map for Lipschitz vector fields on Banach spaces in the article.     

Napoleon’s quasigroups

Napoleon’s quasigroups are idempotent medial quasigroups satisfying the identity (ab·b)(b·ba) = b. In works by V. Volenec geometric terminology has been introduced in medial quasigroups, enabling proofs of many theorems of plane geometry to be carried out by formal calculations in a quasigroup. This class of quasigroups is particularly suited for proving Napoleon’s theorem and other similar theorems about equilateral triangles and centroids.     

Self-orthogonal semisymmetric quasigroups

A quasigroup satisfying the 2-variable identity x(yx) = y is called semisymmetric. It is observed that the transpose of a semisymmetric quasigroup is also semisymmetric. Consequently, the existence of a self-orthogonal semisymmetric quasigroup (SOSQ) gives rise to a pair of orthogonal semisymmetric quasigroups. In this paper, the spectrum of SOSQs is investigated and it is found that the spectrum contains all positive integers n = 1 (mod 3), except n = 10.