Boolean algebra with operators
An operator on a Boolean algebra is a finitary operation on the Boolean algebra that is additive, meaning that in each of its arguments it preserves the sum/join operation of . An operator is normal if each argument preserves the least element of . Major examples of normal operators are as follows.
Relation algebras: the algebra of binary relations on a set (i.e. the set of subsets of ) has the binary operator of composition of relations and the unary inverse operator . The axiomatic study of these operators quickly leads to deep questions about representability of equationally defined abstract algebras as concrete algebras of relations (cf. [a8], [a9]).
Cylindric algebras: on the algebra of subsets of a Cartesian product set , let be the operator assigning to each the cylinder generated by translating parallel to the -th coordinate axis. If is defined by a formula having variables , then the cylinder is defined by the existentially quantified formula . This observation leads to a comprehensive algebraic theory with many applications to quantificational logic [a6]. A related theory of polyadic algebras, due to P.R. Halmos [a5], emphasizes operators corresponding to the logical operation of substitution of terms for variables.
Complex algebras: a binary relation defines an an operator on the power set , in which is the -image of the subset of . This generalizes: each -ary relation on gives rises to an -ary operation on . Thus, any relational structure , comprising a collection of finitary relations on a set , determines a Boolean algebra with operators based on , known as the complex algebra of (the terminology originates with G. Frobenius in the 1880s, referring to a collection of elements of a group as a "complex" ).
The case of binary relations () is intimately connected with the study of modal logic [a2]. Another connection is with the algebra of topology [a11]: when is a partial ordering, the operator obeys the Kuratowski axioms for the closure operator on subsets of a topological space. The general theory of Boolean algebras with operators (BAOs) was introduced by B. Jónsson and A. Tarski [a7], who extended the Stone representation theory that embeds a Boolean algebra into a certain complete and atomic Boolean algebra , known as the perfect or canonical extension of (cf. also Boolean algebra). They showed that any additive operator on lifts to a completely additive operator on preserving normality, and also that any normal complete and atomic Boolean algebra with operators is isomorphic to the complex algebra of some relational structure. Consequently, each normal Boolean algebra with operators is isomorphically embeddable into the complex algebra of some structure .
This representation extends to the level of morphisms: an algebraic homomorphism induces a certain type of structure-preserving mapping , called a bounded morphism. This gives rise to a categorical duality between Boolean algebras with operators and (topological) relational structures that is developed and applied in [a1], [a3]. A survey of the theory of Boolean algebras with operators is given in [a10].
Work in algebraic logic has identified a number of structural properties of varieties (equational classes, cf. Algebraic systems, variety of) of Boolean algebras with operators that are related to natural properties of logical systems. This is surveyed in [a4]. A variety is:
i) elementary if generated by the complex algebras of some first-order definable class of relational structures;
ii) complex if each of its members is isomorphically embeddable into some complex algebra that belongs to ;
iii) canonical if closed under canonical extensions. Every elementary variety is canonical, and every canonical variety is complex. All three notions coincide if the class of all structures whose complex algebra belongs to is closed under ultrapowers.
The variety generated by the complex algebra (where denotes the set of real numbers) is complex but not canonical. In general, complexity of corresponds to the property of strong completeness of a logical system associated with . The deepest unresolved question in this area is whether every canonical variety must be elementary: if is closed under canonical extensions, does it follow that there is a first-order definable class of structures whose complex algebras generate ? An answer either way would enhance the understanding of the relationship between the equational properties of Boolean algebras with operators and the first-order-definable properties of relational structures.
|[a1]||R. Goldblatt, "Varieties of complex algebras" Ann. Pure and Applied Logic , 44 (1989) pp. 173–242|
|[a2]||R. Goldblatt, "Mathematics of modality" , Lecture Notes , 43 , Center for the Study of Language and Information, Stanford Univ. (1993)|
|[a3]||R. Goldblatt, "Elementary generation and canonicity for varieties of Boolean algebras with operators" Algebra Universalis , 34 (1995) pp. 551–607|
|[a4]||R. Goldblatt, "Algebraic polymodal logic" H. Andréka (ed.) etAAsal. (ed.) , Handbook of Algebraic Logic , Kluwer Acad. Publ. (to appear) (Res. Rep. 96–175, Math. Dept. Victoria Univ. of Wellington, Jan. 1996)|
|[a5]||P.R. Halmos, "Algebraic logic" , Chelsea, reprint (1962)|
|[a6]||L. Henkin, J.D. Monk, A. Tarski, "Cylindric algebras I–II}" , North-Holland (1971–1985)|
|[a7]||B. Jónsson, A. Tarski, "Boolean algebras with operators, I" Amer. J. Math. , 73 (1951) pp. 891–939|
|[a8]||B. Jónsson, A. Tarski, "Boolean algebras with operators, II" Amer. J. Math. , 74 (1952) pp. 127–162|
|[a9]||B. Jónsson, "Varieties of relation algebras" Algebra Universalis , 15 (1982) pp. 273–298|
|[a10]||B. Jónsson, "A survey of Boolean algebras with operators" , Algebras and Order (Montreal, PQ, 1991) , NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci. , 389 , Kluwer Acad. Publ. (1993) pp. 239–286|
|[a11]||J.C.C. Mckinsey, A. Tarski, "The algebra of topology" Ann. of Math. , 45 (1944) pp. 141–191|
Boolean algebra with operators. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boolean_algebra_with_operators&oldid=16043