Hurwitz’s theorem on composition algebras

[1, Theorem 3.25]Given a field $k$ of characteristic not $2$ , then every unital composition algebra $C$ over $k$ is isomorphic to one of:

1.
$k$ ,
2.
$\\left(\\frac{\\alpha}{k}\\right)$ for $\\alpha\\in k$ ,
3.
$\\left(\\frac{\\alpha,\\beta}{k}\\right)$ for $\\alpha,\\beta\\in k$ ,
4.
$\\left(\\frac{\\alpha,\\beta,\\gamma}{k}\\right)$ for $\\alpha,\\beta,\\gamma\\in k$ .

In particular, all composition algebras over $k$ are finite dimensional and of dimension $1$ , $2$ , $4$ or $8$ .

References

1 Richard D. Schafer, An introduction to nonassociative algebras, Pure andApplied Mathematics, Vol. 22, Academic Press, New York, 1966.

单词	HurwitzsTheoremOnCompositionAlgebras
释义	Hurwitz’s theorem on composition algebras Theorem 1 (Hurwitz). [1, Theorem 3.25]Given a field $k$ of characteristic not $2$ , then every unital composition algebra $C$ over $k$ is isomorphic to one of: 1. $k$ , 2. $\\left(\\frac{\\alpha}{k}\\right)$ for $\\alpha\\in k$ , 3. $\\left(\\frac{\\alpha,\\beta}{k}\\right)$ for $\\alpha,\\beta\\in k$ , 4. $\\left(\\frac{\\alpha,\\beta,\\gamma}{k}\\right)$ for $\\alpha,\\beta,\\gamma\\in k$ . In particular, all composition algebras over $k$ are finite dimensional and of dimension $1$ , $2$ , $4$ or $8$ . References 1 Richard D. Schafer, An introduction to nonassociative algebras, Pure andApplied Mathematics, Vol. 22, Academic Press, New York, 1966.
随便看	CategoryOfHalgebras category of H * -algebras CategoryOfMolecularSets category of molecular sets CategoryOfMRsystems category of (M,R)–systems CategoryOfPathsOnAGraph category of paths on a graph CategoryOfQuiversIsConcrete category of quivers is concrete CategoryOfRepresentations category of representations Category theory Catenary catenary CathleenMorawetz Cathleen Morawetz CauchyBinetFormula Cauchy-Binet formula CauchyConditionForLimitOfFunction Cauchy condition for limit of function CauchyCriterionForConvergence Cauchy criterion for convergence CauchyCriterionForTheExistenceOfALimitOfAFunction Cauchy criterion for the existence of a limit of a function