Search Results for ""

There are two different statements, each separately known as the greatest common divisor theorem. 1. Given positive integers m and n, it is possible to choose integers x and ...

The upper central series of a group G is the sequence of groups (each term normal in the term following it) 1=Z_0<=Z_1<=Z_2<=...<=Z_n<=... that is constructed in the ...

Let a homogeneous solid contain a convex hole K and take x-rays so that the "darkness" at each point on a photographic plate determines the length of the chord of K along the ...

Let {a_n} be a nonnegative sequence and f(x) a nonnegative integrable function. Define A_n=sum_(k=1)^na_k (1) and F(x)=int_0^xf(t)dt (2) and take p>1. For sums, ...

The axioms formulated by Hausdorff (1919) for his concept of a topological space. These axioms describe the properties satisfied by subsets of elements x in a neighborhood ...

Consider a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then the Herbrand universe H of S is defined by the following rules. 1. All constants ...

A geometric theorem related to the pentagram and also called the Pratt-kasapi theorem. It states ...

Given two modules M and N over a unit ring R, Hom_R(M,N) denotes the set of all module homomorphisms from M to N. It is an R-module with respect to the addition of maps, ...

There are two possible definitions: 1. Possessing similarity of form, 2. Continuous, one-to-one, in surjection, and having a continuous inverse. The most common meaning is ...

An axiom proposed by Huntington (1933) as part of his definition of a Boolean algebra, H(x,y)=!(!x v y) v !(!x v !y)=x, (1) where !x denotes NOT and x v y denotes OR. Taken ...