Bol Loops and Bruck Loops of Order $pq
Publication Date
12-2-2016
Document Type
Article
Organizational Units
College of Natural Science and Mathematics, Mathematics
Keywords
Bol loop, Bruck loop, K-loop, Bol loop of order pq, Bruck loop of order pq, Multiplication group, Nucleus, Dihedral group, Twisted subgroup, Eigenvalue of a circulant matrix, Quadratic field extension
Abstract
Right Bol loops are loops satisfying the identity ((zx)y)x=z((xy)x)" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">((zx)y)x=z((xy)x), and right Bruck loops are right Bol loops satisfying the identity (xy)−1=x−1y−1" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">(xy)−1=x−1y−1. Let p and q be odd primes such that p>q" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">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" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">p2−1, the only right Bol loop of order pq is the cyclic group of order pq. When q divides p2−1" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">p2−1, there are precisely (p−q+4)/2" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">(p−q+4)/2 right Bol loops of order pq up to isomorphism, including a unique nonassociative right Bruck loop Bp,q" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">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" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">p2q or p3q" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">p3q. When Q=Bp,q" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">Q=Bp,q, the right multiplication group of Q is isomorphic to the semidirect product of Zp×Zp" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">Zp×Zp with Zq" role="presentation" style="box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; line-height: normal; font-size: 16.2px; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative;">Zq. Finally, we offer computational results as to the number of right Bol loops of order pq up to isotopy.
Publication Statement
Copyright held by author or publisher. User is responsible for all copyright compliance.
Recommended Citation
Kinyon, Michael K, et al. “Bol Loops and Bruck Loops of Order Pq.” Journal of Algebra, vol. 473, no. C, 2017, pp. 481–512. doi: 10.1016/j.jalgebra.2016.11.023.