Aljabar komposisi

Templat:Struktur aljabar Dalam matematika, sebuah aljabar komposisi Templat:Mvar atas medan Templat:Mvar adalah non-asosiatif medan Templat:Mvar bersama dengan non-terdegenerasi bentuk kuadratik Templat:Mvar yang memenuhi

$N(xy)=N(x)N(y)$

untuk semua Templat:Mvar dan Templat:Mvar di Templat:Mvar.

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 Templat:Nowrap Ketika ada vektor nol bukan nol, N adalah bentuk kuadrat isotropik, dan "aljabar terbagi".

Teorema struktur

Setiap unital aljabar komposisi atas medan Templat:Mvar apabila diperoleh dengan penerapan berulang konstruksi Cayley–Dickson mulai dari Templat:Mvar (jika karakteristik dari Templat:Mvar berbeda dari Templat:Math) atau subaljabar komposisi 2 dimensi (jika Templat:Math).  Kemungkinan dimensi aljabar komposisi adalah Templat:Math, Templat:Math, Templat:Math, dan Templat:Math.

• Aljabar komposisi 1 dimensi hanya ada jika Templat:Math.
• Aljabar komposisi dimensi 1 dan 2 bersifat komutatif dan asosiatif.
• Aljabar komposisi dimensi 2 adalah perluasan medan kuadrat dari Templat:Mvar atau isomorfik ke Templat:Math.
• 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 Templat:Mvar adalah bilangan kompleks Templat:Math dan bentuk kuadrat Templat:Math, maka empat aljabar komposisi atas Templat:Math adalah Templat:Math, bilangan bikompleks, bikuaternion (isomorfik ke Templat:Celah kompleks gelanggang matriks Templat:Math), dan bioktonion Templat:Math, yang juga disebut oktonion kompleks.

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

Fungsi kuadrat Templat:Math pada medan bilangan riil sebagai bentuk aljabar komposisi primordial. Bila medan Templat:Mvar adalah bilangan riil Templat:Math, maka hanya ada enam aljabar komposisi riil lainnya.Templat:Rp Dalam dua, empat, dan delapan dimensi aljabar pembagian dan "aljabar terpisah":

biner: bilangan kompleks dengan bentuk kuadrat Templat:Math dan bilangan kompleks-terpisah dengan bentuk kuadrat Templat:Math,

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.Templat:Rp 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 ...Templat:Rp

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 Templat:Math yang baru, dan untuk kuaternion Templat:Math dan Templat:Math menulis bilangan Cayley Templat:Math. Menyatakan konjugasi kuaternion dengan Templat:Math, produk dari dua bilangan Cayley adalah

$(q+Qe)(r+Re)=(qr-R^{\prime }Q)+(Rq+Q{r}^{\prime })e.$

Konjugat bilangan Cayley adalah Templat:Math, dan bentuk kuadratnya adalah Templat:Math, 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 Templat:Math dan Templat:Math adalah aljabar unital. Aljabar komposisi tanpa sebuah identitas perkalian ditemukan oleh H.P. Petersson (aljabar Petersson) dan Susumu Okubo (aljabar Okubo) dan lainnya.Templat:Rp

Lihat pula

• Persegi ajaib Freudenthal
• Bentuk Pfister
• Trialiti

Bacaan lebih lanjut

• Templat:Cite book
• Templat:Cite book
• Templat:Cite book