Aljabar nonasosiatif

Templat:About Templat:Sidebar with collapsible lists Sebuah aljabar nonasosiatifTemplat:Sfn (atau aljabar distributif) adalah aljabar atas medan dimana operasi perkalian biner tidak beranggap sebagai asosiatif. Artinya, struktur aljabar A adalah aljabar nonasosiatif atas medan K jika itu adalah ruang vektor atas K dan kelengkapan dengan operasi perkalian biner bilinear-K pada A × A → A yang mungkin atau mungkin tidak asosiatif. Contohnya termasuk aljabar Lie, aljabar Jordan, oktonion, dan ruang Euklidean tiga dimensi kelengkapan dengan operasi produk silang. Karena perkalian tidak mengasumsikan asosiatif, penggunaan tanda kurung untuk menunjukkan urutan perkalian diperlukan. Misalnya, ekspresi (ab)(cd), (a(bc))d dan a(b(cd)) apabila semua dapat menghasilkan jawaban yang berbeda.

Meskipun penggunaan "nonasosiatif" ini berarti bahwa asosiatif tidak mengasumsikan, itu tidak berarti bahwa asosiatif tidak diperbolehkan. Dengan kata lain, "nonasosiatif" berarti "belum tentu asosiatif", seperti halnya "non-komutatif" berarti "belum tentu komutatif" untuk gelanggang nonkomutatif.

Aljabar adalah unital atau uniter jika memiliki elemen identitas e dengan ex = x = xe untuk semua x dalam aljabar. Misalnya, oktonion adalah unital, namun aljabar Lie bukan unital.

Struktur aljabar nonasosiatif dari A dipelajari dengan asosiasi dengan aljabar asosiatif lain yang merupakan subaljabar dari aljabar penuh endomorfisme-K pada A sebagai ruang vektor K. Dua seperti itu adalah aljabar turunan dan (asosiatif) aljabar menyelubungi, yang terakhir dalam arti "aljabar asosiatif terkecil A".

Lebih umum, beberapa penulis mempertimbangkan konsep aljabar nonasosiatif atas gelanggang komutatif R: Sebuah modul-R kelengkapan dengan operasi perkalian biner bilinear-R.Templat:Sfn Jika sebuah struktur memenuhi semua aksioma gelanggang selain dari asosiatif (misalnya, aljabar R), maka secara alami adalah sebuah aljabar-$\mathbb{Z}$, jadi beberapa penulis menyebut aljabar-$\mathbb{Z}$ nonasosiatif sebagai gelanggang nonasosiatif.

Aljabar dengan identitas

Struktur seperti gelanggang dengan dua operasi biner dan tidak ada batasan lain adalah kelas yang luas, yang terlalu umum untuk dipelajari. Untuk alasan ini, jenis aljabar nonasosiatif yang terkenal memenuhi identitas, atau sifat, yang menyederhanakan perkalian. Ini termasuk yang berikut.

Sifat biasa

Misalkan Templat:Mvar, Templat:Mvar dan Templat:Mvar menyatakan elemen arbitrer aljabar Templat:Mvar atas medan Templat:Mvar. Misal pangkat ke bilangan bulat positif (bukan nol) didefinisikan secara rekursif oleh Templat:Math dan lainnya Templat:MathTemplat:Sfn (pangkat kanan) atau Templat:MathTemplat:SfnTemplat:Sfn (pangkat kiri) tergantung pada penulis.

• Unital: apabila terdapat elemen Templat:Mvar sehingga Templat:Math; dalam hal ini kita dapat mendefinisikan Templat:Math.
• Asosiatif: Templat:Math.
• Komutatif: Templat:Math.
• Antikomutatif:Templat:Sfn Templat:Math.
• Identitas Jacobi:Templat:SfnTemplat:Sfn Templat:Math atau Templat:Math tergantung pada penulisannya.
• Identitas Jordan:Templat:SfnTemplat:Sfn Templat:Math atau Templat:Math tergantung pada penulisannya.
• Alternatif:Templat:SfnTemplat:SfnTemplat:Sfn Templat:Math (alternatif kiri) dan Templat:Math (alternatif kanan).
• Fleksibel:Templat:SfnTemplat:Sfn Templat:Math.
• Asosiasi pangkat ke-Templat:Mvar pada Templat:Math: Templat:Math untuk semua bilangan bulat Templat:Mvar sehingga Templat:Math.
  • Asosiatif pangkat ketiga: Templat:Math.
  • Asosiatif pangkat keempat: Templat:Math (bandingkan dengan komutatif pangkat empat di bawah).
• Asosiatif pangkat:Templat:SfnTemplat:SfnTemplat:SfnTemplat:SfnTemplat:Sfn subaljabar yang dihasilkan oleh elemen adalah asosiatif, yaitu, asosiasi pangkat Templat:Mvar untuk semua Templat:Math.
• Pangkat komutatif ke-Templat:Mvar pada Templat:Math: Templat:Math untuk semua bilangan bulat Templat:Mvar sehingga Templat:Math.
  • Komutatif pangkat ketiga: Templat:Math.
  • Komutatif pangkat keempat: Templat:Math (bandingkan dengan asosiatif pangkat keempat atas).
• Komutatif pangkat: subaljabar yang dihasilkan oleh elemen apa pun adalah komutatif, yaitu, komutatif pangkat Templat:Mvar untuk semua Templat:Math.
• Nilpoten dari indeks Templat:Math: produk dari elemen Templat:Mvar, dalam asosiasi, tidak untuk beberapa elemen Templat:Math: Templat:Math dan terdapat elemen Templat:Math sehingga Templat:Math untuk asosiasi tertentu.
• Nol dari indeks Templat:Math: pangkat asosiatif dan Templat:Math dan apabila elemen Templat:Mvar sehingga Templat:Math.

Relasi diantara sifat

Untuk Templat:Mvar dari karakteristik:

• Asosiatif adalah alternatif.
• Setiap dua dari tiga sifat alternatif kiri, alternatif kanan, dan fleksibel, adalah yang ketiga.
  • Jadi, alternatif adalah fleksibel.
• Alternatif adalah identitas Jordan.Templat:SfnTemplat:Efn
• Komutatif adalah fleksibel.
• Antikomutatif adalah fleksibel.
• Alternatif adalah pangkat asosiatif.Templat:Efn
• Fleksibel adalah pangkat asosiatif ketiga.
• Pangkat asosiatif kedua dan pangkat komutatif kedua adalah hakiki.
• Pangkat asosiatif ketiga dan pangkat komutatif ketiga adalah ekuivalen.
• Pangkat asosiasi ke-Templat:Mvar adalah pangkat komutatif ke-Templat:Mvar .
• Nok dari indeks 2 adalah antikomutatif.
• Nol dari indeks 2 adalah identitas Jordan.
• Nilpoten indeks 3 adalah identitas Jacobi.
• Nilpoten indeks Templat:Mvar adalah nol indeks Templat:Mvar dengan Templat:Math.
• Unital dan nol indeks Templat:Mvar bukan kompatibel.

Jika Templat:Math atau Templat:Math:

• Identitas Jordan dan komutatif adalah pangkat asosiatif.Templat:SfnTemplat:SfnTemplat:SfnTemplat:Citation needed

Jika Templat:Math:

• Alternatif kanan adalah pangkat asosiatif.Templat:SfnTemplat:SfnTemplat:SfnTemplat:Sfn
  • Demikian pula, alternatif kiri adalah kekuatan asosiatif.
• Unital dan identitas Jordan adalah fleksibel.Templat:Sfn
• Identitas Jordan dan fleksibel adalah pangkat asosiatif.Templat:Sfn
• Komutatif dan antikomutatif adalah nilpoten indeks 2.
• Antikomutatif adalah nol dari indeks 2.
• Unital dan antikomutatif bukan kompatibel.

Jika Templat:Math:

• Unital dan identitas Jacobi bukan kompatibel.

Jika Templat:Math}:

• Komutatif dan Templat:Math (salah satu dari dua identitas yang mendefinisikan pangkat asosiatif keempat) adalah pangkat asosiatif.Templat:Sfn

Jika Templat:Math:

• Pangkat asosiatif ketiga dan Templat:Math (salah satu dari dua identitas yang mendefinisikan pangkat asosiatif keempat) adalah pangkat asosiatif.Templat:Sfn

Jika Templat:Math:

• Komutatif dan antikomutatif adalah ekuivalen.

Asosiasi

Asosiasi pada A adalah peta multilinear-K $[\cdot ,\cdot ,\cdot ]:A\times A\times A\to A$ diberikan oleh

Templat:Math.

Ini mengukur tingkat nonasosiasi dari $A$, dan apabila digunakan untuk mengekspresikan beberapa kemungkinan identitas yang dipenuhi oleh A.

Misalkan Templat:Mvar, Templat:Mvar dan Templat:Mvar menyatakan elemen aljabar sebarang.

• Asosiatif: Templat:Math.
• Alternatif: Templat:Math (alternatif kiri) dan Templat:Math (alternatif kanan).
  • Ini menyatakan bahwa mengubah dua suku maka hal itu mengubah tanda: Templat:Math; konversinya hanya berlaku jika Templat:Math.
• Fleksibel: Templat:Math.
  • Ini menyatakan bahwa mengubah istilah ekstrem mengubah tanda: Templat:Math; konversinya hanya berlaku jika Templat:Math.
• Identitas Jordan:Templat:Sfn Templat:Math atau Templat:Math tergantung penulisannya.
• Pangkat asosiatif ketiga: Templat:Math.

Inti adalah himpunan elemen yang terkait dengan semua elemen lain:Templat:Sfn yaitu, Templat:Mvar di A sebagai

Templat:Math.

Inti adalah subgelanggang asosiatif dari A.

Pusat

Pusat dari A adalah himpunan elemen komutatif dan terkait dengan suatu di A, yang merupakan perpotongan dari

$C(A)=\{n\in A|nr=rn\mathrm{\forall }r\in A\}$

dengan inti. Ternyata untuk elemen C(A) cukup dua himpunan $([n,A,A],[A,n,A],[A,A,n])$ adalah $\{0\}$ untuk yang ketiga juga merupakan himpunan nol.

Contoh

• Ruang Eullides R³ dengan perkalian yang diberikan oleh perkalian silang vektor adalah contoh aljabar yang antikomutatif dan bukan asosiatif. Produk silang juga memenuhi identitas Jacobi.
• Aljabar Lie adalah aljabar yang memenuhi antikomutatifitas dan identitas Jacobi.
• Aljabar medan vektor pada lipatan terdiferensiasi (jika K adalah R atau bilangan kompleks C) atau sebuah variasi aljabar (untuk umum K);
• Aljabar Jordan adalah aljabar yang memenuhi hukum komutatif dan identitas Jordan.Templat:Sfn
• Setiap aljabar asosiatif memunculkan aljabar Lie dengan menggunakan komutator sebagai tanda kurung Lie. Sebenarnya setiap aljabar Lie apabila dikonstruksi dengan cara ini, atau merupakan subaljabar dari aljabar Lie yang dibuat dengan cara ini.
• Setiap aljabar asosiatif pada medan karakteristik selain 2 memunculkan aljabar Jordan dengan mendefinisikan perkalian yang baru x*y = (xy+yx)/2. Berbeda dengan kasus aljabar Lie, tidak semua aljabar Jordan dapat dibuat dengan cara ini. Apabila yang bisa disebut khusus.
• Aljabar alternatif adalah aljabar yang memenuhi sifat alternatif. Contoh aljabar alternatif yang paling penting adalah oktonion (aljabar atas riil), dan generalisasi oktonion atas medan lain. Semua aljabar asosiatif adalah alternatif. Hingga isomorfisme, satu-satunya alternatif riil dengan dimensi hingga, aljabar pembagian (lihat di bawah) adalah riil, kompleks, kuaternion dan oktonion.
• Pangkat aljabar asosiatif, adalah aljabar yang memenuhi pangkat identitas asosiatif. Contohnya mencakup semua aljabar asosiatif, semua aljabar alternatif, aljabar Jordan pada medan selain GF(2) (lihat bagian sebelumnya), dan sedenion.
• Aljabar kuaternion hiperbolik atas R, yang merupakan aljabar eksperimental sebelum adopsi ruang Minkowski untuk relativitas khusus.

Lebih banyak kelas aljabar:

• Aljabar bertingkat. Ini mencakup sebagian besar aljabar yang menarik bagi aljabar multilinear, seperti aljabar tensor, aljabar simetris, dan aljabar eksterior pada ruang vektor yang diberikan. Aljabar bertingkat dapat digeneralisasi ke aljabar filter.
• Aljabar pembagian, dimana terdapat invers perkalian. Aljabar pembagian alternatif dimensi hingga atas medan bilangan riil diklasifikasikan. Ini adalah bilangan riil (dimensi 1), bilangan kompleks (dimensi 2), kuaternion (dimensi 4), dan oktonion (dimensi 8). Kuaternion dan oktonion tidak komutatif. Dari aljabar ini, semuanya asosiatif kecuali oktonion.
• Aljabar kuadrat, yang mengartikan xx = re + sx, untuk beberapa elemen r dan s di medan dasar, dan e unital untuk aljabar. Contohnya mencakup semua aljabar alternatif dimensi hingga, dan aljabar matriks riil 2-kali-2. Hingga isomorfisme, satu-satunya alternatif, aljabar riil kuadrat tanpa pembagi nol adalah riil, kompleks, kuaternion, dan oktonion.
• Aljabar Cayley–Dickson (dimana K adalah R), yang dimulai dengan:
  • C (aljabar komutatif dan asosiatif);
  • Kuaternion H (aljabar asosiatif);
  • oktonion (sebuah aljabar alternatif);
  • sedenion, dan barisan tak hingga dari aljabar Cayley-Dickson (pangkat aljabar asosiatif).
• Aljabar hiperkompleks adalah aljabar unital R dimensi-hingga, sehingga termasuk aljabar Cayley-Dickson dan lainnya.
• Aljabar Poisson dipertimbangkan dalam kuantisasi geometrik. Apabila membawa dua perkalian, mengubahnya menjadi aljabar komutatif dan aljabar Lie dengan cara yang berbeda.
• Aljabar genetik adalah aljabar nonasosiatif yang digunakan dalam genetika matematika.
• Sistem rangkap tiga

Sifat

Ada beberapa sifat yang mungkin familiar dari teori gelanggang, atau dari aljabar asosiatif, yang tidak selalu benar untuk aljabar nonasosiatif. Tidak seperti kasus asosiatif, elemen dengan invers perkalian (dua sisi) mungkin juga merupakan pembagi nol. Misalnya, semua elemen bukan-nol dari sedenion memiliki invers dua sisi, namun beberapa di antaranya juga merupakan pembagi nol.

Aljabar nonasosiatif bebas

Aljabar nonasosiatif bebas pada himpunan X atas medan K didefinisikan sebagai aljabar dengan basis yang terdiri dari semua monomial nonasosiatif, produk formal hingga dari elemen kurung penahan X. Produk dari monomial u, v dengan (u)(v). Aljabar adalah unital apabila jika mengambil produk kosong sebagai monomial.Templat:Sfn

Kurosh membuktikan bahwa setiap subaljabar dari aljabar nonasosiatif bebas adalah bebas.Templat:Sfn

Aljabar terkait

Sebuah aljabar A atas medan-K khususnya adalah ruang vektor-K dan dengan demikian apabila mempertimbangkan aljabar asosiatif End_K(A) dari endomorfisme ruang vektor linear-K dari A. Apabila mengasosiasikan struktur aljabar pada A dua subaljabar End_K(A), aljabar turunan dan (asosiatif) sampul aljabar.

Aljabar turunan

Templat:Main Sebuah turunan pada A adalah peta-D dengan sifat

$D(x\cdot y)=D(x)\cdot y+x\cdot D(y).$

Turunan pada A sebagai bentuk subruang Der_K(A) di End_K(A). Komutator dari dua turunan merupakan turunan terus, sehingga braket Lie diberikan oleh Der_K(A) struktur aljabar Lie.Templat:Sfn

Sampul aljabar

Ada peta linear L dan R yang melekat pada setiap elemen a dari aljabar A:Templat:Sfn

$L(a):x\mapsto ax;R(a):x\mapsto xa.$

Sampul aljabar asosiatif atau aljabar perkalian dari A adalah aljabar asosiatif yang dihasilkan oleh peta linear kiri dan kanan.Templat:SfnTemplat:Sfn pusat dari A adalah pemusat aljabar sampul dalam aljabar endomorfisme End_K(A). Sebuah aljabar adalah pusat jika pusat massanya terdiri dari kelipatan skalar K dari identitas.Templat:Sfn

Beberapa identitas yang mungkin dipenuhi oleh aljabar nonasosiatif dapat dengan mudah diekspresikan dalam bentuk peta linear:Templat:Sfn

• Komutatif: setiap L(a) sama dengan kesesuaian R(a);
• Asosiatif: setiap L komuter dengan R;
• Fleksibel: setiap L(a) komutatif dengan R(a);
• Jordan: setiap L(a) komutatif dengan R(a²);
• Alternatif: setiap L(a)² = L(a²) dan juga untuk kanan.

Wakilan kuadrat Q didefinisikan oleh:Templat:Sfn

$Q(a):x\mapsto 2a\cdot (a\cdot x)-(a\cdot a)\cdot x$

atau ekuivalen

$Q(a)=2L^2(a)-L(a^2).$

Artikel tentang aljabar sampul universal menjelaskan konstruksi kanonik dari aljabar sampul, serta teorema tipe-PBW. Untuk aljabar Lie, aljabar bungkus tersebut memiliki sifat universal, yang tidak berlaku, secara umum, untuk aljabar nonasosiatif. Contoh yang terkenal adalah, aljabar Albert, aljabar Jordan tidak menyampul oleh konstruksi kanonik dari aljabar yang sampul untuk aljabar Jordan.

Lihat pula

• Daftar aljabar
• Magma nonasosiatif komutatif, yang memunculkan aljabar nonasosiatif

Referensi

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