Search Results for ""

The relationship Sq^i(x cup y)=Sigma_(j+k=i)Sq^j(x) cup Sq^k(y) encountered in the definition of the steenrod algebra.

Clebsch-Gordan coefficients are mathematical symbol used to integrate products of three spherical harmonics. Clebsch-Gordan coefficients commonly arise in applications ...

If A=>B and B=>A (i.e., A=>B ^ B=>A, where => denotes implies), then A and B are said to be equivalent, a relationship which is written symbolically in this work as A=B. The ...

For all x, y, a in an alternative algebra A, (xax)y = x[a(xy)] (1) y(xax) = [(yx)a]x (2) (xy)(ax) = x(ya)x (3) (Schafer 1996, p. 28).

A trace form on an arbitrary algebra A is a symmetric bilinear form (x,y) such that (xy,z)=(x,yz) for all x,y,z in A (Schafer 1996, p. 24).

A local Banach algebra A is stably unital if the collection M_infty(A) of square infinite-dimensional matrices with entries in A has an approximate identity consisting of ...

A quaternion with complex coefficients. The algebra of biquaternions is isomorphic to a full matrix ring over the complex number field (van der Waerden 1985).

A space which is isomorphic to a Borel subset B of a Polish space equipped with its sigma-algebra of Borel sets.

Let A be a C^*-algebra. A C^*-subalgebra (that is a closed *-subalgebra) B of A is called hereditary if bab^' in B for all b,b^' in B and a in A, or equivalently if for a in ...

Let A be a C^*-algebra, then a linear functional f on A is said to be positive if it is a positive map, that is f(a)>=0 for all a in A_+. Every positive linear functional is ...