Search Results for ""

The extension of a, an ideal in commutative ring A, in a ring B, is the ideal generated by its image f(a) under a ring homomorphism f. Explicitly, it is any finite sum of the ...

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 ...

Let L=(L, ^ , v ) and K=(K, ^ , v ) be lattices, and let h:L->K. If h is one-to-one and is a join-homomorphism, then it is a join-embedding.

Let L=(L, ^ , v ) and K=(K, ^ , v ) be lattices, and let h:L->K. If K=L and h is a join-homomorphism, then we call h a join-endomorphism.

A morphism is a map between two objects in an abstract category. 1. A general morphism is called a homomorphism, 2. A morphism f:Y->X in a category is a monomorphism if, for ...

A map defined by one or more polynomials. Given a field K, a polynomial map is a map f:K^n->K^m such that for all points (x_1,...,x_n) in K^n, ...

A diagram lemma which states that every short exact sequence of chain complexes and chain homomorphisms 0-->C-->^phiD-->^psiE-->0 gives rise to a long exact sequence in ...

A commutative diagram is a collection of maps A_i-->^(phi_i)B_i in which all map compositions starting from the same set A and ending with the same set B give the same ...

The four following types of groups, 1. linear groups, 2. orthogonal groups, 3. symplectic groups, and 4. unitary groups, which were studied before more exotic types of groups ...

Abstract Algebra