Search Results for ""

A sequence defined from a finite sequence a_0, a_1, ..., a_n by defining a_(n+1)=max_(i)(a_i+a_(n-i)).

The Fermat number F_n is prime iff 3^(2^(2^n-1))=-1 (mod F_n).

A 1-form omega=sum_(i=1)^na_i(x)dx_i such that omega=0.

Let c=(c_1,...,c_n) be a point in C^n, then the open polydisk is defined by S={z:|z_j-c_j|<|z_j^0-c_j|} for j=1, ..., n.

A triple (S,S,P) on the domain S, where (S,S) is a measurable space, S are the measurable subsets of S, and P is a measure on S with P(S)=1.

An extension of an arbitrary field F of the form F(sqrt(1+lambda^2)), where lambda in F.

The Ree group R(q) is the automorphism group of a S(2,q+1,q^3+1) Steiner system.

The set of "critical values" of a map u:R^n->R^n of map class C^1 has Lebesgue measure 0 in R^n.

A p-element x of a group G is semisimple if E(C_G(x))!=1, where E(H) is the commuting product of all components of H and C_G(x) is the centralizer of G.

Let A be a C^*-algebra, then a state is a positive linear functional on A of norm 1.