International Journal of Mathematics and Mathematical Sciences
Volume 2006 (2006), Issue 12, Article ID 82318, 4 pages
doi:10.1155/IJMMS/2006/82318
On a characterization of the lattice of subsystems of a transition system
J.P. Mavoungou
and C. Nkuimi-Jugnia
Department of Mathematics, Faculty of Science, University of Yaoundé 1, P.O. Box 812, Yaoundé, Cameroon
Abstract
It was first proved by Birkhoff and Frink, and the result now belongs to the folklore, that any algebraic lattice is up to isomorphism the lattice of subuniverses of a universal algebra. A study of subsystems of a transition system yields a new algebraic concept, that of a strongly algebraic lattice. We give here a representation theorem to the manner of Birkhoff and Frink of such lattices.