Search Results for ""

For a subgroup H of a group G and an element x of G, define xH to be the set {xh:h in H} and Hx to be the set {hx:h in H}. A subset of G of the form xH for some x in G is ...

Let X and Y be topological spaces. Then their join is the factor space X*Y=(X×Y×I)/∼, (1) where ∼ is the equivalence relation (x,y,t)∼(x^',y^',t^')<=>{t=t^'=0 and x=x^'; or ; ...

A mathematical statement of the equivalence of two quantities. The equality "A is equal to B" is written A=B.

Consider the forms Q for which the generic characters chi_i(Q) are equal to some preassigned array of signs e_i=1 or -1, e_1,e_2,...,e_r, subject to product_(i=1)^(r)e_i=1. ...

A triple (a,b,c) of positive integers satisfying a<b<c is said to be geometric if ac=b^2. In particular, such a triple is geometric if its terms form a geometric sequence ...

A triple (a,b,c) of positive integers satisfying a<b<c is said to be harmonic if 1/a+1/c=2/b. In particular, such a triple is harmonic if the reciprocals of its terms form an ...

Turing machines are defined by sets of rules that operate on four parameters: (state, tape cell color, operation, state). Let the states and tape cell colors be numbered and ...

A branch of mathematics which brings together ideas from algebraic geometry, linear algebra, and number theory. In general, there are two main types of K-theory: topological ...

Roughly speaking, a tangent vector is an infinitesimal displacement at a specific point on a manifold. The set of tangent vectors at a point P forms a vector space called the ...

A set A of integers is said to be one-one reducible to a set B (A<<_1B) if there is a one-one recursive function f such that for every x, x in A=>f(x) in B (1) and f(x) in ...