Hostname: page-component-586b7cd67f-gb8f7 Total loading time: 0 Render date: 2024-11-27T14:41:55.027Z Has data issue: false hasContentIssue false

A Class of Loops Which are Isomorphic to all Loop Isotopes

Published online by Cambridge University Press:  20 November 2018

Edgar G. Goodaire
Affiliation:
Memorial University of Newfoundland, St. John's, Newfoundland
D. A. Robinson
Affiliation:
Georgia Institute of Technology, Atlanta, Georgia
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

It is convenient and not without precedent (see [2], [1], and also [6]) to call a loop which is isomorphic to all of its loop isotopes a G-loop. Since all groups are readily seen to be G-loops, the only interest in such loops, from a loop-theoretic standpoint, resides with those which are not associative. Examples and ad hoc constructions of such loops have appeared sporadically in the literature (see, for instance, [1], [2], [4], [6], [8], [9], and [13]).

Any finite loop of order n < 5 is a group and, hence, must also be a G-loop. R. L. Wilson [11, 12, 13] proved that a finite G-loop of prime order is necessarily a group; he also exhibited for each even integer n > 5 a G-loop of order n which is not associative and then raised questions concerning the existence of finite G-loops which are not groups for every possible composite order n > 5.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1982

References

1. Basarab, A. S., On a class of G-loops (Russian), Mat. Issled., 3 vyp. 2(1968), 324.Google Scholar
2. Belousov, V. D., Foundations of the theory of quasigroups and loops (Russian), Izdat. “Nauka” (Moscow, 1967.Google Scholar
3. Bruck, R. H., A survey of binary systems (Springer-Verlag, Berlin and New York, 1958.Google Scholar
4. Bruck, R. H., Some theorems on Moufang loops, Math. Z. 73 (1960), 5978.Google Scholar
5. Bryant, B. F. and Schneider, Hans, Principal loop-isotopes of quasigroups, Can. J. Math. 18 (1966), 120125.Google Scholar
6. Chein, Orin and Pflugfelder, H., On maps x —> xm and the isotopy-isomorphy property of Moufangloops, Aequationes Math. 6 (1971), 157161.+xm+and+the+isotopy-isomorphy+property+of+Moufangloops,+Aequationes+Math.+6+(1971),+157–161.>Google Scholar
7. Goodaire, Edgar G. and Robinson, D. A., Loops which are cyclic extensions of their nuclei, Compositio Math. 45 (1982), 341356.Google Scholar
8. Marshall, J. Osborn, Loops with the weak inverse property, Pacific J. Math. 10 (1960), 295304.Google Scholar
9. Robinson, D. A., A Bol loop isomorphic to all loop isotopes, Proc. Amer. Math. Soc. 19 (1968), 671672.Google Scholar
10. Wilson, E. L., A class of loops with the isotopy-isomorphy property, Can. J. Math. 18 (1966), 589592.Google Scholar
11. Wilson, R. L., Jr., Loop isotopism and isomorphism and extensions of universal algebras, Ph.D. Thesis, University of Wisconsin, Madison (1969).Google Scholar
12. Wilson, R. L., Jr., Isotopy-isomorphy loops of prime order, J. Algebra 31 (1974), 117119.Google Scholar
13. Wilson, R. L., Jr., Quasidirect products of quasigroups, Comm. Algebra 3 (1975), 835850.Google Scholar