Journal of Algebra 466 (2016) 204–207 | |||
Abstract: | The equational variety of quasigroups is defined by six identities, called Birkhoff's identities. It is known, that only four of them suffice to define the variety; actually, there are nine different combinations of four Birkhoff's identities defining quasigroups, other four combinations define larger varieties and it was open whether the remaining two cases define quasigroups or larger classes. We solve the question here constructing examples of algebras that are not quasigroups and satisfy the open cases of Birkhoff's identities. | ||
Keywords: | Quasigroup; division groupoid; cancellative groupoid; parastrophe [PDF] |
Quasigroups and Related Systems 23 (2015) 237–242 | |||
Abstract: | In this paper we study automorphic loops of exponent 2 which are semidirect products of the Klein group with an elementary abelian group. It turns out that they fall into two classes: extensions of index 2 and extension using a symmetric bilinear form. | ||
Keywords: | automorphic loop, semidirect product, middle nucleus, exponent 2 [PDF] |
Comment. Math. Univ. Carolin. 55,4 (2014), 447–456 | |||
Abstract: | We analyze semidirect extensions of middle nuclei of commutative automorphic loops. We find less complicated conditions for the semidirect construction when the middle nucleus is an odd order abelian group. We then use the description to study extensions of orders 3 and 5. | ||
Keywords: | automorphic loop, semidirect product, middle nucleus, cyclic group [PDF] |
with Jan Hora | Journal of Algebra and its Applications 13,1 (2014), 15 pages | ||
Abstract: | Automorphic loops are loops where all inner mappings are automorphisms. We study when a semidirect product of two abelian groups yields a commutative automorphic loop such that the normal subgroup lies in the middle nucleus. With this description at hand we give some examples of such semidirect products. | ||
Keywords: | commutative automorphic loop, semidirect product [PDF] |
with Michael K. Kinyon and Petr Vojtěchovský | Journal of Algebra 350 (2012), no. 1, 64–76 | ||
Abstract: | A loop is automorphic if its inner mappings are automorphisms. Using so-called associated operations, we show that every commutative automorphic loop of odd prime power order is centrally nilpotent. Starting with anisotropic planes in the vector space of 2×2 matrices over the field of prime order p, we construct a family of automorphic loops of order p3 with trivial center. | ||
Keywords: | automorphic loop, commutative automorphic loop, A-loop, central nilpotency [PDF] |
Comment. Math. Univ. Carolin. 51 (2010), no. 2, 253–261 | |||
Abstract: | Using a construction of commutative loops with metacyclic inner mapping group and trivial center described by A. Drápal, we enumerate presumably all such loops of order pq, for p and q primes. | ||
Keywords: | commutative loops, construction of loops, matrices over finite fields, quadratic extensions [PDF] |
with Denis Simon | Journal of Algebra and its Applications 14,3 (2014), 20 pages | ||
Abstract: | We study a construction introduced by Aleš Drápal, giving raise to commutative A-loops of order kn where k and n are odd numbers. We show which combinations of k and n are possible if the construction is based on a field or on a cyclic group. We conclude that if p and q are odd primes, there exists a non-associative commutative A-loop of order pq if and only if p divides q² – 1 and such a loop is most probably unique. | ||
Keywords: | commutative A-loops, constructions of loops, matrices over finite fields, eigenvalues, quadratic extensions [PDF] |
with Michael K. Kinyon and Petr Vojtěchovský | Communications in Algebra 38,9 (2010), 3243–3267 | ||
Abstract: | A loop whose inner mappings are automorphisms is an automorphic loop (or A-loop). We characterise commutative (A-)loops with middle nucleus of index 2 and solve the isomorphism problem. Using this characterisation and certain central extensions based on trilinear forms, we construct several classes of commutative A-loops of small orders and also of order p³, where p is a prime. | ||
Keywords: | commutative automorphic loop, commutative A-loop, automorphic inner mappings, enumeration of A-loops [PDF] |
with Michael K. Kinyon and Petr Vojtěchovský | Transactions of American Mathematical Society 363,1 (2011), 365–384 | ||
Abstract: | An automorphic loop or an A-loop is a loop whose inner mappings are automorphisms. Every element of a commutative A-loop generates a group, and (xy)-1=x-1y-1 holds. Let Q be a finite commutative A-loop and p a prime. The loop Q has order a power of p if and only if every element of Q has order a power of p. The loop Q decomposes as a direct product of a loop of odd order and a loop of order a power of 2. If Q is of odd order, it is solvable. If A is a subloop of Q then |A| divides |Q|. If p divides |Q| then Q contains an element of order p. For each set π of primes, Q has a Hall π-subloop. If there is a finite simple nonassociative commutative A-loop, it is of exponent 2. | ||
Keywords: | commutative automorphic loop, commutative A-loop, automorphic inner mappings, structure of loops [PDF] |
with Aleš Drápal | European Journal of Combinatorics, 31,7 (2010), 1907–1923 | ||
Abstract: | We start by describing all the varieties of loops Q that can be defined by autotopisms αx, x∈Q, where αx is a composition of two triples, each of which becomes an autotopism when the element x belongs to one of the nuclei. In this way we obtain a unifying approach to Bol, Moufang, extra, Buchsteiner and conjugacy closed loops. We reprove some classical facts in a new way and show how Buchsteiner loops fit into the traditional context. In 6 we describe a new class of loops with coincinding left and right nuclei. These loops have remarkable properties and do not belong to any of the classical classes. | ||
Keywords: | loops, nucleus [PDF] |