On equationally compact semilattices

Bulman-Fleming, Sydney

1972_24.pdf - Published

Download (686kB)

URL: http://ub-madoc.bib.uni-mannheim.de/1825
URN: urn:nbn:de:bsz:180-madoc-18258
Document Type: Working paper
Year of publication: 1972
The title of a journal, publication series: None
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Mathematik > Mannheimer Manuskripte
Subject: 510 Mathematics
Classification: MSC: 08Axx 06B05 ,
Subject headings (SWD): Universelle Algebra , Strukturtheorie , Gitter <Mathematik>
Abstract: Although equationally compact semilattices have been completely characterized [4], the question of J. Mycielski "Is every equationally compact semilattice the retract of a compact topological semilattice?" has heretofore remained unanswered. The main purpose of the present paper is to provide an affirmative answer to this question. Further, a new notion of "algebraic" compactness is introduced which among all semilattices singles out exactly those in which every chain is finite. Such semilattices are in turn compact topological ones in view of the more general result that the class of compact topological semilattices includes all join-complete semilattices in which every chain has a least element. Throughout this paper the term "semilattice" shall mean "join semilattice". The results presented here form a part of the author's doctoral thesis. For inspiration and guidance during the course of this investigation the author expresses gratitude to G.H. Wenzel.
Additional information:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.

Metadata export


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics

You have found an error? Please let us know about your desired correction here: E-Mail

Actions (login required)

Show item Show item