Related papers: Pentagonal quasigroups, their translatability and …
An $n$-ary operation $Q:S^n\to S$ is called an $n$-ary quasigroup of order $|S|$ if in the equation $x_0=Q(x_1,...,x_n)$ knowledge of any $n$ elements of $x_0,...,x_n$ uniquely specifies the remaining one. An $n$-ary quasigroup $Q$ is…
A restatement of the Algebraic Dichotomy Conjecture, due to Maroti and McKenzie, postulates that if a finite algebra A possesses a weak near-unanimity term, then the corresponding constraint satisfaction problem is tractable. A binary…
This paper is devoted to the more elementary aspects of the contramodule story, and can be viewed as an extended introduction to the more technically complicated arXiv:1503.05523. Reduced cotorsion abelian groups form an abelian category,…
For every odd prime $p$ and every integer $n\geq 12$ there is a Heisenberg group of order $p^{5n/4+O(1)}$ that has $p^{n^2/24+O(n)}$ pairwise nonisomorphic quotients of order $p^{n}$. Yet, these quotients are virtually indistinguishable.…
Parastrophes (conjugates) of a quasigroup can be divided into separate classes containing isotopic parastrophes. We prove that the number of such classes is always 1, 2, 3 or 6. Next we characterize quasigroups having a fixed number of such…
The class of all quasigroups is covered by six classes: the class of all asymmetric quasigroups and five varieties of quasigroups (commutative, left symmetric, right symmetric, semi-symmetric and totally symmetric). Each of these classes is…
We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary…
The notion of a symmetrically factorizable Lie group is introduced. It is shown that each symmetrically factorizable Lie group is related to a set-theoretical solution of the pentagon equation. Each simple Lie group (after a certain Abelian…
The problem of the existence of non-medial distributive hamiltonian quasigroups is solved. Translating this problem first to commutative Moufang loops with operators, then to ternary algebras and, finally, to cocyclic modules over\linebreak…
A Pythagorean n-tuple is an integer solution of x_1^2+...+x_{n-1}^2=x_n^2. For n=4 and n=6, the Pythagorean n-tuples admit a parametrization by a single n-tuple of polynomials with integer coefficients (which is impossible for n=3). For…
A pseudo-hyperoval of a projective space $\PG(3n-1,q)$, $q$ even, is a set of $q^n+2$ subspaces of dimension $n-1$ such that any three span the whole space. We prove that a pseudo-hyperoval with an irreducible transitive stabiliser is…
Necessary and sufficient conditions of orthogonality of left (right) linear (alinear) quasigroups in various combinations are given. As corollary we obtain conditions of parastroph orthogonality of left (right) linear (alinear) quasigroups.…
The paper deals with quasigroups having a trivial group of automorphisms and a trivial group of autotopisms. Examples of such quasigroups and methods of their verification are given.
The shifting numbers measure the asymptotic amount by which an endofunctor of a triangulated category translates inside the category, and are analogous to Poincare translation numbers that are widely used in dynamical systems. Motivated by…
Let $S$ be a set of transpositions such that the girth of the transposition graph of $S$ is at least 5. It is shown that the automorphism group of the Cayley graph of the permutation group $H$ generated by $S$ is the semidirect product…
A quasigroup is a pair $(Q, \cdot)$ where $Q$ is a non-empty set and $\cdot$ is a binary operation on $Q$ such that for every $(u, v) \in Q^2$ there exists a unique $(x, y) \in Q^2$ such that $u \cdot x = v = y \cdot u$. Let $q$ be an odd…
Let $q$ be an odd prime power and suppose that $a,b\in\mathbb{F}_q$ are such that $ab$ and $(1{-}a)(1{-}b)$ are nonzero squares. Let $Q_{a,b} = (\mathbb{F}_q,*)$ be the quasigroup in which the operation is defined by $u*v=u+a(v{-}u)$ if…
A triangle group is denoted by $\Delta(p,q,r)$ and has finite presentation $$ \Delta(p,q,r)=\langle x,y | x^p=y^q=(xy)^r=1 \rangle .$$ We examine a method for composition of permutation representations of a triangle group $\Delta(p,q,r)$…
We prove that, for a primitive permutation group G acting on a set of size n, other than the alternating group, the probability that Aut(X,Y^G) = G for a random subset Y of X, tends to 1 as n tends to infinity. So the property of the title…
We determine the structure of biquasigroups (Q,^,*) satisfying varations of Polonijo's Ward double quasigroup identity (x^z)*(y^z)=x*y, including those that are linear over a group.