Search Results for ""

Let K_1^n and K_2^n be disjoint bicollared knots in R^(n+1) or S^(n+1) and let U denote the open region between them. Then the closure of U is a closed annulus S^n×[0,1]. ...

The dimension d of any irreducible representation of a group G must be a divisor of the index of each maximal normal Abelian subgroup of G. Note that while Itô's theorem was ...

Let t, u, and v be the lengths of the tangents to a circle C from the vertices of a triangle with sides of lengths a, b, and c. Then the condition that C is tangent to the ...

For any real number r>=0, an irrational number alpha can be approximated by infinitely many rational fractions p/q in such a way that ...

There are at least two theorems known as Chebyshev's theorem. The first is Bertrand's postulate, proposed by Bertrand in 1845 and proved by Chebyshev using elementary methods ...

There are two important theorems known as Herbrand's theorem. The first arises in ring theory. Let an ideal class be in A if it contains an ideal whose lth power is ...

There exists a positive integer s such that every sufficiently large integer is the sum of at most s primes. It follows that there exists a positive integer s_0>=s such that ...

Let X_1,X_2 subset P^2 be cubic plane curves meeting in nine points p_1, ..., p_9. If X subset P^2 is any cubic containing p_1, ..., p_8, then X contains p_9 as well. It is ...

For all integers n and |x|<a, lambda_n^((t))(x+a)=sum_(k=0)^infty|_n; k]lambda_(n-k)^((t))(a)x^k, where lambda_n^((t)) is the harmonic logarithm and |_n; k] is a Roman ...

A theorem which states that if a Kähler form represents an integral cohomology class on a compact manifold, then it must be a projective Abelian variety.