Skip to main content Accessibility help
×
Home

The Universality of the variety of quasigroups

  • Don Pigozzi (a1)

Abstract

The variety of quasigroups is universal for varieties of algebras of the most general kind in the sense that each such variety can be interpreted in a natural way in a suitably chosen subvariety of quasigroups. More precisely, for any algebra 〈A, f0, f1, f2, …〉 where f0, f1, f2, … is an arbitrary finite or infinite sequence of operations of finite rank, there exists a quasigroup 〈B,.〉 and polynormial operations F0, F1, F2, … over 〈B,·〉 such that 〈A, f0, f1, …〉 is a subalgebra of 〈B, F0, F1, …〉 satisfying exactly the same identities. Moreover, if there are only finitely many f0, f1, …, then 〈B1〉 can be taken so that its identities are recursive in those of 〈A, f0, f1, …〉, If 〈A, f0, f1, …〉 is a free algebra with an infinite number of free generators, then B can also be taken to coincide with A. This universal property of quasigroups has a number of consequences for their equational metatheory.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      The Universality of the variety of quasigroups
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      The Universality of the variety of quasigroups
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      The Universality of the variety of quasigroups
      Available formats
      ×

Copyright

References

Hide All
Bol'bot, A. D. (1967), ‘Equationally complete varieties of totally symmetric quasigroups’, (In Russian.) Algebra i Logika 6, 1319.
Bol'bot, A. D. (1972), ‘Varieties of quasigroups’, (In Russian.) Sibirsk. Maz. Z. 13, 252271.
[English Translation. Siberian Math. J. 13 (1972), 173186.]
Boone, W. W. and Rogers, H. Jr (1966), ‘On a problem of J. H. C. Whitehead and a problem of Alonzo Church’, Math. Scand. 19, 185192.
Evans, T. (1951), ‘On multiplicative systems defined by generators and relations. I. Normal form theorems’, Proc. Cambridge Philos. Soc. 47, 637649.
Evans, T. (1971), ‘Identical relations in loops, I’, J. Austral. Math. Soc. 12, 275286.
Mal'cev, A. I. (1939), ‘On the embedding of associative systems into groups. I’, (In Russian.) Mat. Sb. 6, 331336.
Mal'cev, A. I. (1966), ‘Identical relations in varieties of quasigroups’, (In Russian.) Mat. Sb. 69, 312.
[English translation. Amer. Math. Soc. Transl. (2), 82 (1969), 225235.
Also in: Mal'cev, A. I., The metamathematics of algebraic systems (North-Holland Publishing Co., Amsterdam, 1971).]
McNulty, G. F., ‘The decision problem for equational bases of algebras’, Ann. Math. Logic (to appear).
Neumann, H. (1967), Varieties of groups (Ergebnisse Der Mathematik und Ihrer Grenzgebiete, Bd. 37, Springer-Verlag, Berlin).
Neumann, P. M. and Wiegold, J. (1964), ‘Schreier varieties of groups’, Math. Z. 85, 392400.
Pigozzi, D. (1973), ‘On the decision problem for equational theories of quasi-groups’, Notices Amer. Math. Soc. 20, A-462.
Pigozzi, D. (a), ‘Universal equational theories and varieties of algebras’, (to appear).
Pigozzi, D. (b), ‘Base-undecidable properties of universal varieties’, (to appear).
Tarski, A. (1968), ‘Equational logic and equational theories of algebras’, in: Schmidt, H. A., Schutte, K., Thiele, H.-J., eds., Contributions to mathematical logic (North-Holland Publishing Co., Amsterdam).
MathJax
MathJax is a JavaScript display engine for mathematics. For more information see http://www.mathjax.org.

Metrics

Full text views

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

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed