Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6414185 | Journal of Algebra | 2017 | 32 Pages |
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â1yâ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 p2â1, the only right Bol loop of order pq is the cyclic group of order pq. When q divides p2â1, there are precisely (pâq+4)/2 right Bol loops of order pq up to isomorphism, including a unique nonassociative right Bruck loop Bp,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 p2q or p3q. When Q=Bp,q, the right multiplication group of Q is isomorphic to the semidirect product of ZpÃZp with Zq. Finally, we offer computational results as to the number of right Bol loops of order pq up to isotopy.