BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Petr Vojtěchovský appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that a normal subloop $X$ of a Moufang loop $Q$ induces an abelian congruence of $Q$ if and only if each inner mapping of $Q$ restricts to an automorphism of $X$ and $u(xy) = (uy)x$ for all $x,y\in X$ and $u\in Q$. The former condition can be omitted when $X$ is $3$-divisible. This characterization is then used to show that classically solvable finite $3$-divisible Moufang loops are congruence solvable.
We study abelian-by-cyclic Moufang loops. We construct all split $3$-divisible abelian-by-cyclic Moufang loops from so-called Moufang permutations on abelian groups $(X,+)$, which are permutations that deviate from an automorphism of $(X,+)$ by an alternating biadditive mapping (satisfying certain properties). More generally, we obtain additional abelian-by-cyclic Moufang loops from so-called construction pairs. As an aside, we show that in the Moufang loops $Q$ obtained from a construction pair on $(X,+)$ the abelian normal subgroup $(X,+)$ induces an abelian congruence of $Q$ if and only if $Q$ is a group.
We describe, implement and test a novel method for training neural networks to estimate the Jacobian matrix $J$ of an unknown multivariate function $F$. The training set is constructed from finitely many pairs $(x,F(x))$ and it contains no explicit information about $J$. The loss function for backpropagation is based on linear approximations and on a nearest neighbor search in the sample data. We formally establish an upper bound on the uniform norm of the error, in operator norm, between the estimated Jacobian matrix provided by the algorithm and the actual Jacobian matrix, under natural assumptions on the function, on the training set and on the loss of the neural network during training. The Jacobian matrix of a multivariate function contains a wealth of information about the function and it has numerous applications in science and engineering. The method given here represents a step in moving from black-box approximations of functions by neural networks to approximations that provide some structural information about the function in question.
A loop $X$ is said to satisfy Moufang's theorem if for every $x,y,z\in X$ such that $x(yz)=(xy)z$ the subloop generated by $x$, $y$, $z$ is a group. We prove that the variety $V$ of Steiner loops satisfying the identity $(xz)(((xy)z)(yz)) = ((xz)((xy)z))(yz)$ is not contained in the variety of Moufang loops, yet every loop in $V$ satisfies Moufang's theorem. This solves a problem posed by Andrew Rajah.
A division sudoku is a latin square whose all six conjugates are sudoku squares. We enumerate division sudokus up to a suitable equivalence, introduce powerful invariants of division sudokus, and also study latin squares that are division sudokus with respect to multiple partitions at the same time. We use nearfields and affine geometry to construct division sudokus of prime power rank that are rich in sudoku partitions.
Idempotent left nondegenerate solutions of the Yang-Baxter equation are in one-to-one correspondence with twisted Ward left quasigroups, which are left quasigroups satisfying the identity $(x*y)*(x*z)=(y*y)*(y*z)$. Using combinatorial properties of the Cayley kernel and the squaring mapping, we prove that a twisted Ward left quasigroup of prime order is either permutational or a quasigroup. Up to isomorphism, all twisted Ward quasigroups $(X,*)$ are obtained by twisting the left division operation in groups (that is, they are of the form $x*y=ψ(x^{-1}y)$ for a group $(X,\cdot)$ and its automorphism $ψ$), and they correspond to idempotent latin solutions. We solve the isomorphism problem for idempotent latin solutions.
We introduce the concept of propagating equations and focus on the case of associativity propagating in varieties of loops. An equation $\varepsilon$ propagates in an algebra $X$ if $\varepsilon(\overrightarrow y)$ holds whenever $\varepsilon(\overrightarrow x)$ holds and the elements of $\overrightarrow y$ are contained in the subalgebra of $X$ generated by $\overrightarrow x$. If $\varepsilon$ propagates in $X$ then it propagates in all subalgebras and products of $X$ but not necessarily in all homomorphic images of $X$. If $\mathcal V$ is a variety, the propagating core $\mathcal V_{[\varepsilon]} = \{X\in\mathcal V:\varepsilon$ propagates in $X\}$ is a quasivariety but not necessarily a variety. We prove by elementary means Goursat's Lemma for loops and describe all subdirect products of $X^k$ and all finitely generated loops in $\mathbf{HSP}(X)$ for a nonabelian simple loop $X$. If $\mathcal V$ is a variety of loops in which associativity propagates, $X$ is a finite loop in which associativity propagates and every subloop of $X$ is either nonabelian simple or contained in $\mathcal V$, then associativity propagates in $\mathbf{HSP}(X)\lor\mathcal V$. We study the propagating core $\mathcal S_{[x(yz)=(xy)z]}$ of Steiner loops with respect to associativity. While this is not a variety, we exhibit many varieties contained in $\mathcal S_{[x(yz)=(xy)z]}$, each providing a solution to Rajah's problem, i.e., a variety of loops not contained in Moufang loops in which Moufang Theorem holds.
Wolfgang Rump showed that there is a one-to-one correspondence between nondegenerate involutive set-theoretic solutions of the Yang-Baxter equation and binary algebras in which all left translations $L_x$ are bijections, the squaring map is a bijection, and the identity $(xy)(xz) = (yx)(yz)$ holds. We call these algebras \emph{rumples} in analogy with quandles, another class of binary algebras giving solutions of the Yang-Baxter equation. We focus on latin rumples, that is, on rumples in which all right translations are bijections as well. We prove that an affine latin rumple of order $n$ exists if and only if $n=p_1^{p_1 k_1}\cdots p_m^{p_m k_m}$ for some distinct primes $p_i$ and positive integers $k_i$. A large class of affine solutions is obtained from nonsingular near-circulant matrices $A$, $B$ satisfying $[A,B]=A^2$. We characterize affine latin rumples as those latin rumples for which the displacement group generated by $L_x L_y\inv$ is abelian and normal in the group generated by all translations. We develop the extension theory of rumples sufficiently to obtain examples of latin rumples that are not affine, not even isotopic to a group. Finally, we investigate latin rumples in which the dual identity $(zx)(yx) = (zy)(xy)$ holds as well, and we show, among other results, that the generators $L_x L_y\inv$ of their displacement group have order dividing four.
Right Bol loops are loops satisfying the identity $((zx)y)x = z((xy)x)$, and right Bruck loops are right Bol loops satisfying the identity $(xy)^{-1} = x^{-1}y^{-1}$. Let $p$ and $q$ be odd primes such that $p>q$. Advancing the research program of Niederreiter and Robinson from $1981$, we classify right Bol loops of order $pq$. When $q$ does not divide $p^2-1$, the only right Bol loop of order $pq$ is the cyclic group of order $pq$. When $q$ divides $p^2-1$, there are precisely $(p-q+4)/2$ right Bol loops of order $pq$ up to isomorphism, including a unique nonassociative right Bruck loop $B_{p,q}$ of order $pq$. Let $Q$ be a nonassociative right Bol loop of order $pq$. We prove that the right nucleus of $Q$ is trivial, the left nucleus of $Q$ is normal and is equal to the unique subloop of order $p$ in $Q$, and the right multiplication group of $Q$ has order $p^2q$ or $p^3q$. When $Q=B_{p,q}$, the right multiplication group of $Q$ is isomorphic to the semidirect product of $\mathbb{Z}_p\times \mathbb{Z}_p$ with $\mathbb{Z}_q$. Finally, we offer computational results as to the number of right Bol loops of order $pq$ up to isotopy.
We enumerate central and medial quasigroups of order less than $128$ up to isomorphism, with the exception of those quasigroups that are isotopic to $C_4\times C_2^4$, $C_2^6$, $C_3^4$ or $C_5^3$. We give an explicit formula for the number of quasigroups that are affine over a finite cyclic group.
We enumerate three classes of non-medial quasigroups of order $243=3^5$ up to isomorphism. There are $17004$ non-medial trimedial quasigroups of order $243$ (extending the work of Kepka, Bénéteau and Lacaze), $92$ non-medial distributive quasigroups of order $243$ (extending the work of Kepka and Němec), and $6$ non-medial distributive Mendelsohn quasigroups of order $243$ (extending the work of Donovan, Griggs, McCourt, Opršal and Stanovský). The enumeration technique is based on affine representations over commutative Moufang loops, on properties of automorphism groups of commutative Moufang loops, and on computer calculations with the \texttt{LOOPS} package in \texttt{GAP}.
Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain "group-like" equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only one-sided and/or the neutral element is only one-sided.
Based on the recent development of commutator theory for loops, we provide both syntactic and semantic characterization of abelian normal subloops. We highlight the analogies between well known central extensions and central nilpotence on one hand, and abelian extensions and congruence solvability on the other hand. In particular, we show that a loop is congruence solvable (that is, an iterated abelian extension of commutative groups) if and only if it is not Boolean complete, reaffirming the connection between computational complexity and solvability. Finally, we briefly discuss relations between nilpotence and solvability for loops and the associated multiplication groups and inner mapping groups.
Suppose that all groups of order $n$ are defined on the same set $G$ of cardinality $n$, and let the \emph{distance} of two groups of order $n$ be the number of pairs $(a,b)\in G\times G$ where the two group operations differ. Given a group $G(\circ)$ of order $n$, we find all groups of order $n$, up to isomorphism, that are closest to $G(\circ)$.
A colored graph is a complete graph in which a color has been assigned to each edge, and a colorful cycle is a cycle in which each edge has a different color. We first show that a colored graph lacks colorful cycles iff it is Gallai, i.e., lacks colorful triangles. We then show that, under the operation $m\circ n\equiv m+n-2$, the omitted lengths of colorful cycles in a colored graph form a monoid isomorphic to a submonoid of the natural numbers which contains all integers past some point. We prove that several but not all such monoids are realized. We then characterize exact Gallai graphs, i.e., graphs in which every triangle has edges of exactly two colors. We show that these are precisely the graphs which can be iteratively built up from three simple colored graphs, having $2$, $4$, and $5$ vertices, respectively. We then characterize in two different ways the monochromes, i.e., the connected components of maximal monochromatic subgraphs, of exact Gallai graphs. The first characterization is in terms of their reduced form, a notion which hinges on the important idea of a full homomorphism. The second characterization is by means of a homomorphism duality.
A loop is said to be automorphic if its inner mappings are automorphisms. For a prime $p$, denote by $\mathcal A_p$ the class of all $2$-generated commutative automorphic loops $Q$ possessing a central subloop $Z\cong \mathbb Z_p$ such that $Q/Z\cong\mathbb Z_p\times\mathbb Z_p$. Upon describing the free $2$-generated nilpotent class two commutative automorphic loop and the free $2$-generated nilpotent class two commutative automorphic $p$-loop $F_p$ in the variety of loops whose elements have order dividing $p^2$ and whose associators have order dividing $p$, we show that every loop of $\mathcal A_p$ is a quotient of $F_p$ by a central subloop of order $p^3$. The automorphism group of $F_p$ induces an action of $GL_2(p)$ on the three-dimensional subspaces of $Z(F_p)\cong (\mathbb Z_p)^4$. The orbits of this action are in one-to-one correspondence with the isomorphism classes of loops from $\mathcal A_p$. We describe the orbits, and hence we classify the loops of $\mathcal A_p$ up to isomorphism. It is known that every commutative automorphic $p$-loop is nilpotent when $p$ is odd, and that there is a unique commutative automorphic loop of order $8$ with trivial center. Knowing $\mathcal A_p$ up to isomorphism, we easily obtain a classification of commutative automorphic loops of order $p^3$. There are precisely $7$ commutative automorphic loops of order $p^3$ for every prime $p$, including the $3$ abelian groups of order $p^3$.
Using the Freese-McKenzie commutator theory for congruence modular varieties as the starting point, we develop commutator theory for the variety of loops. The fundamental theorem of congruence commutators for loops relates generators of the congruence commutator to generators of the total inner mapping group. We specialize the fundamental theorem into several varieties of loops, and also discuss the commutator of two normal subloops. Consequently, we argue that some standard definitions of loop theory, such as elementwise commutators and associators, should be revised and linked more closely to inner mappings. Using the new definitions, we prove several natural properties of loops that could not be so elegantly stated with the standard definitions of loop theory. For instance, we show that the subloop generated by the new associators defined here is automatically normal. We conclude with a preliminary discussion of abelianess and solvability in loops.
This is a companion to our lectures GAP and loops, to be delivered at the Workshops Loops 2007, Prague, Czech Republic. In the lectures we introduce the GAP package LOOPS, describe its capabilities, and explain in detail how to use it. In this paper we first outline the philosophy behind the package and its main features, and then we focus on three particular computational problems: construction of loop isomorphisms, classification of small Frattini Moufang loops of order 64, and the search for loops of nilpotency class higher than two with an abelian inner mapping group. In particular, this is not a user's manual for LOOPS, which can be downloaded from the distribution website of LOOPS.
We establish a canonical correspondence between connected quandles and certain configurations in transitive groups, called quandle envelopes. This correspondence allows us to efficiently enumerate connected quandles of small orders, and present new proofs concerning connected quandles of order p and 2p. We also present a new characterization of connected quandles that are affine.
An autotopism of a Latin square is a triple $(α,β,γ)$ of permutations such that the Latin square is mapped to itself by permuting its rows by $α$, columns by $β$, and symbols by $γ$. Let $\mathrm{Atp}(n)$ be the set of all autotopisms of Latin squares of order $n$. Whether a triple $(α,β,γ)$ of permutations belongs to $\mathrm{Atp}(n)$ depends only on the cycle structures of $α$, $β$ and $γ$. We establish a number of necessary conditions for $(α,β,γ)$ to be in $\mathrm{Atp}(n)$, and use them to determine $\mathrm{Atp}(n)$ for $n\le17$. For general $n$ we determine if $(α,α,α)\in\mathrm{Atp}(n)$ (that is, if $α$ is an automorphism of some quasigroup of order $n$), provided that either $α$ has at most three cycles other than fixed points or that the non-fixed points of $α$ are in cycles of the same length.
The isomorphism problem for centrally nilpotent loops can be tackled by methods of cohomology. We develop tools based on cohomology and linear algebra that either lend themselves to direct count of the isomorphism classes (notably in the case of nilpotent loops of order $2q$, $q$ a prime), or lead to efficient classification computer programs. This allows us to enumerate all nilpotent loops of order less than $24$.
In 2004, Csörgő constructed a loop of nilpotency class three with abelian group of inner mappings. Until now, no other examples were known. We construct many such loops from groups of nilpotency class two by replacing the product $xy$ with $xyh$ in certain positions, where $h$ is a central involution. The location of the replacements is ultimately governed by a symmetric trilinear alternating form.
Let $S_n$ be the set of permutations on $\{1,\,\dots,\,n\}$ and $π\in S_n$. Let $\mathrm{d}(π)$ be the arithmetic average of $\{|i-π(i)|;\;1\le i\le n\}$. Then $\mathrm{d}(π)/n\in[0,\,1/2]$, the expected value of $\mathrm{d}(π)/n$ approaches $1/3$ as $n$ approaches infinity, and $\mathrm{d}(π)/n$ is close to $1/3$ for most permutations. We describe all permutations $π$ with maximal $\mathrm{d}(π)$. Let $\mathrm{s}^+(π)$ and $\mathrm{s}^*(π)$ be the arithmetic and geometric averages of $\{|π(i)-π(i+1)|;\;1\le i<n\}$, and let $M^+$, $M^*$ be the maxima of $\mathrm{s}^+$ and $\mathrm{s}^*$ over $S_n$, respectively. Then $M^+=(2m^2-1)/(2m-1)$ when $n=2m$, $M^+ = (2m^2+2m-1)/(2m)$ when $n=2m+1$, $M^* = (m^m(m+1)^{m-1})^{1/(n-1)}$ when $n=2m$, and, interestingly, $M^* = (m^m(m+1)(m+2)^{m-1})^{1/(n-1)}$ when $n=2m+1>1$. We describe all permutations $π$, $σ$ with maximal $\mathrm{s}^+(π)$ and $\mathrm{s}^*(σ)$.
We describe a large-scale project in applied automated deduction concerned with the following problem of considerable interest in loop theory: If $Q$ is a loop with commuting inner mappings, does it follow that $Q$ modulo its center is a group and $Q$ modulo its nucleus is an abelian group? This problem has been answered affirmatively in several varieties of loops. The solution usually involves sophisticated techniques of automated deduction, and the resulting derivations are very long, often with no higher-level human proofs available.
We investigate the relation between the structure of a Moufang loop and its inner mapping group. Moufang loops of odd order with commuting inner mappings have nilpotency class at most two. $6$-divisible Moufang loops with commuting inner mappings have nilpotency class at most two. There is a Moufang loop of order $2^{14}$ with commuting inner mappings and of nilpotency class three.
We derive necessary and sufficient conditions for there to exist a latin square of order $n$ containing two subsquares of order $a$ and $b$ that intersect in a subsquare of order $c$. We also solve the case of two disjoint subsquares. We use these results to show that: (a) A latin square of order $n$ cannot have more than $\frac nm{n \choose h}/{m\choose h}$ subsquares of order $m$, where $h=\lceil(m+1)/2\rceil$. Indeed, the number of subsquares of order $m$ is bounded by a polynomial of degree at most $\sqrt{2m}+2$ in $n$. (b) For all $n\ge5$ there exists a loop of order $n$ in which every element can be obtained as a product of all $n$ elements in some order and with some bracketing.
A cycle in an edge-colored graph is said to be rainbow if no two of its edges have the same color. For a complete, infinite, edge-colored graph $G$, define $\mathfrak{S}(G)=\{n\ge 2\;|\;\text{no $n$-cycle of $G$ is rainbow}\}$. Then $\mathfrak{S}(G)$ is a monoid with respect to the operation $n\circ m = n+m-2$, and thus there is a least positive integer $π(G)$, the period of $\mathfrak{S}(G)$, such that $\mathfrak{S}(G)$ contains the arithmetic progression $\{N+kπ(G)\;|\;k\ge 0\}$ for some sufficiently large $N$. Given that $n\in\mathfrak{S}(G)$, what can be said about $π(G)$? Alexeev showed that $π(G)=1$ when $n\ge 3$ is odd, and conjectured that $π(G)$ always divides $4$. We prove Alexeev's conjecture: Let $p(n)=1$ when $n$ is odd, $p(n)=2$ when $n$ is divisible by four, and $p(n)=4$ otherwise. If $2<n\in\mathfrak{S}(G)$ then $π(G)$ is a divisor of $p(n)$. Moreover, $\mathfrak{S}(G)$ contains the arithmetic progression $\{N+kp(n)\;|\;k\ge 0\}$ for some $N=O(n^2)$. The key observations are: If $2<n=2k\in\mathfrak{S}(G)$ then $3n-8\in\mathfrak{S}(G)$. If $16\ne n=4k\in\mathfrak{S}(G)$ then $3n-10\in\mathfrak{S}(G)$. The main result cannot be improved since for every $k>0$ there are $G$, $H$ such that $4k\in\mathfrak{S}(G)$, $π(G)=2$, and $4k+2\in\mathfrak{S}(H)$, $π(H)=4$.
A groupoid is alternative if it satisfies the alternative laws $x(xy)=(xx)y$ and $x(yy)=(xy)y$. These laws induce four partial maps on $\mathbb{N}^+\times \mathbb{N}^+$, $(r,\,s)\mapsto (2r,\,s-r)$, $(r-s,\,2s)$, $(r/2,\,s+r/2)$, $(r+s/2,\,s/2)$ that taken together form a dynamical system. We describe the orbits of this dynamical system, which allows us to show that $n$th powers in a free alternative groupoid on one generator are well-defined if and only if $n\le 5$. We then discuss some number theoretical properties of the orbits, and the existence of alternative loops without two-sided inverses.
Groups with commuting inner mappings are of nilpotency class at most two, but there exist loops with commuting inner mappings and of nilpotency class higher than two, called loops of Csörgő type. In order to obtain small loops of Csörgő type, we expand our programme from `Explicit constructions of loops with commuting inner mappings', European J. Combin. 29 (2008), 1662-1681, and analyze the following setup in groups: Let $G$ be a group, $Z\le Z(G)$, and suppose that $δ:G/Z\times G/Z\to Z$ satisfies $δ(x,x)=1$, $δ(x,y)=δ(y,x)^{-1}$, $z^{yx}δ([z,y],x) = z^{xy}δ([z,x],y)$ for every $x$, $y$, $z\in G$, and $δ(xy,z) = δ(x,z)δ(y,z)$ whenever $\{x,y,z\}\cap G'$ is not empty. Then there is $μ:G/Z\times G/Z\to Z$ with $δ(x,y) = μ(x,y)μ(y,x)^{-1}$ such that the multiplication $x*y=xyμ(x,y)$ defines a loop with commuting inner mappings, and this loop is of Csörgő type (of nilpotency class three) if and only if $g(x,y,z) = δ([x,y],z)δ([y,z],x)δ([z,x],y)$ is nontrivial. Moreover, $G$ has nilpotency class at most three, and if $g$ is nontrivial then $|G|\ge 128$, $|G|$ is even, and $g$ induces a trilinear alternating form. We describe all nontrivial setups $(G,Z,δ)$ with $|G|=128$. This allows us to construct for the first time a loop of Csörgő type with an inner mapping group that is not elementary abelian.
We study a generalization of the classical correspondence between homogeneous quadratic polynomials, quadratic forms, and symmetric/alternating bilinear forms to forms in $n$ variables. The main tool is combinatorial polarization, and the approach is applicable even when $n!$ is not invertible in the underlying field.
A loop is automorphic if all its inner mappings are automorphisms. We construct the free commutative automorphic $2$-generated loop of nilpotency class $3$. It has dimension $8$ over the integers.
We classify Moufang loops of order 64 and 81 up to isomorphism, using a linear algebraic approach to central loop extensions. In addition to the 267 groups of order 64, there are 4262 nonassociative Moufang loops of order 64. In addition to the $15$ groups of order $81$, there are $5$ nonassociative Moufang loops of order $81$, $2$ of which are commutative.
These notes accompany a series of three lectures on automorphic loops to be delivered by the author at Workshops Loops '15 (Ohrid, Macedonia, 2015). Automorphic loops are loops in which all inner mappings are automorphisms. The first paper on automorphic loops appeared in 1956 and there has been a surge of interest in the topic since 2010. The purpose of these notes is to introduce the methods used in the study of automorphic loops to a wider audience of researchers working in nonassociative mathematics. In the first lecture we establish basic properties of automorphic loops (flexibility, power-associativity and the antiautomorphic inverse property) and discuss relations of automorphic loops to Moufang loops. In the second lecture we expand on ideas of Glauberman and investigate the associated operation $(x^{-1}\backslash (y^2x))^{1/2}$ and similar concepts, using a more modern approach of twisted subgroups. We establish many structural results for commutative and general automorphic loops, including the Odd Order Theorem. In the last lecture we look at enumeration and constructions of automorphic loops. We show that there are no nonassociative simple automorphic loops of order less than $4096$, we study commutative automorphic loops of order $pq$ and $p^3$, and introduce two general constructions of automorphic loops. The material is newly organized and sometimes new, shorter proofs are given.
A left Bol loop is a loop satisfying $x(y(xz)) = (x(yx))z$. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order $2k$, $k$ odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to 3, the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop $K$ such that $K$ is in the left and middle nuclei of the resulting loop, we show how to construct classes of Bol loops with non-subloop commutant. In particular, we obtain all Bol loops of order 16 with non-subloop commutant.