Composition algebra

In mathematics, a composition algebra A over a field K is a unital (but 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 A.  The quadratic form N is often referred to as a norm on A.  Composition algebras are also called normed algebras (not to be confused with normed algebras in the sense of functional analysis).

Structure theorem

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

• 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 $K \oplus K$.
• 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 or commutative.

See also

• Normed division algebra
• Hurwitz's theorem (normed division algebras)

References

• Harvey, F. Reese (1990). Spinors and Calibrations. San Diego: Academic Press. ISBN 0-12-329650-1. 
• Schafer, Richard D. (1995). An introduction to non-associative algebras. Dover Publications. pp. 72–75. ISBN 0-486-68813-5. 
• Springer, T. A.; F. D. Veldkamp (2000). Octonions, Jordan Algebras and Exceptional Groups. Springer-Verlag. ISBN 3-540-66337-1. 

This algebra-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Algebra stubs Algebras Ring theory Nonassociative algebras Wikimedia Foundation. 2010. Игры ⚽ Нужно сделать НИР? NZR RM class (Edison battery-electric) Znamya Look at other dictionaries: Algebra of systems — (AoS) is an executable systems modeling framework for system synthesis and evaluation [Koo 2007a] . It can be used to automate complex model reasoning tasks for system design projects. AoS provides a formal structure for reasoning about elements… …   Wikipedia algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium Algebra of Communicating Processes — The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially… …   Wikipedia Composition series — In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a module, into simple pieces. The need for considering composition series in the context of modules arises from the fact that many… …   Wikipedia Algebra over a field — This article is about a particular kind of vector space. For other uses of the term algebra , see algebra (disambiguation). In mathematics, an algebra over a field is a vector space equipped with a bilinear vector product. That is to say, it is… …   Wikipedia Composition of relations — In mathematics, the composition of binary relations is a concept of forming a new relation S ∘ R from two given relations R and S, having as its most well known special case the composition of functions. Contents 1 Definition 2 Properties 3 J …   Wikipedia Composition ring — In mathematics, a composition ring, introduced in (Adler 1962), is a commutative ring (R, 0, +, −, ·), possibly without an identity 1 (see non unital ring), together with an operation such that, for any three elements one has …   Wikipedia Normed division algebra — In mathematics, a normed division algebra A is a division algebra over the real or complex numbers which is also a normed vector space, with norm || · || satisfying the following property: for all x and y in A. While the definition allows normed… …   Wikipedia Quaternion algebra — In mathematics, a quaternion algebra over a field, F , is a particular kind of central simple algebra, A , over F , namely such an algebra that has dimension 4, and therefore becomes the 2 times;2 matrix algebra over some field extension of F ,… …   Wikipedia Octonion algebra — In mathematics, an octonion algebra over a field F is an algebraic structure which is an 8 dimensional composition algebra over F. In other words, it is a unital nonassociative algebra A over F with a nondegenerate quadratic form N (called the… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”