Atlas home || Conferences | Abstracts | about Atlas

International Conference on Modern Algebra in conjunction with the 17th annual Shanks Lectures
May 21-24, 2002
Vanderbilt University
Nashville, TN, USA

Organizers
Jonathan Farley, Ralph Freese, Matthew Gould, Peter Jipsen, George McNulty, Miklos Maroti, Alexander Ol'shanskii, Steven Tschantz, Constantine Tsinakis, Matthew Valeriote

View Abstracts
Conference Homepage

Quasiequational theories of flat algebras
by
Jaroslav Jezek
Department of Mathematics, Vanderbilt University
Coauthors: Miklos Maroti

A finite oriented graph (V, E) can be made into an algebra A(V, E) with two binary operations, multiplication and meet, in this way: the underlying set is the union of V with E and {0}; this is a flat semilattice with the least element 0 (all the other elements are atoms); we put ea=b if e is an edge from a to b; in all other cases put xy=0. The equational theories of the algebras A(V, E) are known to be mostly (inherently) nonfinitely based. We have proved that the quasiequational theories are all finitely based. There are also more general results.`

Date received: January 2, 2002

Copyright © 2002 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 # caig-48.