Search Results for ""

The Hopf invariant one theorem, sometimes also called Adams' theorem, is a deep theorem in homotopy theory which states that the only n-spheres which are H-spaces are S^0, ...

The configuration formed by two curves starting at a point, called the vertex V, in a common direction. Horn angles are concrete illustrations of non-Archimedean geometries.

A formal theory is said to be incomplete if it contains fewer theorems than would be possible while still retaining consistency.

A polynomial that represents integers for all integer values of the variables. An integer polynomial is a special case of such a polynomial. In general, every integer ...

The polynomials in the diagonal of the Smith normal form or rational canonical form of a matrix are called its invariant factors.

For {M_i}_(i in I) a family of R-modules indexed by a directed set I, let sigma_(ji):M_j->M_i i<=j be an R-module homomorphism. Call (M_i,sigma_(ji)) an inverse system over I ...

A relation between permutations p and q that exists if there is a sequence of transpositions such that each transposition increases the number of inversions (Stanton and ...

The number of elements greater than i to the left of i in a permutation gives the ith element of the inversion vector (Skiena 1990, p. 27).

A square matrix A such that A^2=I, where I is the identity matrix. An involutory matrix is its own matrix inverse.

A submodule N of a module M that is not the intersection of two submodules of M in which it is properly contained. In other words, for all submodules N_1 and N_2 of M, N=N_1 ...