Mensaje citado por: Richard Schroeppel <rcs@CS.Arizona.EDU>:
I've been wondering about doing a cubic analog of the quaternions. [...] Has anyone seen this stuff before?
yes ... I wrote an article long ago, "On Matrices which Anticommute with a Hamiltonian," and later on there was another, "Summetry Adapted Functions Belonging to the Dirac Groups." I won't attempt references because they were in relatively obscure journals, and thare are both earlier and better references. Cayley, for example, soon after Hamilton. The interesting idea lying behind all this is the question of finding a basis for matrices, given a basis for their vector space. The obvious basis consists of matrices Eij whose elements are delta(i,m)delta(j,n) and for which any matrix is sum[m(i,j)Eij]. After the Cayley-Hamilton Theorem and the spectral theorem, it is natural to think of column-row products of left and right eigenvectors, which are transforms of the Eij in the coordinate system which diagonalizes some given matrix, allowance being made for degeneracy and incompleteness. All this is standard linear algebra lore. Significant aspects are that matrices which commute with the referent have the same eigenvectors, and that preserving eigenvalues is done by intertwining. The C-H theorem sets up half a basis for matrices because those which commute with the referent are polynomials in the referent modulo the characteristic polynomial. What would be a good choice for the other half of the basis? One choice would be to take a second referent together with its poly- nomials, giving a basis of products of powers. But noncommutativity means there are far too many mixed powers, although they can be reduced to canonical form with structure constants. However, the structure constants are greatly simplified if the referent pair satisfy an exchange relation A B = omega B A with a scalar omega. For finite matrices, omega is a root of unity; for infinite matrices the slightly different form A B = B A + C leads to ladder operators, coherent states, and such like. For finite matrices, omega = -1 is a nice choice and leads to quaternions, although for high dimensional spaces you get gamma matrices and in general it is finding irreducible representations of the "Dirac groups" that has to be worked out. For omega = (primitive cube root of unity), you get an approach to Richard's question. - hvm ------------------------------------------------- Obtén tu correo en www.correo.unam.mx UNAMonos Comunicándonos