A bounded distributive lattice together with a dual lattice endomorphism , i.e., a mapping such that the de Morgan laws and hold for all . The class of Ockham algebras is equational (i.e., is a variety; cf. also Algebraic systems, variety of). The Berman class is the subclass obtained by imposing on the dual endomorphism the restriction (, ). The Berman classes are related as follows:
The smallest Berman class is therefore the class described by the equation and is the class of de Morgan algebras. Perhaps the most important Berman class is , described by . This can be characterized as the class of Ockham algebras such that . It contains also the class of -algebras , and, in particular, the class of of Stone algebras (add the relation ).
An Ockham algebra congruence is an equivalence relation that has the substitution property for both the lattice operations and the unary operation . A basic congruence is , defined by
If , then, for , , where indicates an isomorphism when is even and a dual isomorphism when is odd.
An Ockham algebra is subdirectly irreducible if it has a smallest non-trivial congruence. Every Berman class contains only finitely many subdirectly irreducible algebras, each of which is finite.
The class of is given by
it is a locally finite generalized variety that contains all of the Berman classes. If , then is subdirectly irreducible if and only if the lattice of congruences of reduces to the chain
where . If , then .
Ockham algebras can also be obtained by topological duality. Recall that a set in a partially ordered set is called a down-set if , , implies . Dually, is called an up-set if , , implies . An ordered topological space (cf. also Order (on a set)) is said to be totally order-disconnected if, whenever , there exists a closed-and-open down-set such that and . A Priestley space is a compact totally order-disconnected space. An Ockham space is a Priestley space endowed with a continuous order-reversing mapping . The important connection with Ockham algebras was established by A. Urquhart and is as follows. If is an Ockham space and if denotes the family of closed-and-open down-sets of , then is an Ockham algebra, where is given by . Conversely, if is an Ockham algebra and if denotes the set of prime ideals of , then, if is equipped with the topology which has as base the sets and for every , is an Ockham space, where . Moreover, these constructions give a dual categorical equivalence. In the finite case the topology "evaporates" ; the dual space of a finite Ockham algebra consists of the ordered set of join-irreducible elements together with the order-reversing mapping .
Duality produces further classes of Ockham algebras. For , let be the subclass of formed by the algebras whose dual space satisfies . Then every Berman class is a ; more precisely, . If is the dual space of , let, for every , . If is finite, then is subdirectly irreducible if and only if there exists an such that . The dual space of a subdirectly irreducible Ockham algebra in can therefore be represented as follows (here the order is ignored and the arrows indicate the action of ):
The subdirectly irreducible Ockham algebra that corresponds to this discretely ordered space is denoted by . In particular, is the algebra whose dual space is
and is described as follows:
The subdirectly irreducible algebras in are the nineteen subalgebras of . Using a standard theorem of B.A. Davey from universal algebra, it is possible to describe completely the lattice of subvarieties of .
|[a1]||T.S. Blyth, J.C. Varlet, "Ockham algebras" , Oxford Univ. Press (1994)|
|[a2]||J. Berman, "Distributive lattices with an additional unary operation" Aequationes Math. , 16 (1977) pp. 165–171|
|[a3]||H.A. Priestley, "Ordered sets and duality for distributive lattices" Ann. Discrete Math. , 23 (1984) pp. 39–60|
|[a4]||A. Urquhart, "Lattices with a dual homomorphic operation" Studia Logica , 38 (1979) pp. 201–209|
|[a5]||B.A. Davey, "On the lattice of subvarieties" Houston J. Math. , 5 (1979) pp. 183–192|
Ockham algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ockham_algebra&oldid=14194