{"id":"palomar/PALOMAR-2026-08-29-000015","url":"https://github.com/ehrlich-b/composition-algebras/tree/e37e22b0571a170ba18a0d8db29fe2a857906b92","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-08-29-000015-v1.json","repo":"https://github.com/ehrlich-b/composition-algebras","tags":["math.RA","math.RT","msc:17A75","msc:11E88","msc:17A35","msc:17D05","msc:17C40","msc:15A63","composition-algebras","hurwitz-theorem"],"score":0,"title":"ehrlich-b/composition-algebras","trust":"high","domain":"math.RA","source":"palomar","authors":["Bryan Ehrlich"],"reviews":0,"subject":"math.RA","summary":"Hurwitz's theorem (1898), dimension form: a nontrivial finite-dimensional Euclidean composition algebra over R - a unital, not necessarily associative or commutative bilinear product together with a symmetric positive-definite form whose quadratic form is multiplicative - has real dimension 1, 2, 4 or 8. R, C and H are exhibited so the class is inhabited; the classification into R, C, H and O is strictly stronger and is not part of this entry. Machine checked, not peer reviewed, no priority claim.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-08-29","reactions":{},"formalized":true,"formalizes":[{"title":"Uber die Composition der quadratischen Formen von beliebig vielen Variablen","identifier":"","relationship":"adapts"},{"title":"Composition algebras and their applications, and the nucleus of an alternative algebra","identifier":"","relationship":"formalizes"}]}