When is the commutant of a Bol loop a subloop?
Authors:
Michael K. Kinyon, J. D. Phillips and Petr Vojtechovsky
Journal:
Trans. Amer. Math. Soc. 360 (2008), 2393-2408
MSC (2000):
Primary 20N05
DOI:
https://doi.org/10.1090/S0002-9947-07-04391-7
Published electronically:
November 27, 2007
MathSciNet review:
2373318
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
Abstract: A left Bol loop is a loop satisfying
. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order
,
odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to
, the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop
such that
is in the left and middle nuclei of the resulting loop, we show how to construct classes of Bol loops with a non-subloop commutant. In particular, we obtain all Bol loops of order
with a non-subloop commutant.
- 1. Richard Hubert Bruck, A survey of binary systems, Ergebnisse der Mathematik und ihrer Grenzgebiete. Neue Folge, Heft 20. Reihe: Gruppentheorie, Springer Verlag, Berlin-Göttingen-Heidelberg, 1958. MR 0093552
- 2. R. P. Burn, Finite Bol loops, Math. Proc. Cambridge Philos. Soc. 84 (1978), no. 3, 377–385. MR 492030, https://doi.org/10.1017/S0305004100055213
- 3. R. P. Burn, Finite Bol loops. II, Math. Proc. Cambridge Philos. Soc. 89 (1981), no. 3, 445–455. MR 602299, https://doi.org/10.1017/S0305004100058357
- 4. Edgar G. Goodaire and D. A. Robinson, Semi-direct products and Bol loop, Demonstratio Math. 27 (1994), no. 3-4, 573–588. Dedicated to T. Traczyk on the occasion of his 70th birthday. MR 1319403
- 5. Hubert Kiechle, Theory of 𝐾-loops, Lecture Notes in Mathematics, vol. 1778, Springer-Verlag, Berlin, 2002. MR 1899153
- 6. H. Kiechle and G. P. Nagy, On the extension of involutorial Bol loops, Abh. Math. Sem. Univ. Hamburg 72 (2002), 235–250. MR 1941556, https://doi.org/10.1007/BF02941674
- 7. Michael K. Kinyon and J. D. Phillips, Commutants of Bol loops of odd order, Proc. Amer. Math. Soc. 132 (2004), no. 3, 617–619. MR 2019935, https://doi.org/10.1090/S0002-9939-03-07211-3
- 8. G. P. Nagy and P. Vojtechovský, LOOPS: Computing with quasigroups and loops in GAP, version 1.0.0, computational package for GAP; http://www.math.du.edu/loops
- 9. W. W. McCune, OTTER 3.3 Reference Manual and Guide, Argonne National Laboratory Technical Memorandum ANL/MCS-TM-263, 2003; http://www.mcs.anl.gov/AR/otter/
- 10. W. W. McCune, Prover9, automated reasoning software, Argonne National Laboratory, 2005; http://www.mcs.anl.gov/AR/prover9/
- 11. W. W. McCune, Mace 4.0 Reference Manual and Guide, Argonne National Laboratory Technical Memorandum ANL/MCS-TM-264, 2003; http://www.mcs.anl.gov/AR/mace4/
- 12. G. Eric Moorhouse, Bol Loops of Small Order; http://www.uwyo.edu/moorhouse/pub/bol/ index.html
- 13. Hala O. Pflugfelder, Quasigroups and loops: introduction, Sigma Series in Pure Mathematics, vol. 7, Heldermann Verlag, Berlin, 1990. MR 1125767
- 14. D. A. Robinson, Bol loops, Trans. Amer. Math. Soc. 123 (1966), 341–354. MR 194545, https://doi.org/10.1090/S0002-9947-1966-0194545-4
Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 20N05
Retrieve articles in all journals with MSC (2000): 20N05
Additional Information
Michael K. Kinyon
Affiliation:
Department of Mathematics, University of Denver, 2360 S Gaylord Street, Denver, Colorado 80208
Email:
mkinyon@math.du.edu
J. D. Phillips
Affiliation:
Department of Mathematics & Computer Science, Wabash College, Crawfordsville, Indiana 47933
Email:
phillipj@wabash.edu
Petr Vojtechovsky
Affiliation:
Department of Mathematics, University of Denver, 2360 S Gaylord Street, Denver, Colorado 80208
Email:
petr@math.du.edu
DOI:
https://doi.org/10.1090/S0002-9947-07-04391-7
Keywords:
Bol loop,
commutant,
extension of loops
Received by editor(s):
January 16, 2006
Published electronically:
November 27, 2007
Article copyright:
© Copyright 2007
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.


