Skip to main content

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

  • Trevor Evans (a1)

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.

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

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

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


Full text views

Total number of HTML views: 0
Total number of PDF views: 5 *
Loading metrics...

Abstract views

Total abstract views: 59 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 19th March 2018. This data will be updated every 24 hours.