World Library  
Flag as Inappropriate
Email this Article

Composition algebra

Article Id: WHEBN0003861635
Reproduction Date:

Title: Composition algebra  
Author: World Heritage Encyclopedia
Language: English
Subject: Octonion, Normed algebra, Seven-dimensional cross product
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Composition algebra

In mathematics, a composition algebra A over a field K is a not necessarily associative algebra over K together with a nondegenerate quadratic form N which satisfies

N(xy) = N(x)N(y)

for all x and y in AUnital composition algebras are called Hurwitz algebras.[1] If the ground field K is the field of real numbers and N is positive-definite, then A is called an Euclidean Hurwitz algebra.

The quadratic form N is often referred to as a norm on A.  Composition algebras are also called normed algebras: these should not be confused with associative normed algebras, which include Banach algebras, although three associative Euclidean Hurwitz algebras R, C, and H in fact are Banach algebras.

Structure theorem

Every unital composition algebra over a field K can be obtained by repeated application of the Cayley–Dickson construction starting from K (if the characteristic of K is different from 2) or a 2-dimensional composition subalgebra (if char(K) = 2).  The possible dimensions of a composition algebra are 1, 2, 4, and 8.[2]

  • 1-dimensional composition algebras only exist when char(K) ≠ 2.
  • Composition algebras of dimension 1 and 2 are commutative and associative.
  • Composition algebras of dimension 2 are either quadratic field extensions of K or isomorphic to KK.
  • Composition algebras of dimension 4 are called quaternion algebras.  They are associative but not commutative.
  • Composition algebras of dimension 8 are called octonion algebras.  They are neither associative nor commutative.

The case char(K) ≠ 2

Scalar product

If K has characteristic not equal to 2, then a bilinear form (a, b) = 1/2[N(a + b) − N(a) − N(b)] is associated with the quadratic form N.

Involution in Hurwitz algebras

Assuming A has a multiplicative unity, define involution and right and left multiplication operators by

\displaystyle{\bar a=-a +2(a,1)1,\,\,\, L(a)b = ab,\,\,\, R(a)b=ba.}

Evidently is an involution and preserves the quadratic form. The overline notation stresses the fact that complex and quaternion conjugation are partial cases of it. These operators have the following properties:

  • The involution is an antiautomorphism, i.e. a b = ba
  • a a = N(a) 1 = a a
  • L(a) = L(a)*, R(a) = R(a)*, where * denotes the adjoint operator with respect to the form ( , )
  • Re(a b) = Re(b a) where Re x = (x + x)/2 = (x, 1)
  • Re((a b) c) = Re(a (b c))
  • L(a2) = L(a)2, R(a2) = R(a)2, so that A is an alternating algebra

These properties are proved starting from polarized version of the identity (a b, a b) = (a, a)(b, b):

\displaystyle{2(a,b)(c,d)=(ac,bd) + (ad,bc).}

Setting b = 1 or d = 1 yields L(a) = L(a)* and R(c) = R(c)*. Hence Re(a b) = (a b, 1) = (a, b) = (b a, 1) = Re(b a). Similarly (a b, c) = (a b, c) = (b, ac) = (1, b (ac)) = (1, (ba) c) = (ba, c). Hence Re(a b)c = ((a b)c, 1) = (a b, c) = (a, cb) = (a(b c), 1) = Re(a(b c)). By the polarized identity N(a) (c, d) = (a c, a d) = (a a c, d) so L(a) L(a) = N(a). Applied to 1 this gives a a = N(a). Replacing a by a gives the other identity. Substituting the formula for a in L(a) L(a) = L(a a) gives L(a)2 = L(a2).

Para-Hurwitz algebra

Another operation may be defined in a Hurwitz algebra as

x ∗ y = xy

The algebra (A, ∗) is a composition algebra not generally unital, known as a para-Hurwitz algebra.[3] In dimensions 4 and 8 these are para-quaternion[4] and para-octonion algebras.[5]

A para-Hurwitz algebra satisfies[6]

(x * y ) * x = x * (y * x) = \langle x|x \rangle y \ .

Conversely, an algebra with a non-degenerate symmetric bilinear form satisfying this equation is either a para-Hurwitz algebra or an eight-dimensional pseudo-octonion algebra.[7] Similarly, a flexible algebra satisfying

\langle xy | xy \rangle = \langle x|x \rangle \langle y|y \rangle \

is either a Hurwitz algebra, a para-Hurwitz algebra or an eight-dimensional pseudo-octonion algebra.[7]

Euclidean Hurwitz algebras

If the underlying coefficient field of a Hurwitz algebra is the reals and q is positive-definite, so that (a, b) = 1/2[q(a + b) − q(a) − q(b)] is an inner product, then A is called a Euclidean Hurwitz algebra. The Euclidean Hurwitz algebras are precisely the real numbers, the complex numbers, the quaternions and the octonions.[8]

Instances and usage

When the field K is taken to be complex numbers C, then the four composition algebras over C are C itself, the direct sum CC known first as tessarines (1848), the 2×2 complex matrix ring M(2, C), and the complex octonions CO.

Matrix ring M(2, C) has long been an object of interest, first as biquaternions by Hamilton (1853), later in the isomorphic matrix form, and especially as Pauli algebra. Complex octonions have been used in a model of angular momentum.[9]

The squaring function N(x) = x2 on the real number field forms the primordial composition algebra. When the field K is taken to be real numbers R, then there are just six other real composition algebras.[10] In two, four, and eight dimensions there are both a "split algebra" and a "division algebra": complex numbers and split-complex numbers, quaternions and split-quaternions, octonions and split-octonions.

See also

References

  1. ^ Okubo (1995) p. 22
  2. ^ Jacobson (1958); Roos (2008); Schafer (1995) p. 73
  3. ^ Knus et al (1998) p.464
  4. ^ The term "para-quaternions" is sometimes applied to unrelated algebras.
  5. ^ Okubo (1995) pp. 40–41
  6. ^ Okubo (1995) p. 48
  7. ^ a b Okubo (1995) p. 49
  8. ^ Faraut, J.; Koranyi, A. (1994). Analysis on symmetric cones. Oxford Mathematical Monographs. Oxford University Press. pp. 81–86. ISBN . 
  9. ^ J. Koeplinger & V. Dzhunushaliev (2008) "Nonassociative decomposition of angular momentum operator using complex octonions", presentation at a meeting of the American Physical Society
  10. ^ Guy Roos (2008) Theorem 1.10 page 166
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.