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:
“Narrowed-down by her early editors and anthologists, reduced to quaintness or spinsterish oddity by many of her commentators, sentimentalized, fallen-in-love with like some gnomic Garbo, still unread in the breadth and depth of her full range of work, she was, and is, a wonder to me when I try to imagine myself into that mind.”
—Adrienne Rich (b. 1929)
“Labor is work that leaves no trace behind it when it is finished, or if it does, as in the case of the tilled field, this product of human activity requires still more labor, incessant, tireless labor, to maintain its identity as a “work” of man.”
—Mary McCarthy (1912–1989)