Home

# On multiplicative systems defined by generators and relations: II. Monogenic loops

Extract

The techniques developed in (9) are used here to study the properties of multiplicative systems generated by one element (monogenie systems). The results are of two kinds. First, we obtain fairly complete information about the automorphisms and endo-morphisms of free and finitely related loops. The automorphism group of the free monogenie loop is the infinite cyclic group, each automorphism being obtained by mapping the generator on one of its repeated inverses. A monogenie loop with a finite, non-empty set of relations has only a finite number of endomorphisms. These are obtained by mapping the generator on some of the components, or their repeated inverses, occurring in the relations. We use the same methods to solve the isomorphism problem for monogenie loops, i.e. we give a method for determining whether two finitely related monogenie loops are isomorphic. The decision method consists essentially of constructing all homomorphisms between two given finitely related monogenie loops.

References
Hide All
(1)Albert, A. A.Quasigroups. I. Trans. Amer. math. Soc. 54 (1943), 507–19.
(2)Albert, A. A.Quasigroups. II. Trans. Amer. math. Soc. 55 (1944), 401–19.
(3)Baer, R.Nets and groups. I. Trans. Amer. math. Soc. 46 (1939), 110–41.
(4)Baer, R.The homomorphism theorems for loops. Amer. J. Math. 67 (1945), 450–60.
(5)Bates, Grace E.Free loops and nets and their generalizations. Amer. J. Math. 69 (1947), 499550.
(6)Bruck, R. H.Simple quasigroups. Bull. Amer. math. Soc. 50 (1944), 769–81.
(7)Bruck, R. H.Some results in the theory of quasigroups. Trane. Amer. math. Soc. 55 (1944), 1952.
(8)Evans, T.The word problem for abstract algebras. J. Lond. math. Soc. 26 (1951), 6471.
(9)Evans, T.On multiplicative systems defined by generators and relations. I. Proc. Camb. phil. Soc. 47 (1951), 637–49.
(10)Evans, T.Embedding theorems for multiplicative systems and projective geometries. Proc. Amer. math. Soc. 3 (1952), 614–20.
(11)Higman, G.A finitely related group with an isomorphic proper factor group. J. Lond. math. Soc. 26 (1951), 5961.
(12)Higman, G., Neumann, B. H. and Neumann, H.Embedding theorems for groups. J. Lond. math. Soc. 24 (1949), 247–54.
(13)Neumann, B. H.Some remarks on infinite groups. J. Lond. math. Soc. 12 (1937), 120–27.
(14)Neumann, B. H.A two-generator group isomorphic to a proper factor group. J. Lond. math. Soc. 25 (1950), 247–8.
(15)Neumann, B. H. and Evans, T.Varieties of loops and groupoids. J. Lond. math. Soc. (to appear).
Recommend this journal

Mathematical Proceedings of the Cambridge Philosophical Society
• ISSN: 0305-0041
• EISSN: 1469-8064
• URL: /core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society
Who would you like to send this to? *

×

## Full text viewsFull text views reflects the number of PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 0 *