zbMATH — the first resource for mathematics

A class of non-Moufang Bol loops isomorphic to all their loop isotopes. (English) Zbl 0583.20055
If G is a group, and on the cartesian product \(G\times G\) an operation \(\otimes\) is defined by \((a,b)\otimes (c,d)=(ac,b^ cd)\) where \(b^ c=cbc^{-1}\), then (G\(\times G,\otimes)\) is a left Bol loop. In case G is a nonabelian group of order pq where p and q are prime numbers and \(p| q-1\), the left Bol loop (G\(\times G,\otimes)\) contains a subloop of order \(pq^ 2\) which is not a Moufang loop and which is isomorphic to all its loop isotopes.
An isomorphic family of Bol loops, which are necessarily isomorphic to all their loop isotopes, may also be defined on the set \(Z_ p\times Z_ q\times Z_ q\) by means of the operation \(\cdot\) given by \((r,s,t)\cdot (x,y,z)=(r+s,sh^ x+y,yh^ r-y+t+z)\) where \(h\in Z_ q\), \(h\neq 1\), and \(h^ p=1\), and indices have their ordinary meaning in \(Z_ q\). The left nuclei of these loops have order \(q^ 2\) and the middle and right nuclei have order q. In case p is an odd prime, it would be interesting to know whether these loops are Bruck loops.
Reviewer: R.P.Burn

20N05 Loops, quasigroups
Full Text: DOI EuDML
[1] Bruck, R. H.,A survey of binary systems. Springer, Berlin, 1958. · Zbl 0081.01704
[2] Hall, M.,The theory of groups. MacMillan, New York, 1968. · Zbl 0167.35903
[3] Niederreiter, H. andRobinson, K. H.,Bol loops of order pq. Math. Proc. Cambridge Philos. Soc.89 (1981), 241–256. · Zbl 0463.20050 · doi:10.1017/S030500410005814X
[4] Robinson, D. A.,Bol loops. Trans. Amer. Math. Soc.123 (1966), 341–354. · Zbl 0163.02001 · doi:10.1090/S0002-9947-1966-0194545-4
[5] Robinson, D. A.,A Bol loop isomorphic to all loop isotopes. Proc. Amer. Math. Soc.19 (1968), 671–672. · Zbl 0157.04801 · doi:10.1090/S0002-9939-1968-0223482-9
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.