In model theory, a branch of mathematical logic, and in algebra, the reduced product is a construction that generalizes both direct product and ultraproduct.
Let {Si | i ∈ I} be a family of structures of the same signature σ indexed by a set I, and let U be a filter on I. The domain of the reduced product is the quotient of the Cartesian product
by a certain equivalence relation ~: two elements (ai) and (bi) of the Cartesian product are equivalent if
If U only contains I as an element, the equivalence relation is trivial, and the reduced product is just the original Cartesian product. If U is an ultrafilter, the reduced product is an ultraproduct.
Operations from σ are interpreted on the reduced product by applying the operation pointwise. Relations are interpreted by
For example, if each structure is a vector space, then the reduced product is a vector space with addition defined as (a + b)i = ai + bi and multiplication by a scalar c as (ca)i = c ai.
Famous quotes containing the words reduced and/or product:
“Love is a taste for prostitution. In fact, there is no noble pleasure that cannot be reduced to Prostitution.”
—Charles Baudelaire (1821–1867)
“These facts have always suggested to man the sublime creed that the world is not the product of manifold power, but of one will, of one mind; and that one mind is everywhere active, in each ray of the star, in each wavelet of the pool; and whatever opposes that will is everywhere balked and baffled, because things are made so, and not otherwise.”
—Ralph Waldo Emerson (1803–1882)