请输入您要查询的字词:

 

单词 CompositionAlgebra
释义

composition algebra


1 Definition

The classical definition of a composition algebraMathworldPlanetmath is anon-associative algebra C over a field k where

  1. 1.

    C admits a non-degenerate quadratic form q:Ck, suchthat

  2. 2.

    q is multiplicative: q(xy)=q(x)q(y).

We also say q permits composition or that it obeys the composition law.

This definition is geometric in that quadratic formsMathworldPlanetmath give rise to geometric atributesfor a vector spaceMathworldPlanetmath such as length, distance and orthogonality. Indeed, originally createdover the real numbers such properties seem appropriate for an algebraPlanetmathPlanetmath; however, conceptsof length and distance are less appropriate over arbitrary fields and encourage a secondequivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath definition based solely on the algebraicMathworldPlanetmath aspect of such algebras.

Alternatively, a composition algebra can be defined as a unital alternative algebraMathworldPlanetmath Cover a field k with an involutionMathworldPlanetmathPlanetmathPlanetmath xx¯, that is an anti-isomorphismof order at most 2, such that:

  1. 1.

    C has no non-zero absolute zero divisorsMathworldPlanetmathPlanetmath (that is, (xa)x=0 for all aC implies x=0);

  2. 2.

    the norm N(x):=xx¯ is a scalar multiple of 1, that is, N:Ck1.

The first definition makes the composition property part of the definition but obscuresthe alternative multiplicationPlanetmathPlanetmath as well as the existence of an involutary anti-isomorphismfor the algebra. The second definition makes both of these properties evident but obscuresthe composition property of the norm, and also hides the property that N is a quadratic form.However both definitions have merit, the first captures the classical view of an algebrarespecting a certain geometric condition while the second, introduced by Jacobson, promotesa purely algebraic treatment. In our examples and constructions to follows we attempt to exhibitboth aspects by supplying the norm, the involution, and the product.

Both definitions can be generalized to algebras over commutativePlanetmathPlanetmathPlanetmath unital rings k.

Recall that a quadratic form gives rise to a symmetricPlanetmathPlanetmathPlanetmathPlanetmath bilinearPlanetmathPlanetmath from b:C×Ck byb(x,y)=q(x+y)-q(x)-q(y), for all x,yC. Some of the immediate properties include:

  1. 1.

    b(x,x)=2q(x),

  2. 2.

    b(xz,yz)=b(x,y)q(z),

  3. 3.

    b(xy,zw)+b(xw,zy)=b(x,y)b(z,w).

These strongly limit the structureMathworldPlanetmath of composition algebrasand leads to the celebrated theorem of Hurwitz (see Theorem 4)which suitably classifies the composition algebras over . The work ofmany others including Albert, Dickson, Jacobson, and Kaplansky extended the essentialconclussion of Hurwitz to all fields and the resulting generalizationPlanetmathPlanetmath is stillrefered to as Hurwitz’s theorem.

There are other algebras A with norms q:Ak which permit compositionin the sense that q(xy)=q(x)q(y). For example, alternative algebras with involutions.However, the distinguishing property of composition algebras is that q is a quadratic form.Classifications for such norms have been caried out by Schafer and McCrimmon.

2 Norms

Originally, composition algebras were created over the real numbers k=.Here the usual positive definitePlanetmathPlanetmath norm on the real vector space was used instead ofthe quadratic form (the square of the norm is the quadratic form).

The first non-trivial example is the set of complex numbers with wherez=a+bi is assigned:

z¯=a-bi;
|z|=|a+bi|=a2+b2=zz¯.

More interesting is the non-commutative algebra of Hamiltonians, created by Hamilton, where each x has the formx=a+bi+cj+dk and

x¯=a-bi-cj-dk;
|x|=|a+bi+cj+dk|=a2+b2+c2+d2=xx¯.

The last addition to the list was the non-associative algebra of octonionsMathworldPlanetmathinitially created by Cayley and the norm is simply

x¯=a-bi-cj-dk-fil-gjl-hkl;
|x|=|a+bi+cj+dk+el+fil+gjl+hkl|
=a2+b2+c2+d2+e2+f2+g2+h2=xx¯.

Because general fields do not sufficient squareroots, the use of normsin the classical EuclideanPlanetmathPlanetmath sense is replaced by the use of quadratic forms.Furthermore, the lack of ordering a field, such as a finite fieldMathworldPlanetmath, introduces theneed to use non-degenerate rather than positive definite conditions. Under thesegeneralizations composition algebras can be redefined form the classical contextof composition algebras over to general composition algebras overarbitrary fields, as done by our original definitions above. In this context,there are three further composition algebras over .

Example 1.

Let C=RR with q(x,y)=xy for all(x,y)C. Then C is a composition algebra.

Proof.

Evidently q(ax,ay)=a2q(x,y) and the polarization of q is the symmetric bilinearformMathworldPlanetmath b((x,y),(z,w))=xz-yw for all (x,y),(z,w)C (so the signaturePlanetmathPlanetmathPlanetmathPlanetmath is (1,-1)).Thus q is a quadratic form.

To check that q has the compositional property let (x,y),(z,w)C. Then

q((x,y)(z,w))=q(xz,yw)=(xz)(yw)=(xy)(zw)=q(x,y)q(z,w).

Note also that by defining (x,y)¯=(y,x) then (x,y)(x,y)¯=(xy,yx)=q(x,y)(1,1) and b((x,y),(z,w))(1,1)=(x,y)(z,w)+(x,y)(z,w)¯.∎

Example 2.

Let C=M2(R) with q(X)=detX for all XC.Then C is a composition algebra.

Proof.

Let XC and a. Then q(aX)=det(aX)=det(aI2)detX=a2detX=a2q(X).It is also evident that if X=[abcd] thensetting X¯=[d-b-ca] makes (detX)I2=XX¯and also T(X)I2=X+X¯, where T(X) is the trace of X. Hence

b(X,Y)=(q(X+Y)-q(X)-q(Y))I2=(det(X+Y))I2-(detX)I2-(detY)I2=(X+Y)(X+Y)¯-XX¯-YY¯=YX¯+XY¯=T(XY¯)I2.

Therefore, b(X,Y)=T(XY¯). Since T(XY¯)=T(Y¯X)=T(XY¯), it followsthat b is a symmetric bilinear form and so q is quadratic form.

Finally, for composition note

q(XY)=det(XY)=detXdetY=q(X)q(Y).

Therefore C is a composition algebra.∎

This gives two new composition algebras over and indeed there is a third, constructedbelow as the algebra (1,1,1), which is 8-dimensional and non-associative butunlike the octonions, it has non-trivial zero-divisors.

Definition 3.

A composition algebra is split if the quadratic form is isotropic.

The example of and M2() just given are both examples ofsplit composition algebras.

3 Involution

Define

x¯:=b(x,1)1-x,xC.

Immediately it follows that: for all x,yC,

  1. 1.

    x¯¯=x,

  2. 2.

    x+y¯=x¯+y¯,

  3. 3.

    1¯=1.

Define the trace of x as T(x)=x+x¯ andthe norm of x as N(x)=x¯x. Then it follows that:

x2-T(x)x+N(x)=0,xC.

So C is a quadratic algebra since every element in x has at mosta quadratic minimal polynomialPlanetmathPlanetmath. In fact N(x) is a quadratic formallowing composition.

4 Constructing composition algebras

All of the following are composition algebras.[5, III.4]

dim1:

k, with trivial involution x=x¯ for all x in k.

dim2:

For any αk, a quadratic extensionPlanetmathPlanetmathPlanetmathPlanetmath of k, that is

(αk)=1,i|i2=α.

Here {1,i} is a basis and has an involution defined by 1¯=1 and i¯=-i.

dim4:

For any α,βk, a quaternion algebra over kdefined as

(α,βk)=1,i,j|i2=α,j2=β,ij=-ji

Then {1,i,j,ij} forms a basis.11It is common to use k for ij, but k here is usedexclusively for the underlying field. An involution is defined by 1¯=1,i¯=-i, j¯=-j and extended linearly.

dim8:

For any α,β,γk, an octonion algebra over k:

(α,β,γk)=1,i,j,l|i2=α,j2=β,l2=γ,ij=-ji,il=-li,jl=-lj,i(lj)=-l(ij),(li)j=l(ji),(li)(lj)=-γji.

The set {1,i,j,ij,l,il,jl,ijl} is a basis.An involution is defined by 1¯=1, i¯=-i, j¯=-j, l¯=-land extended linearly.

Each of these algebras can be realized by the Cayley-Dickson method which takes Can associative k-algebra with involution and produces for each αC-{0} a newalgebra (αC) on the vector space CC with product

(a,b)(c,d)=(ac+αdb¯,a¯d+cb).

Set the involution on (αC) to be (a,b)¯=(a¯,-b).

The algebras are equipped with a trace Tr(x)=x+x¯,and norm N(x)=xx¯. This norm serves as the quadratic map to establishthese algebras a composition algebras. The images of the trace and norm lie in k.

The new algebra is associative only if C is commutative, otherwise it is alternative.This means that k,(αk),(α,βk) arethe associative composition algebras.

An algebra is a division algebra if the only zero-divisor is 0[5, II.2]. A central simple composition algebra with a non-trivialzero-divisor is called a split composition algebra. Finite dimensional splitcentral simple composition algebras are unique up to isomorphismPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath to one of

k,(1k)kk,(1,1k)M2(k),(1,1,1k).

5 Classification theorem

Theorem 4.

[2, Theorem 6.2.3]A composition algebra C over a field k with quadratic form q(x)=xx¯ is isomorphicto one of the following:

  1. (i)

    A purely inseparable extension field E/F of characteristicPlanetmathPlanetmath 2 and exponent 1 (trivialinvolution) so q(x)=x2.

  2. (ii)

    k with trivial involution, so q(x)=x2,

  3. (iii)

    Quadratic composition algebra: (αk) for αk,

  4. (iv)

    Quaternion algebraPlanetmathPlanetmath: (α,βk) for α,βk,

  5. (v)

    Octonion algebra: (α,β,γk) for α,β,γk.

In particular, all composition algebras over k, save perhaps those of type (i), are finitedimensional and of dimensionPlanetmathPlanetmath 1, 2, 4 or 8.

References

  • 1 T.Y. Lam: Introduction to Quadratic Forms over Fields, AMS, Providence (2004).
  • 2 N. Jacobson Structure theory of Jordan algebrasMathworldPlanetmath, The University of Arkansas lecturenotes in mathematics, vol. 5, Fayetteville, 1981.
  • 3 K. McCrimmon: A Taste of Jordan Algebras, Springer, New York (2004).
  • 4 J.H. Conway, D.A. Smith: On Quaternions and Octonions, Their Geometry, Arithmetic, and Symmetry, AK Peters, Natick, Mass (2003)
  • 5 Richard D. Schafer, An introduction to nonassociative algebras, Pure andApplied Mathematics, Vol. 22, Academic Press, New York, 1966.
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 17:34:29