Search Results for ""

Every graph with n vertices and maximum vertex degree Delta(G)<=k is (k+1)-colorable with all color classes of size |_n/(k+1)_| or [n/(k+1)], where |_x_| is the floor ...

Let omega(n) be the number of distinct prime factors of n. If Psi(x) tends steadily to infinity with x, then lnlnx-Psi(x)sqrt(lnlnx)<omega(n)<lnlnx+Psi(x)sqrt(lnlnx) for ...

For real, nonnegative terms x_n and real p with 0<p<1, the expression lim_(k->infty)x_0+(x_1+(x_2+(...+(x_k)^p)^p)^p)^p converges iff (x_n)^(p^n) is bounded.

If R is a Noetherian ring, then S=R[X] is also a Noetherian ring.

Let K be a finite complex, and let phi:C_p(K)->C_p(K) be a chain map, then sum_(p)(-1)^pTr(phi,C_p(K))=sum_(p)(-1)^pTr(phi_*,H_p(K)/T_p(K)).

Given a smooth function f:R^n->R^n, if the Jacobian is invertible at 0, then there is a neighborhood U containing 0 such that f:U->f(U) is a diffeomorphism. That is, there is ...

Let G be a group, then there exists a piecewise linear knot K^(n-2) in S^n for n>=5 with G=pi_1(S^n-K) iff G satisfies 1. G is finitely presentable, 2. The Abelianization of ...

Let G denote the group of germs of holomorphic diffeomorphisms of (C,0). Then if |lambda|!=1, then G_lambda is a conjugacy class, i.e., all f in G_lambda are linearizable.

Numbers 1, alpha_1, ..., alpha_L are rationally independent iff under the action of rotation rho_(alpha_1)×...×rho_(alpha_L) on the L-dimensional torus, every orbit is ...

Pick a point O in the interior of a quadrilateral which is not a parallelogram. Join this point to each of the four vertices, then the locus of points O for which the sum of ...