Search Results for ""

The direct limit, also called a colimit, of a family of R-modules is the dual notion of an inverse limit and is characterized by the following mapping property. For a ...

An equalizer of a pair of maps f,g:X->Y in a category is a map e:E->X such that 1. f degreese=g degreese, where degrees denotes composition. 2. For any other map e^':E^'->X ...

A diagram lemma which states that, given the above commutative diagram with exact rows, the following holds: 1. If alpha is surjective, and beta and delta are injective, then ...

If X is a locally compact T2-space, then the set C_ degrees(X) of all continuous complex valued functions on X vanishing at infinity (i.e., for each epsilon>0, the set {x in ...

The group algebra K[G], where K is a field and G a group with the operation *, is the set of all linear combinations of finitely many elements of G with coefficients in K, ...

Given a nonzero finitely generated module M over a commutative Noetherian local ring R with maximal ideal M and a proper ideal I of R, the Hilbert-Samuel function of M with ...

Given a short exact sequence of modules 0->A->B->C->0, (1) let ...->P_2->^(d_2)P_1->^(d_1)P_0->^(d_0)A->0 (2) ...->Q_2->^(f_2)Q_1->^(f_1)Q_0->^(f_0)C->0 (3) be projective ...

The inverse limit of a family of R-modules is the dual notion of a direct limit and is characterized by the following mapping property. For a directed set I and a family of ...

A diagram lemma also known as 3×3 lemma. According to its most general statement, the commutative diagram illustrated above with exact rows and columns can be completed by ...

Abstractly, the tensor direct product is the same as the vector space tensor product. However, it reflects an approach toward calculation using coordinates, and indices in ...