On multiplicative systems defined by generators and relations

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.

[1]  Trevor Evans,et al.  Embedding theorems for multiplicative systems and projective geometries , 1952 .

[2]  B. H. Neumann.  Identical relations in groups. I , 1937 .

[3]  H. Neumann,et al.  Generalized Free Products with Amalgamated Subgroups , 1948 .

[4]  R. Baer,et al.  Free Sums of Groups and Their Generalizations. An Analysis of the Associative Law , 1949 .

[5]  Free Loops and Nets and Their Generalizations , 1947 .

[6]  T. Evans.  Homomorphisms of Non‐Associative Systems , 1949 .

[7]  Grace E. Bates,et al.  A note on homomorphic mappings of quasigroups into multiplicative systems , 1948 .

[8]  G. Higman,et al.  Embedding Theorems for Groups , 1949 .

[9]  M. Newman.  On Theories with a Combinatorial Definition of "Equivalence" , 1942 .

[10]  B. H. Neumann,et al.  A Two-Generator Group Isomorphic to a Proper Factor Group , 1950 .

[11]  B. H. Neumann,et al.  Some Remarks on Infinite Groups , 1937 .

[12]  R. Baer.  Nets and groups , 1939 .

[13]  R. Baer.  The Homomorphism Theorems for Loops , 1945 .

[14]  G. Higman,et al.  A Finitely Related Group with An Isomorphic Proper Factor Group , 1951 .

[15]  G. Higman,et al.  A Finitely Generated Infinite Simple Group , 1951 .

[16]  R. H. Bruck,et al.  Some results in the theory of quasigroups , 1944 .

[17]  Emil L. Post.  Recursive Unsolvability of a problem of Thue , 1947, Journal of Symbolic Logic.

[18]  R. H. Bruck.  Contributions to the theory of loops , 1946 .

[19]  T. Evans.  On multiplicative systems defined by generators and relations , 1951, Mathematical Proceedings of the Cambridge Philosophical Society.

[20]  Trevor Evans,et al.  The Word Problem for Abstract Algebras , 1951 .