Aljabar komposisi

Dalam matematika, sebuah **aljabar komposisi**  atas medan  adalah non-asosiatif medan  bersama dengan non-terdegenerasi bentuk kuadratik  yang memenuhi
:N(xy) = N(x)N(y)
untuk semua  dan  di .

Sebuah aljabar komposisi mencakup involusi yang disebut **konjugasi**: x \mapsto x^*. Bentuk kuadrat N(x) = x x^* disebut **norma** aljabar.

Sebuah aljabar komposisi (*A*, ∗, *N*) adalah aljabar pembagian atau **aljabar terbagi**, tergantung pada keberadaan bukan nol *v* di *A* sedemikian rupa sehingga *N*(*v*) = 0, disebut vektor nol. Ketika *x* adalah *bukan* vektor nol, perkalian invers dari *x* adalah  Ketika ada vektor nol bukan nol, *N* adalah bentuk kuadrat isotropik, dan "aljabar terbagi".

## Teorema struktur
Setiap unital aljabar komposisi atas medan  apabila diperoleh dengan penerapan berulang konstruksi Cayley–Dickson mulai dari  (jika karakteristik dari  berbeda dari ) atau subaljabar komposisi 2 dimensi (jika ).&nbsp; Kemungkinan dimensi aljabar komposisi adalah , , , dan .

* Aljabar komposisi 1 dimensi hanya ada jika .
* Aljabar komposisi dimensi 1 dan 2 bersifat komutatif dan asosiatif.
* Aljabar komposisi dimensi 2 adalah perluasan medan kuadrat dari  atau isomorfik ke .
* Aljabar komposisi berdimensi 4 disebut aljabar kuaternion. Mereka asosiatif tetapi tidak komutatif.
* Aljabar komposisi berdimensi 8 disebut aljabar oktonion. Apabila hal tersebut bukan asosiatif atau komutatif.

Untuk terminologi yang konsisten, aljabar dimensi 1 disebut *unarion*, dan aljabar dimensi 2 *biner*.

## Contoh dan penggunaan
Ketika medan  adalah bilangan kompleks  dan bentuk kuadrat , maka empat aljabar komposisi atas  adalah , bilangan bikompleks, bikuaternion (isomorfik ke  kompleks gelanggang matriks ), dan bioktonion , yang juga disebut oktonion kompleks.

Gelanggang matriks  telah lama menjadi objek yang menarik, pertama sebagai bikuaternion oleh Hamilton (1853), kemudian dalam bentuk matriks isomorfik, dan terutama sebagai aljabar Pauli.

Fungsi kuadrat  pada medan bilangan riil sebagai bentuk aljabar komposisi primordial.
Bila medan  adalah bilangan riil , maka hanya ada enam aljabar komposisi riil lainnya. 
Dalam dua, empat, dan delapan dimensi aljabar pembagian dan "aljabar terpisah":
: biner: bilangan kompleks dengan bentuk kuadrat  dan bilangan kompleks-terpisah dengan bentuk kuadrat ,
: kuaternion dan split-quaternions,
: oktonion dan oktonion-terpisah.

Setiap aljabar komposisi memiliki bentuk bilinear B(*x,y*) terkait yang dibuat dengan norma N dan identitas polarisasi:
:B(x,y) \ = \ [N(x + y) - N(x) - N(y)]/2 .

## Sejarah
Komposisi jumlah kuadrat dicatat oleh beberapa penulis awal. Diophantus menyadari identitas yang melibatkan jumlah dua kuadrat, sekarang disebut identitas Brahmagupta–Fibonacci, yang juga diartikulasikan sebagai sifat norma Euclidean dari bilangan kompleks ketika dikalikan. Leonhard Euler membahas identitas empat kuadrat pada tahun 1748, dan itu dipimpin oleh W. R. Hamilton untuk menyusun aljabar empat dimensi kuaternion-nya. Pada tahun 1848 tessarin dijelaskan memberikan cahaya pertama untuk bilangan bikompleks.

Sekitar tahun 1818 sarjana Denmark Ferdinand Degen menampilkan identitas delapan persegi Degen, yang kemudian dihubungkan dengan norma elemen aljabar oktonion:
:Secara historis, aljabar non-asosiatif pertama, bilangan Cayley ... muncul dalam konteks masalah teori bilangan bentuk kuadrat yang memungkinkan komposisi ... pertanyaan teori bilangan ini dapat diubah menjadi pertanyaan tentang sistem aljabar tertentu, aljabar komposisi ...

Pada tahun 1919 Leonard Dickson memajukan studi tentang masalah Hurwitz dengan survei upaya hingga saat itu, dan dengan menunjukkan metode menggandakan angka empat untuk mendapatkan bilangan Cayley. Ia memperkenalkan unit imajiner  yang baru, dan untuk kuaternion  dan  menulis bilangan Cayley . Menyatakan konjugasi kuaternion dengan , produk dari dua bilangan Cayley adalah
:(q + Qe)(r + Re) = (qr - R'Q) + (Rq + Q r')e .
Konjugat bilangan Cayley adalah , dan bentuk kuadratnya adalah , diperoleh dengan mengalikan bilangan dengan konjugasinya. Metode penggandaan ini kemudian disebut konstruksi Cayley–Dickson.

Pada tahun 1923 kasus aljabar riil dengan bentuk pasti positif yang dibatasi oleh teorema Hurwitz.

Pada tahun 1931 Max Zorn memperkenalkan gamma (γ) dalam kaidah perkalian dalam konstruksi Dickson untuk menghasilkan oktonion-terpisah. Adrian Albert juga menggunakan gamma pada tahun 1942 ketika dia menunjukkan bahwa penggandaan Dickson apabila diterapkan pada medan dengan fungsi kuadrat untuk membangun aljabar biner, kuaternion, dan oktonion dengan bentuk kuadrat. Nathan Jacobson mendeskripsikan automorfisme dari komposisi aljabar pada tahun 1958.

Aljabar komposisi klasik atas  dan  adalah aljabar unital. Aljabar komposisi *tanpa* sebuah identitas perkalian ditemukan oleh H.P. Petersson (aljabar Petersson) dan Susumu Okubo (aljabar Okubo) dan lainnya.

## Lihat pula
* Persegi ajaib Freudenthal
* Bentuk Pfister
* Trialiti

## Referensi

## Bacaan lebih lanjut
*
* 
*