Search Results for ""

An occurrence of a variable in a logic formula which is not inside the scope of a quantifier.

Two closed simply connected 4-manifolds are homeomorphic iff they have the same bilinear form beta and the same Kirby-Siebenmann invariant kappa. Any beta can be realized by ...

A group acts freely if there are no group fixed points. A point which is fixed by every group element would not be free to move.

Pick any point P on a conic section, and draw a series of right angles having this point as their vertices. Then the line segments connecting the rays of the right angles ...

The French metro metric is an example for disproving apparently intuitive but false properties of metric spaces. The metric consists of a distance function on the plane such ...

Frequency representation is the notation (1^(a_1)2^(a_2)...) used to abbreviate a partition {1,...,1_()_(a_1),2,...,2_()_(a_2),...} (Andrews 1998, p. 1).

Frey's theorem states that every Abelian category is a subcategory of some category of modules over a ring. Mitchell (1964) has strengthened this, saying every Abelian ...

The permanent of an n×n integer matrix with all entries either 0 or 1 is 0 iff the matrix contains an r×s submatrix of 0s with r+s=n+1. This result follows from the ...

rho_(n+1)(x)=intrho_n(y)delta[x-M(y)]dy, where delta(x) is a delta function, M(x) is a map, and rho is the natural invariant.

Let F be a field of field characteristic p. Then the Frobenius automorphism on F is the map phi:F->F which maps alpha to alpha^p for each element alpha of F.