Nonassociative rings and algebras Definition
Composition algebra
Builds on Algebra over a fieldQuadratic formNondegenerate bilinear form
Definition
Let be a field and let be an algebra over , not necessarily associative or unital. Let be a quadratic form with polar form . The pair is a composition algebra if:
- the bilinear form is nondegenerate, and
- for all .
Remarks
is called the norm of . A composition algebra with a unit is called a Hurwitz algebra or a unital composition algebra. In a unital composition algebra each satisfies . Example: over with ; the polar form is , which is nondegenerate, and . Non-example: with the cross product and fails clause 2, since while . Two unital composition algebras are isomorphic if and only if their norms are isometric.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Algebra over a field concept
- Nondegenerate bilinear form concept
- Quadratic form concept
- Composition algebra definition
Further reading
About this page
| Tag | DMXAX32B4R |
|---|---|
| URI | m2://DMXAX32B4R |
| Kind | definition |
| Writing | W0 stub |
| MSC | 17A75 |
| Defines | Composition algebra |
| Uses | Algebra over a field, Quadratic form, Nondegenerate bilinear form |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.