Namespaces
Variants
Actions

Ockham algebra

From Encyclopedia of Mathematics
Revision as of 19:13, 13 November 2016 by Richard Pinch (talk | contribs) (link)
Jump to: navigation, search

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 ):

Figure: o110030a

The subdirectly irreducible Ockham algebra that corresponds to this discretely ordered space is denoted by . In particular, is the algebra whose dual space is

Figure: o110030b

and is described as follows:

Figure: o110030c

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 .

References

[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
How to Cite This Entry:
Ockham algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ockham_algebra&oldid=35220
This article was adapted from an original article by T.S. Blyth (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article