Search Results for ""

Building on work of Huntington (1933ab), Robbins conjectured that the equations for a Robbins algebra, commutativity, associativity, and the Robbins axiom !(!(x v y) v !(x v ...

The logical axiom R(x,y)=!(!(x v y) v !(x v !y))=x, where !x denotes NOT and x v y denotes OR, that, when taken together with associativity and commutativity, is equivalent ...

Let A be a C^*-algebra. An element a in A is called self-adjoint if a^*=a. For example, the real functions of the C^*-algebra of C([a,b]) of continuous complex-valued ...

A collection of identities which hold on a Kähler manifold, also called the Hodge identities. Let omega be a Kähler form, d=partial+partial^_ be the exterior derivative, ...

A Lie algebra is a vector space g with a Lie bracket [X,Y], satisfying the Jacobi identity. Hence any element X gives a linear transformation given by ad(X)(Y)=[X,Y], (1) ...

For an algebra A, the associator is the trilinear map A×A×A->A given by (x,y,z)=(xy)z-x(yz). The associator is identically zero iff A is associative.

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).

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.

The only nonassociative division algebra with real scalars. There is an 8-square identity corresponding to this algebra. The elements of a Cayley algebra are called Cayley ...

Let A be a commutative complex Banach algebra. A nonzero homomorphism from A onto the field of complex numbers is called a character. Every character is automatically ...