BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Aleš Drápal 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.
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.
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.
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.
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.