Search Results for ""

A curvature of a submanifold of a manifold which depends on its particular embedding. Examples of extrinsic curvature include the curvature and torsion of curves in ...

A group action phi:G×X->X is called faithful if there are no group elements g (except the identity element) such that gx=x for all x in X. Equivalently, the map phi induces ...

A representation phi of a group G is faithful if it is one-to-one, i.e., if phi(g)=phi(h) implies g=h for g,h in G. Equivalently, phi is faithful if phi(g)=I_n implies g=e, ...

If f:E->B is a fiber bundle with B a paracompact topological space, then f satisfies the homotopy lifting property with respect to all topological spaces. In other words, if ...

The characteristic exponent of a field is 1 if the field characteristic is 0 and p if the field characteristic is p.

The ring of fractions of an integral domain. The field of fractions of the ring of integers Z is the rational field Q, and the field of fractions of the polynomial ring ...

A ring equipped with a filtration.

A filtration of ideals of a commutative unit ring R is a sequence of ideals ... subset= I_2 subset= I_1 subset= I_0=R, such that I_iI_j subset= I_(i+j) for all indices i,j. ...

A map psi:M->M, where M is a manifold, is a finite-to-one factor of a map Psi:X->X if there exists a continuous surjective map pi:X->M such that psi degreespi=pi degreesPsi ...

A set function mu is finitely additive if, given any finite disjoint collection of sets {E_k}_(k=1)^n on which mu is defined, mu( union _(k=1)^nE_k)=sum_(k=1)^nmu(E_k).