Search results
Results from the WOW.Com Content Network
In mathematics, specifically in group theory, the direct product is an operation that takes two groups G and H and constructs a new group, usually denoted G × H.This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics.
In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the Cartesian product of sets, the direct product of groups or rings, and the product of topological spaces.
Other objects that can be defined by universal properties include: all free objects, direct products and direct sums, free groups, free lattices, Grothendieck group, completion of a metric space, completion of a ring, Dedekind–MacNeille completion, product topologies, Stone–Čech compactification, tensor products, inverse limit and direct ...
The direct sum and direct product are not isomorphic for infinite indices, where the elements of a direct sum are zero for all but for a finite number of entries. They are dual in the sense of category theory : the direct sum is the coproduct , while the direct product is the product.
The direct sum is a submodule of the direct product of the modules M i (Bourbaki 1989, §II.1.7). The direct product is the set of all functions α from I to the disjoint union of the modules M i with α(i)∈M i, but not necessarily vanishing for all but finitely many i. If the index set I is finite, then the direct sum and the direct product ...
The dual notion of a colimit generalizes constructions such as disjoint unions, direct sums, coproducts, pushouts and direct limits. Limits and colimits, like the strongly related notions of universal properties and adjoint functors, exist at a high level of abstraction. In order to understand them, it is helpful to first study the specific ...
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
The direct limit can be defined in an arbitrary category by means of a universal property. Let X i , f i j {\displaystyle \langle X_{i},f_{ij}\rangle } be a direct system of objects and morphisms in C {\displaystyle {\mathcal {C}}} (as defined above).