Bol loops and Bruck loops of order pq

DOI10.1016/J.JALGEBRA.2016.11.023MaRDI QIDQ502733zbMATH OpenOpenAlexFDO

Authors G. P. Nagy, Petr Vojtěchovský, Michael K. Kinyon

Publication date 6 January 2017

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1611.05785

zbMATH Keywords

nucleusdihedral groupmultiplication groupquadratic field extensionBol loopBol loop of order \(pq\)Bruck loopBruck loop of order \(pq\)eigenvalue of a circulant matrixK-looptwisted subgroup

Mathematics Subject Classification ID

Matrices over special rings (quaternions, finite fields, etc.) (15B33) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Loops, quasigroups (20N05)

Abstract: 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^{2}q$ or $p^{3}q$. When $Q=B_{p,q}$, the right multiplication group of $Q$ is isomorphic to the semidirect product of $mathbb{Z}_{p}imesmathbb{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.

Recommendations

• Bol loops and Bruck loops of order \(pq\) up to isotopism
• A class of non-Moufang Bol loops isomorphic to all their loop isotopes
• scientific article; zbMATH DE number 3867608
• scientific article; zbMATH DE number 4012906
• scientific article; zbMATH DE number 2046117

Cites work

• scientific article; zbMATH DE number 3137403 (Why is no real title available?)
• scientific article; zbMATH DE number 3867608 (Why is no real title available?)
• scientific article; zbMATH DE number 3975240 (Why is no real title available?)
• scientific article; zbMATH DE number 4012906 (Why is no real title available?)
• scientific article; zbMATH DE number 4103365 (Why is no real title available?)
• scientific article; zbMATH DE number 1374862 (Why is no real title available?)
• scientific article; zbMATH DE number 3227065 (Why is no real title available?)
• A Class of Simple Moufang Loops
• A class of finite simple Bol loops of exponent 2
• A class of simple proper Bol loops.
• Beyond the Einstein addition law and its gyroscopic Thomas precession. The theory of gyrogroups and gyrovector spaces
• Bol Loops
• Bol loops of order pq
• Endliche Gruppen I
• Finite Bol loops
• Finite Bol loops II
• Finite Bol loops: III
• Gewebe und Gruppen. (Topologische Fragen der Differentialgeometrie LXV)
• Group invariants of certain Burn loop classes
• On Bol loops of exponent 2.
• On isomorphisms and isotopisms of bol loops of order 3_p
• On loops of odd order
• On the classification of bol loops of order 3p (P>3)
• On twisted subgroups and Bol loops of odd order.
• Self-invariant 1-factorizations of complete graphs and finite Bol loops of exponent 2.
• The classification of finite simple Moufang loops
• Three lectures on automorphic loops.

Cited in

(13)

• scientific article; zbMATH DE number 1349921 (Why is no real title available?)
• scientific article; zbMATH DE number 2046117 (Why is no real title available?)
• A note on automorphic inverse property loops.
• Bol loops and Bruck loops of order \(pq\) up to isotopism
• scientific article; zbMATH DE number 4116831 (Why is no real title available?)
• A class of non-Moufang Bol loops isomorphic to all their loop isotopes
• scientific article; zbMATH DE number 3867608 (Why is no real title available?)
• Braces of order p2q
• scientific article; zbMATH DE number 4012906 (Why is no real title available?)
• Nonaffine Latin quandles of order \(2^k\)
• Uniquely 2-divisible Bol loops.
• Automorphic loops and metabelian groups.
• Enumeration of involutory latin quandles, Bruck loops and commutative automorphic loops of odd prime power order

Describes a project that uses

Uses Software

• LOOPS
• GAP

This page was built for publication: Bol loops and Bruck loops of order \(pq\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q502733)