As the name (G. Birkhoff originally coined the term) suggests, algebraic lattices are mostly found in lattices of subalgebras of algebraic systems. Below are some common examples.
Rings. The lattice of ideals of a ring is also complete, the join of a set of ideals of is the ideal generated by elements in each of the ideals in the set. Any ideal is the join of cyclic ideals generated by elements . So is algebraic.
Topological spaces. The lattice of closed subsets of a topological space is in general not algebraic. The simplest example is with the open intervals forming the subbasis. To begin with, it is not complete: the union of closed subsets , is , not a closed set. In addition, itself is a closed subset that is not compact.
Since every element in an algebraic lattice is a join of compact elements, it is easy to see that every atom is compact: for if is an atom in an algebraic lattice , and , where is a set of compact elements , then each is either or . Therefore, consists of at most two elements and . But can’t be a singleton consisting of (otherwise ), so and therefore is compact.
The notion of being algebraic in a lattice can be generalized to an arbitrary dcpo: an algebraic dcpo is a dcpo such that every can be written as , where is a directed set (in ) such that each element in is compact.
- 1 G. Birkhoff Lattice Theory, 3rd Edition, AMS Volume XXV, (1967).
- 2 G. Grätzer, General Lattice Theory, 2nd Edition, Birkhäuser (1998).
- 3 G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, D. S. Scott, Continuous Lattices and Domains, Cambridge University Press, Cambridge (2003).
- 4 S. Vickers, Topology via Logic, Cambridge University Press, Cambridge (1989).
|Date of creation||2013-03-22 15:56:31|
|Last modified on||2013-03-22 15:56:31|
|Last modified by||CWoo (3771)|