# Products of algebras

• Paul R. Halmos
Part of the Undergraduate Texts in Mathematics book series (UTM)

## Abstract

A familiar way of making one new structure out of two old ones is to form their Cartesian product and, in case the structure involves some algebraic operations, to define the requisite operations coordinate-wise. Boolean algebras furnish an instance of this procedure. Since nothing is gained by restricting attention to two algebras at a time, we proceed at once to discuss arbitrary families. By the product of a family A i of Boolean algebras we shall understand their Cartesian product Π i A i , construed as a Boolean algebra with respect to the coordinate-wise operations. This means that, for instance, 0 in Π i A i is defined by 0 i = 0 for all i, and pq in Π i A i is defined by (pq) i = p i V q i for all i. We shall indicate the product of finite or infinite sequences of Boolean algebras by such obvious and customary modifications of the symbolism as Π i =1 n A i . For sequences of length two (and sometimes even for longer ones) we use the multiplication cross, so that Π i =1 2 A i = Al × A2. It is an immediate consequence of the definition that the product of a family of σ-algebras is a σ-algebra, and, similarly, the product of a family of complete algebras is complete.