In abstract algebra, a branch of mathematics, a free Boolean algebra is a Boolean algebra 〈B,F〉, such that the set B (called the carrier) has a subset whose elements are called generators. The generators satisfy the following properties:
- Each element of B that is not a generator can be expressed as a finite combination of generators, using the elements of F, which are operations;
- The generators are as "independent" as possible, in that any equation holding for finite terms formed from the generators using the operations in F, also holds for all elements of all possible Boolean algebras.
Read more about Free Boolean Algebra: A Simple Example, Category-theoretic Definition, Topological Realization
Famous quotes containing the words free and/or algebra:
“We placed the wreaths upon the splended granite sarcophagus, and at its feet, and felt that only the earthly robe we loved so much was there. The pure, tender, loving spirit which loved us so tenderly, is above us—loving us, praying for us, and free from all suffering and woe—yes, that is a comfort, and that first birthday in another world must have been a far brighter one than any in this poor world below!”
—Victoria (1819–1901)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)