Hostname: page-component-78c5997874-xbtfd Total loading time: 0 Render date: 2024-11-20T04:25:51.596Z Has data issue: false hasContentIssue false
  • English
  • Français

On multiplicative systems defined by generators and relations

I. Normal form theorems

Published online by Cambridge University Press:  24 October 2008

Trevor Evans
Trevor Evans
Affiliation:
The UniversityManchester 13
Get access Rights & Permissions [Opens in a new window]

Extract

It is the purpose of this paper to study the properties of multiplicative systems, for which the associative law is not assumed, when these systems are given in terms of generators and relations. We confine ourselves mainly to loop theory, although the general theory holds also for groupoids, groupoids with division on one side, and quasigroups. Throughout the paper we are guided by two main considerations, to discover how far the concepts and results of group theory carry over to the non-associative case, and to exhibit a specific example of some of the fundamental concepts of abstract algebra. In many ways, in the general theory, we are able to obtain more complete results than in group theory. There remain, however, many interesting analogues of group theoretical concepts. It is hoped to deal with some of these in a later paper.

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 47 , Issue 4 , October 1951 , pp. 637 - 649
Copyright
Copyright © Cambridge Philosophical Society 1951

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

(1)Bates, Grace E.The theory of free loops and nets and their generalizations. American J. Math. 69 (1947), 499–550.CrossRefGoogle Scholar
(2)Bates, Grace E. and Kiokemeister, F.A note on homomorphic mappings of quasigroups into multiplicative systems. Bull. American Math. Soc. 54 (1948), 1180–5.CrossRefGoogle Scholar
(3)Baer, R.Free sums of groups and their generalizations. An analysis of the associative law. American J. Math. 71 (1949), 706–42.CrossRefGoogle Scholar
(4)Bruck, R. H.Some results in the theory of quasigroups. Trans. American Math. Soc. 55 (1944), 19–52.CrossRefGoogle Scholar
(5)Bruck, R. H.Contributions to the theory of loops. Trans. American Math. Soc. 60 (1946), 245–354.CrossRefGoogle Scholar
(6)Evans, T.Homomorphisms of non-associative systems. J. London Math. Soc. 24 (1949), 254–60.CrossRefGoogle Scholar
(7)Evans, T.The word problem for abstract algebras. J. London Math. Soc. 26 (1951), 64–71.CrossRefGoogle Scholar
(8)Higman, G.A finitely generated infinite simple group. J. London Math. Soc. 26 (1951), 61–4.CrossRefGoogle Scholar
(9)Markoff, A.On the impossibility of certain algorithms in the theory of associative systems. C.R. Acad. Sci. U.R.S.S. (N.S.), 55 (1947), 583–6.Google Scholar
(10)Neumann, B. H.Identical relations in groups. I. Math. Ann. 114 (1937), 506–25.CrossRefGoogle Scholar
(11)Neumann, H.Generalized free products with amalgamated subgroups. American J. Math. 70 (1948), 590–625.CrossRefGoogle Scholar
(12)Newman, M. H. A.On theories with a combinational definition of ‘equivalence’. Ann. Math. 43 (1942), 223–43.CrossRefGoogle Scholar
(13)Post, E. L.Recursive unsolvability of a problem of Thue. J. Symbolic Logic, 12 (1947), 1–11.CrossRefGoogle Scholar