Search Results for ""

A polynomial with coefficients in a field is separable if its factors have distinct roots in some extension field.

Let (K,|·|) be a non-Archimedean field. Its valuation ring R is defined to be R={x in K:|x|<=1}. The valuation ring has maximal ideal M={x in K:|x|<1}, and the field R/M is ...

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

A vector space possessing a norm.

An additive group is a group where the operation is called addition and is denoted +. In an additive group, the identity element is called zero, and the inverse of the ...

The tensor product between modules A and B is a more general notion than the vector space tensor product. In this case, we replace "scalars" by a ring R. The familiar ...

Every smooth manifold M has a tangent bundle TM, which consists of the tangent space TM_p at all points p in M. Since a tangent space TM_p is the set of all tangent vectors ...

A theorem which treats constructions of fields of field characteristic p.

A change of basis is the transformation of coordinate-based vector and operator representations in a given vector space from one vector basis representation to another.

The ith Stiefel-Whitney class of a real vector bundle (or tangent bundle or a real manifold) is in the ith cohomology group of the base space involved. It is an obstruction ...