composition algebraとは 意味・読み方・使い方

名詞

composition algebra (複数形 composition algebras)

1. (algebra) A non-associative (not necessarily associative) algebra, A, over some field, together with a nondegenerate quadratic form, N, such that N(xy) = N(x)N(y) for all x, y ∈ A.
   • 1993, F. L. Zak (translator かつ original author), Simeon Ivanov (editor), Tangents and Secants of Algebraic Varieties, American Mathematical Society, page 11,

     More precisely, ${\displaystyle X^{n}\subset \mathbb {P} ^{N}}$ is a Severi variety if and only if ${\displaystyle \mathbb {P} ^{N}=\mathbb {P} ({\mathfrak {J}})}$, where ${\displaystyle {\mathfrak {J}}}$ is the Jordan algebra of Hermitian (3 × 3)-matrices over a composition algebra ${\displaystyle {\mathfrak {A}}}$, and ${\displaystyle X}$ corresponds to the cone of Hermitian matrices of rank ${\displaystyle \leq 1}$ (in that case ${\displaystyle SX}$ corresponds to the cone of Hermitian matrices with vanishing determinant; cf. Theorem 4.8). In other words, ${\displaystyle X}$ is a Severi variety if and only if ${\displaystyle X}$ is the “Veronese surface” over one of the composition algebras over the field ${\displaystyle K}$ (Theorem 4.9).

   • 1998, Max-Albert Knus, Alexander Merkurjev, Markus Rost, Jean-Pierre Tignol, The Book of Involutions, American Mathematical Society, page 464,

     We call a composition algebra with an associative norm a symmetric composition algebra and denote the full subcategory of ${\displaystyle {\mathsf {Comp}}_{m}}$ consisting of symmetric composition algebras by ${\displaystyle {\mathsf {Scomp}}_{m}}$.

   • 2006, Alberto Elduque, Chapter 12: A new look at Freudenthal's Magic Square, Lev Sabinin, Larissa Sbitneva, Ivan Shestakov (editors, Non-Associative Algebra and Its Applications, Taylor & Francis Group (Chapman & Hall/CRC), page 150,

     At least in the split cases, this is a construction that depends on two unital composition algebras, since the Jordan algebra involved consists of the 3 x 3-hermitian matrices over a unital composition algebra.