|
The epimorphic images of the free OMA with three generators
by
Peter Burmeister
Department of Mathematics, AG1, Darmstadt University of Technology
Since in (ECE-) varieties V of partial algebras the (relatively) free algebras often become quite trivial, (some of) their epimorphic images are needed in order to get an impression of the possible structure of the elements of V with a given set of generators. In the case of the variety of all orthomodular partial algebras (OMAs) there are no proper closed homomorphic images, and therefore all such epimorphic images with a given set of generators are needed (up to isomorphism). In order to list the 222 epimorphic images of the free OMA with three generators methods from Formal Concept Analysis have been successfully used as second way of counting for getting the exact number of them. The methods and results will be briefly presented.
Date received: January 5, 2001
Copyright © 2001 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cafo-56.