Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Integrally closed and complete ordered quasigroups and loops

Author: Phillip A. Hartman
Journal: Proc. Amer. Math. Soc. 33 (1972), 250-256
MSC: Primary 06A50
MathSciNet review: 0295985
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We generalize the well-known results on embedding a partially ordered group in its Dedekind extension by showing that, with the appropriate definition of integral closure, any partially ordered quasigroup (loop) G can be embedded in a complete partially ordered quasigroup (loop) if and only if G is integrally closed. If G is directed as well, then its Dedekind extension is a complete lattice-ordered quasigroup (loop). Furthermore, any complete fully ordered quasigroup (loop) has, with one exception, the real numbers with their usual ordering as its underlying set. The quasigroup (loop) operation, however, need not be ordinary addition as it is in the group case. On the other hand, a complete, strongly power associative fully ordered loop is either the integers or the real numbers with ordinary addition.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 06A50

Retrieve articles in all journals with MSC: 06A50

Additional Information

Keywords: Integral closure, complete, right Archimedean, Dedekind completion, strong power associativity
Article copyright: © Copyright 1972 American Mathematical Society

American Mathematical Society