Search Results for ""

An abstract manifold is a manifold in the context of an abstract space with no particular embedding, or representation in mind. It is a topological space with an atlas of ...

"Abstract nonsense" is a nonderogatory term that is commonly used by mathematicians when skipping over parts of an argument that can be proven through a commonly used long ...

Let M(X) denote the group of all invertible maps X->X and let G be any group. A homomorphism theta:G->M(X) is called an action of G on X. Therefore, theta satisfies 1. For ...

An additive category is a category for which the morphism sets have the structure of Abelian groups. It satisfies some, but not all the properties of an Abelian category.

The identity element of an additive group G, usually denoted 0. In the additive group of vectors, the additive identity is the zero vector 0, in the additive group of ...

In an additive group G, the additive inverse of an element a is the element a^' such that a+a^'=a^'+a=0, where 0 is the additive identity of G. Usually, the additive inverse ...

Relations in the definition of a Steenrod algebra which state that, for i<2j, Sq^i degreesSq^j(x)=sum_(k=0)^(|_i/2_|)(j-k-1; i-2k)Sq^(i+j-k) degreesSq^k(x), where f degreesg ...

A fundamental result of de Rham cohomology is that the kth de Rham cohomology vector space of a manifold M is canonically isomorphic to the Alexander-Spanier cohomology ...

The field F^_ is called an algebraic closure of F if F^_ is algebraic over F and if every polynomial f(x) in F[x] splits completely over F^_, so that F^_ can be said to ...

An extension F of a field K is said to be algebraic if every element of F is algebraic over K (i.e., is the root of a nonzero polynomial with coefficients in K).